推理的迷宮

前 言 // I
第一部分
第1 章 悖論
缸中之腦 // 004
夢境和邪惡的天才 // 005
不確定性 // 009
有什么東西是確定的嗎？ // 010
演繹與歸納 // 015
證實理論 // 017
悖論 // 018
科學是外部世界的一幅地圖 // 023
悖論與可滿足性 // 024
普遍性問題 // 026
第2 章 歸納：亨佩爾的烏鴉
證實 // 030
物質與反物質 // 031
絕對證實和遞增證實 // 033
反例 // 034
新奇的理論 // 036
換質位命題 // 038
絕不要說絕不 // 041
意識流 // 042
無窮小的證實 // 043
“99 英尺高的人”悖論 // 045
烏鴉與總體證據 // 048
第3 章 范疇：綠藍—藍綠悖論
綠藍色的綠寶石 // 052
七拼八湊的范疇 // 054
反事實語句 // 056
旋轉的調色盤 // 057
顛倒的光譜 // 059
魔鬼理論16 號 // 060
任何事證實任何事 // 061
奧卡姆剃刀 // 062
判決日 // 065
可投射性 // 066
夸克是綠藍色的嗎？ // 067
第4 章 不可知者：夜間倍增
反實在論 // 070
一團亂麻的物理學 // 072
魔鬼與倍增 // 074
變種 // 076
時間是在5 分鐘以前開始的嗎？ // 077
反實在論的危險 // 078
黑洞探測器 // 080
他人心靈 // 083
快樂和痛苦的夜間倍增 // 085
實在是唯一的嗎？ // 090
第二部分
插曲：華生大夫的謎題
智力測試 // 095
氣、水、電 // 095
公司的流言 // 096
墓地謎題 // 098
一個測量員的困境 // 099
答案 // 100
第5 章 演繹：谷堆悖論
忒修斯之船 // 107
連鎖推理 // 108
復雜性 // 110
說假話的和說真話的 // 112
誰在說謊？ // 112
可滿足性 // 117
豬排問題 // 118
電梯問題 // 121
科學與謎題 // 124
第6 章 觀念：意外絞刑悖論
突然襲擊的考試與隱藏的雞蛋 // 126
霍利斯悖論 // 127
一個簡化的悖論 // 128
時間旅行悖論 // 130
什么是知道？ // 131
科學與三重理由 // 133
布里丹語句 // 135
蓋梯爾反例 // 136
第四個條件 // 139
囚徒和蓋梯爾 // 140
第7 章 不可能性：期望悖論
第22 條軍規(guī) // 144
這樣的事有可能嗎？ // 145
可能世界 // 148
有多少個“可能世界” // 150
悖論和可能世界 // 151
序言悖論 // 152
合理的觀念必須是相容的嗎？ // 154
波洛克毒氣室 // 157
第8 章 無限：湯姆森燈
圓周率機 // 162
芝諾悖論 // 163
造一盞湯姆森燈 // 165
幾何級數(shù) // 167
馬爾薩斯災難 // 169
奧爾貝斯悖論 // 171
反對“多” // 173
奧爾貝斯悖論的解決 // 174
特里斯特拉姆· 香迪悖論 // 177
第9 章 NP 完全：彭睢迷宮
nP完全 // 183
迷宮算法 // 185
右手法則 // 188
特雷莫算法 // 190
無限的迷宮 // 192
奧爾算法 // 193
迷宮的nP完全性 // 194
迷宮先知 // 198
P和nP // 200
最難的問題 // 202
經驗目錄 // 204
和宇宙一樣大的計算機 // 206
第三部分
第10 章 意義：孿生地球
羅杰· 培根 // 221
假破譯 // 222
意義與胡話 // 225
洞穴寓言 // 228
電子洞穴 // 230
二進制洞穴 // 232
一顆“缸中之腦”是否可能發(fā)現(xiàn)真相？ // 233
孿生地球 // 235
孿生地球的化學 // 236
亞特蘭蒂斯圖書館 // 239
愛倫· 坡的“iiiii……”密碼 // 241
暴力法 // 245
檢驗破譯結果 // 247
意義何在？ // 248
第11 章 心靈：塞爾的中文屋
思維機器 // 250
功能主義悖論 // 252
圖靈檢驗 // 253
中文屋 // 255
大腦和牛奶 // 257
回應 // 259
笨法學中文 // 260
杰基爾博士和海德先生 // 261
系統(tǒng)觀點回應 // 262
說明書中的一頁 // 263
與愛因斯坦的大腦對話 // 267
第12 章 全知者：紐康悖論
全知者悖論 // 270
囚徒困境 // 272
紐康悖論 // 273
反應 // 274
玻璃箱子 // 276
諾齊克關于選擇的兩條原則 // 279
這一定是騙局嗎？ // 282
兩種預測 // 284
混沌 // 285
自由意志與決定論 // 288
預測和無窮倒退 // 289
公元3000 年的紐康悖論 // 293
參考文獻 // 297