Advertisement

Propositional Quantifiers in Deontic Logic

  • Gert-Jan C. Lokhorst
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4048)

Abstract

Several systems of monadic deontic logic are defined in terms of systems of alethic modal logic with a propositional constant. When the universal propositional quantifier is added to these systems, the propositional constant becomes definable in terms of the deontic operator. As a result, the meaning of this constant becomes clearer and it becomes easy to axiomatize the deontic fragments of the alethic modal systems.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Åqvist, L.: Deontic logic. In: Gabbay, D., Günthner, F. (eds.) Handbook of Philosophical Logic. Extensions of Classical Logic, vol. II, pp. 605–714. Reidel, Dordrecht (1984)Google Scholar
  2. 2.
    Anderson, A.R.: The Formal Analysis of Normative Systems, Technical Report, New Haven (1956); Reprinted in: Rescher, N. (ed.) The Logic of Decision and Action, pp. 147–213. University of Pittsburgh Press, Pittsburgh (1967)Google Scholar
  3. 3.
    Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind 67, 100–103 (1958)CrossRefGoogle Scholar
  4. 4.
    Anderson, A.R.: Some nasty problems in the formal logic of ethics. Noûs 1, 345–360 (1967)CrossRefGoogle Scholar
  5. 5.
    Anderson, A.R.: A new square of opposition: Eubouliatic logic. Akten des XIV. Internationalen Kongresses für Philosophie 2, 271–284 (1968)Google Scholar
  6. 6.
    Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton (1975)zbMATHGoogle Scholar
  7. 7.
    Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. 2. Princeton University Press, Princeton (1992)zbMATHGoogle Scholar
  8. 8.
    Goble, L.: The Andersonian reduction and relevant deontic logic. In: Brown, B., Woods, J. (eds.) New Studies in Exact Philosophy: Logic, Mathematics and Science—Proceedings of the 1999 Conference of the Society of Exact Philosophy, pp. 213–246. Hermes Science Publications, Paris (2001)Google Scholar
  9. 9.
    Kanger, S.: New Foundations for Ethical Theory, privately distributed pamphlet (1957); Reprinted in: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 36–58. Reidel, Dordrecht (1971)Google Scholar
  10. 10.
    Lokhorst, G.J.C.: 200+, The Andersonian reduction and Mally’s deontic logic. Notre Dame Journal of Formal Logic (forthcoming)Google Scholar
  11. 11.
    McNamara, P.: Deontic logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2006 Edition) (2006), http://plato.stanford.edu/archives/spr2006/entries/logic-deontic
  12. 12.
    Mares, E.D.: Andersonian deontic logic. Theoria 58, 3–20 (1992)zbMATHMathSciNetGoogle Scholar
  13. 13.
    Smiley, T.: Relative necessity. Journal of Symbolic Logic 28, 113–134 (1963)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Van Fraassen, B.C.: The logic of conditional obligation. Journal of Philosophical Logic 1, 417–438 (1972)zbMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Gert-Jan C. Lokhorst
    • 1
  1. 1.Section of Philosophy, Faculty of Technology, Policy and ManagementDelft University of Technology 

Personalised recommendations