目 录 1
序言 1
记法与缩写 6
第一章“逻辑哲学” 8
§1.逻辑、逻辑哲学、元逻辑 8
§2.逻辑的范围 10
第二章有效性 21
§1.对论证的评价 21
§2.演绎有效性:兼评归纳强度 24
§3.形式逻辑系统:“L中有效”里的“L” 29
自发逻辑与自觉逻辑;归纳强度 29
在一个系统中的有效性;系统外的有效性; 29
各种记法;可供选择的初始常项;公理化的塑述和自然演绎的塑述;可供选择的公理和/或规则§4.有效性和逻辑形式 35
第三章语句联结词 41
§1.形式的考察 41
足够的联结词集合:函项完全性;特征矩阵可 44
判定性;多值逻辑 44
§2.联结词的意义 44
形式语言与非形式解读;“tonk”;形式化的目的;“8”与“并且”,“V”与“或者”,等等第四章量词 55
§1.量词及其解释 55
§2.形而上学的插曲:蒯因关于量化式与本体论的观点本体论承诺的标准;代人的量化式与本体论 59
§3.解释的选择 67
代入的量化式与真语句;名字太少;时态;模态;二阶量化式第五章单独词项 73
§1.单独词项及其解释 . 73
§2.名字 74
名字之为纯指称词;名字同化于摹状词 83
§3.摹状词 83
§4.无指称名字:虚构 89
第六章语句、陈述、命题 93
§1.三种研究方向 93
§2.语句、陈述、命题 94
§3.“语句字母”、“命题变元”、还是别的什么? 97
§4.真值承担者 99
真值承担者与真理理论 104
§5.换一种方式来提这个问题 104
再谈有效性 107
第七章真理理论 107
§1.概说 107
真理定义与真理标准 113
§2.符合论 113
§3.融贯论 116
§4.实用主义理论 120
§5.语义学理论 122
§6.关于语义学理论的评价 136
真理定义的恰当性条件;实质恰当性;形式正确 136
性;塔斯基的真理定义;非形式说明;形式说明 136
塔斯基本人的估价;波普站在塔斯基理论的立 158
场上;戴维森对塔斯基理论的使用 158
§7.冗余理论 158
兰姆赛;真值承担者;元语言和对象语言的区别;量词:“(P)(如果他断定P,则P)”;代语句真理论第八章悖论 167
§1.说谎者悖论及其相关的悖论 167
“集合论”悖论还是“语义”悖论? 171
§2.对于悖论的“解决方法” 171
对解决方法的要求;罗素的解决方法:类型论,“恶性循环”原则;塔斯基的解决方法:语言层次;克里普克的解决方法:有根性§3.不出现“假”的悖论;再论冗余真理论和恶性循环原则 184
§1.“经典”逻辑与“非经典”逻辑 188
第九章逻辑和多种逻辑 188
§2.对于要求改造标准的形式系统的压力的反应 189
§3.第一个案例研究:时态性谈话的逻辑 193
§4.第二个案例研究:精确性与“模糊逻辑” 200
附言:真值度 207
第十章模态逻辑 210
§1.必然真理 210
§2.模态系统 216
经典逻辑的扩展;历史的评述;形式勾画;模态系统之间的关系§3.对模态逻辑的批评 219
§4.模态逻辑语义学 230
逻辑;模态逻辑的解释充满困难。 230
模态逻辑“是由错误孕育出来的”;不需要模态 230
形式语义学——概貌;“纯粹的”和“不纯的”语义学;可能世界的主张;可能个体的主张:跨世界的同一;蒯因的怀疑被证实了吗? ………………………§5.前景 240
§6.再论蕴涵:关于“相关逻辑”的一个附录 243
严格蕴涵的“悖论”;相干逻辑 251
第十一章多值逻辑 251
§1.多值系统 251
对经典逻辑的限制:异常逻辑;历史的回顾;形式勾画§2.哲学的动机 256
将来偶然陈述;量子力学;语义悖论;无意义性;没有指称的涵义;不可判定的语句§3.多值逻辑与真值 262
§4.非真值函项的异常逻辑 265
§1.形而上学问题 272
第十二章关于逻辑的一些形而上学和认识论问题 272
超赋值;直觉主义逻辑 272
一元论、多元论、工具主义;问题的总结; 285
异常逻辑与经典逻辑冲突吗?评论 285
§2.认识论问题 285
什么是可误论?可误论扩展到逻辑了吗?离题话:再论《两个教条》:逻辑的修改§3.逻辑和思想 292
[附录] 298
Ⅰ.术语汇编 298
Ⅱ.阅读指南 312
Ⅲ.文献目录 315
Ⅳ.索引 334