First-order intensional logic

Annals of Pure and Applied Logic 127 (1-3):171-193 (2004)
Melvin Fitting
CUNY Graduate Center
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)
DOI 10.1016/j.apal.2003.11.014
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,341
External links

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

Counterpart Theory and Quantified Modal Logic.David K. Lewis - 1968 - Journal of Philosophy 65 (5):113-126.
Counterparts of Persons and Their Bodies.David Lewis - 1971 - Journal of Philosophy 68 (7):203-211.
Pragmatics and Intensional Logic.Richard Montague - 1970 - Synthese 22 (1-2):68--94.
Pragmatics.Richard Montague - 1968 - In R. Klibansky (ed.), Contemporary Philosophy: A Survey, Volume 1. La Nuova Italia Editrice. pp. 102--22.

View all 12 references / Add more references

Citations of this work BETA

CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.
Prefixed Tableaus and Nested Sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Unifying Quantified Modal Logic.James W. Garson - 2005 - Journal of Philosophical Logic 34 (5-6):621-649.
BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
FOIL Axiomatized.Melvin Fitting - 2006 - Studia Logica 84 (1):1-22.

View all 7 citations / Add more citations

Similar books and articles


Added to PP index

Total downloads
60 ( #103,609 of 2,266,731 )

Recent downloads (6 months)
5 ( #82,676 of 2,266,731 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature