Open Access
Spring 1997 An Intensional Schrödinger Logic
Décio Krause, Newton C. A. da Costa
Notre Dame J. Formal Logic 38(2): 179-194 (Spring 1997). DOI: 10.1305/ndjfl/1039724886


We investigate the higher-order modal logic $S_{\omega}I$, which is a variant of the system $S_{\omega}$ 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.


Download Citation

Décio Krause. Newton C. A. da Costa. "An Intensional Schrödinger Logic." Notre Dame J. Formal Logic 38 (2) 179 - 194, Spring 1997.


Published: Spring 1997
First available in Project Euclid: 12 December 2002

zbMATH: 0901.03024
MathSciNet: MR1489409
Digital Object Identifier: 10.1305/ndjfl/1039724886

Primary: 03B60
Secondary: 03B15 , 03B30 , 03B45

Rights: Copyright © 1997 University of Notre Dame

Vol.38 • No. 2 • Spring 1997
Back to Top