CHAPITRE IV

De l'opposition entre les propositions qui ont même sujet

et même attribut.

Nous venons de dire qu'il y a quatre sortes de propositions, A, E, 1, 0. On demande maintenant quelle convenance ou disconvenance elles ont ensemble, lorsqu'on fait du même sujet et du même attribut diverses sortes de propositions. C'est ce qu'on appelle opposition.

Et il est aisé de voir que cette opposition ne peut être que de trois sortes, quoique l'une des trois se divise en deux autres.

Car, si elles sont opposées en quantité et en qualité tout ensemble, comme A, 0, et E, I, on les appelle contradictoires, comme, tout homme est animal, quelque homme n'est pas animal; nul n'est impeccable, quelque homme est impeccable.

Si elles diffèrent en quantité seulemeut, et qu'elles convien-

nenten qualité, comme A, I, etE, 0, on les appelle subalterne», comme, tout homme est animal, quelque homme est animal; nul homme n'est impeccable, quelque homme n'est pas impeccable.

Et si elles diffèrent en qualités et qu'elle* conviennent en quantité, alors elles sont appelées contraires, ou subcontraires ; contraires, quand elles sont universelles, comme, tout homme est animal, nul homme ri est animal.

Subcontraires, quand elles sont particulières, comme, quelque homme est animal, quelque homme ri est pas animal.

En regardant maintenant ces propositions opposées selon la vérité ou la fausseté, il est aisé déjuger,

1° Que les contradictoires ne sont jamais ni vraies, ni fausses ensemble ; mais si l'une est vraie, l'autre est fausse ; et si Tune est fausse, l'autre est vraie : car s'il est vrai que tout homme soit animal, il ne peut pas être vrai que quelque homme n'est pas animal; et si, au contraire, il est vrai que quelque homme n'est pas animal, il n'est donc pas vrai que tout homme soit animale Cela est si clair, qu'on ne pourrait que l'obscurcir en l'expliquant davantage.

2° Les contraires ne peuvent jamais être vraies ensemble ; mais elles peuvent être toutes deux fausses. Elles ne peuvent être vraies, parce que les contradictoires seraient vraies; car s'il est vrai que tout homme soit animal , il est faux que quelque homme n'est pas animal, qui est la contradictoire, et par conséquent encore plus faux que nul homme ne soit animal, qui est la contraire.

Mais la fausseté de l'une n'emporte pas la vérité de l'autre ; car il peut être faux que tous les hommes soient justes, sans qu'il soit vrai pour cela que nul homme ne soit juste, puisqu'il peut y avoir des hommes justes, quoique tous ne soient pas justes.

3° Les subcontraires, par une règle tout opposée à celle des contraires, peuvent être vraies ensemble, comme ces deux-ci, quelque homme est juste, quelque homme ri est pas juste, parce que la justice peut convenir à une partie des hommes, et ne pas convenir à l'autre ; et ainsi l'affirmation et la négation ne regardent pas le même sujet, puisque quelque homme est pris pour une" partie des hommes dans l'une des propositions, et pour une autre partie dans l'autre. Mais elles ne peuvent être toutes deux fausses; puisque autrement les contradictoires seraient toutes deuft fausses, car s'il était faux que quelque homme fût juste, Userait donc vrai que nul homme n'est juste, qui est la contradictoire, et