Journal of Philosophical Logic

, Volume 31, Issue 3, pp 197–209

Quantum Logic as a Fragment of Independence-Friendly Logic

  • Jaakko Hintikka

DOI: 10.1023/A:1015742824326

Cite this article as:
Hintikka, J. Journal of Philosophical Logic (2002) 31: 197. doi:10.1023/A:1015742824326


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.

quantum logic independence-friendly logic negation Boolean structures 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Jaakko Hintikka
    • 1
  1. 1.Department of PhilosophyBoston UniversityUSA

Personalised recommendations