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

procède la démonstration. Car si la raison d’une chose est plus claire que cette chose, les conclusions nous sont connues à cause des prémisses, il faut donc que les prémisses nous soient plus connues. C’est pourquoi nous ne pourrions connaître les conclusions en aucune manière, si les prémisses ne nous étaient pas plus connues. Or on fait des démonstrations afin d’arriver à la connaissance des conclusions; donc les démonstrations procèdent de choses plus connues par rapport à nous. Il y a certaines propositions connues par elles-mêmes et en elles-mêmes et par rapport à nous, comme tout nombre qui n’a pas de moyen par soi est pair, parce que tout nombre qui n’a point par soi de moyens est appelé pair et vice versa, c’est de telles choses que procède la démonstration. Il est donc évident que la démonstration procède de choses connues par soi et qui nous sont plus connues. On peut conclure de ce qui précède que la démonstration et la science, qui est l’habitude d’une conclusion démontrée, roule toujours sur des choses incorruptibles et sempiternelles. En effet, il faut que ce qui conserve dici de omni soit incorruptible et sempiternel. Car, comme il a été dit plus haut, on appelle dici de omni quod non aliquando inest, et aliquando non inest, sed semper inest. Or les choses corruptibles ne sont pas toujours en cela, donc dici de omni ne se conserve que dans les choses sempiternelles. Mais dans la démonstration principale qui a ses deux propositions universelles, dici de omni se conserve dans toutes. Donc la démonstration roule sur les choses incorruptible et sempiternelles. Il semble aussi que la définition appartient aux sempiternelles. En effet, Quoique les choses corruptibles soient définies, elles ne sont pas définies néanmoins entant que corruptibles. Il n’y a de corruptibles que les choses particulières, or le particulier ne se définit pas. C’est pourquoi la définition roule per accidens sur