Abstract
In an earlier paper, [5], I gave semantics and tableau rules for a simple firstorder intensional logic called FOIL, in which both objects and intensions are explicitly present and can be quantified over. Intensions, being non-rigid, are represented in FOIL as (partial) functions from states to objects. Scoping machinery, predicate abstraction, is present to disambiguate sentences like that asserting the necessary identity of the morning and the evening star, which is true in one sense and not true in another.
In this paper I address the problem of axiomatizing FOIL. I begin with an interesting sublogic with predicate abstraction and equality but no quantifiers. In [2] this sublogic was shown to be undecidable if the underlying modal logic was at least K4, though it is decidable in other cases. The axiomatization given is shown to be complete for standard logics without a symmetry condition. The general situation is not known. After this an axiomatization for the full FOIL is given, which is straightforward after one makes a change in the point of view.
References
Fitting, M. C., ‘First-order alethic modal logic’, in D. Jacquette (ed.), A Companion to Philosophical Logic, chapter 27, Blackwell, Malden, MA, 2002, pp. 410–421.
Fitting, M. C., ‘Modal logics between propositional and first-order’, Journal of Logic and Computation 12:1017–1026, 2002.
Fitting, M. C., Types, Tableaus, and Gödel's God, Kluwer, 2002. Errata at http://comet.lehman.cuny.edu/fitting/errata/errata.html.
Fitting, M. C., ‘Intensional logic—beyond first-order’, in V. F. Hendricks and J. Malinowski (eds.), Trends in Logic: 50 Years of Studia Logica, Kluwer Academic Publishers, 2003, pp. 87–108.
Fitting, M. C., ‘First-order intensional logic’, Annals of Pure and Applied Logic 127:171–193, 2004.
Fitting, M. C., and R. Mendelsohn, First-Order Modal Logic, Kluwer, 1998. Paperback, 1999. Errata at http://comet.lehman.cuny.edu/fitting/errata/errata.html.
Gallin, D., Intensional and Higher-Order Modal Logic, North-Holland, 1975.
Garson, J. W., ‘Quantification in modal logic’, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. 2, D. Reidel, 1984, pp. 249–307.
Hughes, G. E., and M. J. Cresswell, A Companion to Modal Logic, Methuen, London, 1984.
Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic, Rout-ledge, London, 1996.
Kracht, M., and O. Kutz, The semantics of modal predicate logic II, modal individuals, revisited, in R. Kahle (ed.), Intensionality. Proceedings of a conference, held at Munich, 27th–29th October 2000, Lecture Notes in Logic. A. K., Peters, 2003. To appear.
Montague, R., ‘On the nature of certain philosophical entities’, The Monist 53:159–194, 1960. Reprinted in [17], 148–187.
Montague, R., ‘Pragmatics’, in R. Klibansky (ed.), Contemporary Philosophy: A Survey, Florence, La Nuova Italia Editrice, 1968, pp. 102–122. Reprinted in [17], 95–118.
Montague, R., ‘Pragmatics and intensional logic’, Synthèse 22:68–94, 1970. Reprinted in [17], 119–147.
Stalnaker, R., and R. Thomason, ‘Abstraction in first-order modal logic’, Theoria 34:203–207, 1968.
Thomason, R., and R. Stalnaker, ‘Modality and reference’, Nous 2:359–372, 1968.
Thomason, R. H., (ed.), Formal Philosophy, Selected Papers of Richard Montague, Yale University Press, New Haven and London, 1974.
Author information
Authors and Affiliations
Corresponding author
Additional information
This paper is a version of the invited talk given by the author at the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005.
Rights and permissions
About this article
Cite this article
Fitting, M. FOIL Axiomatized. Stud Logica 84, 1–22 (2006). https://doi.org/10.1007/s11225-006-9000-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-006-9000-2