スマリヤンの決定不能の論理パズル (スマリヤンのけっていふのうのろんりパズル)

原題は、
Forever Undecided: A Puzzle Guide to Gödel

レイモンド・Ｍ・スマリヤン著の
論理パズル本にして
ゲーデルの不完全性定理の入門書。

パズルランドのアリスの
第二部鏡の国の論理
8章そこがすてきなところなんだ!
と
ゲーデルの不完全性定理の
第ⅩⅠ章自己言及体系
とを
併読することを推奨しておきます。

-------------------------------------------------

【目次】

はじめに

Ⅰ　意外な展開！？
　　第１章　悪魔のパズル
　　第２章　びっくり仰天？
Ⅱ　偽と真の論理学
　　第３章　国勢調査員
　　第４章　ウーナを探して
　　第５章　惑星間錯綜
Ⅲ　騎士・奇人・命題論理
　　第６章　命題論理を少々
　　第７章　騎士・奇人・命題論理
　　第８章　論理的閉包と整合性
Ⅳ　慎重にいこう
　　第９章　パラドックス？
　　第１０章　問題はより深く
Ⅴ　整合性のジレンマ
　　第１１章　自分自身について推論する論理学者
　　第１２章　整合性のジレンマ
　　第１３章　ゲーデル的システム
　　第１４章　さらに整合性のジレンマについて
Ⅵ　自己充足信念とレーブの定理
　　第１５章　自己充足信念
　　第１６章　ラージャのダイヤモンド
　　第１７章　レーブの島
Ⅶ　さらなる深みへ
　　第１８章　Ｇ型の推論者
　　第１９章　謙虚さ、反射性、そして安定性
Ⅷ　決められない！
　　第２０章　永遠に決められない
　　第２１章　さらに決定不可能性について
Ⅸ　可能世界
　　第２２章　必ずしもそうじゃない！
　　第２３章　可能世界
　　第２４章　必然性から証明可能性へ
Ⅹ　事件の核心
　　第２５章　ゲーデル化された宇宙
　　第２６章　驚異の論理機械
　　第２７章　様相システムの自己適用
ⅩⅠ　フィナーレ
　　第２８章　様相システム、機械、そして推論者
　　第２９章　おかしな推論者たち
　　第３０章　全篇をふり返って

　　訳者あとがき
　　索引

-------------------------------------------------