PRIOR ARTHUR N. (1914-1969)

Ce sujet est traité dans les articles suivants :

1.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

Dans le chapitre "Logique déontique"  : … formules intuitivement inacceptables : – Le  paradoxe  de  l'obligation  dérivée (A. N. *Prior). Une obligation dérivée est du type O(A → B) (« il est obligatoire que, si l'on cesse le travail, on présente un certificat médical »). Or on peut démontrer dans le système de von Wright ¬PA → ¬P(A & ¬B) (« s'il est interdit de faire A, il… Lire la suite