推理的迷宫

前言 // 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 条军规 // 144

这样的事有可能吗？ // 145

可能世界 // 148

有多少个“可能世界” // 150

悖论和可能世界 // 151

序言悖论 // 152

合理的观念必须是相容的吗？ // 154

波洛克毒气室 // 157

第8 章无限：汤姆森灯

圆周率机 // 162

芝诺悖论 // 163

造一盏汤姆森灯 // 165

几何级数 // 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

一颗“缸中之脑”是否可能发现真相？ // 233

孪生地球 // 235

孪生地球的化学 // 236

亚特兰蒂斯图书馆 // 239

爱伦•坡的“iiiii……”密码 // 241

暴力法 // 245

检验破译结果 // 247

意义何在？ // 248

第11 章心灵：塞尔的中文屋

思维机器 // 250

功能主义悖论 // 252

图灵检验 // 253

中文屋 // 255

大脑和牛奶 // 257

回应 // 259

笨法学中文 // 260

杰基尔博士和海德先生 // 261

系统观点回应 // 262

说明书中的一页 // 263

与爱因斯坦的大脑对话 // 267

第12 章全知者：纽康悖论

全知者悖论 // 270

囚徒困境 // 272

纽康悖论 // 273

反应 // 274

玻璃箱子 // 276

诺齐克关于选择的两条原则 // 279

这一定是骗局吗？ // 282

两种预测 // 284

混沌 // 285

自由意志与决定论 // 288

预测和无穷倒退 // 289

公元3000 年的纽康悖论 // 293

参考文献 // 297