[논문 리뷰] Logic Lectures: Gödel's Basic Logic Course at Notre Dame

Miloš Adžić, Kosta Došen|arXiv (Cornell University)|2017. 05. 07.

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)])를 통해 집합 확장을 형식화하며, 집합의 동등성은 전칭 동치성으로 정의하고, 합집합(+), 교집합(·), 여집합(−) 등의 연산을 도입함으로써 원시 집합론 체계를 형성한다.
• 편집된 버전은 괴델의 교육적 의도를 드러내며, 논리학을 형식주의 그 이상의 것으로, 특히 논리적 진리와 조건부 진리의 차이를 명확히 하는 데 초점을 맞춘 철학적 명료성과 개념적 정밀성에 기반한 학문으로서의 교육을 강조한다.