- 作 者：冯艳著
- 出 版 社：北京：人民出版社
- 出版年份：2012
- ISBN：9787010106625
- 标注页数：211 页
- PDF页数：224 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源224 ≥211页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 自由摹状词理论产生之前的几种摹状词理论 3
第一节 弗雷格的摹状词理论 4
第二节 罗素的摹状词理论 9
第三节 希尔伯特-贝奈斯的摹状词理论 17
第四节 素朴的限定摹状词理论 19
第二章 自由摹状词理论的逻辑基础——自由逻辑 25
第一节 自由逻辑概述 26
第二节 自由逻辑的形式语言？L 31
第三节 肯定自由逻辑公理系统PFL及其形式语义 33
第四节 否定自由逻辑公理系统NFL及其形式语义 51
第五节 中性自由逻辑SFFL 59
第六节 自由逻辑中的“存在” 60
第三章 几个肯定的自由摹状词理论 71
第一节 列奥纳德的存在逻辑LE！ 72
第二节 亨迪卡的自由摹状词理论LH 76
第三节 拉姆伯特的几个自由摹状词理论 83
第四节 斯科特的自由摹状词理论Ls 92
第五节 格兰迪的自由摹状词理论LG 100
第六节 肯定自由摹状词理论的主要特征 109
第七节 肯定自由摹状词理论之间的关系 112
第四章 否定的自由摹状词理论 120
第一节 博格提出的自由摹状词理论LB 120
第二节 否定自由摹状词理论LB的主要特征 127
第三节 否定自由摹状词理论与肯定自由摹状词理论的比较 128
第四节 自由摹状词理论研究的意义 132
第五章 一个自由模态的摹状词理论LFMDTK 138
第一节 形式语言？与公理系统LK 139
第二节LK的形式语义 148
第三节LK的可靠性证明 161
第四节 一致集和Henkin集 170
第五节 力迫模型与LK的完全性证明 176
第六节 关于理论LK的几点哲学讨论 195
参考文献 203
后记 210