The Square of Opposition in Orthomodular Logic
نویسندگان
چکیده
We give an interpretation of the Square of Opposition in an orthomodular structure enriched with a monadic quantifier.
منابع مشابه
Orthomodular-Valued Models for quantum Set Theory
Orthomodular logic represented by a complete orthomodular lattice has been studied as a pertinent generalization of the two-valued logic, Boolean-valued logic, and quantum logic. In this paper, we introduce orthomodular logic valued models for set theory generalizing quantum logic valued models introduced by Takeuti as well as Boolean-valued models introduced by Scott and Solovay, and prove a g...
متن کاملFinite Automata Based on Quantum Logic and Their Determinization
We give the quantum subset construction of orthomodular lattice-valued finite automata, then we show the equivalence between orthomodular lattice-valued finite automata, orthomodular lattice-valued deterministic finite automata and orthomodular lattice-valued finite automata with empty string-moves. Based on these equivalences, we study the algebraic operations on orthomodular lattice-valued re...
متن کاملNon-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers
It is shown that propositional calculuses of both quantum and classical logics are noncategorical. We find that quantum logic is in addition to an orthomodular lattice also modeled by a weakly orthomodular lattice and that classical logic is in addition to a Boolean algebra also modeled by a weakly distributive lattice. Both new models turn out to be non-orthomodular. We prove the soundness and...
متن کاملNon-Orthomodular Models for Quantum and Classical Logics Non-Orthomodular Models for Both Standard Quantum Logic and Standard Classical Logic: Repercussions for Quantum Computers
It is shown that propositional calculuses of both quantum and classical logics are noncategorical. We find that quantum logic is in addition to an orthomodular lattice also modeled by a weakly orthomodular lattice and that classical logic is in addition to a Boolean algebra also modeled by a weakly distributive lattice. Both new models turn out to be non-orthomodular. We prove the soundness and...
متن کاملThe Ontological Modal Collapse as a Collapse of the Square of Opposition
The modal collapse that afflicts Gödel’s modal ontological argument for God’s existence is discussed from the perspective of the modal square of opposition. Mathematics Subject Classification (2000). Prim. 03B15; Sec. 68T15.
متن کامل