[논문 리뷰] Ideas and Results in Model Theory: Reference, Realism, Structure and Categoricity

Tim Button, Sean Walsh|arXiv (Cornell University)|2015. 01. 02.

Philosophy and Theoretical Science참고 문헌 130인용 수 7

한 줄 요약

이 논문은 모델 이론의 철학적 의의를 다루며, 수학에서의 참조, 실재론, 구조주의에 초점을 맞춘다. 카테고리성 정리, 루벤슈타인-스콜렘 정리, 그리고 2차 논리에 대한 논의와 같은 핵심 결과들을 검토하여, 수학적 진리와 존재론에 대한 기초 논의에서 그 역할을 명확히 한다.

ABSTRACT

The topics of reference, realism, and structure have been discussed extensively in the philosophy of mathematics of the last decades. There have been some parallel discussions in certain parts of philosophy of science and metaphysics. The technical apparatus which serves as the formal backdrop to these discussions is model theory, a branch of mathematical logic, and the key results in model theory which have been thought to be of primary philosophical significance are the famous categoricity theorems of Dedekind and Zermelo. The aim of this paper is to survey this recent literature, using basic ideas and results from model theory to aid in organizing the discussion. Some of the specific topics covered are: Putnam's permutation argument and the just more theory manoeuvre; the Newman objection and notions of conservation; the import of the L\owenheim-Skolem theorems; the invocation of second-order logic in debates about realism and reference; the distinctive challenges posed by quasi-categoricity results in set theory, the structuralism of Shapiro and Parsons, and the aims and goals of recent work on uncountable categoricity.

연구 동기 및 목표

• 모델 이론적 결과의 철학적 함의가 수학적 참조와 실재론에 대한 논의에 어떻게 기여하는지 명확히 하기.
• 수학적 구조를 이해하는 데 있어 카테고리성 정리(디드레크, 즈럼엘로)의 기초적 의의를 분석하기.
• 구조주의과 보존에 관해, 푸트넘의 순열 논거와 뉴먼 비판을 고려한 과제를 조사하기.
• 2차 논리와 비가산 카테고리성의 역할이 수학적 실재론과 존재론적 약속에 대한 논의에 어떻게 기여하는지 평가하기.
• 집합론에서의 비가산 카테고리성과 준카테고리성에 관한 최근 연구의 목적과 개념적 목표를 맵핑하기.

제안 방법

• 철학적 분석을 위한 형식적 프레임워크로, 구조, 만족, 초등동치성 등의 기본 모델 이론 개념을 사용하기.
• 루벤슈타인-스콜렘 정리를 적용하여 일阶논리가 카테고리성 수학 이론을 포괄하는 데서 나타나는 한계를 검토하기.
• 모델 이론적 불변성과 '더 이상 이론일 뿐'이라는 수법을 통해 푸트넘의 순열 논거를 분석하기.
• 구조가 그들의 관계적 패턴으로부터 재구성될 수 있는 조건을 검토하여 뉴먼 비판을 평가하기.
• 2차 논리가 카테고리성을 확보할 수 있는 능력과 그에 따른 수학적 대상에 대한 실재론적 함의를 검토하기.
• 구조주의적 해석에 있어 유의미한 방식으로 모델을 제약하는 방식으로, 집합론에서의 준카테고리성 결과를 조사하기.

실험 결과

연구 질문

• RQ1 모델 이론의 카테고리성 정리는 수학적 실재론을 지지하거나 도전하는 데 어떻게 기여하는가?
• RQ2 루벤슈타인-스콜렘 정리는 수학 이론에서의 참조 개념에 대해 어떤 철학적 의의를 지닌다?
• RQ3 푸트넘의 순열 논거와 '더 이상 이론일 뿐'이라는 수법은 수학적 대상에 대한 구조주의적 관점을 어떻게 도전하거나 재구성하는가?
• RQ4 2차 논리와 비가산 카테고리성은 존재론적 약속과 실재론에 대한 논의에 어떻게 기여하는가?
• RQ5 집합론에서의 준카테고리성 결과는 수학 이론의 구조주의적·실재론적 해석에 어떤 과제를 제기하는가?

주요 결과

• 디드레크와 즈럼엘로의 카테고리성 정리는 특정 수학적 구조가 등장형으로 유일하게 결정된다는 아이디어에 강력한 형식적 지원을 제공한다.
• 루벤슈타인-스콜렘 정리는 일阶논리가 카테고리성 수학 이론을 포괄하는 데서 나타나는 근본적 한계를 드러내며, 고유한 참조를 기반으로 하는 실재론적 시각을 도전한다.
• 푸트넘의 순열 논거는 일阶논리 이론이 참조를 고유하게 고정시킬 수 없음을 보여주며, 실재론을 방어하기 위한 '더 이상 이론일 뿐'이라는 반응을 이끌어낸다.
• 뉴먼 비판은 어떤 관계 집합이라도 구조로 재구성될 수 있음을 보여주며, 구조 자체가 존재론적 약속을 고정시킨다는 아이디어를 약화시킨다.
• 2차 논리는 더 강력한 이론에서 카테고리성을 보장할 수 있으며, 핵심 수학 이론에 대해 고유한 모델을 확보함으로써 실재론을 위한 형식적 길을 열어준다.
• 집합론에서의 준카테고리성 결과는 완전한 카테고리성이 실패하더라도, 여전히 모델을 구조적 특성으로 제약함으로써 구조주의적·실재론적 해석에 관련된 방식으로 작용한다.