Schrödinger logics are a kind of non-classical logic in which the law of identity is restricted.

These logics are motivated by the consideration that in quantum mechanics, elementary particles may be indistinguishable, even in principle, on the basis of any measurement. This in turn suggests that such particles cannot be considered as self-identical objects in the way that such things are usually treated within formal logic and set theory.[1]

Schrödinger logics are many-sorted logics in which the expression x = y is not a well-formed formula in general. A formal semantics can be provided using the concept of a quasi-set. Schrödinger logics were introduced by da Costa and Krause.[2][3]

Schrödinger logic is not related to quantum logic, which is a propositional logic that rejects the distributivity laws of classical logic.

References

  1. French, Steven (2019). "Identity and Individuality in Quantum Theory". Stanford Encyclopedia of Philosophy. ISSN 1095-5054.
  2. da Costa, Newton; Krause, Décio (1994), "Schrödinger logics", Studia Logica, 53 (4): 533–550, doi:10.1007/BF01057649
  3. Krause, Décio; da Costa, Newton (1997), "An Intensional Schrödinger Logic", Notre Dame Journal of Formal Logic, 38 (2): 179–194, doi:10.1305/ndjfl/1039724886
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.