Journal of Philosophical Logic

, Volume 42, Issue 4, pp 635–641 | Cite as

An Intuitionistic Reformulation of Mally’s Deontic Logic

  • Gert-Jan C. LokhorstEmail author


In 1926, Ernst Mally proposed a number of deontic postulates. He added them as axioms to classical propositional logic. The resulting system was unsatisfactory because it had the consequence that A is the case if and only if it is obligatory that A. We present an intuitionistic reformulation of Mally’s deontic logic. We show that this system does not provide the just-mentioned objectionable theorem while most of the theorems that Mally considered acceptable are still derivable. The resulting system is unacceptable as a deontic logic, but it does make sense as a lax logic in the modern sense of the word.


Deontic logic Intuitionistic logic Lax logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Fairtlough, M., & Mendler, M. (1997). Propositional lax logic. Information and Computation, 137, 1–33.CrossRefGoogle Scholar
  2. 2.
    Føllesdal, D., & Hilpinen, R. (1981). Deontic logic: An introduction. In R. Hilpinen (Ed.), Deontic logic: Introductory and systematic readings (2nd ed., pp. 1–35). Dordrecht: Reidel.Google Scholar
  3. 3.
    Goldblatt, R. (2011). Cover semantics for quantified lax logic. Journal of Logic and Computation, 21, 1035–1063.CrossRefGoogle Scholar
  4. 4.
    Lokhorst, G.J.C., & Goble, L. (2004). Mally’s deontic logic. Grazer Philosophische Studien, 67, 37–57.Google Scholar
  5. 5.
    Mally, E. (1926). Grundgesetze des Sollens: Elemente der Logik des Willens. Graz: Leuschner und Lubensky.Google Scholar
  6. 6.
    McKinsey, J.C.C. (1939). Proof of the independence of the primitive symbols of Heyting’s calculus of propositions. Journal of Symbolic Logic, 4, 155–158.CrossRefGoogle Scholar
  7. 7.
    Menger, K. (1939). A logic of the doubtful: On optative and imperative logic. In Reports of a Mathematical Colloquium (2nd series, 2nd issue, pp. 53–64). Notre Dame: Indiana University Press.Google Scholar
  8. 8.
    Morscher, E. (1998). Mallys Axiomsystem für die deontische Logik: Rekonstruktion und kritische Würdigung. In A. Hieke (Ed.), Ernst Mally: Versuch einer Neubewertung (pp. 81–165). Sankt Augustin: Academia.Google Scholar
  9. 9.
    Van Dalen, D. (2002). Intuitionistic logic. In D. Gabbay, & F. Günthner (Eds.), Handbook of Philosophical Logic (2nd ed., Vol. 5, pp. 1–114). Dorrecht: Kluwer.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Section of Philosophy, Faculty of Technology, Policy and ManagementDelft University of TechnologyGA DelftThe Netherlands

Personalised recommendations