nach oben

Artificial Intelligence and Law

Erschienen in:

01.08.2011

Moral particularism in the light of deontic logic

verfasst von: Xavier Parent

Erschienen in: Artificial Intelligence and Law | Ausgabe 2-3/2011

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have been considered as the only source of reason holism. I strengthen Horty’s point in two ways. First, I show that contrary-to-duties provide another independent support for reason holism. Next I outline a formal theory that is able to capture these two sources of holism. While in simple settings the proposed account coincides with Horty’s one, this is not true in more complicated or “realistic” settings in which more than two norms collide. My chosen formalism is so-called input/output logic. A bottom-line example is introduced. It raises the issue of whether the conventional wisdom is right in assuming that normative reasons run parallel to epistemic ones.

Nächster Artikel Relationships between obligations and actions in the context of institutional agents, human agents or software agents

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

http://leiterlegalphilosophy.typepad.com/leiter/2007/10/green-v-shapiro.html.

Dancy’s views were historically developed in response to Hare.

For an attempt to shed light on this matter using developments in statistical learning theory, see Harman (2005).

This objection was raised by a reviewer for DEON’10.

Cf. Dancy (2006, p. 77). The assumption that reasons are general as part of their meaning plays an important role in Hare’s analysis of the universalizability of ought-statements. Asking why the word “ought” has the property of universalizability, Hare gives the following reason among others: an “ought”-judgment must be supported by a reason; and this implies that the same judgment must be made whenever the same reason holds (cf. Hare 1952, p. 176, 1963, p. 21).

A good exposition and judicious appraisal of the arguments by which the Ancients sought to refute the assumptions they took to underpin Protagorean relativism can be found in Lee (2005).

This was pointed out to me by one referee.

This example can be found in Dancy (1993, p. 60).

The idea of constitutive rule is a theme that goes back to Searle (1964, 1969), and before that to Rawls (1955). For a comprehensive overview of the state of the art about logics for constitutive norms, see Grossi and Jones (2011).

The promise example is for illustrative purposes only. Here I take the principle of promise-keeping to be a regulative norm, as does Ross in his theory of prima facie duties. He sees the principle of promise-keeping as falling under (as he calls it) the “duty of fidelity”. It is common in the philosophy of language to think of such a rule as constitutive of the act of promising. This view, which was championed by Searle among others, is not germane to my present purpose.

My exposition of (unprioritized) IOL is confined to what is essential in the present context. For a more comprehensive account, the reader is referred to Makinson and van der Torre (2000, 2001).

The set is consistent, and none of its proper extensions is consistent.

This is (Stolpe 2010, theorem 2).

Cf. Makinson and van der Torre (2000, observation 16). \(out^{+}_i (i=1,\ldots,4)\) is the throughput version of out _i that allows inputs to reappear as outputs. In terms of the semantical definitions, we have out _i ⁺ (G, A) = out _i(G ∪ I, A), where I = {(y, y): y is a formula}.

The contrast between the two approaches is emphasized by Makinson in (2005, pp. 107–108).

This reading is related to Hansson’s interpretation of circumstances in so-called dyadic deontic logic (see Hansson 1969).

Paternity questions are not always easy to answer. I follow Halpern (1997, p. 4), who seems to give Brass credit for the idea of using such a definition in the area of non-monotonic reasoning. The definition popped up in several places at around the same time, and had been used before in other areas.

One could imagine that the meetings must be held within a relatively short time frame, and that Brown is already very busy. He can take at most two consecutive days off within the time frame in question—the other days he has to attend to his other duties, and these are stronger than the missions he has just been assigned. He will not be able to have the three meetings in two days. Still, he should be able to arrange two meetings.

One could imagine that a strike in France disrupts flights and rail services between Paris and London.

For another illustration, suppose I am in charge of hiring two people. Candidate a is my first choice, candidate b is my second choice, and candidate c is my third choice. Now, a and b cannot stand each other, and refuse to work at the same place. They come to me and say “If you hire him, I will turn your offer down”. If I stick to my initial ranking, I will pick up a and c.

Cf. footnote 14.

Thanks to Marek Sergot for suggesting me this example, though perhaps not in these exacts terms.

Chemotherapy works by killing fast-growing cancer cells. Unfortunately, chemotherapy drugs cannot always tell the difference between cancer cells and fast-growing healthy cells, including red and white blood cells.

http://www.neulasta.com/.

In Dancy (2006, chapter 4.2), he points out that holism is uncontested for epistemic reasons, and therefore it would be surprising if practical reasons behaved differently.

For illustration purposes, assume that these conditional probabilities encode statistical assertions about some population groups, and instantiate a, b and c into (this is the classical example of non-transitivity of default rules) being a student, being an adult, and being employed. The fact that I am unemployed does not imply that I am not an adult.

I am indebted to Jeff Horty for drawing this possible reply to my attention.

Why should the presence of \((\top,b\rightarrow c)\) in the current scenario make a difference? This is essentially due to the consistency requirement in condition b) of the definition for defeat, viz the restriction according to which A ∪ h(S ^S′/D′) should be consistent. Take \(D'=\{(\top,a\rightarrow b)\}.\) The only S′ that qualifies is \(\{(\top,a\rightarrow\neg b)\}. \, A \, \cup h((S_{12}^{\#}-S')\cup D'\) is consistent, but A ∪ h((S ₁₂ − S′)∪ D′) is not.

Cf. e.g. Lewis (1973, section 1.8), Adams (1975, chapter 1), Bennet (2003, chapter 59), Makinson (1999, section 3.2) and Hansen (2008, section 3.2).

The formula 1Mb is also part of the output that is delivered by an argumentation framework based on the notion of reinstatement (cf. p. 8).

Adams EW (1975) The logic of conditionals. D. Reidel, Dordrecht

Bennett J (1995) The act itself. Oxford University Press, New York

Bennett J (2003) A philosophical guide to conditionals. Oxford University Press, New YorkCrossRef

Boella G, van der Torre L (2008) Institutions with a hierarchy of authorities in distributed dynamic environments. Artif Intell Law 16(1):53–71CrossRef

Brass S (1991) Deduction with supernormal defaults. In: Brewka G, Jantke K, Schmitt P (eds) Nonmonotonic and inductive logics, volume 659 of LNCS. Springer, Berlin, pp 153–174

Brewka G, Eiter T (2000) Prioritizing default logic. In: Intellectics and computational logic (to Wolfgang Bibel on the occasion of his 60th birthday). Kluwer, B.V., Deventer, pp 27–45

Chisholm RM (1963) Contrary-to-duty imperatives and deontic logic. Analysis 24(2):33–36CrossRef

Cooper, J (eds) (1997) Plato: complete works. Hackett, Indianapolis

Dancy J (1993) Moral reasons. Blackwell, Oxford

Dancy J (2006) Ethics without principles. Oxford University Press, Oxford

Delgrande JP, Schaub T, Tompits H, Wang KA (2004) Classification and survey of preference handling approaches in nonmonotonic reasoning. Comput Intell 20(2):308–334MathSciNetCrossRef

Gabbay D, Horty J, van der Meyden R, van der Torre L (eds) (forthcoming) Handbook of deontic logic and normative systems. College Publications, London

Goble L (2011) Prima facie norms, normative conflicts and dilemmas. To appear in Gabbay et al. (forthcoming)

Grossi D, Jones A (2011) Constitutive norms and counts-as conditionals. To appear in Gabbay et al. (forthcoming)

Halpern J (1997) Defining relative likelihood in partially-ordered preferential structures. J AI Res 7:1–24MATH

Hansen J (2008) Prioritized conditional imperatives: problems and a new proposal. J Auton Agent Multi Agent Syst 17(1):11–35CrossRef

Hansson B (1969) An analysis of some deontic logics. Noûs 3:373–398MathSciNetCrossRef

Hare R (1952) The language of morals. Clarendon Press, Oxford

Hare R (1963) Freedom and reason. Clarendon Press, Oxford

Harman G (2005) Moral particularism and transduction. Philos Issues 15(1):44–55MathSciNetCrossRef

Horty J (2001) Argument construction and reinstatement in logics for defeasible reasoning. Artif Intell Law 9(1):1–28MathSciNetCrossRef

Horty J (2007a) Defaults with priorities. J Philos Logic 36:367–413MathSciNetMATHCrossRef

Horty J (2007b) Reasons as defaults. Philos Imprint 7(3):1–28

Husserl E (1988) Vorlesungen über Ethik und Wertlehre (1908-1914). In: Melle U (ed) Husserliana, vol 28. Kluwer, Dordrecht

Lee M-K (2005) Epistemology after Protagoras. Responses to relativism in Plato, Aristotle, and Democritus. Clarendon Press, Oxford

Lewis DK (1973) Counterfactuals. Clarendon Press, Oxford

Mackie JL (1977) Ethics: inventing right and wrong. Viking Penguin Inc., New York

Makinson D (1994) General patterns in nonmonotonic reasoning. In: Gabbay D, Hogger C, Robinson J (eds) Handbook of logic in artificial intelligence and logic programming, vol 3. Oxford University Press, Inc, New York, pp 35–110

Makinson D (1999) On a fundamental problem of deontic logic. In: McNamara P, Prakken H (eds) Norms, logics, and information systems, vol 49 of frontiers in artificial intelligence and applications. IOS Press, Amsterdam, pp 29–53

Makinson D (2005) Bridges from classical to nonmonotonic logic. College Publications, LondonMATH

Makinson D, van der Torre L (2000) Input/output logics. J Philos Logic 29(4):383–408MathSciNetMATHCrossRef

Makinson D, van der Torre L (2001) Constraints for input/output logics. J Philos Logic 30(2):155–185MathSciNetMATHCrossRef

Mehta A, Bansal SC (2004) Diagnosis and management of cancer. Jaypee Brothers Medical Publishers, New Delhi

Nute, D (eds) (1997) Defeasible deontic logic, vol 263 of synthese library. Kluwer, Dordrecht

Prakken H, Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Non Class Logics 7(1):25–75

Rawls J (1955) Two concepts of rules. Philos Rev 64:3–32CrossRef

Raz J (1999) Practical reasons and norms. 2nd edn. Oxford University Press, Oxford

Reiter R (1980) A logic for default reasoning. Artif Intell 13(1-2):81–132MathSciNetMATHCrossRef

Ross WD (1930) The right and the good. Oxford University Press, Oxford

Searle J (1964) How to derive ‘ought’ from ‘is’. Philos Rev 73:43–58CrossRef

Searle J (1969) Speech acts. Cambridge University Press, Cambridge

Stolpe A (2010) Norm-system revision: theory and application. Artif Intell Law 18(3):247–283CrossRef

Titel: Moral particularism in the light of deontic logic
verfasst von: Xavier Parent
Publikationsdatum: 01.08.2011
Verlag: Springer Netherlands
Erschienen in: Artificial Intelligence and Law / Ausgabe 2-3/2011
Print ISSN: 0924-8463
Elektronische ISSN: 1572-8382
DOI: https://doi.org/10.1007/s10506-011-9108-1

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 2-3/2011

Value-based argumentation for justifying compliance

Obligations and prohibitions in Talmudic deontic logic

The modular logic of private international law

A dynamic logic for privacy compliance

Relationships between obligations and actions in the context of institutional agents, human agents or software agents

Premium Partner