An Intensional Schrödinger Logic

Notre Dame Journal of Formal Logic 38 (2):179-194 (1997)
  Copy   BIBTEX

Abstract

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,599

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 Logics.Newton C. A. da Costa & Décio Krause - 1994 - Studia Logica 53 (4):533-550.
Schrödinger Logics.Newton C. A. Costa & Décio Krause - 1994 - Studia Logica 53 (4).
Four-valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.
Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
A New Semantics for Positive Modal Logic.S. Celani & R. Jansana - 1997 - Notre Dame Journal of Formal Logic 38 (1):1-18.
Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
C. I. Lewis’s Intensional Semantics.Edwin Mares - 2023 - Notre Dame Journal of Formal Logic 64 (3):329-352.

Analytics

Added to PP
2010-08-24

Downloads
105 (#221,774)

6 months
4 (#1,185,296)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Décio Krause
Federal University of Santa Catarina

Citations of this work

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.
Identity and individuality in quantum theory.Steven French - 2008 - Stanford Encyclopedia of Philosophy.
Quantum vagueness.Steven French & Décio Krause - 2003 - Erkenntnis 59 (1):97 - 124.

View all 12 citations / Add more citations

References found in this work

Quantum physics and the identity of indiscernibles.Steven French & Michael Redhead - 1988 - British Journal for the Philosophy of Science 39 (2):233-246.
Identity and individuality in classical and quantum physics.Steven French - 1989 - Australasian Journal of Philosophy 67 (4):432 – 446.
Particle labels and the theory of indistinguishable particles in quantum mechanics.Michael Redhead & Paul Teller - 1992 - British Journal for the Philosophy of Science 43 (2):201-218.
On a quasi-set theory.Décio Krause - 1992 - Notre Dame Journal of Formal Logic 33 (3):402--11.

View all 12 references / Add more references