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