Logique déontique

Carte Commune · n° 351662

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...

Lire sur Wikipédia · Image José Luiz, CC BY-SA 4.0