[論文レビュー] Logic Lectures: Gödel's Basic Logic Course at Notre Dame

Miloš Adžić, Kosta Došen|arXiv (Cornell University)|May 7, 2017

Philosophy and Theoretical Science被引用数 4

ひとこと要約

本論文は、ノートルダム大学で1939年に未発表の論理学コースノートを精査・註記した、きめ細やかに編集された版を提示する。この作業により、完全性、決定可能性、公理の独立性、自然演繹といった基礎論的トピックに関するゲーデルのオリジナルの洞察が回復された。本作には、編集作業の詳細を記録したソース版が含まれており、特にゲーデルの多大な省略記号の解釈を明確にした。これにより、学術界は彼の初期の論理学および数学基礎論に関する教育的・哲学的考察に、前例のないアクセスを可能にした。

ABSTRACT

An edited version is given of the text of Gödel's unpublished manuscript of the notes for a course in basic logic he delivered at the University of Notre Dame in 1939. Gödel's notes deal with what is today considered as important logical problems par excellence, completeness, decidability, independence of axioms, and with natural deduction too, which was all still a novelty at the time the course was delivered. Full of regards towards beginners, the notes are not excessively formalistic. Gödel presumably intended them just for himself, and they are full of abbreviations. This together with some other matters (like two versions of the same topic, and guessing the right order of the pages) required additional effort to obtain a readable edited version. Because of the quality of the material provided by Gödel, including also important philosophical points, this effort should however be worthwhile. The edited version of the text is accompanied by another version, called the source version, which is quite close to Gödel's manuscript. It is meant to be a record of the editorial interventions involved in producing the edited version (in particular, how the abbreviations were disabridged), and a justification of that later version.

研究の動機と目的

• 1939年ノートルダム大学で未発表であったゲーデルの論理学コースノートの、読みやすく編集された版を出版すること。これらのノートは、かつて省略記号が多く、整理がつかなかったため、アクセスが困難であった。
• ゲーデルのノートのオリジナルの意図と哲学的深さを保持しつつ、彼の短縮記号を体系的に解読し、曖昧な記法の慣習を明確化することで、現代の研究者にとって利用可能なものとする。
• 編集作業のすべての介入、特に省略記号の解釈を透明に記録したソース版を提供することにより、学術的検証とより深い歴史的分析を可能にする。
• ゲーデルの論理学教育的・哲学的アプローチの重要性を浮き彫りにし、証明理論およびモデル理論の主要な発展を予見していたこと、当時の学術的潮流の中で彼の立場を文脈づける。
• ゲーデルの形式論理から宇宙論への移行に関する彼の哲学的・論理的遺産を再構築する継続的な学術的プロジェクトに貢献し、彼の基礎的教育資料を一般に公開すること。

提案手法

• 編集者は、427ページの手書きノートから成るゲーデルのオリジナル原稿を、省略記号と非公式な記法が多用された状態から、再構築した。
• 二重版アプローチを採用した：読みやすさと学術的利用を目的とした「編集版」と、オリジナル原稿の形式を保存し、すべての編集変更を記録する「ソース版」。
• ソース版は、オリジナルの省略記号（例：'log.' は 'logic'、'inf.' は 'inference'）を体系的に記録し、それぞれの完全な展開を提示することで、編集プロセスの透明性を確保した。
• 論理的整合性と文脈的分析に基づき、同じトピックが重複して扱われていること、ページ順序が不明瞭であることといった曖昧さを解消する作業が行われた。
• 自然演繹、量化子の規則、論理的に真である命題の理論といった、重要な論理的概念は、ゲーデルの形式的定義と公理的枠組みを用いて回復された。
• 「空論理的述語」の扱いや、単項・二項述語を集合および関係へと拡張するという、哲学的洞察は、形式的記法と解説的脚注を用いて保持され、明確化された。

実験結果

リサーチクエスチョン

• RQ1 ゲーデルは1939年ノートルダム大学で、どのように基礎論的論理学のコースを構成し、中心的な論理的・哲学的アイデアを強調したのであろうか？
• RQ2 編集者は、省略記号が多く、整理がつかないゲーデルの原稿を再構築するにあたり、どのような課題に直面し、オリジナルに忠実でありながらも可読性を高めるためにどのような対策を講じたのであろうか？
• RQ3 ゲーデルの1939年のノートは、後に公表された完全性および決定可能性に関する彼の後続の業績と、どのように類似または相違するのであろうか？
• RQ4 ゲーデルが空論理的述語や集合への拡張をどのように扱ったかは、論理学および集合論の基礎に関する彼の考えがどのように進化したかを示唆しているであろうか？
• RQ5 これらのノートに見られる自然演繹および量化子規則の初期形態は、1930年代後半における証明理論の歴史的発展をどのように示唆しているのであろうか？

主な発見

• ノートルダムのノートは、ゲーデルの1935年ウィーンのノート（43ページ）よりもはるかに詳細で、哲学的に豊かな基礎論的論理の扱いを示しており、427ページにわたる。
• ゲーデルのノートには、自然演繹の体系的展開が含まれており、対象換法、三段論法、量化子の導入規則が含まれており、彼が証明理論的アプローチに早くから関与していたことを示している。
• ソース版は、ゲーデルが使用した100種類以上の異なる省略記号（例：'log.' は 'logic'、'inf.' は 'inference'）を成功裏に解読し、各解釈の正当性を明確に示した。
• ゲーデルは、空論理的述語の論理的性質を明確に論じており、たとえば「インディアナポリスに生まれたアメリカ合衆国大統領」といった例を挙げ、トートロジーは真のまま保たれることを示しながらも、アリストテレス的推論がその場合に失敗することを示している。
• ノートは、ハット演算子（ˆx[φ(x)]）を用いて集合への拡張を形式化し、普遍的同値性を用いて集合の等価性を定義し、和（+）、積（·）、補集合（−）といった演算を導入することで、原始的集合論的枠組みを形成している。
• 編集版は、ゲーデルの教育的意図を明らかにしている：論理学を形式主義そのものとして教えるのでなく、哲学的明確性と概念的正確性に根ざした学問分野として教えることを意図していた。特に、論理的真実と偶然的真実の区別を重視していた。