Journal of Philosophical Logic 7 (1):181 - 208 (1978)
The principle of excluded middle is the logical interpretation of the law V ≤ A v ヿA in an orthocomplemented lattice and, hence, in the lattice of the subspaces of a Hilbert space which correspond to quantum mechanical propositions. We use the dialogic approach to logic in order to show that, in addition to the already established laws of effective quantum logic, the principle of excluded middle can also be founded. The dialogic approach is based on the very conditions under which propositions can be confirmed by measurements. From the fact that the principle of. excluded middle can be confirmed for elementary propositions which are proved by quantum mechanical measurements, we conclude that this principle is inherited by all finite compound propositions. For this proof it is essential that, in the dialog-game about a connective, a finite confirmation strategy for the mutual commensurability of the subpropositions is used
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
How Does Quantum Logic Correspond to Physical Reality?Ernst-Walther Stachow - 1977 - Journal of Philosophical Logic 6 (1):485 - 496.
Similar books and articles
Might-Counterfactuals and the Principle of Conditional Excluded Middle.Ivar Hannikainen - 2011 - Disputatio 4 (30):127-149.
Does the Law of Excluded Middle Require Bivalence?Charles Sayward - 1989 - Erkenntnis 31 (1):129 - 137.
The Transition of the Principle of Excluded Middle From a Principle of Logic to an Axiom.Dieter Lohmar - 2004 - New Yearbook for Phenomenology and Phenomenological Philosophy 4:53-68.
Macroscopic Ontology in Everettian Quantum Mechanics.Alastair Wilson - 2011 - Philosophical Quarterly 61 (243):363-382.
Why Anti-Realists and Classical Mathematicians Cannot Get Along.Stewart Shapiro - 2001 - Topoi 20 (1):53-63.
Quantum Logical Calculi and Lattice Structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Peirce’s ‘Entanglement’ with the Principles of Excluded Middle and Contradiction.Robert Lane - 1997 - Transactions of the Charles S. Peirce Society 33 (3):680 - 703.
Added to index2009-01-28
Total downloads47 ( #108,225 of 2,154,061 )
Recent downloads (6 months)1 ( #398,005 of 2,154,061 )
How can I increase my downloads?