- 作 者：魏燕侠著
- 出 版 社：北京：社会科学文献出版社
- 出版年份：2017
- ISBN：9787520111737
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
9
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
引言 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