目次

序　ブールからゲーデルへ——20世紀ロジックの形成（田中一之）
I　ゲーデルと日本——明治以降のロジック研究史（田中尚夫・鈴木登志雄）
１　高木貞治と数学基礎論——明治・大正期の先駆者たち
２　昭和初期の日本に届いたゲーデルの波紋
３　赤い本とそれ以後のゲーデル——大戦末期から1960年代まで
４　数理論理学のさまざまな発展——1970年代以降
II　ゲーデルと哲学——不完全性・分析性・機械論（飯田隆）
１　不完全性と分析性
２　人間と機械
付論　ゲーデルと第二次大戦前後の日本の哲学
III　ロジシャンの随想
１　プリンストンにて——私の基本予想とゲーデル（竹内外史）
２　20世紀後半の記憶——数学のなかの構成と計算（八杉満利子）