Can Many-Valued Logic Help to Comprehend Quantum Phenomena?

Abstract

Following Łukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. It is shown that, according to this perspective, the Greenberger - Horne - Zeilinger ‘paradox’ is an artifact caused by unjustified use of 2-valued logic while considering results of future non-certain events. Description of properties of quantum objects before they are measured should be performed with the use of propositional functions that form a particular model of ∞-valued Łukasiewicz logic. This model is distinguished by specific operations of negation, conjunction, and disjunction that are used in it.