[논문 리뷰] Algebraic hierarchy of logics unifying fuzzy logic and quantum logic

Andreas de Vries|arXiv (Cornell University)|2007. 07. 14.

Advanced Algebra and Logic참고 문헌 38인용 수 5

한 줄 요약

이 논문은 약한 이重부정, 반탄성, 그리고 불리안 경계 조건을 만족하는 격자 위에서 일반화된 흐린 부정을 정의하여, 흐린 논리, 양자 논리, 무모순 논리, 직관적 논리, 불리안 논리를 하나의 대칭적인 대수적 구조로 통합하는 통합된 대수적 계층을 제안한다. 이 프레임워크는 흐린 논리, 양자 논리, 무모순 논리, 직관적 논리, 불리안 논리를 하나의 대수적 구조 아래에 통합하며, 드 모르간 법칙이 비대칭적임을 드러내는데, 반탄성이 추론의 분리법칙은 유도하지만 결합법칙은 유도하지 않음을 보여주며, 이는 비직교모듈라성 및 비분배성 흐린 논리를 새롭게 가능하게 한다.

ABSTRACT

In this paper, a short survey about the concepts underlying general logics is given. In particular, a novel rigorous definition of a fuzzy negation as an operation acting on a lattice to render it into a fuzzy logic is presented. According to this definition, a fuzzy negation satisfies the weak double negation condition, requiring double negation to be expansive, the antitony condition, being equivalent to the disjunctive De Morgan law and thus warranting compatibility of negation with the lattice operations, and the Boolean boundary condition stating that the universal bounds of the lattice are the negation of each other. From this perspective, the most general logics are fuzzy logics, containing as special cases paraconsistent (quantum) logics, quantum logics, intuitionistic logics, and Boolean logics, each of which given by its own algebraic restrictions. New examples of a non-contradictory logic violating the conjunctive De Morgan law, and of a typical non-orthomodular fuzzy logic along with its explicit lattice representation are given.

연구 동기 및 목표

• 비클래식 논리의 다양한 유형, 즉 흐린 논리, 양자 논리, 무모순 논리, 직관적 논리, 불리안 논리를 통합하는 종합적인 대수적 프레임워크를 구축하는 것.
• 반탄성이 분리법칙은 유도하지만 결합법칙은 유도하지 않는 드 모르간 법칙 간의 비대칭성을 밝혀내는 것.
• 흐린 논리가 무모순적이고 비직교모듈라적일 수 있음을 보여주어, 양자 논리에 대한 전통적 가정에 도전하는 것.
• 격자 기반 논리와 효과 대수와 같은 비격자 구조 간의 기초적 차이를 명확히 하여, 후자를 '논리'로 부르는 것을 반박하는 것.

제안 방법

• 약한 이중부정(확장성), 반탄성(분리법칙 드 모르간 법칙과 동치), 불리안 경계 조건을 만족하는 흐린 부정을 격자 연산으로 정의한다.
• 흐린 논리 구조에 추가적인 대수적 제약 조건을 적용하여 논리의 계층을 구성한다: 무모순성, 비모순성, 직교모듈라성, 분배성, 함의적 구조.
• t-노름과 그 유도된 부정을 사용하여 유한하고 이산적인 흐린 논리 예제를 생성하며, 비직교모듈라 격자를 포함한다.
• 힐버트 공간의 부분공간과 얽히지 않은 양자 레지스터를 통해 양자 논리를 분석하여, 분배성이 없이도 직교모듈라성을 만족함을 보여준다.
• 비모순 논리에서 강한 이중부정($x = x''$)이 배타의 법칙(tertium non datur)을 유도함을 보여준다.
• 격자 기반 논리와 효과 대수와 같은 비격자 구조를 대비하여, 만족과 합이 없는 것이 드 모르간 법칙을 표현할 수 없게 하며, 이로 인해 논리적 관계와 인과적 관계의 경계가 흐려지므로 비격자 구조는 논리로 간주되어서는 안 된다고 주장한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 흐린 논리를 일반화하여 양자 논리, 무모순 논리, 직관적 논리, 불리안 논리를 하나의 대수적 프레임워크 아래 통합할 수 있는가?
• RQ2 왜 반탄성이 분리법칙은 유도하지만 결합법칙은 유도하지 않는가? 이러한 비대칭성의 논리적 결과는 무엇인가?
• RQ3 비직교모듈라성과 비분배성 흐린 논리는 존재할 수 있으며, 그 격자 표현은 어떤 모습인가?
• RQ4 강한 이중부정($x = x''$)은 비모순적인 흐린 논리에서 배타의 법칙을 유도하는 데 어떤 역할을 하는가?
• RQ5 왜 효과 대수나 운영 논리와 같은 비격자 구조는 격자 기반 시스템과 같은 의미에서 '논리'로 간주되어서는 안 되는가?

주요 결과

• 약한 이중부정, 반탄성, 불리안 경계 조건을 만족하는 새로운 흐린 부정 정의가 흐린 논리, 양자 논리, 무모순 논리, 직관적 논리, 불리안 논리를 하나의 대수적 계층 내에서 통합한다.
• 반탄성 조건은 분리법칙 드 모르간 법칙과 동치이지만, 결합법칙 드 모르간 법칙을 함의하지 않으며, 이는 두 법칙 간의 근본적인 비대칭성을 드러낸다.
• 예제 21은 결합법칙 드 모르간 법칙이 실패하는 비모순 논리 $(M_5, eg)$를 제시하여, 이러한 논리가 이 법칙이 없더라도 논리적으로 일관됨을 보여준다.
• 예제 39는 명시적인 격자 표현을 가진 전형적인 비직교모듈라 흐린 논리를 구성하여, 직교모듈라성이 흐린 논리의 필수적 특성이 아니라는 것을 보여준다.
• 비모순적인 흐린 논리에서 강한 이중부정($x = x''$)은 배타의 법칙(tertium non datur)을 유도하며, 이는 이전에는 함의 논리에서만 알려진 결과이다.
• 논문은 효과 대수나 운영 논리와 같은 비격자 구조는 만족과 합이 없어 드 모르간 법칙을 표현할 수 없으며, 이로 인해 논리적 관계와 인과적 관계의 경계가 흐려지므로 '논리'로 부르는 것은 부적절하다고 주장한다.