• Corpus ID: 119151324

Do quantum propositions obey the principle of excluded middle

  title={Do quantum propositions obey the principle of excluded middle},
  author={Arkady Bolotin},
  journal={arXiv: Quantum Physics},
  • A. Bolotin
  • Published 26 July 2018
  • Philosophy
  • arXiv: Quantum Physics
The present paper demonstrates the failure of the principle of excluded middle (PEM) in the lattice of all closed linear subspaces of a Hilbert space (usually defined as quantum logic). Namely, it is shown that for a qubit, a proposition and its negation can be both false. Since PEM is the assumed theorem of quantum logic, this raises the question: If PEM holds in the orthocomplemented lattice of all propositions of the quantum system, then how the failure of PEM in quantum logic can be… 

From the problem of Future Contingents to Peres-Mermin square experiments: An introductory review to Contextuality

A review is made of the field of contextuality in quantum mechanics. We study the historical emergence of the concept from philosophical and logical issues. We present and compare the main

Quantum logic as partial infinite-valued Łukasiewicz logic

It is shown that an old and neglected Łukasiewicz (1913) paper contains construction of a many-valued logic which can be in an almost straightforward way used to describe physical experiments. The

Unification of Two Approaches to Quantum Logic: Every Birkhoff – von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic

In the paper it is shown that every physically sound Birkhoff – von Neumann quantum logic, i.e., an orthomodular partially ordered set with an ordering set of probability measures can be treated as

Can Many-Valued Logic Help to Comprehend Quantum Phenomena?

It is shown that the Greenberger - Horne - Zeilinger ‘paradox’ is an artifact caused by unjustified use of 2-valued logic while considering results of future non-certain events.

Quantum Logic in Algebraic Approach

Intuitionistic Quantum Logic of an n-level System

AbstractA decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Döring and Isham so as to provide a new mathematical

Fuzzy quantum logics and infinite-valued Łukasiewicz logic

The logic of quantum mechanics is recognized as a version of infinite-valued Łukasiewicz logic, expressed exclusively in terms of fuzzy set operations which are generated by connectives of multiple-valued logic studied by Łokasiewicz at the beginning of the 20th century.

Towards many-valued/fuzzy interpretation of quantum mechanics

In this paper, we propose a new interpretation of quantum mechanics according to which Born probabilities are interpreted as many-valued truth values of statements concerning results of

Subjective probability and quantum certainty

Counterfactual Definiteness and Bell’s Inequality

Counterfactual definiteness must be used as at least one of the postulates or axioms that are necessary to derive Bell-type inequalities. It is considered by many to be a postulate that not only is

QBism: Quantum Theory as a Hero's Handbook

This paper represents an elaboration of the lectures delivered by one of us (CAF) during "Course 197 -- Foundations of Quantum Physics" at the International School of Physics "Enrico Fermi" in