Aristotle: Analytica Posteriora (Posterior Analytics)

γὰρ τὰ ἄπειρα διελθεῖν. Εἴ τε ἵσταται καὶ εἰσὶν ἀρχαί, ταύτας ἀγνώστους εἶναι ἀποδείξεώς γε μὴ οὔσης αὐτῶν, ὅπερ φασὶν εἶναι τὸ ἐπίστασθαι μόνον· εἰ δὲ μὴ ἔστι τὰ πρῶτα εἰδέναι, οὐδὲ τὰ ἐκ τούτων εἶναι ἐπίστασθαι ἁπλῶς οὐδὲ κυρίως, ἀλλ᾿ ἐξ ὑποθέσεως, εἰ ἐκεῖνά ἐστιν. Οἱ δὲ περὶ μὲν τοῦ ἐπίστασθαι ὁμολογοῦσι· δι᾿ ἀποδείξεως γὰρ εἶναι μόνον· ἀλλὰ πάντων εἶναι ἀπόδειξιν οὐδὲν κωλύειν· ἐνδέχεσθαι γὰρ κύκλῳ γίνεσθαι τὴν ἀπόδειξιν καὶ ἐξ ἀλλήλων. Ἡμεῖς δέ φαμεν οὔτε πᾶσαν ἐπιστήμην ἀποδεικτικὴν εἶναι, ἀλλὰ τὴν τῶν ἀμέσων ἀναπόδεικτον. Καὶ τοῦθ᾿ ὅτι ἀναγκαῖον, φανερόν· εἰ γὰρ ἀνάγκη μὲν ἐπίστασθαι τὰ πρότερα καὶ ἐξ ὧν ἡ ἀπόδειξις, ἵσταται δέ ποτε τὰ ἄμεσα, ταῦτ᾿ ἀναπόδεικτα ἀνάγκη εἶναι. Ταῦτά τ᾿ οὖν οὕτω λέγομεν, καὶ οὐ μόνον ἐπιστήμην ἀλλὰ καὶ ἀρχὴν ἐπιστήμης εἶναί τινά φαμεν, ᾗ τοὺς ὅρους γνωρίζομεν. Κύκλῳ δ᾿ ὅτι ἀδύνατον ἀποδείκνυσθαι ἁπλῶς, δῆλον, εἴπερ ἐκ προτέρων δεῖ τὴν ἀπόδειξιν εἶναι καὶ γνωριμωτέρων· ἀδύνατον γάρ ἐστι τὰ αὐτὰ τῶν αὐτῶν ἅμα πρότερα καὶ ὕστερα εἶναι, εἰ μὴ τὸν ἕτερον τρόπον, οἷον τὰ μὲν πρὸς ἡμᾶς τὰ δ᾿ ἁπλῶς, ὅνπερ τρόπον ἡ ἐπαγωγὴ ποιεῖ γνώριμον. Εἰ δ᾿ οὕτως, οὐκ ἂν εἴη τὸ ἁπλῶς εἰδέναι καλῶς ὡρισμένον, ἀλλὰ διττόν· ἢ οὐχ ἁπλῶς ἡ ἑτέρα ἀπόδειξις γινομένη ἐκ τῶν ἡμῖν γνωριμωτέρων. Συμβαίνει δὲ τοῖς λέγουσι κύκλῳ τὴν ἀπόδειξιν εἶναι οὐ μόνον τὸ νῦν εἰρημένον, ἀλλ᾿ οὐδὲν ἄλλο λέγειν ἢ ὅτι τοῦτ᾿ ἔστιν εἰ τοῦτ᾿ ἔστιν· οὕτω δὲ πάντα ῥᾴδιον δεῖξαι. Δῆλον δ᾿ ὅτι τοῦτο συμβαίνει τριῶν ὅρων τεθέντων· τὸ μὲν γὰρ διὰ πολλῶν ἢ δι᾿ ὀλίγων ἀνακάμπτειν φάναι οὐδὲν διαφέρει, δι᾿ ὀλίγων δ᾿ ἢ δυοῖν. Ὅταν γὰρ τοῦ Α ὄντος ἐξ ἀνάγκης ᾖ τὸ Β, τούτου δὲ τὸ Γ, τοῦ Α ὄντος ἔσται τὸ Γ. Εἰ δὴ τοῦ Α ὄντος ἀνάγκη τὸ Β εἶναι, τούτου δ᾿ ὄντος τὸ Α (τοῦτο γὰρ ἦν τὸ