Cet article est le quarantième-troisième d’une série consacrée à la logique classique (ou aristotélicienne, c’est-à-dire développée par Aristote). Dans le quarante–deuxième, j’ai présenté un premier type d’inférences immédiates : les conversions. Dans cet article, j’expliquerai un deuxième type : les obversions (plus en détails ici et en vidéo ici). Comme d’habitude, je reprendrai énormément le contenu du livre Socratic Logic de Peter Kreeft, page 170.

DÉFINITION

L’obversion consiste à changer une proposition :

1. En niant la copule : on passe d’une affirmation à une négation ou inversement, donc par exemple de est à n’est pas ou de sont à ne sont pas (et inversement) et
2. En niant le prédicat : on passe de P à non-P ou de non-P à P où P est le prédicat de la proposition.

●