[article] Le droit peut-il être automatisé ? [texte imprimé] /
Patrice Bailhache, Auteur . - 2005 . - p.62-67 :.
Langues : Français (
fre)
in Pour la science. Dossier >
049 (10/2005)
| Catégories : |
Droit
Logique
|
| Mots-clés : |
morale |
| Résumé : |
Réflexion sur la formalisation logique du droit. Description du système axiomatique de Georg Henrik von Wright transposant la logique modale à la logique déontique (ou morale) ; évocation des théorèmes qui trouvent leur fondement dans ce système et exposé de différents paradoxes. Examen de la transposition de la sémantique des mondes possibles de Kripke au système déontique. Bibliographie. |
| Nature du document : |
documentaire |
| Genre : |
Article de périodique |
Le droit peut-il être automatisé ? in Pour la science. Dossier, 049 (10/2005)