0人評分過此書
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
- 封面
- 前折页
- 《华侨大学哲学社会科学文库》编辑委员会
- 书名页
- 发展哲学社会科学 推动文化传承创新
- 内容提要
- Abstract
- 目录
-
引言
-
第一节 现代模态逻辑的建立及存在的问题
-
第二节 西方哲学研究中的逻辑分析传统
-
第三节 谓词抽象：主题与脉络
-
-
第一章 谓词抽象的观念与发展历程
-
第一节 一类特殊的日常语言歧义现象及其哲学意义
-
第二节 谓词抽象思想的引入
-
第三节 菲汀与谓词抽象的完善
-
-
第二章 谓词抽象与模态Herbrand定理
-
第一节 经典Herbrand定理
-
第二节 模态系统K′的Herbrand定理
-
-
第三章 模态系统K′的Herbrand定理的证明
-
第一节 从右到左方向的证明
-
第二节 加标公式表列系统K′
-
第三节 从左到右方向的证明
-
-
第四章 模态系统D′、T′、S4′的Herbrand定理及证明
-
第一节 模态系统D′、T′、S4′的Herbrand定理
-
第二节 D′、T′、S4′的Herbrand定理的证明
-
-
第五章 谓词抽象与同一问题
-
第一节 形上学视阈下的同一问题
-
第二节 逻辑视阈下的同一问题
-
第三节 谓词抽象视阈下的同一问题
-
-
第六章 谓词抽象与摹状词理论
-
第一节 经典逻辑视阈下的摹状词指称问题
-
第二节 模态逻辑视阈下的摹状词指称问题
-
第三节 谓词抽象视阈下的摹状词指称问题
-
-
第七章 谓词抽象与葛梯尔问题
-
第一节 葛梯尔问题及传统解答方案
-
第二节 葛梯尔问题的认知逻辑解答方案
-
第三节 谓词抽象视阈下的葛梯尔问题
-
- 参考文献
- 版权页
- 后折页
- 封底
- 出版地 ： 中國大陸
- 語言 ： 簡體中文
- DOI ： 10.978.75201/11737
評分與評論
請登入後再留言與評分
EPUB
EPUB
EPUB
PDF
EPUB
