Détail de l'auteur
Auteur Patrice Bailhache |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche
Titre : Le droit peut-il être automatisé ? Type de document : texte imprimé Auteurs : Patrice Bailhache, Auteur Année de publication : 2005 Article en page(s) : p.62-67 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Droit
LogiqueMots-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 [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
LogiqueMots-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 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Voyager dans les mondes possibles Type de document : texte imprimé Auteurs : Patrice Bailhache, Auteur Année de publication : 2005 Article en page(s) : p.60-61 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Logique mathématiqueRésumé : Présentation des axiomes de la logique modale dite aléthique : en quoi la notion de vérité est modifiée par l'introduction des modalités ; comment il est possible de penser des mondes possibles depuis le philosophe Leibniz selon des logiciens contemporains tels Jaakko Hintikka, Stig Kanger et Saül Kripke, en introduisant notamment une relation d'accessibilité dans un modèle mathématique. Nature du document : documentaire Genre : Article de périodique [article] Voyager dans les mondes possibles [texte imprimé] / Patrice Bailhache, Auteur . - 2005 . - p.60-61 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Logique mathématiqueRésumé : Présentation des axiomes de la logique modale dite aléthique : en quoi la notion de vérité est modifiée par l'introduction des modalités ; comment il est possible de penser des mondes possibles depuis le philosophe Leibniz selon des logiciens contemporains tels Jaakko Hintikka, Stig Kanger et Saül Kripke, en introduisant notamment une relation d'accessibilité dans un modèle mathématique. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
