Classical Logic in the Quantum Context
- PhilosophyQuantum Reports
It will be shown that the rehabilitation of a classical propositional calculus is a consequence of the primitive ontology of the theory, a fact that is not yet sufficiently recognized in the literature concerning Bohmian mechanics.
Quantum logic as a dynamic logic
It is concluded that there is no contradiction between classical logic and (the authors' dynamic reinterpretation of) quantum logic, and that the Dynamic-Logical perspective leads to a better and deeper understanding of the “non-classicality” of quantum behavior than any perspective based on static Propositional Logic.
Quantum Mechanics: From Realism to Intuitionism
The interpretation of quantum mechanics has been a problem since its founding days. A large contribution to the discussion of possible interpretations of quantum mechanics is given by the so-called…
On the Common Logical Structure of Classical and Quantum Mechanics
At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum…
Speakable in quantum mechanics
This paper takes Bohr’s motto seriously and develops a quantum logic that avoids assuming any form of realism as much as possible and discusses how some realist interpretations relate to these logics.
Philosophy of Quantum Mechanics
This is a general introduction to and review of the philosophy of quantum mechanics, aimed at readers with a physics background and assuming no prior exposure to philosophy. It is a draft version of…
Quantum metaphysical indeterminacy and the ontological foundations of orthodoxy.
- PhilosophyStudies in history and philosophy of science
Quantum Logic and Its Role in Interpreting Quantum Theory
Summary Foundational studies in quantum theory have consisted in large part of attempts to avoid paradoxical situations in describing properties of a physical system. Quantum logic addresses some of…
An Empirical Route to Logical 'Conventionalism'
It is argued that the world’s logical structure, and hence the related ‘true’ logic, are underdetermined, and that this leads to what I call empirical conventionalism.
Logic, Philosophy and Physics: A Critical Commentary on the Dilemma of Categories
I provide a critical commentary regarding the attitude of the logician and the philosopher towards the physicist and physics. The commentary is intended to showcase how a general change in attitude…
SHOWING 1-10 OF 58 REFERENCES
If quanta had logic
- PhilosophyJ. Philos. Log.
The aims are to provide a formal semantic framework for Putnam's proposals, to investigate alternative ways of realizing his program, and to come to some tentative conclusions concerning the promise and significance of the enterprise.
Quantum Logic, Conditional Probability, and Interference
- PhilosophyPhilosophy of Science
Friedman and Putnam have argued (Friedman and Putnam 1978) that the quantum logical interpretation of quantum mechanics gives us an explanation of interference that the Copenhagen interpretation…
Critique of Putnam's quantum logic
- Philosophy, Physics
Putnam gives a strongly realist account of quantum logic. This has been criticised as suggesting a hidden variable interpretation for quantum mechanics. Friedman and Glymour have done this in the…
Stalnaker conditionals and quantum logic
- MathematicsJ. Philos. Log.
The question is whether it is proper to regard the lattice of QM, or more generally the class of orthomodular lattices (posets), as a logic as opposed to merely a class of algebraic structures only formally analogous to logic properly so called.
Quantum Logic, Realism, and Value Definiteness
- PhilosophyPhilosophy of Science
One of the most interesting programs in the foundations of quantum mechanics is the realist quantum logic approach associated with Putnam, Bub, Demopoulos and Friedman (and which is the focus of my…
On the structure of quantal proposition systems
I define sublaltices of quantum propositions that can be taken as having determinate (but perhaps unknown) truth values for a given quantum state, in the sense that sufficiently many two-valued maps…
Logical Non-Apriorism and the 'Law' of Non-Contradiction
A common response to those who question the Law of Non-Contradiction (LNC) is that it is impossible to debate such a fundamental law of logic. The reasons for this response vary, but what seems to…
On the Extension of Beth's Semantics of Physical Theories
A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's…