Aristotle: Analytica Priora (Prior Analytics)

ἁπλῶς ἡτισοῦν πίστις καὶ ἡ καθ᾿ ὁποιανοῦν μέθοδον, νῦν ἂν εἴη λεκτέον. Ἅπαντα γὰρ πιστεύομεν ἢ διὰ συλλογισμοῦ ἢ ἐξ ἐπαγωγῆς.

Ἐπαγωγὴ μὲν οὖν ἐστὶ καὶ ὁ ἐξ ἐπαγωγῆς συλλογισμὸς τὸ διὰ τοῦ ἑτέρου θάτερον ἄκρον τῷ μέσῳ συλλογίσασθαι, οἷον εἰ τῶν Α Γ μέσον τὸ Β, διὰ τοῦ Γ δεῖξαι τὸ Α τῷ Β ὑπάρχειν· οὕτω γὰρ ποιούμεθα τὰς ἐπαγωγάς. Οἷον ἔστω τὸ Α μακρόβιον, τὸ δ᾿ ἐφ᾿ ᾧ Β τὸ χολὴν μὴ ἔχον, ἐφ᾿ ᾧ δὲ Γ τὸ καθ᾿ ἕκαστον μακρόβιον, οἷον ἄνθρωπος καὶ ἵππος καὶ ἡμίονος. Τῷ δὴ Γ ὅλῳ ὑπάρχει τὸ Α· πᾶν γὰρ τὸ ἄχολον μακρόβιον. Ἀλλὰ καὶ τὸ Β, τὸ μὴ ἔχειν χολήν, παντὶ ὑπάρχει τῷ Γ. Εἰ οὖν ἀντιστρέφει τὸ Γ τῷ Β καὶ μὴ ὑπερτείνει τὸ μέσον, ἀνάγκη τὸ Α τῷ Β ὑπάρχειν. Δέδεικται γὰρ πρότερον ὅτι ἂν δύο ἄττα τῷ αὐτῷ ὑπάρχῃ καὶ πρὸς θάτερον αὐτῶν ἀντιστρέφῃ τὸ ἄκρον, ὅτι τῷ ἀντιστρέφοντι καὶ θάτερον ὑπάρξει τῶν κατηγορουμένων. Δεῖ δὲ νοεῖν τὸ Γ τὸ ἐξ ἁπάντων τῶν καθ᾿ ἕκαστον συγκείμενον· ἡ γὰρ ἐπαγωγὴ διὰ πάντων.

Ἔστι δ᾿ ὁ τοιοῦτος συλλογισμὸς τῆς πρώτης καὶ ἀμέσου προτάσεως· ὧν μὲν γὰρ ἔστι μέσον, διὰ τοῦ μέσου ὁ συλλογισμός, ὧν δὲ μή ἐστι, δι᾿ ἐπαγωγῆς. Καὶ τρόπον τινὰ ἀντίκειται ἡ ἐπαγωγὴ τῷ συλλογισμῷ· ὁ μὲν γὰρ διὰ τοῦ μέσου τὸ ἄκρον τῷ τρίτῳ δείκνυσιν, ἡ δὲ διὰ τοῦ τρίτου τὸ ἄκρον τῷ μέσῳ. Φύσει μὲν οὖν πρότερος καὶ γνωριμώτερος ὁ διὰ τοῦ μέσου συλλογισμός, ἡμῖν δ᾿ ἐναργέστερος ὁ διὰ τῆς ἐπαγωγῆς.

Παράδειγμα δ᾿ ἐστὶν ὅταν τᾷ μέσῳ τὸ ἄκρον ὑπάρχον δειχθῇ διὰ τοῦ ὁμοίου τῷ τρίτῳ. Δεῖ δὲ καὶ τὸ μέσον τῷ τρίτῳ καὶ τὸ πρῶτον τῷ ὁμοίῳ γνώριμον εἶναι ὑπάρχον. Οἷον ἔστω τὸ Α κακόν, τὸ δὲ Β πρὸς ὁμόρους ἀναιρεῖσθαι πόλεμον, ἐφ᾿ ᾧ δὲ Γ τὸ Ἀθηναίους πρὸς Θηβαίους, τὸ δ᾿ ἐφ᾿ ᾧ Δ Θηβαίους πρὸς Φωκεῖς. Ἐὰν οὖν βουλώμεθα δεῖξαι ὅτι