Abstract
It is well known that in the classical, elementary propositional logic one can define the classical conditional connective A → B = A ⊥ ∨ B. This conditional, which is also known as “material implication”, or “horseshoe”, describes certain features of the inference “if A ... then B” In this chapter the basic properties of the so-called “quantum conditional” are described. The quantum conditional is the analogue of the classical conditional connective, it is defined in the Hilbert lattice P(H) (or more generally in any orthomodular lattice) in terms of the lattice operations ∧, ∨ and ⊥ in P(H), and it reflects certain features of “if...then” inference. The semantic content of the quantum conditional is given by the “minimal implicative criteria”, which the quantum conditional is required to satisfy. Section 8.1 describes these minimal implicative criteria. It turns out that there exist three conditionals satisfying the minimal implicative criteria. Each of these conditionals is a natural non-commutative generalization of the classical horseshoe, and each of them violates some conditions that the classical conditional satisfies (Propositions 8.2 and 8.4). Proposition 8.3 is the main result in Section 8.1, it tells us that the orthomodularity of P(H) is equivalent to the existence of a unique quantum conditional that satisfies the natural weakening of the classical implication condition. A further characteristic property of the quantum conditional is that it is a counterfactual conditional (Proposition 8.5).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Rédei, M. (1998). Quantum conditional and quantum conditional probability. In: Quantum Logic in Algebraic Approach. Fundamental Theories of Physics, vol 91. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9026-6_8
Download citation
DOI: https://doi.org/10.1007/978-94-015-9026-6_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4976-6
Online ISBN: 978-94-015-9026-6
eBook Packages: Springer Book Archive