Andersonian Deontic Logic, Propositional Quantification, and Mally
Gert-Jan C. Lokhorst
Source: Notre Dame J. Formal Logic Volume 47, Number 3
(2006), 385-395.
Abstract
We present a new axiomatization of the deontic fragment of Anderson's relevant deontic logic, give an Andersonian reduction of a relevant version of Mally's deontic logic previously discussed in this journal, study the effect of adding propositional quantification to Anderson's system, and discuss the meaning of Anderson's propositional constant in a wide range of Andersonian deontic systems.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1163775445
Digital Object Identifier: doi:10.1305/ndjfl/1163775445
Mathematical Reviews number (MathSciNet): MR2264707
Zentralblatt MATH identifier: 1120.03016
References
[1] Anderson, A. R., "The formal analysis of normative systems", Technical report No. 2, Contract No. SAR/Nonr-609(16), Office of Naval Research, Group Psychology Branch, New Haven, 1956. Reprinted in N. Rescher, editor, The Logic of Decision and Action, pp. 147--213, University of Pittsburgh Press, Pittsburgh, 1967.
Zentralblatt MATH: 0194.30301
[2] Anderson, A. R., "A reduction of deontic logic to alethic modal logic", Mind, vol. 67 (1958), pp. 100--103.
[3] Anderson, A. R., "Some nasty problems in the formal logic of ethics", Noûs, vol. 1 (1967), pp. 345--60.
[4] 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.
[5] Anderson, A. R., and N. D. Belnap, Jr., Entailment. The Logic of Relevance and Necessity. Vol. I, Princeton University Press, Princeton, 1975.
Mathematical Reviews (MathSciNet): MR0406756
Zentralblatt MATH: 0323.02030
[6] 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
[7] Åqvist, L., "Deontic logic", pp. 605--714 in Handbook of Philosophical Logic, Vol. II. Extensions of Classical Logic, edited by D. Gabbay and F. Günthner, vol. 165 of Synthese Library, Reidel, Dordrecht, 1984.
Mathematical Reviews (MathSciNet): MR844606
Zentralblatt MATH: 0875.03018
[8] 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.
[9] Hughes, G. E., and M. J. Cresswell, A New Introduction to Modal Logic, Routledge, London, 1996.
Mathematical Reviews (MathSciNet): MR1666445
Zentralblatt MATH: 0855.03002
[10] Kanger, S., "New foundations for ethical theory", pp. 36--58 in Deontic Logic: Introductory and Systematic Readings, edited by R. Hilpinen, vol. 20 of Pallas Paperbacks, D. Reidel Publishing Co., Dordrecht, 1971. First printed as a privately distributed pamphlet in 1957.
Mathematical Reviews (MathSciNet): MR664433
Zentralblatt MATH: 0248.02030
[11] Lokhorst, G.-J. C., "Ernst Mally's Deontik (1926)", Notre Dame Journal of Formal Logic, vol. 40 (1999), pp. 273--82.
Mathematical Reviews (MathSciNet): MR1816894
Zentralblatt MATH: 0968.03024
Digital Object Identifier: doi:10.1305/ndjfl/1038949542
Project Euclid: euclid.ndjfl/1038949542
[12] Lokhorst, G.-J. C., and L. Goble, "Mally's deontic logic", Grazer philosophische Studien, vol. 67 (2004), pp. 37--57.
[13] Mally, E., Grundgesetze des Sollens: Elemente der Logik des Willens, Leuschner und Lubensky, Universitäts-Buchhandlung, Graz, 1926. Synthese Historical Library. Reprinted in E. Mally, Logische Schriften. Grosses Logikfragment-Grundgesetze des Sollens, edited by K. Wolf and P. Weingartner, pp. 227--324, D. Reidel, Dordrecht, 1971.
Mathematical Reviews (MathSciNet): MR0419154
Zentralblatt MATH: 0209.00701
[14] Mares, E. D., "Andersonian deontic logic", Theoria, vol. 58 (1992), pp. 3--20.
Mathematical Reviews (MathSciNet): MR1337680
Zentralblatt MATH: 0820.03008
[15] McArthur, R. P., "Anderson's deontic logic and relevant implication", Notre Dame Journal of Formal Logic, vol. 22 (1981), pp. 145--54.
Mathematical Reviews (MathSciNet): MR611482
Zentralblatt MATH: 0423.03016
Digital Object Identifier: doi:10.1305/ndjfl/1093883399
Project Euclid: euclid.ndjfl/1093883399
[16] McNamara, P., "Deontic logic", The Stanford Encyclopedia of Philosophy (Spring 2006 Edition), http://plato.stanford.edu/archives/spr2006/entries/logic-deontic, E. N. Zalta, editor.
[17] Menger, K., "A logic of the doubtful: On optative and imperative logic", pp. 53--64 in Reports of a Mathematical Colloquium, 2nd series, 2nd issue, University Press, Notre Dame, 1939.
Zentralblatt MATH: 0021.29007
[18] Slaney, J., "MaGIC": Matrix Generator for Implication Connectives, Automated Reasoning Project, Research School of Information Sciences and Engineering, Australian National University, 1993. http://users.rsise.anu.edu.au/\~ jks/magic.html
[19] Smiley, T., "Relative necessity", The Journal of Symbolic Logic, vol. 28 (1963), pp. 113--34.
Mathematical Reviews (MathSciNet): MR0175765
Zentralblatt MATH: 0125.00512
Digital Object Identifier: doi:10.2307/2271593
Project Euclid: euclid.jsl/1183734666
[20] van Fraassen, B. C., "The logic of conditional obligation", Journal of Philosophical Logic, vol. 1 (1972), pp. 417--38. Proceedings of the First Symposium on Exact Philosophy (McGill University, Montreal, Quebec, 1971).
Mathematical Reviews (MathSciNet): MR0505265
Zentralblatt MATH: 0246.02015
Notre Dame Journal of Formal Logic
