Aristotle: Analytica Priora (Prior Analytics)

καὶ πάλιν τὸ Β διὰ τῶν Ζ Θ. Ἢ τὸ μὲν ἐπαγωγῇ, τὸ δὲ συλλογισμῷ. Ἀλλὰ καὶ οὕτως πλείους οἱ συλλογισμοί· πλείω γὰρ τὰ συμπεράσματά ἐστιν, οἷον τό τε Α καὶ τὸ Β καὶ τὸ Γ. Εἰ δ᾿ οὖν μὴ πλείους ἀλλ᾿ εἷς, οὕτω μὲν ἐνδέχεται γενέσθαι διὰ πλειόνων τὸ αὐτὸ συμπέρασμα, ὡς δὲ τὸ Γ διὰ τῶν Α Β, ἀδύνατον. Ἔστω γὰρ τὸ Ε συμπεπερασμένον ἐκ τῶν Α Β Γ Δ. Οὐκοῦν ἀνάγκη τι αὐτῶν ἄλλο πρὸς ἄλλο εἰλῆφθαι, τὸ μὲν ὡς ὅλον τὸ δ᾿ ὡς μέρος· τοῦτο γὰρ δέδεικται πρότερον, ὅτι ὄντος συλλογισμοῦ ἀναγκαῖον οὕτως τινὰς ἔχειν τῶν ὅρων. Ἐχέτω οὖν τὸ Α οὕτως πρὸς τὸ Β. Ἔστιν ἄρα τι ἐξ αὐτῶν συμπέρασμα. Οὐκοῦν ἤτοι τὸ Ε ἢ τῶν Γ Δ θάτερον ἢ ἄλλο τι παρὰ ταῦτα. Καὶ εἰ μὲν τὸ Ε, ἐκ τῶν Α Β μόνον ἂν εἴη ὁ συλλογισμός. Τὰ δὲ Γ Δ εἰ μὲν ἔχει οὕτως ὥστ᾿ εἶναι τὸ μὲν ὡς ὅλον τὸ δ᾿ ὡς μέρος, ἔσται τι καὶ ἐξ ἐκείνων, καὶ ἤτοι τὸ Ε ἢ τῶν Α Β θάτερον ἢ ἄλλο τι παρὰ ταῦτα. Καὶ εἰ μὲν τὸ Ε ἢ τῶν Α Β θάτερον, ἢ πλείους ἔσονται οἱ συλλογισμοί, ἢ ὡς ἐνεδέχετο ταὐτὸ διὰ πλειόνων ὅρων περαίνεσθαι συμβαίνει· εἰ δ᾿ ἄλλο τι παρὰ ταῦτα, πλείους ἔσονται καὶ ἀσύναπτοι οἱ συλλογισμοὶ πρὸς ἀλλήλους. Εἰ δὲ μὴ οὕτως ἔχοι τὸ Γ πρὸς τὸ Δ ὥστε ποιεῖν συλλογισμόν, μάτην ἔσται εἰλημμένα, εἰ μὴ ἐπαγωγῆς ἢ κρύψεως ἤ τινος ἄλλου τῶν τοιούτων χάριν. Εἰ δ᾿ ἐκ τῶν Α Β μὴ τὸ Ε ἀλλ᾿ ἄλλο τι γίνεται συμπέρασμα, ἐκ δὲ τῶν Γ Δ ἢ τούτων θάτερον ἢ ἄλλο παρὰ ταῦτα, πλείους τε οἱ συλλογισμοὶ γίνονται καὶ οὐ τοῦ ὑποκειμένου· ὑπέκειτο γὰρ εἶναι τοῦ Ε τὸν συλλογισμόν. Εἰ δὲ μὴ γίνεται ἐκ τῶν Γ Δ μηδὲν συμπέρασμα, μάτην τε εἰλῆφθαι αὐτὰ συμβαίνει καὶ μὴ τοῦ ἐξ ἀρχῆς εἶναι τὸν συλλογισμόν. Ὥστε φανερὸν ὅτι πᾶσα ἀπόδειξις καὶ πᾶς συλλογισμὸς ἔσται διὰ τριῶν ὅρων μόνον.

Τούτου δ᾿ ὄντος φανεροῦ, δῆλον ὡς καὶ ἐκ δύο προτάσεων