[논문 리뷰] Comparing theories: the dynamics of changing vocabulary. A case-study in relativity theory

Hajnal Andréka, István Németi|arXiv (Cornell University)|2013. 07. 07.

Philosophy and Theoretical Science참고 문헌 32인용 수 9

한 줄 요약

이 논문은 특수상대성이론의 두 개의 서로 다른 일阶논리 공리체계인 기준좌표계 기반 이론(SpecRel)과 신호 기반 이론(SigTh)을 수학적 논리학을 통해 비교한다. Tarski의 의미에서의 해석을 통한 정의적 동치를 구성함으로써, SigTh는 상대론적 거리 이외의 SpecRel의 전부를 표현할 수 있으며, 이는 AxSym(측정 단위)을 SigTh에 추가함으로써만 달성된다. 주요 기여는 신호 교환을 기반으로 한 참조 프레임에 대한 구체적인 운영 의미론을 제공함으로써 상대성 이론의 이론적 및 관측적 프레임워크를 통합하는 데 있다.

ABSTRACT

There are several first-order logic (FOL) axiomatizations of special relativity theory in the literature, all looking essentially different but claiming to axiomatize the same physical theory. In this paper, we elaborate a comparison, in the framework of mathematical logic, between these FOL theories for special relativity. For this comparison, we use a version of mathematical definability theory in which new entities can also be defined besides new relations over already available entities. In particular, we build an interpretation of the reference-frame oriented theory SpecRel into the observationally oriented Signalling theory of James Ax. This interpretation provides SpecRel with an operational/experimental semantics. Then we make precise, "quantitative" comparisons between these two theories via using the notion of definitional equivalence. This is an application of logic to the philosophy of science and physics in the spirit of Johan van Benthem's work.

연구 동기 및 목표

• 서로 다른 물리적 이론을 묘사한다고 주장하는, 서로 다른 일阶논리 공리체계를 가진 특수상대성 이론의 다양한 공리체계를 비교하기 위해.
• 이러한 이론들이 내용과 표현 능력 면에서 동치인지 여부에 대한 기초적인 질문을 해결하기 위해.
• 서로 다른 기본 개념을 가진 이론들을 비교하기 위해, 새로운 종류의 실체를 정의할 수 있는 확장된 정의 가능성 이론을 사용하는 방법을 개발하기 위해.
• 참조 프레임에 대한 운영/실험적 의미론을 제시하기 위해, 이를 신호 방출과 수신에 기반하여 해석하기 위해.
• AxSym(측정 단위)와 같은 공리의 철학적 및 물리적 의미를 명확히 하기 위해, 그것들이 물리적 필수 조건이 아니라 정의적 편의성임을 보여주기 위해.

제안 방법

• 새로운 종류의 실체(단지 관계가 아닌)를 정의할 수 있는, 기본 개념이 다른 이론들을 비교하기 위해 수정된 정의 가능성 이론의 형태를 사용하기 위해.
• 기준좌표계 중심 이론 SpecRel을 신호 기반 이론 SigTh로 해석하는 Tarski 스타일의 해석을 구성함으로써, 이론적 구성 요소에 운영 의미를 부여하기 위해.
• SigTh의 언어를 확장하여 Minkowski 거리를 포착하기 위해 새로운 기본관계 Tu(시간 단위)를 추가함으로써 SigTh⁺를 구성하기 위해.
• SigTh⁺와 AxSym 및 기타 보조 공리들을 포함한 SpecRel의 강화된 형태(SpecRel + Compl⁻) 사이의 정의적 동치를 증명하기 위해.
• 자기동치군 분석을 통해 SigTh와 SigTh⁺가 정의적으로 동치가 아니라는 것을 보여주어, Tu의 추가가 본질적이고 원래 언어 내에서 정의 가능하지 않다는 것을 증명하기 위해.
• 이 틀을 적용하여 SigTh가 시간 방향성을 포함한 Goldblatt의 기하학적 이론과 정의적으로 동치이며, Suppes의 공리체계의 변형과도 정의적으로 동치임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 서로 다른 어휘를 가진 특수상대성 이론의 두 일阶논리 공리체계—SpecRel(기준좌표계 기반)과 SigTh(신호와 입자 기반)—는 이론적 내용과 표현 능력 측면에서 의미 있게 비교될 수 있는가?
• RQ2 기준좌표계 기반 이론 SpecRel과 신호 기반 이론 SigTh 사이의 정확한 논리적 관계는 무엇인가, 특히 측정 단위 공리 AxSym의 역할에 대해 어떻게 설명할 수 있는가?
• RQ3 수학적 논리학을 사용하여 신호 방출과 수신과 같은 관측 기초 개념에서 참조 프레임에 대한 운영 의미론을 엄밀하게 유도할 수 있는가?
• RQ4 이론적 언어인 SigTh 내에서 두 사건 간의 Minkowski 거리는 정의 가능한가, 아니면 이론의 확장을 필요로 하는가?
• RQ5 시간 방향성과 AxSym과 같은 보조 공리들이 이론의 표현 능력에 얼마나 기여하는가, 그리고 그것들이 물리적 공리가 아니라 정의적 편의성임을 어떻게 보일 수 있는가?

주요 결과

• 시간 방향성을 추가한 경우, SigTh는 Goldblatt의 기하학적 공리체계의 변형과 정의적으로 동치이며, 이는 두 서술 방식이 논리적으로 상호 번역 가능하다는 것을 보여준다.
• SigTh⁺(SigTh에 시간 단위 관계 Tu를 추가한 것)는 AxSym 및 기타 보조 공리들을 포함한 SpecRel + Compl⁻와 정의적으로 동치이며, 이는 두 프레임워크 사이에 정확한 논리적 다리를 놓는 데 성공했다는 것을 의미한다.
• 자동군 분석을 통해 SigTh의 원래 언어 내에서 Tu의 추가가 정의 가능하지 않다는 것이 입증되었으며, 이는 SigTh와 SigTh⁺가 정의적으로 동치가 아니라는 것을 보여준다.
• 측정 단위를 고정하는 AxSym는 물리적 또는 철학적으로 필수적이지 않으며, 단지 단순화된 가정일 뿐이며, 그 내용은 SigTh⁺의 새로운 기본관계 Tu에 의해 포괄된다.
• SpecRel을 SigTh에 해석함으로써 참조 프레임에 대한 구체적인 운영 의미론이 제공되며, 이는 신호 교환을 통해 정의되며, 천체물리적 척도에서도 유효하다.
• 논문은 수학적 논리학에서의 해석을 통한 정의적 동치가 기본 개념이 다른 물리 이론을 비교하는 데 엄밀한 방법으로 기능할 수 있음을 보여주며, 물리학에서 이론 비교를 위한 통합된 프레임워크를 제공한다.