Cet article est le quarantième-quatrième d’une série consacrée à la logique classique (ou aristotélicienne, c’est-à-dire développée par Aristote). Dans le quarante-troisième, j’ai présenté un deuxième type d’inférences immédiates : les obversions. Dans cet article, j’en introduirai un troisième et dernier : les formes combinées (la contraposée et l’inversion). Comme d’habitude, je reprendrai énormément le contenu du livre Socratic Logic de Peter Kreeft, page 171.

Les formes combinées

Il existe également ce qu’on appelle des formes combinées. Elles consistent à répéter et à combiner plusieurs conversions et obversions.

●

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.

●

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

●

Cet article est le quarante-et-unième d’une série consacrée à la logique classique (ou aristotélicienne, c’est-à-dire développée par Aristote). Dans le quarantième, j’ai présenté la distinction entre termes distribués et termes non distribués. Dans cet article, j’expliquerai celle entre inférences immédiates et inférences médiates. Comme d’habitude, je reprendrai énormément le contenu du livre Socratic Logic de Peter Kreeft, des pages 166 à 167.

●