本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域,通过引入谓词抽象这一具体的技术,突破了模态逻辑领域Herbrand 定理研究的难题,从而为模态自动定理证明提供了理论基础。在哲学领域,通过将谓词抽象思想应用于相关哲学问题的研究,延续了哲学研究中的逻辑分析传统。
魏燕侠,南开大学逻辑学博士,华侨大学哲学与社会发展学院副教授。
引 言/1
第一节 现代模态逻辑的建立及存在的问题/1
第二节 西方哲学研究中的逻辑分析传统/7
第三节 谓词抽象:主题与脉络/17
第一章 谓词抽象的观念与发展历程/26
第一节 一类特殊的日常语言歧义现象及其哲学意义/26
第二节 谓词抽象思想的引入/35
第三节 菲汀与谓词抽象的完善/46
第二章 谓词抽象与模态Herbrand定理/51
第一节 经典Herbrand定理/52
第二节 模态系统K′的Herbrand定理/66
第三章 模态系统K′的Herbrand定理的证明/82
第一节 从右到左方向的证明/82
第二节 加标公式表列系统K′/84
第三节 从左到右方向的证明/100
第四章 模态系统D′、T′、S4′的Herbrand定理及证明/110
第一节 模态系统D′、T′、S4′的Herbrand定理/110
第二节 D′、T′、S4′的Herbrand定理的证明/120
第五章 谓词抽象与同一问题/143
第一节 形上学视阈下的同一问题/144
第二节 逻辑视阈下的同一问题/153
第三节 谓词抽象视阈下的同一问题/160
第六章 谓词抽象与摹状词理论/165
第一节 经典逻辑视阈下的摹状词指称问题/166
第二节 模态逻辑视阈下的摹状词指称问题/175
第三节 谓词抽象视阈下的摹状词指称问题/181
第七章 谓词抽象与葛梯尔问题/186
第一节 葛梯尔问题及传统解答方案/186
第二节 葛梯尔问题的认知逻辑解答方案/190
第三节 谓词抽象视阈下的葛梯尔问题/192
参考文献/202
展开∨
收起∧
- 好评(100%)
- 中评(0%)
- 差评(0%)
- 买家印象: