Carnap on Quantum Mechanics

본 논문은 루돌프 카르nap의 당시 양자역학에 대한 철학적 관점을 검토하고, 그의 견해가 해당 분야의 기초에 관한 최근 발전에 어떻게 적용될 수 있을지 추측한다.

핵심

루돌프 카르납을 매우 엄격하고 세심한 건축가로 상상해 보십시오. 그는 건물의 설계(그의 철학) 에 대해 제대로 논의하기 전까지는 청사진이 형식적이고 수학적인 언어로 완벽하게 그려져야 한다고 믿었습니다.

세바스티안 호바트와 율리안 D. 토아더가 쓴 이 논문은 1966 년 저서『물리학의 철학적 기초』에서 이 건축가가 양자 역학(QM) —즉, 아주 작은 세계의 물리학—을 어떻게 바라보았는지 탐구합니다.

다음은 카르납의 관점을 간단한 개념과 비유로 분해한 이야기입니다:

1. "청사진" 문제

카르납의 주요 규칙은 다음과 같습니다: 이론이 형식적이고 논리적인 체계로 완전히 서술되기 전까지는 그 이론의 철학에 대해 논쟁하지 마십시오.

1950 년대와 60 년대의 양자 역학을 생각하십시오. 그것은 여전히 공사 중인 집과 같습니다. 벽은 세워졌고 전기는 작동하지만, 청사진은 엉망입니다. 일부 부분은 모호한 "자연어"(예: 영어) 로 쓰여졌고, 정밀한 "형식 언어"(예: 순수 수학 논리) 로 쓰이지 않았습니다.

카르납은 양자 역학의 "청사진"이 아직 완성되지 않았기 때문에 철학자들이 서두르고 있다고 느꼈습니다. 그들은 완전히 형식화되지 않은 이론을 바탕으로 현실, 논리, 언어의 본질에 대한 깊은 논쟁을 벌이고 있었습니다. 그는 과학계가 "합리적 재구성"(완벽한 형식 청사진) 을 완료할 때까지, "이 이론이 진짜로 무엇을 의미하는가?"라는 질문을 안전하게 던질 수 없다고 믿었습니다.

2. 카르납이 이해한 것 (단단한 땅)

청사진이 불완전하다고 생각했음에도 불구하고, 카르납은 그 집의 기본 구조를 매우 잘 알고 있었습니다. 이 논문은 그가 양자 역학을 혼동한 것이 아니라 단지 신중하고 싶었을 뿐임을 명확히 합니다.

그가 알고 있던 것을 바탕으로 그는 몇 가지 명확한 답변을 제시했습니다:

• 세상은 통계적이다: 그는 양자 역학의 무작위성이 우리가 무지하거나 측정 능력이 부족해서 (흐릿한 사진처럼) 생기는 것이 아니라, 우주 자체가 그렇게 만들어졌기 때문이라고 주장했습니다. 주사위를 굴리는 것과 같습니다. 결과가 무작위인 것은 주사위가 고장 난 것이 아니라, 주사위가 그렇게 작동하기 때문입니다.
• 공간과 시간은 "픽셀화"될 수 있다: 그는 우주가 매끄럽고 연속적인 흐름이 아니라 화면의 픽셀처럼 작고 이산적인 조각들로 이루어져 있을 것이라고 추측했습니다.
• 자유 의지는 안전하다: 그는 양자적 무작위성이 "자유 의지"를 구원한다는 아이디어를 거부했습니다. 우리의 결정이 단순한 무작위 양자 도약에 불과하다면, 그것은 "선택"이 아니라 단지 "우연"일 뿐이라고 주장했습니다. 무작위성 ≠ 자유.
• 간단한 정의는 불가능하다: "스핀"과 같은 복잡한 양자 개념을 일상적인 단순한 단어로 정의할 수 없습니다. 이를 설명하려면 완전히 새로운 형식 체계가 필요합니다.

3. 카르납이 거부한 것 (논리의 함정)

이것이 그의 입장에서 가장 유명한 부분입니다. 일부 물리학자와 철학자들은 양자 역학을 보며 "일상생활에서 사용하는 논리 규칙 (예: 'A 그리고 B') 은 여기서 작동하지 않는다. 우리는 새로운 논리를 발명해야 한다"고 말했습니다.

카르납은 **"절대 안 된다"**고 말했습니다.

그는 1962 년 회의에서 언급된 훌륭한 비유를 사용했습니다 (요약됨): 게임의 규칙이 이상해 보인다면, 게임의 규칙을 바꾸는 것이 아니라 말이나 판을 바꾸어야 합니다.

• 관점: 그는 기존에 확고한 논리에 맞춰 물리 개념 ("말") 을 변경해야 한다고 믿었지, 물리학에 맞춰 논리 자체를 변경해서는 안 된다고 생각했습니다.
• 이유: 그는 물리학의 "청사진"이 완성되지 않았기 때문에, 그 이상함이 물리학 자체에 있는 것인지 아니면 우리의 불완전한 이해에 있는 것인지 확신할 수 없다고 느꼈습니다. 그는 중력을 포함한 물리학의 전체 체계가 형식화될 때까지 논리 규칙을 다시 쓰려는 시도를 고려하지 않았습니다.

4. "실재론" 논쟁 ("진짜"로 존재하는 것은 무엇인가?)

오늘날 과학자들은 양자 역학이 현실에 대해 무엇을 말하는지 두고 논쟁합니다: 여러 세계가 존재할까? 숨겨진 입자들이 있을까?

• 카르납의 견해: 그는 아마도 이러한 논쟁을 "의미 없는 것"이라고 부를 것입니다. 그의 관점에서, 특정 언어 체계 바깥에 무엇이 "진짜"로 존재하는지 묻는 것은 궤변입니다.
• 비유: 두 사람이 도시 지도가 "실재"하는지 두고 논쟁한다고 상상해 보십시오. 한 사람은 지도가 단순히 선일 뿐이라고 하고, 다른 사람은 지도가 도시 그 자체라고 말합니다. 카르납은 "진짜' 도시에 대해 논쟁하는 것을 멈추십시오. 운전하는 데 유용한 지도가 무엇인지 합의합시다"라고 말했을 것입니다. 그는 어떤 이론이 "진짜" 보이지 않는 현실을 묘사하는지에 따라 판단하지 않고, 어떤 이론이 더 간단하고 더 잘 작동하는지에 따라 이론들을 평가했을 것입니다.

5. 오늘날 카르납은 무엇을 생각할까?

이 논문은 결론 부분에서 질문합니다: 만약 카르납이 오늘날 살아있다면, 그의 마음을 바꿀까요?

• 나쁜 소식: 우리는 여전히 양자 역학과 중력 (아인슈타인의 이론) 을 결합하는 완벽한 통합 "청사진"을 가지고 있지 않습니다. 집은 여전히 공사 중입니다. 따라서 카르납은 아마도 여전히 거부할 것입니다. 양자 역학이 우리가 논리 규칙을 변경하도록 강요한다고 말하지는 않을 것입니다.
• 좋은 소식: 우주를 데이터를 처리하는 체계로 생각하는 정보 이론을 사용하여 이론을 바닥부터 다시 구축하려는 새로운 시도들이 있습니다. 이러한 것들이 카르납이 원했던 완벽한 형식 청사진은 아니지만, 올바른 방향으로 나아가는 단계들입니다. 그는 이러한 새로운 접근법들이 더 명확한 개념으로 "이론을 재건"하는 방법으로서 관심을 가질지도 모릅니다.

요약

카르납은 신중한 건축가였습니다. 그는 양자 역학이 혁명적이었음을 알았지만, 이론이 완벽하고 형식적인 수학 언어로 서술되기 전까지는 논리 법칙을 다시 쓰거나 현실의 궁극적인 본질에 대해 논쟁해서는 안 된다고 고집했습니다. 그는 "청사진"이 완성될 때까지, "실재"에 대한 형이상학적 논쟁에 빠지기보다는 이론을 유용하고 간단하게 만드는 데 집중해야 한다고 믿었습니다.

기술 요약

기술적 요약: 카르파의 양자역학에 관한 연구

문제
본 논문은 루돌프 카르파의 엄밀한 철학적 방법론과 그가 1966 년 저서『물리학의 철학적 기초』에서 양자역학 (QM) 을 다룬 방식 사이의 명백한 긴장 관계를 다루고 있다. 비평가들과 최근 편집자들 (Lutz 와 Tuboly, 2021) 은 카르파의 양자역학에 대한 성찰이 시대에 뒤떨어진 것이라고 주장하며, 그가 1932 년 폰 노이만의 형식주의에 의존하면서도 맥케이 (1963) 와 같은 후대의 엄밀한 접근법이나 글리슨 (1957) 과 벨 (1964) 의 기초 정리들과 같은 이론들을 간과했다고 지적했다. 핵심 문제는 카르파의 양자역학에 대한 실제 입장을 명확히 하는 것으로, 이는 이론의 기본 원리에 대한 그의 건전한 이해와, 이론이 완전히 형식화된 공리 체계로 제시될 때까지 특정 철학적 질문 (언어와 논리에 관한 것) 을 다루는 것을 거부한 그의 구체적인 방법론적 태도 사이를 구분하는 것이다. 저자들은 또한 카르파의 체계가 양자역학 해석, 실재론, 그리고 양자 이론의 의미론에 관한 현대적 논쟁에 어떤 함의를 가지는지 조사한다.

방법론
저자들은 카르파의 1966 년 텍스트에 대한 역사적·개념적 분석을 수행하며, 이는 그의 초기 저작들인 논리적 문법, 합리적 재구성, 그리고 의미론에 관한 연구 (예:『언어의 논리적 문법』, 1937;『의미론 입문』, 1943) 와 교차 참조된다. 방법론은 다음을 포함한다:

1. 텍스트 재구성: 카르파가 1966 년 책의 마지막 장 (「양자물리학의 비결정론」) 에서 불확정성 원리, 파동 함수, 그리고 슈뢰딩거 방정식에 대해 제시한 구체적인 논증을 분석한다.
2. 초철학적 맥락화: 물리학에 기반하여 논리를 수정하는 것에 대한 카르파의 주저함을 그의 보다 광범위한 '합리적 재구성'에 대한 헌신 안에 위치시킨다. 여기에는 과학 이론이 논리 - 수학 공리, 이론적 문장, 그리고 이를 관찰 문장과 연결하는 대응 규칙으로 구성된 부분적으로 해석된 문법적 구조로 표현되어야 한다는 그의 요구 사항을 검토하는 작업이 포함된다.
3. 반사실적 적용: 카르파의 확립된 철학적 원칙들 (특히 내적 대 외적 질문에 관한 견해, 과학적 설명의 본질, 그리고 추론주의 대 표상주의) 을 벨, 코헨 - 스페커와 같은 불가성 정리 (no-go theorems) 와 하디, 치리벨라 등による 현대 정보 이론적 공리화와 같은 양자역학의 현대적 발전에 적용해 본다.

주요 기여
본 논문은 카르파의 물리학 철학 이해에 다음과 같은 몇 가지 독특한 기여를 한다:

• 무지에 대한 반박: 카르파가 양자 이론에 익숙하지 않았다는 주장을 명시적으로 반박하며, 비록 그가 형식화가 그의 특정 철학적 목적에는 불완전하다고 판단했음에도 불구하고 그는 그 기본 원리에 대한 건전한 이해를 가지고 있었음을 논증한다.
• '합리적 재구성'의 명확화: 저자들은 카르파가 양자역학에 기반하여 논리를 수정하는 것을 거부한 이유가 기존 형식들 (폰 노이만의 것이나 맥케이의 것 등) 에 수학적 엄밀함이 부족해서가 아니라, 이러한 것들이 전체로서의 현대 물리학에 대한 합리적 재구성을 구성하지 못했기 때문임을 명확히 한다. 카르파는 중력/시공간 물리학을 포함하는 통일된 체계와 이론적 용어 및 관찰 용어 사이의 명확한 구분을 요구했는데, 이는 1960 년대에 부재했을 뿐만 아니라 오늘날에도 여전히 부재하다.
• 실재론에 관한 카르파의 재해석: 본 논문은 카르파가 현재 양자역학 해석들 (예: 다세계 대 숨은 변수) 에 대한 논쟁을 '외적 질문'에 관한 '가짜 논쟁'으로 볼 가능성이 높다고 주장한다. 대신 그는 이러한 해석들을 형이상학적 진리가 아닌 실용적 기준 (단순성, 통일성) 에 따라 평가할 것이다.
• 불가성 정리의 초의미론적 분석: 저자들은 벨과 코헨 - 스페커 정리를 카르파가 실재론의 장애물이 아니라 양자 형식주의에 대한 표상주의적 의미론을 제공하는 데 있는 초의미론적 한계로 해석했을 것이라고 제안한다. 이는 현대의 추론주의적 견해 (예: 힐리, 2017) 와 일치하며, 적용 규칙이 양자 용어의 의미를 결정한다는 것을 시사한다.
• 범주성 테스트: 본 논문은 고전 논리에서의 범주성 문제에 대한 카르파의 해결책을 양자역학에 적용한다. 이는 양자 용어에 대해 추론주의적 의미론을 채택하더라도, 카르파는 이론의 물리적 규칙 (P-규칙) 이 용어의 의미를 고유하게 결정하는지 여부를 테스트하는 범주성을 요구했을 것이라고 제안한다.

결과

• 논리 수정의 지위: 카르파는 물리학의 완전하고 통일된 합리적 재구성이 아직 이루어지지 않았기 때문에, 양자역학만으로 물리학의 근본 논리를 수정할 것 (예: 비분배 논리 채택) 은 유력하지 않을 것이다.
• 과학적 설명의 본질: 본 논문은 양자역학의 통계적 성격이 무지에서 비롯된 것이 아니라 세계 구조의 근본적 특징이라는 카르파의 견해를 확인하며, 이는 모든 물리적 설명이 본질적으로 통계적임을 시사한다.
• 자유 의지: 카르파의 양자적 비결정성이 자유 의지를 지지하지 않는다는 주장은 재확인된다: 무작위적인 양자 도약은 단지 선택을 자유로운 것이 아니라 무작위적인 것 (확률) 으로 만들 뿐이다.
• 현대적 관련성: 양자역학의 현대적 정보 이론적 공리화 (정보 원리에서 상태 공간을 유도하는 것) 가 아직 형식적 언어와 대응 규칙이 부재하여 카르파식 합리적 재구성은 아니지만, 본 논문은 이것이 이를 향한 길을 열 수 있음을 시사한다.

의의
본 논문은 카르파가 양자역학에 관여했다는 역사적 기록을 수정함으로써, 그가 단순히 '시대에 뒤떨어졌다'는 관점을 넘어선다는 점에서 의의를 가진다. 이는 카르파의 신중함이 기술적 이해의 부족이 아니라 합리적 재구성에 대한 그의 철학에 뿌리둔 방법론적 필연성임을 보여준다. 더 나아가, 본 논문은 20 세기 중반의 카르파 철학과 현대 논쟁을 연결하여, 그의 체계가 형이상학적 함정에 빠지지 않고 현대 불가성 정리와 양자역학에 대한 의미론적 접근을 해석하는 강력한 방법을 제공함을 시사한다. 본 논문은 형식화와 내적 대 외적 질문의 구분에 대한 카르파의 고집이 오늘날 양자 이론의 논리적·언어적 기초를 분석하는 데 여전히 필수적인 도구라고 주장한다.