Page:Opuscules de Saint Thomas d’Aquin, tome 5, 1858.djvu/301

Cette page n’a pas encore été corrigée

On pourra en faire autant à l de la définition et de l’interprétation. Voilà comment se trouve le moyen dans les syllogismes ostensifs de inesse.

Chapitre X : De la différence qui ex entre le syllogisme ad impossibile et le syllogisme ostensif.

Après avoir parlé des syllogismes ostensifs et de la manière de trouver leur moyen terme, nous allons traiter des syllogismes ad impossibile. Le syllogisme ad impossibile diffère de l’ostensif. Car le syllogisme ostensif tire Une conclusion vraie de deux prémisses vraies; tandis que le syllogisme ad impossibile ne fait pas ainsi, mais d’une prémisse fausse tire une conclusion évidemment fausse; ensuite, par la contradiction de la conclusion fausse, il tire de nouveau une conclusion contradictoire à la prémisse fausse. Par exemple: Supposons qu’un adversaire émette cette proposition fausse, tout homme court, l’argument contre cette proposition par le syllogisme ostensif de cette manière, en prenant deux prémisses vraies et en tirant une conclusion contradictoire à la proposition susdite: Celui qui est en repos ne court pas, quelque homme est en repos, donc quelque homme ne court pas. Cette conclusion contredit la proposition de l’adversaire qui était, tout homme court, et comme la sienne est fausse, la mienne se trouve vraie, et vice versa. Si d’un autre côté je veux la réfuter par le syllogisme ad impossibile je la prends avec une autre proposition vraie, et j’en fais les prémisses d’un syllogisme d’où je tire une conclusion évidemment fausse, je prends ensuite la contradictoire de cette conclusion fausse, et j’en déduis une autre conclusion contradictoire de la prémisse fausse, de cette manière: tout ce qui court se meut, tout homme court donc