Page:Poe - Eureka trad. Baudelaire 1864.djvu/40

Cette page a été validée par deux contributeurs.

certitude passablement contestable, comme on en peut trouver dans Euclide. Nous ne parlerons pas, par exemple, de propositions comme celle-ci : Deux lignes droites ne peuvent pas limiter un espace, — ou celle-ci : Le tout est plus grand qu’une de ses parties quelconque. Nous donnerons à notre logicien tous les avantages. Nous irons tout droit à une proposition qu’il regarde comme l’apogée de la certitude, comme la quintessence de l’irrécusable axiomatique. La voici : « Deux contradictoires ne peuvent être vraies à la fois, c’est-à-dire ne peuvent coexister dans la nature. » — M. Mill veut dire ici, pour prendre un exemple, — et je choisis l’exemple le plus vigoureux et le plus intelligible, — qu’un arbre doit être un arbre ou ne pas l’être ; qu’il ne peut pas, en même temps, être un arbre et ne pas l’être ; — cela est parfaitement raisonnable en soi et remplit fort bien les conditions d’un axiome, tant que nous ne le confronterons pas avec l’axiome proclamé antérieurement ; en d’autres termes, termes dont nous nous sommes déjà servis, tant que nous ne le vérifierons pas par la logique même de