谓词抽象研究_PDF下载[121MB-百度云]魏燕侠

本书特色

[

本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。

]

作者简介

[

魏燕侠，2008 年获南开大学逻辑学博士学位，现为华侨大学哲学与社会发展学院副教授，研究方向为现代逻辑与逻辑哲学。2014 年曾公派访学美国Iowa 大学。主持了国家社科基金项目、教育部人文社会科学研究项目、福建省社会科学规划项目以及福建省教育厅A 类人文社科研究项目等。曾入选2013 年华侨大学哲学社会科学“百名优秀学者培育计划”，在《哲学动态》《自然辩证法研究》《自然辩证法通讯》等专业杂志发文二十余篇。

]

引　言／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