Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
La logique déontique se veut essentiellement une application de la logique à l'éthique et au droit. Elle s'avère utile quant à l'analyse de la validité des inférences dans une perspective de pensée critique, mais joue aussi un rôle important au niveau de l'informatique théorique, où elle a des répercussions en programmation et en intelligence artificielle. Du côté légal, un des objectifs de la logique déontique est l'automatisation des raisonnements. Lorsqu'elle vise l'automatisation des raisonnements, la logique déontique fait face à deux problèmes considérables, à savoir la modélisation des conflits d'obligations et des obligations conditionnelles. Ces deux problèmes fondamentaux forment usuellement …
Colloque
Ce texte se veut essentiellement une critique de l'utilisation de la sémantique de Kripke (1963) pour la formalisation du discours normatif. Après avoir brièvement presenté cette sémantique, deux arguments sont avancés afin de montrer qu'elle ne permet pas de rendre compte des conditions de verité des propositions normatives. Finalement, le rôle de la sémantique des mondes possibles dans l'émergence du paradoxe de Prior (1954) est mis en lumière et une piste de solution y est proposée.
Colloque
Ce texte constitue une analyse formelle des concepts deontiques. Plus precisement, l'objectif est de presenter deux arguments en faveur du prin- cipe d'agregation, et ce principalement en reaction a la critique faite par Schotch (1981) contre la logique deontique modale. Les arguments avan- ces permettront de mettre en lumiere deux principes fondamentaux qui doivent être pris en compte lors de la formalisation du discours normatif. Finalement, nous presentons l'ebauche d'un systeme de logique deontique qui permet de rendre compte de ces deux principes.
