Is the principle of contradiction a consequence of \(x^2=x\)?

DOI10.1007/s11787-018-0188-5zbMath1408.03003OpenAlexW2515804137MaRDI QIDQ1653549

Jean-Yves Béziau

Publication date: 6 August 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-018-0188-5

zbMATH Keywords

Boolean algebraBoolesquare of oppositionuniversal logiclaws of thoughtsubtractionsymbolic logicprinciple of contradiction

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Classical propositional logic (03B05) History of mathematics in the 19th century (01A55) Logical aspects of Boolean algebras (03G05) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Related Items

Universal logic: evolution of a project ⋮ Eigenlogic in the spirit of George Boole ⋮ Is Logic Exceptional? ⋮ Metalogic, Schopenhauer and Universal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13--17, 2014
• Disentangling contradiction from contrariety via incompatibility
• Logical squares for classical logic sentences
• Paraconsistency. Logic and applications. Selected papers of the 4th world congress on paraconsistency, Melbourne, Australia, 2008
• Logic and religion
• Universal logic: An anthology. From Paul Hertz to Dov Gabbay
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Collected papers. Volume 1: 1921--1934. Volume 2: 1935--1944. Volume 3: 1945--1957. Volume 4: 1958--1979. Ed. by Steven R. Givant and Ralph N. McKenzie
• Model theory
• The pursuit of an implication for the logics L3A and L3B
• The power of the hexagon
• Jean van Heijenoort: kaleidoscope
• Historical development of modern logic
• From analogical proportion to logical proportions
• Adolf Lindenbaum: notes on his life, with bibliography and selected references
• Investigations into the sentential calculus with identity
• How to write mathematics
• Logic may be simple. Logic, congruence and algebra
• Pragmatic and dialogic interpretations of bi-intuitionism. Part I
• Sur la structuration du tableau des connectifs interpropositionnels binaires
• Extensionalism
• Boole: From Calculating Numbers to Calculating Thoughts
• Boole's Algebra Isn't Boolean Algebra
• Subsumption of the Theory of Boolean Algebras under the Theory of Rings
• The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper
• Two Genuine 3-Valued Paraconsistent Logics
• Grundzüge der Systemenkalküls I
• The Theory of Representation for Boolean Algebras
• The Architecture of Mathematics
• The So-Called Euler-Diderot Incident