David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Annals of Pure and Applied Logic 127 (1-3):171-193 (2004)
First - order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently, several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been involved with this line of development for some time. In the present paper, I briefly sketch several of the approaches to first - order modal logic. Then I present one that I call FOIL in the Montague tradition that, I believe, is both expressive and natural. I briefly discuss in what sense it can be made to encompass the other approaches. Finally, I provide tableau rules to go with the FOIL semantics
|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
David K. Lewis (1968). Counterpart Theory and Quantified Modal Logic. Journal of Philosophy 65 (5):113-126.
David Lewis (1971). Counterparts of Persons and Their Bodies. Journal of Philosophy 68 (7):203-211.
Richard Montague (1970). Pragmatics and Intensional Logic. Synthese 22 (1-2):68--94.
Richard Montague (1969). On the Nature of Certain Philosophical Entities. The Monist 53 (2):159-194.
Citations of this work BETA
Nuel Belnap & Thomas Müller (2014). CIFOL: Case-Intensional First Order Logic. Journal of Philosophical Logic 43 (2-3):393-437.
Nuel Belnap & Thomas Müller (2013). BH-CIFOL: Case-Intensional First Order Logic. Journal of Philosophical Logic (2-3):1-32.
James W. Garson (2005). Unifying Quantified Modal Logic. Journal of Philosophical Logic 34 (5/6):621-649.
Melvin Fitting (2012). Prefixed Tableaus and Nested Sequents. Annals of Pure and Applied Logic 163 (3):291 - 313.
Mirosław Szatkowski (2011). Partly Free Semantics for Some Anderson-Like Ontological Proofs. Journal of Logic, Language and Information 20 (4):475-512.
Similar books and articles
Daniel Gallin (1975). Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. American Elsevier Pub. Co..
E. H. Alves & J. A. D. Guerzoni (1990). Extending Montague's System: A Three Valued Intensional Logic. Studia Logica 49 (1):127 - 132.
Chris Fox & Shalom Lappin, Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.
Chris Fox & Shalom Lappin (2004). An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer 249--279.
Melvin Fitting (2006). FOIL Axiomatized. Studia Logica 84 (1):1 - 22.
Melvin Fitting (2012). Barcan Both Ways. Journal of Applied Non-Classical Logics 9 (2-3):329-344.
V. Halbach & P. Welch (2009). Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions. Mind 118 (469):71-100.
Imre Ruzsa (1981). An Approach to Intensional Logic. Studia Logica 40 (3):269 - 287.
Chris Fox & Shalom Lappin (2004). An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. Logic Journal of the Igpl 12 (2):135-168.
Added to index2010-12-22
Total downloads29 ( #119,025 of 1,781,305 )
Recent downloads (6 months)4 ( #142,013 of 1,781,305 )
How can I increase my downloads?