Skip to main content
SpringerLink
Log in

First-order modal theories

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper is part of a general programme of developing and investigating particular first-order modal theories. In the paper, a modal theory of propositions is constructed under the assumption that there are genuinely singular propositions, ie. ones that contain individuals as constituents. Various results on decidability, axiomatizability and definability are established.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. R. A. Bull, On modal logic with propositional quantifiers, Journal of Symbolic Logic 34 (1969), pp. 257–263.

    Google Scholar 

  2. A. Church and W. V. Quine, Some theorems on definability and decidability, Journal of Symbolic Logic 17 (1952), pp. 179–187.

    Google Scholar 

  3. W. Craig and W. V. Quine, On reduction to a symmetric relation, Journal of Symbolic Logic 17 (1952), p. 188.

    Google Scholar 

  4. K. Fine, Propositional quantifiers in modal logic, Theoria 36 (1970), pp. 336–346.

    Google Scholar 

  5. —, Prior on the construction of possible worlds and instants, postscript to Worlds, Times and Selves (Prior, ed. Fine), Duckworth (1977).

  6. —, Properties, propositions and sets, Journal of Philosophical Logic 6 (1977), pp. 135–191.

    Google Scholar 

  7. —, Model theory for modal logic, part I, Journal of Philosophical Logic 7 (1978), pp. 125–156.

    Google Scholar 

  8. —, Model theory for modal logic, part II — The elimination of de re modality, Journal of Philosophical Logic 7 (1978), pp. 277–306.

    Google Scholar 

  9. —, first-order modal theories, part I — Modal set theory, to appear in Nôus.

  10. —, Model theory for modal logic, part III — Existence and predication, to appear in Journal of Philosophical Logic.

  11. —, Analytic implication, unpublished. To appear in the Proceedings of a Conference on Philosophy held at Keele (England), 1978.

  12. D. M. Gabbay, Modal logic with propositional quantifiers, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik 18 (1972), pp. 245–249

    Google Scholar 

  13. —, Investigations in Modal and Tense Logics, D. Reidel, Holland, 1976.

    Google Scholar 

  14. D. Kaplan, S5 with quantifiable propositional variables, Journal of Symbolic Logic 35 (1970), pp. 355.

    Google Scholar 

  15. S. Kripke, Semantical considerations on modal logic, Acta Philosophica Fennica 16 (1963), pp. 83–94. Reprinted in L. Linsky (ed.), Reference and Modality, Oxford University Press, 1971.

    Google Scholar 

  16. A. N. Prior, Time and Modality, Oxford 1957.

  17. —, Egocentric logic, Nôus, vol. II, no. 3 (1968), pp. 191–207.

    Google Scholar 

  18. —, Objects of Thought, Oxford 1971.

  19. D. Scott, Existence and description in formal logic, in: Bertrand Russell; Philosopher of the Century (ed. R. Schoenman), Boston 1967.

Download references

Author information

Authors and Affiliations

  1. University of Michigan, USA

    Kit Fine

Authors
  1. Kit Fine
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

I should like to thank the members of a metaphysics seminar at Irvine, and Peter Woodruff in particular, for several helpful discussions on the topic of this paper.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fine, K. First-order modal theories. Stud Logica 39, 159–202 (1980). https://doi.org/10.1007/BF00370319

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370319

Keywords

Search

Navigation