Skip to main content
SpringerLink
Log in

Quantifiers as modal operators

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Montague, Prior, von Wright and others drew attention to resemblances between modal operators and quantifiers. In this paper we show that classical quantifiers can, in fact, be regarded as “S5-like” operators in a purely propositional modal logic. This logic is axiomatized and some interesting fragments of it are investigated.

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. W. Ackermann, Solvable Cases of the Decision Problem, North Holland, 1954.

  2. M. Davis, Mathematical Logic; Lecture Notes, New York University, 1959.

  3. P. Bernays, Über eine naturliche Erweiterung des Relationenkalkuls, in: A. Heyting (ed.), Constructivity in Mathematics, North Holland, 1959.

  4. H. Enderton, A Mathematical Introduction to Logic, Academic Press, 1972.

  5. P. Halmos, Algebraic Logic, part I in: Composito Mathematicae, 12 (1954), pp. 00–00 part II in: Fundamenta Mathematicae 43 (1956), pp. 255–325.

    Google Scholar 

  6. L. Henkin, Logical Systems Containing Only a Finite Number of Symbols, The Presses of the University of Montreal (1967).

  7. L. Henkin and A. Tarski, Cylindrical algebras, in: Proceedings of Symposia in Pure Mathematics, Vol. 2 (1961), pp. 82–113.

    Google Scholar 

  8. A. S. Kahr and E. Moore and H. Wang, Entscheidungsproblem Reduced to the AEA Case, Proceedings of the National Academy of Sciences 48 (1962), pp. 365–377.

    Google Scholar 

  9. S. Kuhn, Many-Sorted Modal Logics (Vols I and II). Philosophical Studies, number 29. University of Uppsala, 1977.

  10. —, What is Segerberg's two dimensional modal logic?, in: Box and Diamond: Mini-essays in Honor of Krister Segerberg, Publications of the Group in Logic and Methodology of Real Finland, Vol. 4, 1976.

  11. E. J. Lemmon, An Introduction to Modal Logic, APQ Monograph Series, number 11, Basil Blackwell, 1977.

  12. D. Lewis, Counterfactuals, Harvard University Press, 1973.

  13. B. Mates, Elementary Logic, Oxford University Press, 1972.

  14. R. Montague, Logical necessity, physical necessity, ethics and quantifiers, Inguiry 4 (1960), pp. 259–269.

    Google Scholar 

  15. L. Nolin, Sur l'algebre des predicats, in: Le Raisonnement en Mathematiques et en Sciences Experimentales, French National Center of Scientific Research, 1958.

  16. A. Prior, Egocentric logic, Nous 2 (1968), pp. 191–207.

    Google Scholar 

  17. —, Quasi propositions and quasi individuals, in: Papers on Time and Tense, Oxford University Press, 1968.

  18. W. V. Quine, Algebraic logic and predicate functors, in: Rudner and Scheffler (eds.), Logic and Art, Bobbs Merrill, 1972.

  19. K. Segerberg, Two dimensional modal logic, Journal of Philosophical Logic 2 (1973), pp. 77–96.

    Google Scholar 

  20. G. H. von Wright, On double quantification, in: von Wright, Logical Studies The Humanities Press, 1957.

Download references

Author information

Authors and Affiliations

  1. Georgetown University, Washington

    Steven T. Kuhn

Authors
  1. Steven T. Kuhn
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper is based in part on material in Chapter IV of [9]. I have benefited greatly from comments of Anthony M. Ungar.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kuhn, S.T. Quantifiers as modal operators. Stud Logica 39, 145–158 (1980). https://doi.org/10.1007/BF00370318

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation