数とは何か――紀元前から問われてきた,普遍的な問い.数論や論理,そして言葉の意味理解をめぐって,19世紀後半から20世紀後半までこの問いに挑んできた数学者・論理学者たちの思考の足跡を,彼らが残した著作・講義録・遺稿などの詳細な解読を通してたどる. 目次 まえがき――知の巨人たちの戦記物語 序論 数理・論理・メタ数学の誕生と真理論・意味論の展開 第I部 論理主義の誕生と現代論理学の創始――デデキント,ブール-シュレーダーからフレーゲへ 第1章 デデキントの数論――論理主義の一つの出発点 第2章 ブール-シュレーダーの論理代数的論理主義 第3章 フレーゲの論理主義――「判断優位説」と「文脈原理」 第4章 ラッセルの論理主義と知識論抄 第II部 数学基礎論とメタ数学――ヒルベルトからゲーデルまで 第5章 ヒルベルトの数学基礎論――メタ的形式主義への歩み 第6章 完全性前史――ポスト-ヒルベルト-