Schrödinger Logics

Studia Logica 53 (4):533-550 (1994)
  Copy   BIBTEX

Abstract

Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understand identity as meaning indistinguishability . Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, we present a higher-order logical system in which these concepts are systematically separated. A 'classical' semantics for the system is presented and some philosophical related questions are mentioned. One of the main characteristics of our system is that Leibniz' Principle of the Identity of Indiscernibles cannot be derived. This fact is in accordance with some authors who maintain that quantum mechanics violates this principle. Furthermore, our system may be viewed as a way of making sense some of Schrödinger's logical intuitions about the nature of elementary particles

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,378

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Schrödinger's philosophy of quantum mechanics.Michel Bitbol - 1998 - Boston: Kluwer Academic Publishers.
XII: Is time 'handed' in a quantum world?Craig Callender - 2000 - Proceedings of the Aristotelian Society 100 (3):247–269.
A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Substructural Logics.Greg Restall - forthcoming - Stanford Encyclopedia of Philosophy.
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.

Analytics

Added to PP
2011-05-29

Downloads
45 (#306,502)

6 months
10 (#132,390)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Décio Krause
Federal University of Santa Catarina
Décio Krause
Universidade Federal de Santa Catarina

Citations of this work

Identity and individuality in quantum theory.Steven French - 2008 - Stanford Encyclopedia of Philosophy.
A modal-Hamiltonian interpretation of quantum mechanics.Olimpia Lombardi & Mario Castagnino - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (2):380-443.
A modal-Hamiltonian interpretation of quantum mechanics.Olimpia Lombardi & Mario Castagnino - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (2):380-443.

View all 13 citations / Add more citations

References found in this work

Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Quantum physics and the identity of indiscernibles.Steven French & Michael Redhead - 1988 - British Journal for the Philosophy of Science 39 (2):233-246.
The nature of things.Anthony Quinton - 1897 - Boston,: Routledge and Kegan Paul.
Identity and individuality in classical and quantum physics.Steven French - 1989 - Australasian Journal of Philosophy 67 (4):432 – 446.

View all 24 references / Add more references