David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 5 (2):237 - 280 (1976)
This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established. In the second part of the paper the quantum mechanical dialog-game is replaced by a calculus of quantum logic. As the main part of the paper we show that the calculus of quantum logic is complete and consistent with respect to the dialogic semantics. Since the dialoggame does not involve the 'excluded middle' the calculus represents a calculus of effective (intuitionistic) quantum logic. In a forthcoming paper it is shown that this calculus is equivalent to a calculus of sequents and more interestingly to a calculus of propositions. With the addition of the 'excluded middle' the latter calculus is a model for the lattice of subspaces of a Hilbert space
|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
Paul Weingartner (2009). Matrix-Based Logic for Application in Physics. Review of Symbolic Logic 2 (1):132-163.
Peter Mittelstaedt (2012). Are the Laws of Quantum Logic Laws of Nature? Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (2):215-222.
Ernst-Walther Stachow (1977). How Does Quantum Logic Correspond to Physical Reality? Journal of Philosophical Logic 6 (1):485 - 496.
Similar books and articles
Linda Postniece, Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic.
Herman Dishkant (1978). An Extension of the Łukasiewicz Logic to the Modal Logic of Quantum Mechanics. Studia Logica 37 (2):149 - 155.
Othman Qasim Malhas (1994). Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory. Journal of Symbolic Logic 59 (2):501-515.
Tomasz Bigaj (2001). Three-Valued Logic, Indeterminacy and Quantum Mechanics. Journal of Philosophical Logic 30 (2):97-119.
Othman Qasim Malhas (1987). Quantum Logic and the Classical Propositional Calculus. Journal of Symbolic Logic 52 (3):834-841.
E. -W. Stachow (1980). A Model Theoretic Semantics for Quantum Logic. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:272 - 280.
P. Mittelstaedt & E. -W. Stachow (1978). The Principle of Excluded Middle in Quantum Logic. Journal of Philosophical Logic 7 (1):181 - 208.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
Added to index2009-01-28
Total downloads22 ( #212,754 of 1,932,452 )
Recent downloads (6 months)3 ( #271,862 of 1,932,452 )
How can I increase my downloads?