David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Ernst-Walther Stachow (1977). How Does Quantum Logic Correspond to Physical Reality? Journal of Philosophical Logic 6 (1):485 - 496.
Similar books and articles
Hugh S. Chandler (1967). Excluded Middle. Journal of Philosophy 64 (24):807-814.
Ivar Hannikainen (2011). Might-Counterfactuals and the Principle of Conditional Excluded Middle. Disputatio 4 (30):127-149.
Charles Sayward (1989). Does the Law of Excluded Middle Require Bivalence? Erkenntnis 31 (1):129 - 137.
Dieter Lohmar (2004). The Transition of the Principle of Excluded Middle From a Principle of Logic to an Axiom. New Yearbook for Phenomenology and Phenomenological Philosophy 4:53-68.
Alastair Wilson (2011). Macroscopic Ontology in Everettian Quantum Mechanics. Philosophical Quarterly 61 (243):363-382.
Cesare Cozzo (1998). Epistemic Truth and Excluded Middle. Theoria 64 (2-3):243-282.
Stewart Shapiro (2001). Why Anti-Realists and Classical Mathematicians Cannot Get Along. Topoi 20 (1):53-63.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
Robert Lane (1997). Peirce’s ‘Entanglement’ with the Principles of Excluded Middle and Contradiction. Transactions of the Charles S. Peirce Society 33 (3):680 - 703.
E. -W. Stachow (1976). Completeness of Quantum Logic. Journal of Philosophical Logic 5 (2):237 - 280.
Added to index2009-01-28
Total downloads31 ( #55,673 of 1,100,727 )
Recent downloads (6 months)10 ( #19,340 of 1,100,727 )
How can I increase my downloads?