- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Quantum Logic, Conditional Probability, and Interference
Dialectica 32 (3‐4):305-315 (1978)
Add citations
You must login to add citations.
|
|
|
This essay is a discussion of the philosophical and foundational issues that arise in non-relativistic quantum theory. After introducing the formalism of the theory, I consider: characterizations of the quantum formalism, empirical content, uncertainty, the measurement problem, and non-locality. In each case, the main point is to give the reader some introductory understanding of some of the major issues and recent ideas. |
|
|
An interpretation of quantum mechanics that rejects hidden variables has to say something about the way measurement can be understood as a transformation on states of individual systems, and that leads to the core of the interpretive problems posed by Luders' projection rule: What, if any, is its physical content? In this paper I explore one suggestion which is implicit in usual interpretations of the rule and show that this view does not stand on solid ground. In the process, important (...) |
|
|
The philosophical debate about quantum logic between the late 1960s and the early 1980s was generated mainly by Putnam's claims that quantum mechanics empirically motivates introducing a new form of logic, that such an empirically founded quantum logic is the `true' logic, and that adopting quantum logic would resolve all the paradoxes of quantum mechanics. Most of that debate focussed on the latter claim, reaching the conclusion that it was mistaken. This chapter will attempt to clarify the possible misunderstandings surrounding (...) |
|
|
In this paper I formalize the notion of minimal disturbance, as this seems to be required by usual interpretations of the theory of quantum mechanics, and construct a quantum logical (lattice) model of the type of situation that seems to be at the root of the problem of the interpretation of Luders’ projection rule as a criterion of minimal disturbance for individual state transformations. What is particularly interesting in the situation to be depicted here is that, on the basis of (...) |
|
|
The quantum logical and quantum information-theoretic traditions have exerted an especially powerful influence on Bub’s thinking about the conceptual foundations of quantum mechanics. This paper discusses both the quantum logical and information-theoretic traditions from the point of view of their representational frameworks. I argue that it is at this level—at the level of its framework—that the quantum logical tradition has retained its centrality to Bub’s thought. It is further argued that there is implicit in the quantum information-theoretic tradition a set (...) |
|
|
If we take the state function of quantum mechanics to describe belief states, arguments by Stairs and Friedman-Putnam show that the projection postulate may be justified as a kind of minimal change. But if the state function takes on a physical interpretation, it provides no more than what I call a fortuitous approximation of physical measurement processes, that is, an unsystematic form of approximation which should not be taken to correspond to some one univocal "measurement process" in nature. This fact (...) |
|
|
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 own research.) I believe that realist quantum logic is our best hope for making sense of quantum mechanics, but I have come to suspect that the usual version may not be the correct one. In this paper, I would like to say why and to propose an alternative. |
|
|
If p(x 1 ,...,x n ) and q(x 1 ,...,x n ) are two logically equivalent propositions then p(π (x 1 ),...,π (x n )) and q(π (x 1 ),...,π (x n )) are also logically equivalent where π is an arbitrary permutation of the elementary constituents x 1 ,...,x n . In Quantum Logic the invariance of logical equivalences breaks down. It is proved that the distribution rules of classical logic are in fact equivalent to the meta-linguistic rule of (...) |
|
|
Can the axioms of probability theory and the classical patterns of statistical inference ever be falsified by observation? Various possible answers to this question are examined in a set theoretical context and in relation to the findings of microphysics. |
|
|
Previous work has shown that the problem of measurement in quantum mechanics is not correctly seen as one of understanding some allegedly univocal process of measurement in nature which corresponds to the projection postulate. The present paper introduces a new perspective by showing that how we are to understand the nature of the change of quantum mechanical state on measurement depends very sensitively on the interpretation of the state function, and by showing how attention to this dependence can greatly sharpen (...) |
|
|
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 cannot supply without invoking an additional ad hoc principle, the projection postulate. I show that it is possible to define a notion of equivalence of experimental arrangements relative to a pure state φ , or (correspondingly) equivalence of Boolean subalgebras in the partial Boolean algebra of projection operators of a system, which plays a (...) |
|
|
Usual derivations of Lilders's projection rule show that Liuders's rule is the rule required by quantum statistics to calculate the final state after an ideal (minimally disturbing) measurement. These derivations are at best inconclusive, however, when it comes to interpreting Liuders's rule as a description of individual state transformations. In this paper, I show a natural way of deriving Liiders's rule from well-motivated and explicit physical assumptions referring to individual systems. This requires, however, the introduction of a concept of individual (...) |
|
|
A central problem in the interpretation of non-relativistic quantum mechanics is to relate the conceptual structure of the theory to the classical idea of the state of a physical system. This paper approaches the problem by presenting an analysis of the notion of an elementary physical proposition. The notion is shown to be realized in standard formulations of the theory and to illuminate the significance of proofs of the impossibility of hidden variable extensions. In the interpretation of quantum mechanics that (...) |
|
|
In a recent paper, Michael Friedman and Hilary Putnam argued that the Luders rule is ad hoc from the point of view of the Copenhagen interpretation but that it receives a natural explanation within realist quantum logic as a probability conditionalization rule. Geoffrey Hellman maintains that quantum logic cannot give a non-circular explanation of the rule, while Jeffrey Bub argues that the rule is not ad hoc within the Copenhagen interpretation. As I see it, all four are wrong. Given that (...) |
|
|
|
|
|
Is the quantum-logic interpretation dead? Its near total absence from current discussions about the interpretation of quantum theory suggests so. While mathematical work on quantum logic continues largely unabated, interest in the quantum-logic interpretation seems to be almost nil, at least in Anglo-American philosophy of physics. This paper has the immodest purpose of changing that fact. I shall argue that while the quantum-logic interpretation faces challenges, it remains a live option. The usual objections either miss the mark, or admit a (...) |
|
|
This paper proposes a logic, motivated by modal interpretations, in which every quantum mechanics propositions has a truth-value. This logic is completely classical, hence violates the conditions of the Kochen-Specker theorem. It is shown how the violation occurs, and it is argued that this violation is a natural and acceptable consequence of modal interpretations. It is shown that despite its classicality, the proposed logic is empirically indistinguishable from quantum logic. |
|
|
A well-known feature of quantum mechanics is the secure exchange of secret bit strings which can then be used as keys to encrypt messages transmitted over any classical communication channel. It is demonstrated that this quantum key distribution allows a much more general and abstract access than commonly thought. The results include some generalizations for the Hilbert space version of quantum key distribution, but base upon a general non-classical extension of conditional probability. A special state-independent conditional probability is identifed as (...) |
|
|
This paper explores the status of the von Neumann-Luders state transition rule (the "projection postulate") within "real-logic" quantum logic. The entire discussion proceeds from a reading of the Luders rule according to which, although idealized in applying only to "minimally disturbing" measurements, it nevertheless makes empirical claims and is not a purely mathematical theorem. An argument (due to Friedman and Putnam) is examined to the effect that QL has an explanatory advantage over Copenhagen and other interpretations which relativize truth-value assignments (...) |
|
|
Bohr's complementarity interpretation is represented as the relativization of the quantum mechanical description of a system to the maximal Boolean subalgebra (in the non-Boolean logical structure of the system) selected by a classically described experimental arrangement. Only propositions in this subalgebra have determinate truth values. The concept of a minimal revision of a Boolean subalgebra by a measurement is defined, and it is shown that the nonmaximal measurement of spin on one subsystem in the spin version of the Einstein—Podolsky—Rosen experiment (...) |
|
|
|
|
|
To the memory of John D. TrimmerThis paper assesses the impact of disjunctive facts on the quantum logic read off procedure. The purpose of the procedure is to transfer a significant quantum structure to a set of propositions; its first step is an attempt to discover that structure. Here I propose that disjunctive facts as traditionally conceived have blocked the procedure at its first step and have therefore subverted the best-known attempts to read off quantum logic. Recently however Allen Stairs (...) |
|
|
Pour résoudre les paradoxes bien connus de la mécanique quantique, on propose une interprétation par ramification (ou univers parallèles) analogue à celle d?Everett, mais avec des différences: (i) on propose une infinité continue de branches, dont les poids (o[ugrave] probabilités) se calculent par intégrale; (ii) les branches sont séparées par des ramifieurs qui se propagent à la vitesse de la lumière. Lorsqu?est négligeable la composante d?énergie négative de la fonction d?onde, le poids de chaque branche en un point donné u (...) |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f9648bdd6-7dxtf uwo