扩展的三段论及自动推理

扩展的三段论及自动推理
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2009-03
版次: 2
ISBN: 9787502363185
定价: 56.00
装帧: 平装
开本: 16开
纸张: 其他
页数: 295页
正文语种: 简体中文
分类: 哲学心理学
  • 《扩展的三段论及自动推理》着重论述了作者的三段论形式化研究和自动推理研究的最新进展和创新成果。所谓的第三次数学危机实际上是首次逻辑学危机:逻辑学由于没有数学的准确定义使得逻辑规则失效一一违背同一律。对于三段论的改进与对罗素悖论的改进其意义是一致的,都是先于逻辑准确定义逻辑的对象,这是解决逻辑危机的必由之路。逻辑原子主义应该承认,没有数学的逻辑学不可靠,将数学完全解释为逻辑学是不可能的。 第1章逻辑的本质与逻辑学的分类标准
    第2章亚里士多德三段论产生的背景和三段论研究的意义
    第3章亚里士多德三段论的特征
    第4章亚里士多德三段论的形式化
    第5章亚里士多德三段论面临的问题
    第6章扩展的三段论:数学意义和基本特征
    第7章扩展的三段论的有效格式
    第8章扩展的三段论形式系统
    第9章一阶语言的改进及其对扩展的三段论形式语言的解释
    第10章扩展的三段论自动推理的实现方式
    第11章结语
  • 内容简介:
    《扩展的三段论及自动推理》着重论述了作者的三段论形式化研究和自动推理研究的最新进展和创新成果。所谓的第三次数学危机实际上是首次逻辑学危机:逻辑学由于没有数学的准确定义使得逻辑规则失效一一违背同一律。对于三段论的改进与对罗素悖论的改进其意义是一致的,都是先于逻辑准确定义逻辑的对象,这是解决逻辑危机的必由之路。逻辑原子主义应该承认,没有数学的逻辑学不可靠,将数学完全解释为逻辑学是不可能的。
  • 目录:
    第1章逻辑的本质与逻辑学的分类标准
    第2章亚里士多德三段论产生的背景和三段论研究的意义
    第3章亚里士多德三段论的特征
    第4章亚里士多德三段论的形式化
    第5章亚里士多德三段论面临的问题
    第6章扩展的三段论:数学意义和基本特征
    第7章扩展的三段论的有效格式
    第8章扩展的三段论形式系统
    第9章一阶语言的改进及其对扩展的三段论形式语言的解释
    第10章扩展的三段论自动推理的实现方式
    第11章结语
查看详情
相关图书 / 更多
扩展的三段论及自动推理
扩展有限单元法
庄茁 著
扩展的三段论及自动推理
扩展企业治理:连接商业和IT战略的桥梁
[美]IT治理协会 编
扩展的三段论及自动推理
扩展jQuery
[美]Keith Wood 著;李强 译
扩展的三段论及自动推理
扩展中的公共空间
中国青少年发展基金会、非营利组织研究委员会 编
扩展的三段论及自动推理
扩展频谱通信系统原理(第3版)
Don Torrieri
扩展的三段论及自动推理
扩展频谱通信及其多址技术/21世纪高等学校通信类系列教材
曾兴雯、刘乃安、孙献璞 著
扩展的三段论及自动推理
扩展融资渠道:适合微型及中小型企业的范例及政策(引进版)
M.马尔霍特拉 著;钱婵娟 译;徐晓萍 校
扩展的三段论及自动推理
扩展衡量财富的手段——环境科学业新著丛书
J.迪克逊 著;张坤民 译;世界银行环境局
扩展的三段论及自动推理
扩展可积方程族的代数方法
冯滨鲁、张玉峰、董焕河 著
扩展的三段论及自动推理
扩展有限单元法:理论、应用及程序
余天堂 著
扩展的三段论及自动推理
扩展实验高等学校嵌入式系统通用教材·ARM嵌入式系统实验教程3:扩展实验
周立功 著
扩展的三段论及自动推理
扩展幼儿的思维:父母与教师的合作
[英]艾希 著;潘月娟、刘焱 译
您可能感兴趣 / 更多
扩展的三段论及自动推理
计算理论解析
张寅生 著
扩展的三段论及自动推理
证明方法与理论
张寅生 著