[论文解读] Algebraic hierarchy of logics unifying fuzzy logic and quantum logic

Andreas de Vries|arXiv (Cornell University)|Jul 14, 2007

Advanced Algebra and Logic参考文献 38被引用 5

一句话总结

本文通过在格上定义满足弱双重否定、对偶性及布尔边界条件的一般模糊否定，提出了一种统一的逻辑代数层次结构。该框架将模糊逻辑、量子逻辑、 paraconsistent 逻辑、直觉主义逻辑和布尔逻辑统一于单一代数结构之下，揭示了德摩根律的非对称性——对偶性蕴含析取性德摩根律但不蕴含合取性德摩根律——从而允许构建新的非正交模化且非分配性的模糊逻辑。

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.

研究动机与目标

• 建立一个全面的代数框架，统一包括模糊、量子、paraconsistent、直觉主义和布尔逻辑在内的多种非经典逻辑。
• 通过证明对偶性蕴含析取性但不蕴含合取性德摩根律，解决两个德摩根律之间的不对称性问题。
• 证明模糊逻辑可以是非矛盾且非正交模化的，从而挑战关于量子逻辑的经典假设。
• 阐明基于格的逻辑与非格结构（如效应代数）之间的基础性区别，主张不应将后者称为“逻辑”。

提出的方法

• 将模糊否定定义为满足三个公理的格运算：弱双重否定（扩张性）、对偶性（等价于析取性德摩根律）以及布尔边界条件。
• 通过在模糊逻辑结构上施加额外的代数约束（如 paraconsistent 性、非矛盾性、正交模化、分配性及蕴含结构），构建逻辑的层次结构。
• 利用 t-范数及其导出的否定，生成有限且离散的模糊逻辑示例，包括非正交模化的格。
• 通过希尔伯特空间中的子空间以及未纠缠态的量子寄存器分析量子逻辑，表明其具有正交模化但不具分配性。
• 证明在非矛盾逻辑中，强双重否定（$x = x''$）蕴含排中律（tertium non datur）。
• 将基于格的逻辑与非格结构（如效应代数）进行对比，论证由于缺乏交与并运算，德摩根律无法表达，因此这些结构不应被视为“逻辑”。

实验结果

研究问题

• RQ1 如何通过单一代数框架将模糊逻辑推广，以统一量子、paraconsistent、直觉主义和布尔逻辑？
• RQ2 为何对偶性蕴含析取性但不蕴含合取性德摩根律？这种非对称性的逻辑后果是什么？
• RQ3 非正交模化且非分配性的模糊逻辑是否存在？其格表示形式如何？
• RQ4 在非矛盾模糊逻辑中，强双重否定（$x = x''$）在推导排中律中的作用是什么？
• RQ5 为何不应将非格结构（如效应代数）视为与基于格的系统同义的“逻辑”？

主要发现

• 提出了一种新颖的模糊否定定义——满足弱双重否定、对偶性及布尔边界条件——将模糊、量子、paraconsistent、直觉主义和布尔逻辑统一于单一代数层次结构之中。
• 对偶性条件等价于析取性德摩根律，但不蕴含合取性德摩根律，揭示了两者之间根本的非对称性。
• 例21展示了一个非矛盾逻辑 $(M_5, eg)$，其中合取性德摩根律不成立，证明此类逻辑即使缺乏该律也具有逻辑一致性。
• 例39构建了一个典型的非正交模化模糊逻辑，给出了明确的格表示，表明正交模化并非模糊逻辑的必要特征。
• 在非矛盾模糊逻辑中，强双重否定（$x = x''$）蕴含排中律（tertium non datur），此结果此前仅知于蕴含性逻辑中。
• 本文主张，效应代数或操作逻辑等非格结构不应被称为“逻辑”，因为其缺乏交与并运算，导致德摩根律无法表达，从而模糊了逻辑关系与因果关系之间的界限。