David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
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)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Melvin Fitting (2004). First-Order Intensional Logic. Annals of Pure and Applied Logic 127 (1-3):171-193.
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):19-58.
Heinrich Wansing (1999). Predicate Logics on Display. Studia Logica 62 (1):49-75.
Steve Awodey & Kohei Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. Review of Symbolic Logic 1 (2):146-166.
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 downloads27 ( #145,271 of 1,907,512 )
Recent downloads (6 months)3 ( #274,312 of 1,907,512 )
How can I increase my downloads?