Graduate studies at Western
Notre Dame Journal of Formal Logic 38 (2):179-194 (1997)
|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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Similar books and articles
Newton C. A. Da Costa & Décio Krause (1997). An Intensional Schrödinger Logic. Notre Dame Journal of Formal Logic 38 (2):179-194.
E. H. Alves & J. A. D. Guerzoni (1990). Extending Montague's System: A Three Valued Intensional Logic. Studia Logica 49 (1):127 - 132.
Daniel Gallin (1975). Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. American Elsevier Pub. Co..
Newton C. A. da Costa & Décio Krause (1994). Schrödinger Logics. Studia Logica 53 (4):533 - 550.
Reinhard Muskens (2007). Intensional Models for the Theory of Types. Journal of Symbolic Logic 72 (1):98-118.
Newton C. A. Costdaa & Décio Krause (1994). Schrödinger Logics. Studia Logica 53 (4).
Imre Ruzsa (1981). An Approach to Intensional Logic. Studia Logica 40 (3):269 - 287.
Edward N. Zalta (1988). A Comparison of Two Intensional Logics. Linguistics and Philosophy 11 (1):59-89.
Matt Fairtlough & Michael Mendler (2003). Intensional Completeness in an Extension of Gödel/Dummett Logic. Studia Logica 73 (1):51 - 80.
J. M. Saul (2002). Intensionality. Aristotelian Society Supplementary Volume 76:75 - 119.
Newton C. A. da Costa & Décio Krause, Remarks on the Applications of Paraconsistent Logic to Physics.
George Bealer (1983). Completeness in the Theory of Properties, Relations, and Propositions. Journal of Symbolic Logic 48 (2):415-426.
Christopher Menzel (1993). The Proper Treatment of Predication in Fine-Grained Intensional Logic. Philosophical Perspectives 7:61-87.
Added to index2010-09-01
Total downloads6 ( #154,923 of 739,406 )
Recent downloads (6 months)1 ( #61,680 of 739,406 )
How can I increase my downloads?