前言 1
第一章 可能世界与逻辑哲学 1
§1．1什么是可能世界 1
§1．2名称和指示词 15
§1．3本质主义 33
第二章 可能世界与形式系统 44
§2．1模态逻辑 44
§2．2时态逻辑与道义逻辑 64
§2．3其他非经典逻辑 80
第三章 可能世界与自然语言逻辑 103
§3．1陈述句真值的一般判定方法 103
§3．2条件句的逻辑分析 109
§3．3语境和预设 115
第四章 逻辑类型论 132
§4．1逻辑类型论的提出 133
§4．2罗素的分枝类型论 137
§4．3简单类型论 148
§4．4奎因的类型论系统NF和ML 157
§4．5范畴、Topos和直觉主义类型论 165
第五章 对逻辑科学的思索 173
§5．1逻辑的严格性 173
§5．2现代逻辑研究中的若干问题 183
主要参考文献 190