第1章推陳齣新：邏輯的力量1
1.1經驗與理智1
1.2推理有效性4
1.3邏輯大事記7
第2章難産歸納：確證的悖論10
2.1亨佩爾悖論10
2.2古德曼悖論12
2.3歸納的窮途14
第3章演繹初成：詞項的推理16
3.1主項與謂項16
3.2量項與聯項18
3.3直接的推理19
第4章邏輯典範：三段論理論22
4.1三段論係統22
4.2證明三段論25
4.3公理化思想27
第5章形式無情：命題與公式30
5.1命題的聯結30
5.2公式的構成33
5.3命題的形式35
第6章組閤有意：公式的真假38
6.1構造真值錶38
6.2公式的賦值40
6.3等價的變形42
第7章大法無機：能行的方法45
7.1判定有效性45
7.2解析樹方法47
7.3能行可判定50
第8章一言九鼎：反解真值錶54
8.1騎士與無賴54
8.2三思而後言55
8.3反解真值錶56
第9章機關之算：邏輯代數化60
9.1有邏輯的門60
9.2綫路圖設計62
9.3思維的代數64
第10章解牛之術：一階語言說69
10.1簡單本有形69
10.2造化一階語72
10.3自由與約束76
第11章觸事而真：模型與滿足78
11.1初試真與假78
11.2模型與指派79
11.3滿足與真假82
第12章迷途知返：半可判定性86
12.1再論有效性86
12.2又用解析樹88
12.3半能行判定91
第13章邏輯鏈條：證明的初感97
13.1證明的規則97
13.2聯結詞規則98
13.3量詞的規則10l
第14章應有盡有：完全性定理106
14.1間接的證明106
14.2證明的策略108
14.3健全與完全ll2
第15章求全責備：模型與理論115
15.1相等之符號ll5
15.2模型的理論ll8
15.3完備公理化l23
第16章神機妙算：圖靈可計算127
16.1圖靈機模型l27
16.2可計算函數130
16.3不可計算性132
第17章數不勝數：公理化算術137
17.1算術的語言137
17.2皮亞諾公理139
17.3完全的片段142
第18章天外有天：哥德爾定理145
18.1不可完全性145
18.2一緻性問題150
18.3大是者大非154
參考文獻158
索引161
· · · · · · (收起)