第1章 导言 1
1.1一段历史 6
1.2本书的计划 7
第2章 表征语义学 10
2.1标定的真 11
2.2行列真 12
2.3语言与世界 15
2.4表征语义学 17
2.5表征的指导方针 19
第3章 塔斯基论逻辑真理 23
3.1波尔扎诺论逻辑真理 23
3.2持续性的违反 26
3.3句子函项 28
3.4从替换到满足 29
3.5多重变元 31
3.6关于满足的推广 33
3.7持续性的语义预设 35
3.8合规扩张和满足域 37
3.9逻辑真理的持续性说明 40
3.10逻辑后承 42
3.11要点重述 44
第4章 解释语义学 46
4.1显著句子函项 46
4.2 d-序列和d-满足 47
4.3语义上合规的重新解释 49
4.4比较观点的样本 50
4.5交集的失效 53
第5章 解释量词 57
5.1交叉项限制 57
5.2替换、持续性及交叉项限制 60
5.3解释交叉项限制 64
5.4要点重述 67
第6章 模态词与后承 69
6.1必然性 70
6.2塔斯基的谬误 74
6.3塔斯基的推理 78
第7章 归约原则 83
7.1量化说明 83
7.2三个原则 86
7.3原则的改进（第一部分） 87
第8章 实质概括 94
8.1原则的改进（第二部分） 95
8.2世界的大小 97
8.3其他“超逻辑的”影响 107
第9章 逻辑常项的神话 111
9.1引言 111
9.2外延充分性 115
第10章 元理论的逻辑 120
10.1卡尔纳普的意见 122
10.2说明的加强 126
第11章 完全性和可靠性 128
11.1克赖泽尔的意见 129
11.2过多生成的问题 132
11.3过少生成的问题 134
11.4要点重述 137
第12章 结论 139
参考文献 142
附录 对后承的反思 144
1.塔斯基说明的概念充分性 146
2.塔斯基说明的外延充分性 152
3.塔斯基说明的后果 162
4.模型论和建模视角 165
5.最后的哲学附言 174
附录 《对后承的反思》的引用文献 177
索引 180