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

Links

PhilArchive



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

External links

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

Through your library

Analytics

Added to PP
2010-08-24

Downloads
67 (#217,435)

6 months
19 (#102,243)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Décio Krause
Federal University of 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.
Quantum vagueness.Steven French & Décio Krause - 2003 - Erkenntnis 59 (1):97 - 124.

View all 13 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.
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.

View all 13 references / Add more references