Against the Logicians, Books VII-VIII of Against the Learned Section 320

πλὴν τοιαύτης οὔσης ἐν τοῖς πράγμασι διαφορᾶς φαμὲν τὴν ἀπόδειξιν οὔτε πρόδηλον εἶναι (οὐ γὰρ ἐξ ἑαυτῆς καὶ κατηναγκασμένου πάθους ἐγνωρίζετο) οὔτε φύσει ἄδηλον (οὐ γὰρ ἀπήλπισται ἡ κατάληψις αὐτ’ αὐτῆς), ἀλλὰ τῆς λειπομένης τῶν ἀδήλων εἶναι διαφορᾶς, ἅπερ δεδυκυῖαν μὲν καὶ συνεσκιασμένην ἡμῖν ἔχει τὴν φύσιν, τῷ δ’ ἐκ φιλοσοφίας λόγῳ δοκεῖ καταλαμβάνεσθαι.

Given such a distinction among things, we say that proof is neither evident, for it was not known from itself and through a compelled affection, nor non-evident by nature, for apprehension of it has not been despaired of. Rather, it belongs to the remaining class of non-evident things, whose nature is submerged and shadowed for us, but is thought to be apprehensible through philosophical reasoning.

Cette distinction entre les choses étant posée, nous disons que la démonstration n’est ni évidente, car elle n’était pas connue par elle-même et sous l’effet d’une affection nécessaire, ni non évidente par nature, car sa saisie n’est pas tenue pour désespérée ; elle appartient plutôt à la classe restante des choses non évidentes, dont la nature est pour nous immergée et enveloppée d’ombre, mais que le raisonnement philosophique paraît saisir.