[논문 리뷰] A Pragmatic Interpretation of Quantum Logic

Claudio Garola|ArXiv.org|2005. 07. 13.

Quantum Mechanics and Applications참고 문헌 67인용 수 8

한 줄 요약

이 논문은 양자 논리(QL)를 양자역학(QM) 내에서 경험적으로 타당하거나 타당하지 않은 진술을 표현하는 형식적 체계로 실용적 재해석한다. 이는 양자 진리의 논리로 보는 것이 아니라, 진리 개념이 아닌 경험적 타당성의 논리로 본다. 양자 명제를 실용적으로 결정 가능한 공식($Δ_{QD}^{P}$)의 언어로 매핑함으로써, QL이 메타수준의 경험적 타당성 개념을 형식화함을 보여주며, 고전적 Tarskian 진리와의 충돌을 피하고 통합적 프레임워크를 통해 논리적 전지성(globality)을 유지한다.

ABSTRACT

Scholars have wondered for a long time whether quantum mechanics (QM) subtends a quantum concept of truth which originates quantum logic (QL) and is radically different from the classical (Tarskian) concept of truth. We show in this paper that QL can be interpreted as a pragmatic language of pragmatically decidable assertive formulas, which formalize statements about physical systems that are empirically justified or unjustified in the framework of QM. According to this interpretation, QL formalizes properties of the metalinguistic concept of empirical justification within QM rather than properties of a quantum concept of truth. This conclusion agrees with a general integrationist perspective, according to which nonstandard logics can be interpreted as theories of metalinguistic concepts different from truth, avoiding competition with classical notions and preserving the globality of logic. By the way, some elucidations of the standard concept of quantum truth are also obtained.

연구 동기 및 목표

• 양자역학이 비고전적 진리 개념을 암시하는가에 대한 오랫동안 지속된 논의를 해결하기 위해.
• 양자 논리(QL)가 양자 진리 개념을 형식화하지 않고 오히려 경험적 타당성 개념을 형식화함을 보여주기 위해.
• 비고전적 논리 체계를 진리 외의 메타수준 개념 이론으로 재해석함으로써 고전적 Tarskian 진리 개념을 유지하기 위해.
• 의미 없는 진술과 기존 해석에서의 맥락 의존성 문제를 피하면서도 실용적으로 기반을 둔 일관된 QL 형식 체계를 제공하기 위해.
• 고전 논리와 의미론적 현실주의와 호환되는 전지적 다원주의 논리 프레임워크 내에서 양자 논리를 통합하기 위해.

제안 방법

• 양자 논리를 물리계에 대한 경험적으로 결정 가능한 진술을 표현하는 실용적 언어 $\mathcal{L}_{QD}^{P}$로 형식화함.
• 양자 논리 레이티스 $(\mathcal{L}(S), \subset)$와 실용적으로 결정 가능한 공식의 동치류를 나타내는 몫집합 $\phi_{AD}^{Q}/\approx$ 사이의 순서-동형사상(ordered isomorphism)을 설정함.
• 표준 양자 논리 연결사(보수, 교집합, 합집합)를 $\mathcal{L}_{QD}^{P}$ 내 실용적 연산(N, K, A_Q)으로 번역하는 형식적 대응을 사용하여 대수적 구조를 유지함.
• 이 매핑을 적용하여 QL을 진리가 아닌 경험적 타당성 이론으로 재해석함으로써, 비Tarskian 진리 개념이 필요 없도록 함.
• $\mathcal{L}_{QD}^{P}$에 대해 알려진 정규직교논리 체계를 통해 번역된 p-정확성(p-correct)과 p-완전성(p-complete)의 공리 및 추론 규칙 집합을 제시함.
• 실용적 해석이 모든 상태에서 모든 공식에 타당성 값을 할당함으로써 기존 QL에서의 의미 없는 진술 문제를 해결함을 보여줌.

실험 결과

연구 질문

• RQ1 양자 논리는 양자 진리의 논리로 보는 것이 아니라, 양자역학 내 경험적 타당성의 형식적 체계로 볼 수 있는가?
• RQ2 비틀림 없는 충돌이나 불일치 없이 양자 논리는 고전적 Tarskian 진리 개념과 어떻게 조화를 이룰 수 있는가?
• RQ3 비보수 논리와 맥락 의존성이 양자역학에서 비고전적 진리의 기초로 기능하지 않는다면, 그 역할은 무엇인가?
• RQ4 비고전적 구조를 수용하면서도 논리의 전지성을 유지할 수 있는 실용적 해석이 가능한가?
• RQ5 정확성과 완전성이 실용적 의미에서 모두 확보된 실용적 양자 논리의 계산 체계를 구축할 수 있는가?

주요 결과

• 양자 논리는 양자 진리 개념이 아니라 양자역학 내 메타수준의 경험적 타당성 개념을 형식화한다.
• 기존의 QM 해석은 실제 상태가 아닌 성질에 대해 진리값이 없어 의미 없는 진술을 초래하지만, 실용적 해석에서는 모든 공식에 타당성 값을 할당함으로써 이 문제를 해결한다.
• $\mathcal{L}_{QD}^{P}$는 양자 논리 레이티스에서 실용적으로 결정 가능한 공식의 집합으로의 이분사적 매핑을 제공하며, 정규직교 구조를 유지한다.
• 실용적 해석은 비Tarskian 진리 개념이 필요 없도록 QL을 타당성 이론으로 재해석함으로써 고전 논리와 의미론적 현실주의와 통합된다.
• 표준 정규직교논리 공리계를 번역하여 $\mathcal{L}_{QD}^{P}$에 대해 p-정확성과 p-완전성을 확보한 공리 집합을 도출함으로써 실용적 의미에서 논리적 일관성과 완전성을 보장한다.
• 재해석을 통해 기존 해석에서 진리값이 없는 경우에도 개별 물리적 대상에 대한 모든 진술에 타당성 상태를 할당할 수 있게 되어, 양자역학의 인지론적 문제를 해결한다.