|Abstract||First-order modal logic, in the usual formulations, is not suf- ﬁciently expressive, and as a consequence problems like Frege’s morning star/evening star puzzle arise. The introduction of predicate abstraction machinery provides a natural extension in which such diﬃculties can be addressed. But this machinery can also be thought of as part of a move to a full higher-order modal logic. In this paper we present a sketch of just such a higher-order modal logic: its formal semantics, and a proof procedure using tableaus. Naturally the tableau rules are not complete, but they are with respect to a Henkinization of the “true” semantics. We demonstrate the use of the tableau rules by proving one of the theorems involved in G¨ odel’s ontological argument, one of the rare instances in the literature where higher-order modal constructs have appeared. A fuller treatment of the material presented here is in preparation.|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Wiebe Van Der Hoek & Maarten De Rijke (1993). Generalized Quantifiers and Modal Logic. Journal of Logic, Language and Information 2 (1).
Heinrich Wansing (1999). Predicate Logics on Display. Studia Logica 62 (1):49-75.
Steve Awodey & Kohei Kishida, Topology and Modality: The Topological Interpretation of First-Order Modal Logic.
Francis J. Pelletier (1993). Identity in Modal Logic Theorem Proving. Studia Logica 52 (2):291 - 308.
Beomin Kim (2008). The Translation of First Order Logic Into Modal Predicate Logic. Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Balder ten Cate (2006). Expressivity of Second Order Propositional Modal Logic. Journal of Philosophical Logic 35 (2):209 - 223.
Added to index2010-12-22
Total downloads13 ( #88,007 of 549,196 )
Recent downloads (6 months)1 ( #63,397 of 549,196 )
How can I increase my downloads?