Classical and Quantum Logics with Multiple Non-Equivalent and Non-Isomorphic Models

기술적 요약: 다수의 비동치 및 비동형 모델을 가진 고전 및 양자 논리

문제 제기
본 논문은 양자 논리(QL)와 고전 논리(CL)의 의미론적 모델에 관한 논쟁을 다룬다. 저자의 이전 연구(구체적으로 문헌 [6] 및 [7])는 QL과 CL 모두가 서로 동치적이지 않고 비동형인 다수의 모델을 보유하고 있음을 확립하였으나, 최근 Kowalski, Paoli, Giuntini [5]와 Drozdowska [2]의 비판은 이 결과를 반박한다. 비판자들은 다음과 같이 주장한다:

1. 직교모듈러 격자(OML)는 양자 논리의 유일한 "대수적 대응물"이며, 따라서 약한 직교모듈러 격자(WOML)와 같은 다른 모델들은 동등한 대수적 의미론으로서 부적절하다.
2. 고전 논리는 본질적으로 분배적이며, 비분배적 모델(예: 격자 O6)의 존재가 CL 자체가 비분배적이라는 증거가 되지는 않는다.
3. 특정 모델(예: O6)은 고전 논리의 추론 구조, 특히 동치 치환 규칙을 보존하는 데 실패한다.

저자는 이러한 비판들이 근거가 없거나 계산 오류에 기반하고 있다고 주장하며, 단일 논리에 대해 다수의 구별되는 모델이 존재한다는 사실은 논리의 건전성(soundness)과 완전성(completeness)을 모순시키지 않는 수학적으로 타당한 결과라고 역설한다.

방법론
본 논문은 저자의 이전 출판물([6], [7], [9], [12])에서 제시된 정의와 증명을 재검토하고 공식화하는 비교적이고 구성적인 접근 방식을 채택한다. 방법론은 다음과 같이 구성된다:

1. 비교적 공식화: 저자는 QL과 CL을 나란히 제시하며, 이들의 원시 명제, 연결사(부정, 논리합) 및 특정 함의(고전적, 양자적, 사사키 함의)와 동치를 정의한다.
2. 격자 계층 구조 구축: 논문은 가장 일반적인 구조에서 가장 특수한 구조에 이르는 격자 계층을 정의한다:
   • WOML: 약한 직교모듈러 격자 (완전한 직교모듈러성을 만족하지는 않지만 약한 직교모듈러 조건을 만족함).
   • WOML1, WOML2: WOML의 더 강한 변형들.
   • OML: 직교모듈러 격자 (직교모듈러 방정식을 만족함).
   • WDOL: 약한 분배적 직교격자.
   • DL: 분배 격자 (불 대수).
     저자는 엄격한 포함 관계(예: $DL \subsetneq WDOL \subsetneq WOML$)를 입증하고, 더 강한 조건은 실패하지만 더 약한 조건은 유지되는 특정 반례(격자 O6, O7, O8)를 식별한다.
3. 모델 정의 및 검증: 린덴바움 대수(Lindenbaum algebras)와 특정 값 할당(공식에서 격자 원소로의 모피즘)을 사용하여 모델 $M = \langle L, h \rangle$을 정의한다. 저자는 각 격자 클래스에 대해 건전성(모든 정리가 모델에서 성립함)과 완전성(모든 모델에서 타당한 공식은 정리임)을 증명한다. 저자는 O6가 QL을 위한 WOML*, WOML1*, WOML2*, OML 클래스와 더불어, CL을 위한 WOML*, WDOL*, DL 클래스와 함께 둘 다의 모델 역할을 수행함을 명시적으로 밝힌다.
4. 비판적 분석: 저자는 비판자들의 주장을 체계적으로 해체하며, 그들의 논리적 일관성을 점검하고 특히 격자 O6에서의 치환 규칙에 관한 비판자들의 특정 반례를 검증한다.

주요 기여 및 결과

• 비동치 모델의 존재: 본 논문은 QL이 WOML, WOML*, WOML1*, WOML2*, OML을 포함한 다양한 모델들에 대해 건전하고 완전함을 엄밀하게 증명한다. 마찬가지로 CL은 WOML*, WDOL*, DL에 대해 건전하고 완전하다. 결정적으로, 이 모델들은 비동형(구조적으로 다름)이며 비동치(서로 다른 방정식 집합을 만족함)이지만, 각각의 논리에 대해 정확히 동일한 정리 집합을 생성한다. 격자 O6는 QL과 CL 모두에 유효한 특정 비분배적, 비직교모듈러 모델로 강조된다.
• "유일한 의미론"에 대한 반박: 저자는 OML이 QL의 유일한 유효한 대수적 의미론이라는 주장이 거짓임을 입증한다. 저자는 WOML(직교모듈러 방정식 $a \cup (b \cap (a' \cup b')) = a \cup b$를 만족하지 않는 격자)이 QL의 정당한 모델임을 보여준다. 직교모듈러 방정식은 모델(격자)의 속성이지, 논리(QL) 자체에서 표현 가능한 정리가 아니다.
• "본질적 분배성"에 대한 반박: 이와 유사하게, 본 논문은 분배 법칙이 정리라는 사실만으로 CL을 "분배적"이라고 정의할 수 없다고 주장한다. CL 역시 비분배적 모델(예: O6)을 허용하며 직교모듈러 및 모듈러 법칙을 정리로 허용하므로, CL을 "분배적"이라고 명명하는 것은 용어적으로 모호하고 의미론적으로 제한적이다. 논리 자체는 중립적이며, 속성은 특정 모델에 속한다.
• 계산 오류의 수정: 저자는 격자 O6에서의 치환 규칙에 관한 Drozdowska의 비판에 포함된 특정 계산 오류를 식별한다. 비판자는 $a \to_c a$가 O6에서 $a$로 평가되어 치환 규칙이 실패한다고 주장했다. 저자는 이를 수정하여 $a \to_c a = a' \cup a = 1$임을 보여준다. 치환 규칙은 공식이 1로 평가되는 것(타당성)에 의존하며, 모든 1인 공식은 O6를 통과하므로 규칙은 성립한다. 비판자의 "실패"는 잘못된 전제에 기반한 것이었다.

의의 및 주장
본 논문은 QL과 CL에 대한 다수 모델의 존재에 제기된 비판들이 수학적으로 타당하지 않다고 주장한다. 저자는 다음과 같이 단언한다:

• QL의 대수적 의미론을 위한 "자리"는 OML에 의해 유일하게 채워지는 것이 아니라, 비직교모듈러를 포함한 격자의 상위 변종(supervariety)이 유효한 의미론 역할을 한다.
• 서로 다른 모델이 동일한 정리를 산출한다는 사실은 모순이 아니라 건전성과 완전성의 본질이다.
• 혼란을 피하기 위해 "직교모듈러 논리" 또는 "분배 논리"와 같은 용어는 해당 방정식이 성립하는 특정 격자 모델을 지칭하는 데 사용되어야 하며, 이를 논리 체계 자체와 혼동해서는 안 된다.

본 논문은 이 분야가 이러한 모델들의 유일성에 대한 논쟁을 넘어, 직교모듈러 격자 이론 내의 미해결 문제들을 해결하는 데 집중해야 한다고 결론짓는다. 주요 기여는 단일 논리 체계가 구조적으로 구별되고 비동치인 대수적 모델들에 의해 충실하게 표현될 수 있음을 보여주는 증명들을 통합한 것이다.