Logique déontique.html
 
| ca | de | en | es | fr | it | nl | no | pl | pt | ru | ro | fi | sv | tr | vo |


 

La logique déontique (du grec déontos : devoir) tente de formaliser les rapports qui existent entre les quatre alternatives d'une loi : l'obligation, l'interdiction, la permission et le facultatif.
Si elle s'est développée à partir des années 50 grâce aux avancées de la logique modale, elle repose sur une analogie déjà remarquée au Moyen-Âge : la correspondance entre les modalités aléthiques (nécessaire, impossible, possible, contigent) et les modalités déontiques (obligation, interdiction, permission, caractère facultatif). Ce sont donc les progrès de la sémantique, et notamment la sémantique des mondes possibles, qui ont encouragé le développement de la logique déontique.

Comme pour chaque système logique aujourd'hui, il est erroné de parler DU système de la logique déontique. Il existe une grande variété de systèmes logiques déontiques, qu'on identifie selon les axiomes qu'ils intègrent - et toujours par référence à la logique modale générale. Lorsque l'on parle de logique déontique en général, on entend souvent le système classique et minimal, celui qui utilise les deux opérateurs de l'obligation (aux propriétés calquées sur celui de la nécessité) et de la permission (idem pour la possibilité), et de simples constantes et variables propositionnelles représentant des actions et / ou des états de choses (A, B, etc.). Mais la réalité déontique est multiforme : on peut interdire un état de choses, une action de la part d'un individu déterminé, un type d'action, etc. Elle nécessite donc plusieurs systèmes de logique déontique différents.

Désormais, un système de logique déontique inclut le plus souvent aussi des notations pour représenter l'action et les individus (opérateurs d'action tels que STIT), et les recherches tendent à une complexification toujours croissante : intégration de la dimension temporelle grâce à l'indexation temporelle des propositions1, notion de trivalence, et autres.

La logique déontique est à l'origine des systèmes normatifs2, qui permettent de modéliser les obligations, les violations et les sanctions dans une organisation, et notamment dans un système multi-agents3.

Sommaire

modifier La logique déontique standard

La logique déontique standard, connue dans la littérature sous le sigle SDL (pour Standard Deontic Logic) C'est la forme la plus simple et la plus communément répandue de logique déontique, bien que non exempte de défauts. Elle sert souvent de base à des améliorations, en vue d'intégrer les notions déontiques à d'autres notions logiques.

modifier Syntaxe

La logique déontique standard est une logique modale normale, comportant une unique modalité O ou Ob, qui dénote l'obligation. Comme dans toutes les logiques modales, la modalité s'applique à des formules bien formées de la logique propositionnelle. À partir de la modalité d'obligation, on définit communément trois modalités abrégées Per, F et Op, qui désignent respectivement le caractère permis, interdit4 ou optionnel d'une proposition logique. Per est défini comme le dual de Ob, F comme l'obligation de la négation, et Op comme le dual de F. Dans nos exemples, p représentera une formule bien formée de la logique déontique standard, donc pouvant contenir des modalités d'obligation.

Per\ p\ \stackrel{def}{=}\ \neg Ob\ \neg p

F\ p\ \stackrel{def}{=}\ Ob\ \neg p

Op\ p\ \stackrel{def}{=}\ \neg Ob\ p

On définit également parfois une quatrième modalité abrégée G, qui dénote le caractère gratuit (ni obligatoire ni interdit) d'une proposition logique.

G\ p\ \stackrel{def}{=}\ \neg Ob\ p \wedge \neg F\ p

Le tableau d'équivalence suivant résume les relations entre les quatre modalités principales de la logique déontique standard :

  Obp   ≡   F¬p   ≡ ¬Per¬p   ≡ ¬Opp
  Ob¬p ≡   Fp     ≡ ¬Perp     ≡ ¬Op¬p
¬Ob¬p ≡ ¬Fp     ≡   Perp     ≡   Op¬p
¬Obp   ≡ ¬F¬p   ≡   Per¬p   ≡   Opp

la première ligne de ce tableau se lit ainsi : « il est obligatoire de faire p », ce qui est équivalent à « il est interdit de ne pas faire p », « il n'est pas permis de ne pas faire p » ou encore « p n'est pas facultatif ».

modifier Axiomatique

La logique déontique standard est un système de logique modale KD. Aux règles d'inférence de la logique propositionnelle s'ajoute la règle de nécessitation (RN) :

(RN) Si \vdash p alors \vdash Ob\ p

Cette règle dit que si une formule est un théorème du système, alors l'obligation de cette formule l'est également.

Aux axiomes de la logique propositionnelle s'ajoutent les axiomes (K) (distribution déontique, ou axiome de Kripke) et (D) :

(K) Ob\ (p \rightarrow q) \rightarrow (Ob\ p \rightarrow Ob\ q)

(D) Ob\ p \rightarrow Per\ p

L'axiome (D) dit que toute formule obligatoire est permise, il garantit la cohérence morale d'une théorie déontique consistante. Il empêche qu'une formule soit à la fois obligatoire et interdite dans une même théorie.

Les axiomes cités ici sont en fait, stricto sensu, des schémas axiomatiques, où les variables muettes p et q peuvent être remplacées par toute formule bien formée de la logique déontique standard.

modifier Limitations

La logique déontique standard est une formalisation mathématique de concepts philosophiques. Le choix de s'appuyer sur la logique modale normale présente des avantages calculatoires notables, mais engendre des incohérences et des paradoxes d'un point de vue philosophique, qui sont les principales critiques adressées à la logique déontique standard. Parmi les plus importants, on peut citer :

  • Le paradoxe de Ross5 :

Ob\ p \rightarrow Ob\ (p \vee q)

Si p désigne « poster une lettre » et q « brûler une lettre », alors qu'il soit obligatoire de poster une lettre implique qu'il est obligatoire de la poster ou bien de la brûler ;

  • Le paradoxe de l'engagement, ou paradoxe de l'obligation dérivée6 :

Ob\ \neg p \to Ob\ (p \to q)

La formule implique que si l'on fait ce qui est interdit, alors on peut en dériver n'importe quelle obligation. Si p signifie « voler une voiture » et q « écraser un piéton », alors la formule signifie que s'il est interdit de voler une voiture, alors il est obligatoire que si l'on vole une voiture, on écrase un piéton ;

  • Le paradoxe du Bon Samaritain7 :

Si \vdash p \to q alors \vdash Ob\ p \to Ob\ q

Ici q désigne une action indésirable, comme « une personne se fait agresser », et p une bonne action qui ne peut avoir lieu que si la mauvaise action a lieu, comme « secourir une personne qui se fait agresser ». Comme l'un implique forcément l'autre, si l'on est obligé de secourir une personne agressée, alors il est obligatoire qu'une personne se fasse agresser ;

  • Le paradoxe de la connaissance d'Åqvist8 : La formulation est la même que pour le paradoxe du bon samaritain, avec une sémantique différente. Si q désigne une mauvaise action (par exemple « Smith a dévalisé Jones ») et p désigne le fait qu'une personne qui doit être au courant de cet acte le soit (par exemple « l'agent de police sait que Smith a dévalisé Jones »), alors l'obligation de la mauvaise action peut être dérivée de l'obligation de connaissance : « S'il est obligatoire que l'agent de police sache que Smith a dévalisé Jones, alors il est obligatoire que Smith ait dévalisé Jones » ;
  • Le dilemme de Jorgensen9, une considération philosophique sur la possibilité même de notion de logique déontique.
  • Le paradoxe du libre choix5 :

\nvdash Per\ (p \vee q) \to (Per\ p \wedge Per\ q)

Si l'on est autorisé à faire deux actions p et q au choix, il est intuitif de considérer que l'on est autorisé à faire chacune des actions. Or, ce n'est pas un théorème de la logique déontique standard, et cette conclusion ne peut être dérivée.

  • Le dilemme de Sartre10 : Le dilemme de Sartre décrit l'impossibilité de représenter en logique déontique standard un conflit d'obligations (à cause de l'axiome D). En effet, toute expression d'obligations contradictoires implique une contradiction, et rend le système logiquement inconsistant :

(Ob\ p \wedge Ob\ \neg p) \vdash \bot

  • Le dilemme de Platon10 est une variante du dilemme de Sartre, qui décrit l'impossibilité de gérer des obligations contradictoires dont l'une serait clairement prioritaire sur l'autre. Par exemple, si p signifie « aller à un rendez-vous au restaurant » et q « emmener mon fils qui s'étouffe à l'hôpital », on a p \wedge q \vdash \bot et donc :

(Ob\ p \wedge Ob\ q) \vdash \bot

  • Le paradoxe de Chisholm11 concerne les obligations contraires au devoir (contrary-to-duty obligations), qui désignent les obligations qui s'appliquent une fois que l'on a violé une première norme. Il s'exprime de la façon suivante :
  1. Jones doit aller aider ses voisins ;
  2. Il est obligatoire que si Jones va aider ses voisins, il doit les en prévenir ;
  3. Si Jones n'y va pas, alors il ne doit pas les prévenir ;
  4. Jones ne va pas aider ses voisins.

Ces trois affirmations, intuitivement cohérentes (pouvant décrire une situation réelle), s'écrivent de manière logique comme suit, si p signifie « Jones va aider ses voisins » et q « Jones prévient ses voisins »:

  1. Ob\ p
  2. Ob\ (p \to q)
  3. \neg p \to Ob\ \neg q
  4. \neg p

Or cette formulation conduit à une contradiction logique.

  • Le paradoxe du gentil meurtrier, ou paradoxe de Forrester12 s'exprime comme suit :
  1. John Doe ne doit pas tuer sa mère : Ob\ \neg p
  2. Si John Doe tue sa mère, il doit le faire gentiment : p \to Ob\ q
  3. Le fait que John Doe tue sa mère gentiment implique le fait qu'il la tue : \vdash (q \to p)
  4. John Doe tue sa mère : p

De cet énoncé logique curieux mais cohérent, on peut déduire par la logique déontique standard qu'il est obligatoire que John Doe tue sa mère, ce qui n'est évidemment pas un résultat souhaitable, ni découlant intuitivement des prémisses.

modifier Autres logiques déontiques

modifier Logiques basées sur la logique déontique standard

Il existe de nombreuses propositions pour des logiques déontiques qui constituent des extensions de la logique déontique standard. Suivant les cas, ces logiques sont conçues pour un cadre applicatif spécifique, ou bien comportent des modifications qui visent à contourner certains des paradoxes de la logique déontique standard.

Ces modifications peuvent par exemple consister en un apport au niveau axiomatique13, un ajout de modalités, un interfaçage avec une autre logique modale normale (classiquement, une logique temporelle1).

modifier Logiques basées sur d'autres paradigmes

Certains travaux cherchent à éviter les paradoxes de la logique déontique standard en s'affranchissant de la sémantique des mondes possibles, qui impose une logique modale normale. Hansson notamment se base sur une relation de préférence entre les différents prédicats du système pour construire une nouvelle relation d'accessibilité entre les mondes14. À l'heure actuelle, de telles démarches permettent effectivement de circonvenir plusieurs limitations de la logique déontique standard, mais n'offrent pas la souplesse axiomatique de la sémantique des mondes possibles. Notamment certains axiomes couramment acceptés ne sont pas représentables dans la sémantique.

modifier Notes et références

  1. ↑ a  b  Tomas Ågotnes, Wiebe van der Hoek, Juan Rodríguez-Aguilar, Carles Sierra et Michael Wooldridge, On the Logic of Normative Systems, 20th International Joint Conference on Artificial Intelligence (IJCAI'07), Hyderâbâd, Inde, 2007
  2. ↑ Andrew J.I. Jones et Marek J. Sergot, “On the Characterisation of Law and Computer Systems: The Normative Systems Perspective.” In John-Jules Ch. Meyer et Roel J. Wieringa, Deontic Logic in Computer Science: Normative System Specification, John Wiley and Sons, Chichester, England, 1993.
  3. ↑ Guido Boella, Leendert van der Torre et Harko Verhagen, “Introduction to Normative Multiagent Systems”, Computational & Mathematical Organization Theory, vol. 12, n° 2-3, 2006, pp. 71-79
  4. ↑ L'usage veut que les modalités correspondent aux termes anglais, F correspond donc à l'interdiction (forbidden).
  5. ↑ a  b  Alf Ross, “Imperatives and Logic.” Theoria, n° 7, 1941, pp. 53-71.
  6. ↑ A. N. Prior, “The Paradoxes of Derived Obligation.” Mind, n° 63, 1954, pp. 64-65
  7. ↑ A. N. Prior, “Escapism.” In A. I. Melden (éd.), Essays in Moral Philosophy, University of Washington Press, Seattle, 1958, pp. 135-146
  8. ↑ Lennart Åqvist, “Good Samaritans, Contrary-to-Duty Imperatives, and Epistemic Obligations.” Noûs, n° 1, 1967, pp. 361-379
  9. ↑ Jorgen Jorgensen, “Imperatives and Logic.” Erkenntnis n° 7, 1937, pp. 288-296.
  10. ↑ a  b  E. J. Lemmon, “Moral Dilemmas.” Philosophical Review n° 71, 1962, pp. 139-158.
  11. ↑ Roderick M. Chisholm, “Contrary-to-Duty Imperatives and Deontic Logic.” Analysis, n° 24, 1963, pp. 33-36.
  12. ↑ James William Forrester, “Gentle Murder, or the Adverbial Samaritan.” Journal of Philosophy, n° 81, 1984, pp. 193-196.
  13. ↑ C'est le cas de la logique déontique suggérée dans Brian F. Chellas, Modal logic, an introduction, 1980 détail des éditions, chap. 6 (“Deontic logic”)
  14. ↑ Sven Ove Hansson, Semantics for More Plausible Deontic Logics, Sixth International Workshop on Deontic Logic in Computer Science (DEON'02), Londres, 2002

modifier Bibliographie

La logique déontique a évolué énormément en quelques années. La bibliographie est donc organisée chronologiquement.

  • (en) Georg Henrik von Wright, Deontic Logic, Mind, vol. 60, n° 237, JSTOR, 1951, pp. 1-15
  • (en) Georg Henrik von Wright, An Essay in Modal Logic, North Holland, Amsterdam, Pays-Bas, 1951
  • (en) Risto Hilpinen (éd.), Deontic Logic, Reidel Publishing Company, Dordrecht, 1971
  • (en) Alchourron Carlos & Bulygin Eugenio, Normative Systems, Springler-Verlag, Vienne & New York, 1971
  • Gardies Jean-Louis, Essai sur les fondements a priori de la rationalité morale et juridique, L.G.D.J., 1972 (plus philosophique et non technique, mais un des rares ouvrages francophones sur le sujet)
  • (en) Brian F. Chellas, Modal logic, an introduction, 1980 détail des éditions, chap. 6 (“Deontic logic”)
  • Bailhache Patrice, Essai de logique déontique, coll. Mathesis, Vrin, Paris, 1991, 224 p.

modifier Voir aussi

modifier Articles connexes

modifier Liens externes
All Right Reserved © 2007, Designed by Stylish Blog.