| Titre : | Le droit peut-il être automatisé ? (2005) |
| Auteurs : | Patrice Bailhache, Auteur |
| Type de document : | Article : texte imprimé |
| Dans : | Pour la science. Dossier (049, 10/2005) |
| Article en page(s) : | p.62-67 |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Droit [UNESCO] 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 : | Article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 31588 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |