Topic: PARACONSISTENCY
An Intensional Schr?dinger Logic
By Newton C. A. da Costa and D?cio Krause
Source: Notre Dame J. Formal Logic 38 (1997), no. 2, 179-194
We investigate the higher-order modal logic SwI, which is a variant of the system Sw 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
General Logic
See also on Kai von Fintel's blog:
Klement on Logical Grammar in Frege, Russell, and Wittgenstein.
Posted by Tony Marmo
at 01:01 BST
Updated: Saturday, 11 September 2004 20:12 BST
