Journal of Philosophical Logic

, Volume 30, Issue 2, pp 97–119 | Cite as

Three-valued Logic, Indeterminacy and Quantum Mechanics

  • Tomasz Bigaj


The paper consists of two parts. The first part begins with the problem of whether the original three-valued calculus, invented by J. Łukasiewicz, really conforms to his philosophical and semantic intuitions. I claim that one of the basic semantic assumptions underlying Łukasiewicz's three-valued logic should be that if under any possible circumstances a sentence of the form “X will be the case at time t” is true (resp. false) at time t, then this sentence must be already true (resp. false) at present. However, it is easy to see that this principle is violated in Łukasiewicz's original calculus (as the cases of the law of excluded middle and the law of contradiction show). Nevertheless it is possible to construct (either with the help of the notion of “supervaluation”, or purely algebraically) a different three-valued, semi-classical sentential calculus, which would properly incorporate Łukasiewicz's initial intuitions. Algebraically, this calculus has the ordinary Boolean structure, and therefore it retains all classically valid formulas. Yet because possible valuations are no longer represented by ultrafilters, but by filters (not necessarily maximal), the new calculus displays certain non-classical metalogical features (like, for example, non-extensionality and the lack of the metalogical rule enabling one to derive “p is true or q is true” from “‘pqq’ is true”).

The second part analyses whether the proposed calculus could be useful in formalizing inferences in situations, when for some reason (epistemological or ontological) our knowledge of certain facts is subject to limitation. Special attention should be paid to the possibility of employing this calculus to the case of quantum mechanics. I am going to compare it with standard non-Boolean quantum logic (in the Jauch–Piron approach), and to show that certain shortcomings of the latter can be avoided in the former. For example, I will argue that in order to properly account for quantum features of microphysics, we do not need to drop the law of distributivity. Also the idea of “reading off” the logical structure of propositions from the structure of Hilbert space leads to some conceptual troubles, which I am going to point out. The thesis of the paper is that all we need to speak about quantum reality can be acquired by dropping the principle of bivalence and extensionality, while accepting all classically valid formulas.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Bell, J. L. and Slomson, A. D., 1969, Models and Ultraproducts: An Introduction, North-Holland, Amsterdam.Google Scholar
  2. Bub, J., 1997, Interpreting the Quantum World, Cambridge University Press, Cambridge.Google Scholar
  3. Dalla Chiara, M. L., 1986, Quantum logic, in D. Gabbay and F. Guenther (eds.), Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht, pp. 427–469.Google Scholar
  4. Greechie, R. J. and Gudder, S. P., 1973, Quantum logics, in C. A. Hooker (ed.), Contemporary Research in the Foundations and Philosophy of Quantum Theory, Reidel, Dordrecht, pp.143–173.Google Scholar
  5. Haack, S., 1996, Deviant Logic, Fuzzy Logic, The University of Chicago Press, Chicago.Google Scholar
  6. Harrison, J., 1983, Against quantum logic, Analysis 43, 82–85.Google Scholar
  7. Hughes, R. I. G., 1989, The Structure and Interpretation of Quantum Mechanics, Harvard University Press, Cambridge, MA.Google Scholar
  8. Łukasiewicz, J., 1930, Philosophical remarks on many-valued systems of propositional logic, in McCall (ed.), Polish Logic, Oxford University Press, Oxford, 1967.Google Scholar
  9. Prior, A., 1967, Past, Present and Future, Clarendon Press, Oxford.Google Scholar
  10. Putnam, H., 1969, Is logic empirical?, in R. S. Cohen and M. W. Wartofsky (eds.), Boston Studies in the Philosophy of Science, Vol. 5, Reidel, Dordrecht, pp. 199–215.Google Scholar
  11. van Fraassen, B., 1966, Singular terms, truth-value gaps and free logic, J. Philos. 65, 481–95.Google Scholar

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Tomasz Bigaj
    • 1
  1. 1.Institute of PhilosophyWarsaw University Krakowskie PrzedmiescieWarsawPoland

Personalised recommendations