The modal object calculus and its interpretation
In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer (1997)
| Abstract | The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesG. Sambin & S. Valentini (1980). A Modal Sequent Calculus for a Fragment of Arithmetic. Studia Logica 39 (2-3):245 - 256.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
Marcus Rossberg (2009). Leonard, Goodman, and the Development of the Calculus of Individuals. In G. Ernst, O. Scholz & J. Steinbrenner (eds.), Nelson Goodman: From Logic to Art. Ontos.
Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. Studia Logica 38 (4):429 - 445.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
Luca Alberucci & Alessandro Facchini (2009). On Modal Μ -Calculus and Gödel-Löb Logic. Studia Logica 91 (2):145 - 169.
Gerhard Lakemeyer (forthcoming). The Situation Calculus: A Case for Modal Logic. Journal of Logic, Language and Information.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads21 ( #59,615 of 556,803 )Recent downloads (6 months)7 ( #11,112 of 556,803 )How can I increase my downloads? |
My notes
Discussion
