作者：魏燕侠著
页数：228
出版社：社会科学文献出版社
出版日期：2017
ISBN：9787520111737
电子书格式：pdf/epub/txt
内容简介
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
作者简介
魏燕侠，2008 年获南开大学逻辑学博士学位，现为华侨大学哲学与社会发展学院副教授，研究方向为现代逻辑与逻辑哲学。2014 年曾公派访学美国Iowa 大学。主持了国家社科基金项目、教育部人文社会科学研究项目、福建省社会科学规划项目以及福建省教育厅A 类人文社科研究项目等。曾入选2013 年华侨大学哲学社会科学“百名优秀学者培育计划”，在《哲学动态》《自然辩证法研究》《自然辩证法通讯》等专业杂志发文二十余篇。
本书特色
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域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
第一节 现代模态逻辑的建立及存在的问题／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
