逻辑后承概念

目录
丛书序
致谢
译者的话
第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