Skip to main content
Log in

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. 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.

    Google Scholar 

  2. Fitting, M. C., ‘Modal logics between propositional and first-order’, Journal of Logic and Computation 12:1017–1026, 2002.

    Article  Google Scholar 

  3. Fitting, M. C., Types, Tableaus, and Gödel's God, Kluwer, 2002. Errata at http://comet.lehman.cuny.edu/fitting/errata/errata.html.

  4. 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.

  5. Fitting, M. C., ‘First-order intensional logic’, Annals of Pure and Applied Logic 127:171–193, 2004.

    Article  Google Scholar 

  6. 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.

  7. Gallin, D., Intensional and Higher-Order Modal Logic, North-Holland, 1975.

  8. 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.

  9. Hughes, G. E., and M. J. Cresswell, A Companion to Modal Logic, Methuen, London, 1984.

    Google Scholar 

  10. Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic, Rout-ledge, London, 1996.

    Google Scholar 

  11. 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.

  12. Montague, R., ‘On the nature of certain philosophical entities’, The Monist 53:159–194, 1960. Reprinted in [17], 148–187.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. Montague, R., ‘Pragmatics and intensional logic’, Synthèse 22:68–94, 1970. Reprinted in [17], 119–147.

    Article  Google Scholar 

  15. Stalnaker, R., and R. Thomason, ‘Abstraction in first-order modal logic’, Theoria 34:203–207, 1968.

    Article  Google Scholar 

  16. Thomason, R., and R. Stalnaker, ‘Modality and reference’, Nous 2:359–372, 1968.

    Google Scholar 

  17. Thomason, R. H., (ed.), Formal Philosophy, Selected Papers of Richard Montague, Yale University Press, New Haven and London, 1974.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Melvin Fitting.

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

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-9000-2

Keywords

Navigation