Contradiction, Quantum Mechanics, and the Square of Opposition

We discuss the idea that superpositions in quantum mechanics may involve contradictions or contradictory properties. A state of superposition such as the one comprised in the famous Schrodinger’s cat, for instance, is sometimes said to attribute contradictory properties to the cat: being dead and alive at the same time. If that were the case, we would be facing a revolution in logic and science, since we would have one of our greatest scientific achievements showing that real contradictions exist.We analyze that claim by employing the traditional square of opposition.We suggest that it is difficult to make sense of the idea of contradiction in the case of quantum superpositions. From a metaphysical point of view the suggestion also faces obstacles, and we present some of them.

[1]  Jeremy Seligman,et al.  A Note on Freedom from Detachment in the Logic of Paradox , 2013, Notre Dame J. Formal Log..

[2]  Steven French,et al.  Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning , 2003 .

[3]  D. C. Makinson.  Topics in Modern Logic , 1973 .

[4]  Dirk Roorda.  Interpolation in Fragments of Classical Linear Logic , 1994, J. Symb. Log..

[5]  Peter Vickers.  Understanding Inconsistent Science , 2013 .

[6]  S. French,et al.  Identity in Physics: A Historical, Philosophical, and Formal Analysis , 2006 .

[7]  S. Saunders,et al.  Discerning Fermions , 2008, The British Journal for the Philosophy of Science.

[8]  Décio Krause,et al.  From primitive identity to the non-individuality of quantum objects , 2014 .

[9]  Graham Priest,et al.  The logic of paradox , 1979, J. Philos. Log..

[10]  G. R. D. Lavalette,et al.  The interpolation theorem in fragments of logics , 1981 .

[11]  Alasdair Urquhart,et al.  Failure of interpolation in relevant logics , 1993, J. Philos. Log..

[12]  Mitio Takano.  Interpolation theorem in Many-valued logics with designated values , 1989 .

[13]  Kamila Bendová,et al.  Interpolation and Three-valued Logics , 2005, Reports Math. Log..

[14]  Béziau Jean-Yves.  New light on the Square of oppositions and its nameless corner , 2003 .

[15]  Geoffrey Hunter,et al.  Metalogic: An Introduction to the Metatheory of Standard First Order Logic , 1971 .

[16]  P. Dirac.  Principles of Quantum Mechanics , 1982 .

[17]  Christian de Ronde,et al.  The Paraconsistent Logic of Quantum Superpositions , 2013, 1306.3121.

[18]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[19]  George F. Schumm.  Some failures of interpolation in modal logic , 1986, Notre Dame J. Formal Log..

[20]  F. Holik,et al.  Q-spaces and the Foundations of Quantum Mechanics , 2008, 0803.4517.

[21]  Jean-Yves Béziau,et al.  The Power of the Hexagon , 2012, Logica Universalis.