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

pas, si une autre chose a été ou n’a pas été, comme s’il est homme, il est animal ou s’il est homme, il n’est pas une pierre. Ou peut comprendre par ce que nous venons de dire que la vérité de l’énonciation hypothétique se trouve dans la conséquence des termes qui sont dans le conséquent, relativement aux termes qui sont dans l’antécédent, parce que en effet animal suit nécessairement de l’homme: il est certain que tout ce qui sera homme sera animal. Et si se mouvoir est une suite de courir, il s’ensuit que tout ce qui court se meut. Si donc il est homme, il est animal, et s’il court, il se meut. Donc le mouvement sera attribué à tout ce à quoi on attribuera la course avec vérité ou avec fausseté. C’est pourquoi cette proposition est vraie, si l’immobile court, l’immobile se meut. C’est pour cela que l’on dit que pour qu’elle soit vraie il faut que l’antécédent ne puisse être vrai sans le conséquent, parce qu’il y a des rapports tellement nécessaires entre l’antécédent et le conséquent, qu’il en est du conséquent comme de l’antécédent. S’il en était autrement, si par exemple l’antécédent était vrai et le conséquent faux, la conséquence serait fausse, parce que le terme placé dans le conséquent n’aurait pas une liaison nécessaire avec le terme placé dans l’antécédent, comme ici, si l’homme est blanc, l’homme est musicien, il est certain que cette proposition est fausse; car la qualité de musicien ne suit pas de la qualité de blanc, Il s’en suit de là que toute conditionnelle vraie est nécessaire, et que toute conditionnelle fausse est impossible, parce que, comme il a été dit, le terme du conséquent suit nécessairement le terme de l’antécédent. Nous dirons de quelle manière la conditionnelle est diversifiée par l’affirmation et la négation, lorsque nous traiterons des syllogismes hypothétiques. La distinctive est celle dans laquelle deux énonciations catégoriques sont unies par les conjonctions de l’espèce distinctive,