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

parties, et ainsi de plusieurs autres. C’est pourquoi les principes ci dessus n’entrent pas actuellement, mais bien virtuellement dans les démonstrations qui se font dans les sciences. Car dans toute proposition que je fais, il y a tout d’abord introduction virtuelle. En effet, lorsque je dis Pierre court, il est certain ou qu’il y a un homme, ou qu’il n’y en a pas. Donc ce principe, l’être ou le non être se dit de toute chose, se trouve virtuellement dans chacune des prémisses de la démonstration; il en est de même des autres principes moins communs, par rapport aux démonstrations dans lesquelles ils se trouvent virtuellement. C’est pourquoi dire que les démonstrations ne pro cèdent pas virtuellement de ces principes, c’est une fausseté. Mais je dis que ces principes communs n’entrent pas actuellement dans la démonstration. En conséquence celui qui voudrait démontrer la quadrature du cercle par les principes communs de cette manière, là où se trouve le plus et le moins se trouve aussi l’égal; mais il se trouve un carré plus grand que le cercle et moindre que le cercle, donc on trouve aussi l’égal; celui-là ferait une mauvaise démonstration. La raison en est, ainsi qu’on l’a prouvé plus haut, que la démonstration procède de choses premières et immédiates; mais en usant de ces principes, les deux propositions de la démonstration ne seront pas immédiates et premières, parce que être plus grand ou plus petit que le cercle convient non seulement au carré, mais encore au triangle et à plusieurs autres figures; il n’y a donc pas dans cette proposition ce qui est premier, ou ce qui est inhérent primairement. Elle pas non plus immédiate, parce pie cela pourrait se prouver par plusieurs moyens termes; donc ce n’est pas de là que procède la démonstration. Il y a d’autres principes de démonstration qui entrent actu dans la démonstration, lesquels sont aussi appelés positions, suppositions et définitions. Pour comprendre ces termes, il faut observer que tout ce