- 作 者：魏燕侠著
- 出 版 社：北京：社会科学文献出版社
- 出版年份：2017
- ISBN：9787520111737
- 标注页数：213 页
- PDF页数：231 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源231 ≥213页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
引言 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