Essai de logique déontique

action analyse Anderson Åqvist avons axiomes Bailhache 1986 Bentham bon Samaritain c'est-à-dire calcul des prédicats calcul des propositions chapitre complétude concept conjonction conséquence d'agir DB-Y DBXY définir définition devoir envers devoir-être diagramme dual échéant ensembles de destinataires ensembles de sujets état de choses exemple expression exprime fasse foncteurs fondamental formalisation formule Goble Hohfeld implique individus intuitions juridique l'agent l'analyse sémantique l'axiome l'ensemble l'implication l'individu l'obligation l'opérateur d'action liberté logicien logique de l'action logique déontique logique épistémique logique modale logique temporelle modalités ontiques mondes permissibles nécessaire négation normative normes conditionnelles O'xp obligation occamiste opérateurs ordinaire Oxyp paradoxe permis permission poser précisément premier priori proposition propositionnel propriété PxOyp quantification question règle relation relation binaire rend obligatoire seconde sens serait sérialité seulement simple sous-ensemble sous-ensemble de X structure système déontique système Dx système minimal temporelle théorie thèse trivalence type utilitariste valide vrai Wright