Quantum Logic as a Fragment of Independence-Friendly Logic
- Cite this article as:
- Hintikka, J. Journal of Philosophical Logic (2002) 31: 197. doi:10.1023/A:1015742824326
- 75 Downloads
The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation ∼. Then in a Hilbert space ∼ turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann “quantum logic” can be interpreted by taking their “disjunction” to be ¬(∼A & ∼B). Their logic can thus be mapped into a Boolean structure to which an additional operator ∼ has been added.