谓词抽象研究PDF电子书下载

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