• Corpus ID: 1042964

Bivalence , Excluded Middle and Non Contradiction

  title={Bivalence , Excluded Middle and Non Contradiction},
  author={Jean-Yves B{\'e}ziau},
0. Introduction The relations between the principles of bivalence, excluded middle and non contradiction are not necessarily clear. One reason is that there are various formulations of these principles, not always equivalent. In this paper, we try to formulate precisely these principles in order to discuss their relationships and to answer the question: is the conjunction of the principles of excluded middle and non contradiction equivalent to the principle of bivalence? 
Logic is Tripartite — A defence of non-bivalence ∗
Sentences about contingent future pose a problem for logical theory. I analyze the non-bivalent view according to which sentences about a future event are neither true nor false as long as the event
The relation between the Kochen-Specker theorem and bivalence
In the paper it is argued that the Kochen-Specker theorem necessitates a conclusion that for a quantum system it is possible to find a set of projection operators which is not truth-value bivalent;
This paper outlines an approach to the principle of bivalence based on very general, but still elementary, semantic considerations. The principle of bivalence states that (a) “every sentence is
In what follows, I distinguish between the problem of logical constants with respect to formal languages and the problem of logical form for a natural language, trying to off er a clear and intuitive
Hardy’s paradox according to non-classical semantics
  • A. Bolotin
  • Philosophy
    Journal of Mathematical Physics
  • 2018
In the paper, using the language of spin-half particles, Hardy's paradox is examined within different semantics: a partial one, a many-valued one, and one defined as a set of weak values of
A Note on Fernández-Coniglio's Hierarchy of Paraconsistent Systems
The main idea behind it is to focus explicitly on the (in)validity of the principle of ex contradictione sequitur quodlibet, which makes the hierarchy less complex and more transparent, especially from the viewpoint of paraconsistency.
Quantum contextuality implies a logic that does not obey the principle of bivalence
  • A. Bolotin
  • Philosophy
    Quantum Studies: Mathematics and Foundations
  • 2018
In the paper, a value assignment for projection operators relating to a quantum system is equated with assignment of truth values to the propositions associated with these operators. In consequence,
Contextuality and the fundamental theorem of noncommutative algebra
In the paper it is shown that the Kochen-Specker theorem follows from Burnside's theorem on noncommutative algebras. Accordingly, contextuality (as an impossibility of assigning binary values to
Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions
  • A. Bolotin
  • Philosophy
    Quantum Studies: Mathematics and Foundations
  • 2019
The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects.
The quantum pigeonhole principle as a violation of the principle of bivalence
In the paper, it is argued that the phenomenon known as the quantum pigeonhole principle (namely, three quantum particles are put in two boxes, yet no two particles are in the same box) can be


The Fregean Axiom and Polish mathematical logic in the 1920s
Summary of the talk given to the 22nd Conference on the History of Logic, Cracow (Poland), July 5–9, 1976.
Many-Valued Logics and Suszko's Thesis Revisited
It is shown that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it.
The Logic of Confusion
The logic of confusion is a way to handle together incompatible “viewpoints”. These viewpoints can be information data, physical experiments, sets of opinions or believes. Logics of confusion are
Théorie de la valuation
Paraconsistency: The Logical Way to the Inconsistent
Logiques classiques et non classiques (Translated from the Portuguese and with appendices by Jean-Yves Béziau)
  • Logiques classiques et non classiques (Translated from the Portuguese and with appendices by Jean-Yves Béziau)
  • 1997
The philosophical import of Polish logic " in Logic
  • The philosophical import of Polish logic " in Logic
  • 2002