Skip to main content
Log in

Deontic logic and possible worlds semantics: A historical sketch

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper describes and compares the first step in modern semantic theory for deontic logic which appeared in works of Stig Kanger, Jaakko Hintikka, Richard Montague and Saul Kripke in late 50s and early 60s. Moreover, some further developments as well as systematizations are also noted.

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

Similar content being viewed by others

References

  1. A. R. Anderson,The Formal Analysis of Normative Systems, Technical Report no. 2, Office of Naval Research, Group Psychology Branch, New Haven 1956.

    Google Scholar 

  2. O. Becker,Untersuchungen über den Modalkalkül, Anton Hain, Meisenheim am Glan 1952.

  3. J. van Eck:A system of temporally relative modal and deontic predicate logic and its philosophical applications,Logique et Analyse 99 (1982), pp. 249–290.

    Google Scholar 

  4. J. E. Fenstad,Notes on Normative Logic, Avhandlinger utgitt av Det Norske Videnskaps-Akademi I Oslo II. Hist.-Filos. Klasse. 1959. No. 1.

  5. D. Føllesdal andR. Hilpinen,Deontic logic: an introduction, in [8], pp. 1–35.

  6. M. Guillaume:Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode de tableaux sémantiques,Comptes rendus hebdomaires des séances de l'Academie des Sciences 246 (1958), pp. 1140–1142, 2207–2210, 247, pp. 1281–1283.

    Google Scholar 

  7. W. Hanson:Semantics for deontic logic,Logique et Analyse 31 (1965), pp. 177–190.

    Google Scholar 

  8. R. Hilpinen, ed.,Deontic Logic: Introductory and Systematic Readings, Reidel, Dordrecht 1971.

    Google Scholar 

  9. J. Hintikka:Quantifiers in Deontic Logic, Societas Scientiarum Fennica, Commentationes Humanarum Literarum XXIII, 4 (1957).

    Google Scholar 

  10. J. Hintikka,Some main problems in deontic logic, in [8], pp. 59–104.

  11. J. Kalinowski:Théorie des propositions normatives,Studia Logica 1 (1953), pp. 147–182.

    Google Scholar 

  12. S. Kanger:Provability in Logic, Almqvist & Wiksell, Stockholm 1957.

    Google Scholar 

  13. S. Kanger:New Foundations for Ethical Theory, Stockholm 1957; repr. in [8], pp. 36–58.

  14. S. Knuutilla:The emergence of deontic logic in the fourteenth century, in R. Hilpinen, ed.New Studies in Deontic Logic, Reidel, Dordrecht 1981, pp. 225–248.

    Google Scholar 

  15. S. Kripke:A completeness theorem in modal logic,Journal of Symbolic Logic 24 (1959), pp. 1–14.

    Google Scholar 

  16. S. Kripke:Semantical analysis of modal logic I: Normal propositional calculi,Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9 (1963), pp. 67–96.

    Google Scholar 

  17. S. Kripke:Semantical considerations on modal logic,Acta Philosophica Fennica 16 (1963), pp. 83–94.

    Google Scholar 

  18. J. Lemmon:New foundations for Lewis modal systems,Journal of Symbolic Logic 22 (1957), pp. 176–186.

    Google Scholar 

  19. R. Montague:Logical necessity, physical necessity, ethics, and quantifiers,Inquiry 4 (1960), pp. 259–269.

    Google Scholar 

  20. A. N. Prior:The paradoxes of derived obligation,Mind 63 (1954), pp. 64–65.

    Google Scholar 

  21. T. Smiley:Relative necessity,Journal of Symbolic Logic 28 (1963), pp. 113–134.

    Google Scholar 

  22. G. H. von Wright:Deontic logic,Mind 60 (1951), pp. 1–15.

    Google Scholar 

  23. L. Åqvist:Deontic Logic, in D. Gabbay and F. Guenther, eds.Handbook of Philosophical Logic, vol. 2: Extensions of Classical Logic, Reidel, Dordrecht 1984, pp. 605–714.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Woleński, J. Deontic logic and possible worlds semantics: A historical sketch. Stud Logica 49, 273–282 (1990). https://doi.org/10.1007/BF00935603

Download citation

  • Received:

  • Issue Date:

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

Keywords

Navigation