- 作 者：朱新民著
- 出 版 社：上海：复旦大学出版社
- 出版年份：1987
- ISBN：2253·015
- 标注页数：356 页
- PDF页数：362 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源362 ≥356页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
前言 2
导论 4
第一章 命题与可能世界 18
1.1 命题及其本体地位 18
1.2 可能世界的理论 27
1.3 推理的永真性和其他逻辑关系 38
第二章 命题逻辑：命题的语句和语句学 45
2.1 命题的语句和真值联结词 45
2.2 多重复杂命题的语句 62
2.3 非真值复杂命题 64
2.4 SL的语句学 66
第三章 命题逻辑：语义学 72
3.1 赋值和语句的真值表 72
3.2 逻辑真理性，逻辑错误性和逻辑可能性 79
3.3 语义等值关系 81
3.4 语义一致性 83
3.5 推演关系和永真性 85
第四章 命题逻辑：演绎 92
4.1 推理和演绎 92
4.2 SL的演绎规则 96
4.3 演绎的方法和技巧 108
4.4 SL自然演绎体系的基本概念 120
4.5 命题逻辑的完全性和确实性 128
第五章 命题逻辑：语义推导 132
5.1 语义推导和语义一致性 132
5.2 逻辑真理性，逻辑错误性和逻辑可能性 139
5.3 语义等值关系 142
5.4 推演关系和永真性 145
第六章 谓词逻辑：命题的语句和语句学 149
6.1 命题逻辑的局限性 149
6.2 个体常项和谓词 150
6.3 量词和量词式 154
6.4 符号化过程中可能存在的问题 161
6.5 多重量词式 165
6.6 同一关系及其逻辑特性 167
6.7 复杂的PL语句 170
6.8 PL的语句学 172
第七章 谓词逻辑：语义学 176
7.1 PL语义学概念——解释 176
7.2 逻辑真理性，逻辑错误性和逻辑可能性 186
7.3 语义等值关系和语义一致性 191
7.4 推演关系和永真性 196
7.5 PL的严格语义学 199
第八章 谓词逻辑：演绎 208
8.1 PL的演绎规则 208
8.2 PL演绎的方法与技巧 218
8.3 PL自然演绎体系的基本概念 224
第九章 谓词逻辑：语义推导 233
9.1 PL语义推导及其规则 233
9.2 语义一致性 235
9.3 逻辑真理性，逻辑错误性和逻辑可能性 238
9.4 语义等值关系 245
9.5 推演关系和永真性 248
第十章 个体词和指称 252
10.1 罗素的三大难题 253
10.2 马尔朗的对象理论 258
10.3 弗雷格的含义与指称理论 262
10.4 罗素的摹状词理论 272
10.5 斯特劳逊的直指学说 288
10.6 克里普克的模态理论 296
第十一章 存在量词式和本体论 315
11.1 存在就是作为变项的值 315
11.2 没有同一性就没有实体 323
第十二章 悖论与类型论 330
参考书目 351
术语对照表 353