Notre Dame Journal of Formal Logic

Anderson's Relevant Deontic and Eubouliatic Systems

Gert-Jan C. Lokhorst
Source: Notre Dame J. Formal Logic Volume 49, Number 1 (2008), 65-73.

Abstract

We present axiomatizations of the deontic fragment of Anderson's relevant deontic logic (the logic of obligation and related concepts) and the eubouliatic fragment of Anderson's eubouliatic logic (the logic of prudence, safety, risk, and related concepts).

First Page: Show Hide
Primary Subjects: 03B47
Secondary Subjects: 03B45
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1199649901
Digital Object Identifier: doi:10.1215/00294527-2007-004
Mathematical Reviews number (MathSciNet): MR2376851
Zentralblatt MATH identifier: 05657682

References

[1] Anderson, A. R., and J. N. D. Belnap, "Modalities in Ackermann's `Rigorous Implication'", The Journal of Symbolic Logic, vol. 24 (1959), pp. 107--11.
Mathematical Reviews (MathSciNet): MR0115902
Zentralblatt MATH: 0090.00903
Digital Object Identifier: doi:10.2307/2964754
Project Euclid: euclid.jsl/1183733576
[2] Anderson, A. R., "Some nasty problems in the formal logic of ethics", Noûs, vol. 1 (1967), pp. 345--60.
[3] Anderson, A. R., "A new square of opposition: Eubouliatic logic", pp. 271--84 in Akten des XIV. Internationalen Kongresses für Philosophie, Vol. 2, Herder, Vienna, 1968.
[4] Anderson, A. R., N. D. Belnap, Jr., and J. M. Dunn, Entailment. The Logic of Relevance and Necessity. Vol. II, Princeton University Press, Princeton, 1992.
Mathematical Reviews (MathSciNet): MR1223997
Zentralblatt MATH: 0921.03025
[5] Goble, L., ``The Andersonian reduction and relevant deontic logic,'' pp. 213--46 in New Studies in Exact Philosophy: Logic, Mathematics and Science. Proceedings of the 1999 Conference of the Society of Exact Philosophy, edited by B. Brown and J. Woods, Hermes Science Publications, Paris, 2001.
[6] Lokhorst, G.-J. C., "Andersonian deontic logic, propositional quantification, and Mally", Notre Dame Journal of Formal Logic, vol. 47 (2006), pp. 385--95.
Mathematical Reviews (MathSciNet): MR2264707
Zentralblatt MATH: 1120.03016
Digital Object Identifier: doi:10.1305/ndjfl/1163775445
Project Euclid: euclid.ndjfl/1163775445
[7] The Oxford English Dictionary, 2d edition, Oxford University Press, Oxford, 1989.

2013 © University of Notre Dame

Notre Dame Journal of Formal Logic

Notre Dame Journal of Formal Logic

Turn MathJax Off
What is MathJax?