目次
まえがき――知の巨人たちの戦記物語
序論 数理・論理・メタ数学の誕生と真理論・意味論の展開
第I部 論理主義の誕生と現代論理学の創始――デデキント，ブール-シュレーダーからフレーゲへ
第1章 デデキントの数論――論理主義の一つの出発点
第2章 ブール-シュレーダーの論理代数的論理主義
第3章 フレーゲの論理主義――「判断優位説」と「文脈原理」
第4章 ラッセルの論理主義と知識論抄
第II部 数学基礎論とメタ数学――ヒルベルトからゲーデルまで
第5章 ヒルベルトの数学基礎論――メタ的形式主義への歩み
第6章 完全性前史――ポスト-ヒルベルト-ベルナイスとヒルベルトの問題提起
第7章 ゲーデルの完全性定理および不完全性定理への予示
第8章 不完全性定理の概要
第III部 真理・モデル・意味論の誕生と展開――タルスキの真理論とモデル理論
第9章 タルスキの真理定義――メタ理論の構築
第10章 内包的意味論の展開――カルナップ・チャーチ・モンタギュからクリプキ・カプランへ
第11章 直接指示，意味，信念
第12章 フレーゲ再考――意味・意義・真理
補論1 言語と哲学――言語的転回の射程
補論2 ことばと信念序説――デイヴィッドソンとダメットを手引きに
あとがき
