Abstract
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.
Similar content being viewed by others
References
Fairtlough, M., & Mendler, M. (1997). Propositional lax logic. Information and Computation, 137, 1–33.
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.
Goldblatt, R. (2011). Cover semantics for quantified lax logic. Journal of Logic and Computation, 21, 1035–1063.
Lokhorst, G.J.C., & Goble, L. (2004). Mally’s deontic logic. Grazer Philosophische Studien, 67, 37–57.
Mally, E. (1926). Grundgesetze des Sollens: Elemente der Logik des Willens. Graz: Leuschner und Lubensky.
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.
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.
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.
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lokhorst, GJ.C. An Intuitionistic Reformulation of Mally’s Deontic Logic. J Philos Logic 42, 635–641 (2013). https://doi.org/10.1007/s10992-012-9242-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-012-9242-6