扩展的三段论及自动推理

扩展的三段论及自动推理
分享
扫描下方二维码分享到微信
打开微信,点击右上角”+“,
使用”扫一扫“即可将网页分享到朋友圈。
作者:
2009-03
版次: 2
ISBN: 9787502363185
定价: 56.00
装帧: 平装
开本: 16开
纸张: 其他
页数: 295页
正文语种: 简体中文
分类: 哲学心理学
30人买过
  • 《扩展的三段论及自动推理》着重论述了作者的三段论形式化研究和自动推理研究的最新进展和创新成果。所谓的第三次数学危机实际上是首次逻辑学危机:逻辑学由于没有数学的准确定义使得逻辑规则失效一一违背同一律。对于三段论的改进与对罗素悖论的改进其意义是一致的,都是先于逻辑准确定义逻辑的对象,这是解决逻辑危机的必由之路。逻辑原子主义应该承认,没有数学的逻辑学不可靠,将数学完全解释为逻辑学是不可能的。 第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
扩展的三段论及自动推理
扩展目标跟踪理论与方法
姬红兵
扩展的三段论及自动推理
扩展投射原则与现代汉语的EPP效应(英文版)
李建波
扩展的三段论及自动推理
扩展型交通分配模型与算法研究
李雪飞;郎茂祥;刘丛嘉
扩展的三段论及自动推理
扩展的期权定价模型与贝叶斯实证研究
李亚琼、黄立宏、全志勇 著
您可能感兴趣 / 更多
扩展的三段论及自动推理
计算理论解析
张寅生 著
扩展的三段论及自动推理
证明方法与理论
张寅生 著