The modal object calculus and its interpretation
In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279 (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.Author's Profile
My notes
Similar books and articles
A modal sequent calculus for a fragment of arithmetic.G. Sambin & S. Valentini - 1980 - Studia Logica 39 (2-3):245-256.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory.Moritz Cordes & Friedrich Reinmuth - manuscript
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Leonard, Goodman, and the development of the calculus of individuals.Marcus Rossberg - 2009 - In G. Ernst, O. Scholz & J. Steinbrenner (eds.), Nelson Goodman: From Logic to Art. Ontos.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Analytics
Added to PP
2009-01-28
Downloads
161 (#79,863)
6 months
2 (#298,943)
2009-01-28
Downloads
161 (#79,863)
6 months
2 (#298,943)
Historical graph of downloads
Author's Profile
Citations of this work
How to say goodbye to the third man.Francis Jeffry Pelletier & Edward N. Zalta - 2000 - Noûs 34 (2):165–202.
A classically-based theory of impossible worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.
Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege"s Grundgesetze in Object Theory.Edward N. Zalta - 1999 - Journal of Philosophical Logic 28 (6):619-660.
On Zalta's Notion of Encoding in Conceivability Contexts.Sacha Bourgeois-Gironde - 2004 - Metaphysica.
References found in this work
The semantic conception of truth and the foundations of semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
On sense and reference.Gottlob Frege - 1960 - In Darragh Byrne & Max Kölbel (eds.), Arguing About Language. Routledge. pp. 36--56.
Exploring Meinong’s Jungle and Beyond: The Sylvan Jungle - Volume 1.Richard Routley - 2018 - Springer Verlag.