Aristotle: Analytica Posteriora (Posterior Analytics)

ἔστι συλλογισμός· ἀλλ᾿ εἰ τῇ ταχίστῃ ἀναλογίᾳ ἕπεται ἡ πολλαπλάσιος καὶ τῷ πυρὶ ἡ ταχίστη ἐν τῇ κινήσει ἀναλογία. Ἐνίοτε μὲν οὖν οὐκ ἐνδέχεται συλλογίσασθαι ἐκ τῶν εἰλημμένων, ὁτὲ δ᾿ ἐνδέχεται, ἀλλ᾿ οὐχ ὁρᾶται. Εἰ δ᾿ ἦν ἀδύνατον ἐκ ψεύδους ἀληθὲς δεῖξαι, ῥᾴδιον ἂν ἦν τὸ ἀναλύειν· ἀντέστρεφε γὰρ ἂν ἐξ ἀνάγκης. Ἔστω γὰρ τὸ Α ὄν· τούτου δ᾿ ὄντος ταδί ἐστιν, ἃ οἶδα ὅτι ἔστιν, οἷον τὸ Β. Ἐκ τούτων ἄρα δείξω ὅτι ἔστιν ἐκεῖνο. Ἀντιστρέφει δὲ μᾶλλον τὰ ἐν τοῖς μαθήμασιν, ὅτι οὐδὲν συμβεβηκὸς λαμβάνουσιν (ἀλλὰ καὶ τούτῳ διαφέρουσι τῶν ἐν τοῖς διαλόγοις) ἀλλ᾿ ὁρισμούς.

Αὔξεται δ᾿ οὐ διὰ τῶν μέσων, ἀλλὰ τῷ προσλαμβάνειν, οἷον τὸ Α τοῦ Β, τοῦτο δὲ τοῦ Γ, πάλιν τοῦτο τοῦ Δ, καὶ τοῦτ᾿ εἰς ἄπειρον. Καὶ εἰς τὸ πλάγιον, οἷον τὸ Α καὶ κατὰ τοῦ Γ καὶ κατὰ τοῦ Ε, οἷον ἔστιν ἀριθμὸς ποσὸς ἢ καὶ ἄπειρος τοῦτο ἐφ᾿ ᾧ Α, ὁ περιττὸς ἀριθμὸς ποσὸς ἐφ᾿ οὗ Β, ἀριθμὸς περιττὸς ἐφ᾿ οὗ Γ· ἔστιν ἄρα τὸ Α κατὰ τοῦ Γ. καὶ ἔστιν ὁ ἄρτιος ποσὸς ἀριθμὸς ἐφ᾿ οὗ Δ, ὁ ἄρτιος ἀριθμὸς ἐφ᾿ οὗ Ε· ἔστιν ἄρα τὸ Α κατὰ τοῦ Ε.

Τὸ δ᾿ ὅτι διαφέρει καὶ τὸ διότι ἐπίστασθαι, πρῶτον μὲν ἐν τῇ αὐτῇ ἐπιστήμῃ, καὶ ἐν ταύτῃ διχῶς, ἕνα μὲν τρόπον ἐὰν μὴ δι᾿ ἀμέσων γίνηται ὁ συλλογισμός (οὐ γὰρ λαμβάνεται τὸ πρῶτον αἴτιον, ἡ δὲ τοῦ διότι ἐπιστήμη κατὰ τὸ πρῶτον αἴτιον), ἄλλον δὲ εἰ δι᾿ ἀμέσων μέν, ἀλλὰ μὴ διὰ τοῦ αἰτίου ἀλλὰ τῶν ἀντιστρεφόντων διὰ τοῦ γνωριμωτέρου. κωλύει γὰρ οὐδὲν τῶν ἀντικατηγορουμένων γνωριμώτερον εἶναι ἐνίοτε τὸ μὴ αἴτιον, ὥστ᾿ ἔσται διὰ τούτου ἡ ἀπόδειξις, οἷον ὅτι ἐγγὺς οἱ πλάνητες διὰ τοῦ μὴ στίλβειν. Ἔστω ἐφ᾿ ᾧ Γ πλάνητες, ἐφ᾿ ᾧ Β τὸ μὴ στίλβειν, ἐφ᾿ ᾧ Α τὸ ἐγγὺς εἶναι. Ἀληθὲς δὴ τὸ Β κατὰ τοῦ Γ εἰπεῖν· οἱ γὰρ πλάνητες οὐ στίλβουσιν. Ἀλλὰ καὶ τὸ Α κατὰ τοῦ Β· τὸ γὰρ μὴ στίλβον ἐγγύς ἐστι· τοῦτο δ᾿ εἰλήφθω δι᾿ ἐπαγωγῆς