| has abstract
| - La logique déontique (du grec déon, déontos : devoir, ce qu'il faut, ce qui convient) tente de formaliser les rapports qui existent entre les quatre caractéristiques d'une loi : l'obligation, l'interdiction, la permission et le facultatif. Gottfried Wilheim Leibniz en 1670 proposa le premier d'appliquer la logique modale à la morale en remarquant l'analogie suivante : « l'obligatoire (modalité déontique) est ce qu'il est nécessaire (modalité aléthique) que fasse l'homme bon ».Il proposa la correspondante suivante :
* Le juste, le permis est ce qu'il est possible que fasse l'homme bon.
* L'injuste, l'interdit est ce qu'il est impossible que fasse l'homme bon.
* L'équitable, l'obligatoire est ce qu'il est nécessaire que fasse l'homme bon.
* Le facultatif est ce qu'il est contingent que fasse l'homme bon. Elle s'est développée à partir des années 1950 grâce aux travaux du philosophe finlandais Georg Henrik von Wright (Deontic Logic 1951). Reprenant la correspondance notée par Leibniz, il les formalise grâce aux avancées de la logique modale. Les progrès de la sémantique, et notamment la sémantique des mondes possibles 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 propositions, notion de trivalence, et autres. La logique déontique est à l'origine des , qui permettent de modéliser les obligations, les violations et les sanctions dans une organisation, et notamment dans un système multi-agents. (fr)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)