[논문 리뷰] Connectives in Quantum and other Cumulative Logics

Daniel Lehmann|ArXiv.org|2002. 05. 31.

Logic, Reasoning, and Knowledge참고 문헌 6인용 수 5

한 줄 요약

이 논문은 양자논리와 누적 비단조화 논리에서 연결사—특히 결합, 부정, 배타적 논리합—을 조사하며, 결합은 닫힌 부분공간의 교차를 통해 잘 정의되지만, 표준 양자 부정(직교 여부의 보완을 통한)은 부정에 대한 증명론적 기준을 만족하지 못함을 보여준다. 주요 기여는 C-논리와 L-논리에서 연결사의 형식적 특성화로, 이는 양자논리가 적절한 결합과 비표준 부정을 지닌다지만 분배법칙의 실패로 인해 적절한 논리합을 지닐 수 없다는 것을 드러낸다.

ABSTRACT

Cumulative logics are studied in an abstract setting, i.e., without connectives, very much in the spirit of Makinson's early work. A powerful representation theorem characterizes those logics by choice functions that satisfy a weakening of Sen's property alpha, in the spirit of the author's "Nonmonotonic Logics and Semantics" (JLC). The representation results obtained are surprisingly smooth: in the completeness part the choice function may be defined on any set of worlds, not only definable sets and no definability-preservation property is required in the soundness part. For abstract cumulative logics, proper conjunction and negation may be defined. Contrary to the situation studied in "Nonmonotonic Logics and Semantics" no proper disjunction seems to be definable in general. The cumulative relations of KLM that satisfy some weakening of the consistency preservation property all define cumulative logics with a proper negation. Quantum Logics, as defined by Engesser and Gabbay are such cumulative logics but the negation defined by orthogonal complement does not provide a proper negation.

연구 동기 및 목표

• 양자논리와 누적 비단조화 논리에서 연결사—결합, 부정, 논리합—의 특성을 규명하는 것.
• 직교 보완을 통한 표준 양자 부정이 부정에 대한 증명론적 기준을 만족하는지 조사하는 것.
• 분배법칙의 실패로 인해 논리합이 일반적으로 잘 정의될 수 없는지 여부를 규명하는 것.
• 이전 연구 [7]의 범위를 초월하여 비정의 가능성 유지 모델을 수용하는 C-논리와 L-논리의 표현 결과를 확장하는 것.
• 특히 바르코프와 폰 노이만이 관측 가능량에 대해 기대한 바로, 고전적 연결사가 양자논리에서 형식적으로 어떤 지위를 차지하는지 명확히 하는 것.

제안 방법

• 모델 이론적 프레임워크를 사용하여, 정의 가능성 유지 조건 없이도 적용 가능한 선택 함수와 모델 집합 위의 함의관계를 기반으로 하며, [7]의 접근을 비정의 집합까지 일반화한다.
• 누적성과 2-루프 성질의 개념을 적용하여 C-논리와 L-논리를 특성화하고, 정의 가능성 유지 조건 없이도 일관된 표현이 가능하다는 것을 보여준다.
• 힐베르트 공간 내 닫힌 부분공간의 교차를 통해 결합을 정의하여 ∧-R 규칙의 타당성을 보장한다.
• 직교 보완을 통한 부정을 분석하여 ¬-R2 규칙(모순에 의한 증명)이 실패함을 입증함으로써, 이를 적절한 부정으로 간주하지 못함을 보여준다.
• 분배법칙의 관점에서 논리합을 조사하여, 오직 분배법칙을 만족하는 양자논리에서만 ∨-R1과 ∨-R2를 만족하는 논리합이 존재할 수 있음을 보여준다.
• 예를 들어 R²에서의 기하학적 예시를 활용하여 ¬-R2의 실패와 정준 논리합의 존재 불가능성을 시각화한다.

실험 결과

연구 질문

• RQ1 표준 증명론적 규칙 ¬-R1과 ¬-R2를 모두 만족하는 적절한 부정을 양자논리에서 정의할 수 있는가?
• RQ2 양자논리는 ∨-R1과 ∨-R2를 만족하는 잘 정의된 논리합을 지닐 수 있는가, 아니면 구조적 제약으로 인해 불가능한가?
• RQ3 C-논리와 L-논리 이외의 추가 성질을 양자논리가 만족하는가, 아니면 단지 이들 광범위한 클래스의 성질만을 유추하는가?
• RQ4 직교 보완을 통한 표준 양자 부정은 논리적으로 충분한가, 아니면 기본 증명론 원리에 실패하는가?
• RQ5 양자역학에서 관측 가능량의 부정이 관측 가능량으로 간주될 수 있는가, 비록 직교 보완이 부정으로서 논리적으로 부적절하다는 점을 감안할 때?

주요 결과

• 양자논리에서의 결합은 닫힌 부분공간의 교차를 통해 잘 정의되며, 무한 결합도 유효하고 ∧-R 규칙을 만족한다.
• 직교 보완을 통한 표준 양자 부정은 ¬-R2 규칙(모순에 의한 증명)을 만족하지 못하여 논리학적 관점에서 적절한 부정이 아니라는 것을 보여준다.
• 일반적인 양자논리에서는 논리합이 존재하지 않으며, 이는 분배법칙의 실패 때문이며, 오직 분배법칙을 만족하는 양자논리에서만 ∨-R1과 ∨-R2를 만족하는 논리합이 존재할 수 있다.
• 양자논리는 C-논리이자 L-논리이지만, [7]에서 요구하는 일관성 성질을 만족하지 못하므로 더 넓은 표현 프레임워크가 필요하다.
• 논문은 ¬-R2의 실패가 바르코프와 폰 노이만의 관찰과 일치함을 밝혀내었으며, 이는 분배법칙이 양자논리의 가장 약한 고리이며, 부정이 아니라 분배법칙이 문제라는 것이다.
• 결과적으로 양자논리에서의 부정이 물리적 관측 가능량과 대응하지 않을 수 있음을 시사하며, 양자역학에서 논리적 부정의 본질에 대한 기본적인 질문을 제기한다.