―真のロジックを伝える―

『ゲーデルと20世紀の論理学』　全４巻

この書籍を注文する

A5判　　3990円（税込み）
東京大学出版会（ この本のページ ）

　「なぜ、いまゲーデルなのか？」と疑問に思われる方もいらっしゃるかもしれません。
　昨年2006年は、ゲーデル生誕百年にあたる記念すべき年でした。近代論理学の出発点を19世紀半ばのブールの仕事とみなすと、論理学（ロジック）は約150年の歴史をもつことになります。その中間地点で、まだ20代の青年であったゲーデルが「完全性定理」や「不完全性定理」、そして「公理的集合論」などを示し、この分野に革命的展開をもたらしました。
　なかでも「不完全性定理」は、一般の方々の間でも群を抜いて有名な定理といっても過言ではないでしょう。それにもかかわらず、この定理は数学のコンテクストで厳密な扱われ方をすることが少なく、妄想的ともいえる比喩が広く蔓延しています。「理性の限界を示した。」「理性の超越性が証明された。」このような、まったく正反対の解釈も生まれています。
　と同時に、日本では、ロジックそのものに対する誤解も少なくありません。20世紀のロジックは、数学者・哲学者両者の大きな貢献のもとに発展してきました。つまり、その特徴は文理融合にあるのですが、文系と理系をわけたがる日本固有の文化の影響のせいか、ロジックを敬遠してしまう人もいるようです。また、「数学基礎論」と呼ぶ慣習が、その健全な発展を妨げていると指摘する声もあります。
　このような状況を鑑み、今こそ、ゲーデル、そしてロジックの正しい姿を伝えるべきなのではないかという思いから、本シリーズを企画・出版いたしました。ゲーデルの仕事を基点に20世紀のロジックの歩みを振り返ること。数学と哲学の両面から解説を与えること。そして、公平な歴史認識のもとで、現代論理学の核となる概念や事実を立体的かつビビットに解き明かすこと。以上を軸に各巻がまとめられています。
　執筆者の方々には、すでにロジックについて一通りの知識をお持ちの方にも、はじめてふれる方にも興味をもって読んでいただけるように記述を工夫していただきましたので、ぜひ多くの方に真のロジックの姿を知っていただければと思っています。
本シリーズが、「ロジック」のさらなる発展の一助となれば幸いです。