Ten Philosophical Problems in Deontic Logic

Dagstuhl Seminar Proceedings

Volumn 7122, Issue , 2007, Pages

  Hansen, Jörg ^a   Pigozzi, Gabriella ^b   Van Der Torre, Leendert ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Deontic logic; input output logic; normative systems

Indexed keywords

COMPUTER CIRCUITS; PHILOSOPHICAL ASPECTS;

CONTRARY-TO-DUTIES; COUNTS-AS; DEONTIC; DEONTIC LOGIC; DEONTIC OPERATORS; INPUT/OUTPUT LOGIC; NORMATIVE CONFLICT; NORMATIVE SYSTEM; POSSIBLE WORLDS; PREFERENCE RELATION;

SEMANTICS;

EID: 84903565580     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (62)

1. Alchourrón, C. E. and Bulygin, E., "The Expressive Conception of Norms", in [27] 95-124.
2. Alchourrón, C. E. and Makinson, D., "Hierarchies of Regulations and Their Logic", in [27] 125-148.
3. Alchourrón, C. E. and Makinson, D., "On the Logic of Theory Change: Contraction Functions and Their Associated Revision Functions", Theoria, 48, 1982, 14-37.
4. Anderson, A. R., "On the Logic of Commitment", Philosophical Studies, 19, 1959, 23-27.
5. Artosi, A., Rotolo, A. and Vida, S., "On the logical nature of count-as conditionals", in: Procs. of LEA 2004 Workshop, 2004.
6. Baral, C., Kraus, S., Minker, J. and Subrahmanian, V. S., "Combining knowledge bases consisting of first-order theories", Computational Intelligence, 8, 1992, 45-71.
7. Boella, G. and van der Torre, L., "A Logical Architecture of a Normative System", in [17] 24-35.
8. Boella, G. and van der Torre, L., "Permissions and Obligations in Hierarchical Normative Systems", in: Proceedings of the 9th International Conference on Artificial Intelligence and Law, ICAIL 2003, June 24-28, Edinburgh, Scotland, UK, ACM, 2003, revised version to appear in Artificial Intelligence and Law.
9. Boella, G. and van der Torre, L., "Constitutive Norms in the Design of Normative Multiagent Systems", in: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, LNCS 3900, Springer, 2006, 303-319.
10. Boella, G., van der Torre, L. and Verhagen, H., "Introduction to normative multiagent systems", Computational and Mathematical Organization Theory, 12(2-3), 2006, 71-79.
11. Booth, R., Kaci, S. and van der Torre, L., "Merging Rules: Preliminary Version", in: Proceedings of the NMR'06, 2006.
12. Bulygin, E., "Permissive Norms and Normative Concepts", in: Martino, A. A. and Socci Natali, F. (eds.), Automated Analysis of Legal Texts, Amsterdam: North Holland, 1986, 211-218.
13. Chisholm, R., "Contrary-to-duty imperatives and deontic logic", Analysis, 24, 1963, 3336.
14. Cholvy, L. and Cuppens, F., "Reasoning about Norms Provided by Conflicting Regulations", in [46] 247-264.
15. van Fraassen, B., "Values and the Heart's Command", Journal of Philosophy, 70, 1973, 5-19.
16. Gabbay, D., Pigozzi, G. and Woods, J., "Controlled Revision - An algorithmic approach for belief revision", Journal of Logic and Computation, 13, 2003, 3-22.
17. Goble, L. and Meyer, J.-J. C. (eds.), Deontic Logic and Artificial Normative Systems. 8th International Workshop on Deontic Logic in Computer Scicence, DEON 2006, Utrecht, July 2006, Proceedings, Berlin: Springer, 2006.
18. Grégoire, E., "Fusing legal knowledge", in: Proceedings of the 2004 IEEE INt. Conf. on Information Reuse and Integration (IEEE-IRI'2004), 2004, 522-529.
19. Hansen, J., "Sets, Sentences, and Some Logics about Imperatives", Fundamenta Informaticae, 48, 2001, 205-226.
20. Hansen, J., "Problems and Results for Logics about Imperatives", Journal of Applied Logic, 2, 2004, 39-61.
21. Hansen, J., "Conflicting Imperatives and Dyadic Deontic Logic", Journal of Applied Logic, 3, 2005, 484-511.
22. Hansen, J., "Deontic Logics for Prioritized Imperatives", Artificial Intelligence and Law, forthcoming, 2005.
23. Hansen, J., "Prioritized Conditional Imperatives: Problems and a New Proposal", Autonomous Agents and Multi-Agent Systems, 2007, submitted.
24. Hansson, B., "An Analysis of Some Deontic Logics", Nôus, 3, 1969, 373-398, reprinted in [26] 121-147.
25. Hare, R. M., Moral Thinking, Oxford: Clarendon Press, 1981.
26. Hilpinen, R. (ed.), Deontic Logic: Introductory and Systematic Readings, Dordrecht: Reidel, 1971.
27. Hilpinen, R. (ed.), New Studies in Deontic Logic, Dordrecht: Reidel, 1981.
28. Horty, J. F., "Nonmonotonic Foundations for Deontic Logic", in: Nute, D. (ed.), Defeasible Deontic Logic, Dordrecht: Kluwer, 1997, 17-44.
29. Jones, A. and Sergot, M., "A formal characterisation of institutionalised power", Journal of IGPL, 3, 1996, 427443.
30. Jørgensen, J., "Imperatives and Logic", Erkenntnis, 7, 1938, 288-296.
31. Kamp, H., "Free Choice Permission", Proceedings of the Aristotelian Society, 74, 1973/74, 57-74.
32. Kanger, S., "New Foundations for Ethical Theory: Part 1", duplic., 42 p., 1957, reprinted in [26] 36-58.
33. Konieczny, S., Sur la Logique du Changement: Révision et Fusion de Bases de Connaissance, Ph.D. thesis, University of Lille, France, 1999.
34. Konieczny, S., "On the difference between merging knowledge bases and combinig them", in: Proceedings of KR'00, vol. 8, Morgan Kaufmann, 2000, 135-144.
35. Konieczny, S. and Grégoire, E., "Logic-based approaches to information fusion", Information Fusion, 7, 2006, 4-18.
36. Lewis, D., Counterfactuals, Oxford: Basil Blackwell, 1973.
37. Lewis, D., "Semantic Analyses for Dyadic Deontic Logic", in: Stenlund, S. (ed.), Logical Theory and Semantic Analysis, Dordrecht: Reidel, 1974, 1-14.
38. Lin, J. and Mendelzon, A., "Merging databases under constraints", International Journal of Cooperative Information Systems, 7, 1996, 55-76.
39. Lindahl, L., "Norms, Meaning Postulates, and Legal Predicates", in: Garzón Valdés, E. (ed.), Normative Systems in Legal and Moral Theory. Festschrift for Carlos E. Alchourrón and Eugenio Bulygin, Berlin: Duncker & Humblot, 1997, 293-307.
40. Lindahl, L. and Odelstad, J., "Intermediate Concepts in Normative Systems", in 17 187-200.
41. Makinson, D., "On a Fundamental Problem of Deontic Logic", in [46], 29-53.
42. Makinson, D. and van der Torre, L., "Input/Output Logics", Journal of Philosophical Logic, 29, 2000, 383-408.
43. Makinson, D. and van der Torre, L., "Constraints for Input/Output Logics", Journal of Philosophical Logic, 30, 2001, 155-185.
44. Makinson, D. and van der Torre, L., "Permissions from an Input/Output Perspective", Journal of Philosophical Logic, 32, 2003, 391-416.
45. Makinson, D. and van der Torre, L., "What is Input/Output Logic", in: Löwe, B., Malzkom, W. and Räsch, T. (eds.), Foundations of the Formal Sciences II : Applications of Mathematical Logic in Philosophy and Linguistics (Papers of a conference held in Bonn, November 10-13, 2000), Trends in Logic, vol. 17, Dordrecht: Kluwer, 2003, 163-174, reprinted in this volume.
46. McNamara, P. and Prakken, H. (eds.), Norms, Logics and Information Systems, Amsterdam: IOS, 1999.
47. Niiniluoto, I., "Hypothetical Imperatives and Conditional Obligation", Synthese, 66, 1986, 111-133.
48. Ross, A., "Imperatives and Logic", Theoria, 7, 1941, 53-71, Reprinted in Philosophy of Science 11:30-46, 1944.
49. Ross, W. D., The Right and the Good, Oxford: Clarendon Press, 1930.
50. Searle, J., Speech Acts: an Essay in the Philosophy of Language, Cambridge (UK): Cambridge University Press, 1969.
51. Smiley, T. J., "The Logical Basis of Ethics", Acta Philosophica Fennica, 16, 1963, 237-246.
52. Spohn, W., "An Analysis of Hansson's Dyadic Deontic Logic", Journal of Philosophical Logic, 4, 1975, 237-252.
53. Stenius, E., "The Principles of a Logic of Normative Systems", Acta Philosophica Fennica, 16, 1963, 247-260.
54. von Wright, G., Logical Studies, London: Routledge and Kegan, 1957.
55. von Wright, G. H., "Deontic Logic", Mind, 60, 1951, 1-15.
56. von Wright, G. H., "A Note on Deontic Logic and Derived Obligation", Mind, 65, 1956, 507-509.
57. von Wright, G. H., "A New System of Deontic Logic", Danish Yearbook of Philosophy, 1, 1961, 173-182, reprinted in [26] 105-115.
58. von Wright, G. H., "A Correction to a New System of Deontic Logic", Danish Yearbook of Philosophy, 2, 1962, 103-107, reprinted in [26] 115-119.
59. von Wright, G. H., Norm and Action, London: Routledge & Kegan Paul, 1963.
60. von Wright, G. H., An Essay in Deontic Logic and the General Theory of Action, Amsterdam: North Holland, 1968.
61. von Wright, G. H., "Norms, Truth and Logic", in: von Wright, G. H. (ed.), Practical Reason: Philosophical Papers vol. I, Oxford: Blackwell, 1983, 130-209.
62. Ziemba, Z., "Deontic Syllogistics", Studia Logica, 28, 1971, 139-159.