| 作 者： | 张寅生 |
| 出版社： | 科技文献出版社 |
| 丛编项： | |
| 版权说明： | 本书为出版图书，暂不支持在线阅读，请支持正版图书 |
| 标 签： | 世界哲学 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
第1章 逻辑的本质与逻辑学的分类标准
1.1 逻辑学定义的回顾
1.2 对逻辑的重新定义
1.3 对逻辑学分类标准的分析
第2章 亚里士多德三段论产生的背景和三段论研究的意义
2.1 亚里士多德逻辑学的背景
2.2 继续研究亚里士多德三段论的意义
2.2.1 简短的提示
2.2.2 最基本的意义
2.2.3 解决第三次数学危机的又一个实例
2.2.4 探讨一阶语言非Horn语句归结方法自动推理的一个实例
2.3 结语
第3章 亚里士多德三段论的特征
3.1 亚里士多德三段论的基本特征
3.2 亚里士多德规定的三段论的推理规则
第4章 亚里士多德三段论的形式化
4.1 序言
4.2 形式系统的历史
4.2.1 欧几里得的公理系统
4.2.2 形式公理系统的历史
4.3 基于自动机文法的形式系统
4.4 三个重要的亚里士多德三段论形式公理系统
4.4.1 卢卡西维茨创建的亚里士多德三段论形式公理系统
4.4.2 蔡曙山创建的亚里士多德三段论形式公理系统AS
4.4.3 张家龙创建的亚里士多德三段论形式公理系统
4.4.4 其它的亚里士多德三段论形式公理系统
4.5 基于亚里士多德三段论推理规则和自动机文法的三段论公理系统ASSA
第5章 亚里士多德三段论面临的问题
5.1 完善亚里士多德三段论工作的回顾
5.2 对构成亚里士多德三段论的直言命题解释的现状
5.3 亚里士多德三段论特称量词涵义的自然语言解释的含混之处
5.4 亚里士多德三段论特称量词不周延性概念的含混之处
5.5 亚里士多德本人对于三段论特称量词解释的自相矛盾
5.6 亚里士多德之后对三段论特称量词的解释
5.6.1 将特称量词解释为部分量词
5.6.2 将特称量词解释为存在量词
5.6.3 将特称量词既解释为存在量词，又解释为部分量词
5.7 对亚里士多德三段论特称量词解释的错误原因的分析
5.8 亚里士多德直言命题的另外一个问题：单量词约束
第6章 扩展的三段论：数学意义和基本特征
6.1 亚里士多德三段论直言命题矛盾的数学解决方案
……
第7章 扩展的三段论的有效格式
第8章 扩展的三段论形式系统
第9章 一阶语言的改进及其对扩展的三段论形式语言的解释
第10章 扩展的三段论自动推理的实现方式
第11章 结语
