前言 1
一 国内外有关研究的回顾与综述 4
二 研究模态逻辑哲学问题的重要性 12
三 本文的内容设置及主要观点 19
第一章 预备知识：模态逻辑概述 24
第一节 一些模态逻辑系统 24
一 模态命题逻辑 24
二 模态谓词逻辑 25
第二节 可能世界语义学 28
一 模态命题逻辑的语义学 28
二 模态谓词逻辑的语义学 31
第二章 模态逻辑哲学问题 35
第一节 经典一阶逻辑原则的失效 35
一 经典一阶逻辑原则失效问题的产生 35
二 经典一阶逻辑原则失效问题的分析 37
第二节 从物模态引发的本质主义哲学纠纷 40
一 从物模态引发的本质主义哲学纠纷问题的产生 40
二 量词的替换解释：从物模态纷争的一副良剂？ 42
三 从物模态的不可还原性 45
第三节 关于可能世界的哲学纷争 50
一 可能世界哲学问题的产生 50
二 可能世界哲学问题的分析 52
第四节 对模态词的几种不同解读及其分析 54
第五节 应对策略：建设性的本质主义方案 61
第三章 可能世界理论研究 64
第一节 极端形态的可能世界学说 64
一 大卫·刘易斯的模态柏拉图主义 64
二 语言替代论的可能世界学说 73
三 对两种极端理论的总结性评判 82
第二节 一个具有代表性的温和模态实在论体系 86
一 普兰丁格的温和实在论可能世界观 86
二 普兰丁格温和模态实在论的理论得失 92
第三节 一个重构的温和模态实在论方案 96
一 可能世界学说应具备的可行性理论特征 96
二 一个新的温和模态实在论纲要 106
第四章 本质主义和反本质主义之争 113
第一节 “爱好数学的骑车人悖论”解析：模态语境下的本质主义正名 113
一 “爱好数学的骑车人悖论”的结构辨析 113
二 消解蒯因式悖论的方案 116
第二节 模态逻辑和本质主义的关系 121
一 亚里士多德的本质主义 121
二 亚里士多德本质主义在模态逻辑中的形式表征 123
三 模态逻辑究竟在何种意义上承诺了本质主义？ 127
第三节 克里普克论类的本质 130
一 自然种类词与严格性 130
二 自然种类词与自然种类本质 138
第四节 普特南论自然种类词 141
一 自然种类的本质：内部结构 141
二 范型、索引性和跨世界关系 143
三 来自世界的贡献：科学实在论立场 146
四 来自社会的贡献：语言分工 148
第五节 个体本质——“个体起源说”和“个体构造说” 151
一 个体本质的起源说 151
二 个体本质的构造说 158
第五章 捍卫本质主义：一个新的方案及论证 161
第一节 自然种类词的严格性 161
一 质疑自然种类词的严格性：一种典型的反对意见 161
二 不确定性论题探究 164
三 自然种类词的指称与意义 168
第二节 自然种类的本质 175
一 本质主义方法论 175
二 不同意义上的自然种类 179
三 本质属性与非本质属性 182
第三节 个体本质：一条亚里士多德主义路径 188
一 亚里士多德本质主义原典解读 188
二 本质与存在 191
三 个体本质的内部结构加起源说 194
结语 202
参考文献 207
后记 217