Aristotle: Analytica Priora (Prior Analytics)

οὐδὲν ἂν ἧττον εἴη τὸ ἀδύνατον ἀναιρεθείσης τῆς ἐξ ἀρχῆς ὑποθέσεως. Ἀλλὰ δεῖ πρὸς τοὺς ἐξ ἀρχῆς ὅρους συνάπτειν τὸ ἀδύνατον· οὕτω γὰρ ἔσται διὰ τὴν ὑπόθεσιν, οἷον ἐπὶ μὲν τὸ κάτω λαμβάνοντι τὸ συνεχὲς πρὸς τὸν κατηγορούμενον τῶν ὅρων· εἰ γὰρ ἀδύνατον τὸ Α τῷ Δ ὑπάρχειν, ἀφαιρεθέντος τοῦ Α οὐκέτι ἔσται τὸ ψεῦδος. Ἐπὶ δὲ τὸ ἄνω, καθ᾿ οὗ κατηγορεῖται· εἰ γὰρ τῷ Β μὴ ἐγχωρεῖ τὸ Ζ ὑπάρχειν, ἀφαιρεθέντος τοῦ Β οὐκέτι ἔσται τὸ ἀδύνατον. Ὁμοίως δὲ καὶ στερητικῶν τῶν συλλογισμῶν ὄντων.

Φανερὸν οὖν ὅτι τοῦ ἀδυνάτου μὴ πρὸς τοὺς ἐξ ἀρχῆς ὅρους ὄντος οὐ παρὰ τὴν θέσιν συμβαίνει τὸ ψεῦδος. Ἢ οὐδ᾿ οὕτως ἀεὶ διὰ τὴν ὑπόθεσιν ἔσται τὸ ψεῦδος. Καὶ γὰρ εἰ μὴ τῷ Β ἀλλὰ τῷ Κ ἐτέθη τὸ Α ὑπάρχειν, τὸ δὲ Κ τῷ Γ καὶ τοῦτο τῷ Δ, καὶ οὕτω μένει τὸ ἀδύνατον· ὁμοίως δὲ καὶ ἐπὶ τὸ ἄνω λαμβάνοντι τοὺς ὅρους, ὥστ᾿ ἐπεὶ καὶ ὄντος καὶ μὴ ὄντος τούτου συμβαίνει τὸ ἀδύνατον, οὐκ ἂν εἴη παρὰ τὴν θέσιν. Ἢ τὸ μὴ ὄντος τούτου μηδὲν ἧττον γίνεσθαι τὸ ψεῦδος οὐχ οὕτω ληπτέον ὥστ᾿ ἄλλου τιθεμένου συμβαίνειν τὸ ἀδύνατον, ἀλλ᾿ ὅταν ἀφαιρεθέντος τούτου διὰ τῶν λοιπῶν προτάσεων ταὐτὸ περαίνηται ἀδύνατον, ἐπεὶ ταὐτό γε ψεῦδος συμβαίνειν διὰ πλειόνων ὑποθέσεων οὐδὲν ἴσως ἄτοπον, οἷον τὰς παραλλήλους συμπίπτειν καὶ εἰ μείζων ἐστὶν ἡ ἐντὸς τῆς ἐκτὸς καὶ εἰ τὸ τρίγωνον ἔχει πλείους ὀρθὰς δυεῖν.

Ὁ δὲ ψευδὴς λόγος γίνεται παρὰ τὸ πρῶτον ψεῦδος. Ἢ γὰρ ἐκ τῶν δύο προτάσεων ἢ ἐκ πλειόνων πᾶς ἐστὶ συλλογισμός. Εἰ μὲν οὖν ἐκ τῶν δύο, τούτων ἀνάγκη τὴν ἑτέραν ἢ καὶ ἀμφοτέρας εἶναι ψευδεῖς· ἐξ ἀληθῶν γὰρ οὐκ ἦν ψευδὴς συλλογισμός. Εἰ δ᾿ ἐκ πλειόνων, οἷον τὸ μὲν Γ διὰ τῶν Α Β, ταῦτα δὲ διὰ τῶν Δ Ε Ζ Η, τούτων τι ἔσται τῶν ἐπάνω ψεῦδος, καὶ παρὰ τοῦτο ὁ λόγος· τὸ γὰρ Α καὶ