Aristotle: Analytica Priora (Prior Analytics)

τοῦ συμπεράσματος καὶ προσληφθῇ ἄλλη πρότασις, γίνεται δ᾿ ἐν ἅπασι τοῖς σχήμασιν· ὅμοιον γάρ ἐστι τῇ ἀντιστροφῇ, πλὴν διαφέρει τοσοῦτον ὅτι ἀντιστρέφεται μὲν γεγενημένου συλλογισμοῦ καὶ εἰλημμένων ἀμφοῖν τῶν προτάσεων, ἀπάγεται δ᾿ εἰς ἀδύνατον οὐ προομολογηθέντος τοῦ ἀντικειμένου πρότερον, ἀλλὰ φανεροῦ ὄντος ὅτι ἀληθές. Οἱ δ᾿ ὅροι ὁμοίως ἔχουσιν ἐν ἀμφοῖν, καὶ ἡ αὐτὴ λῆψις ἀμφοτέρων. Οἷον εἰ τὸ Α τῷ Β παντὶ ὑπάρχει, μέσον δὲ τὸ Γ, ἐὰν ὑποτεθῇ τὸ Α ἢ μὴ παντὶ ἢ μηδενὶ τῷ Β ὑπάρχειν, τῷ δὲ Γ παντί, ὅπερ ἦν ἀληθές, ἀνάγκη τὸ Γ τῷ Β ἢ μηδενὶ ἢ μὴ παντὶ ὑπάρχειν. Τοῦτο δ᾿ ἀδύνατον, ὥστε ψεῦδος τὸ ὑποτεθέν· ἀληθὲς ἄρα τὸ ἀντικείμενον. Ὁμοίως δὲ καὶ ἐπὶ τῶν ἄλλων σχημάτων· ὅσα γὰρ ἀντιστροφὴν δέχεται, καὶ τὸν διὰ τοῦ ἀδυνάτου συλλογισμόν.

Τὰ μὲν οὖν ἄλλα προβλήματα πάντα δείκνυται διὰ τοῦ ἀδυνάτου ἐν ἅπασι τοῖς σχήμασι, τὸ δὲ καθόλου κατηγορικὸν ἐν μὲν τῷ μέσῳ καὶ τῷ τρίτῳ δείκνυται, ἐν δὲ τῷ πρώτῳ οὐ δείκνυται. Ὑποκείσθω γὰρ τὸ Α τῷ Β μὴ παντὶ ἢ μηδενὶ ὑπάρχειν, καὶ προσειλήφθω ἄλλη πρότασις ὁποτερωθενοῦν, εἴτε τῷ Α παντὶ ὑπάρχειν τὸ Γ εἴτε τὸ Β παντὶ τῷ Δ· οὕτω γὰρ ἂν εἴη τὸ πρῶτον σχῆμα. Εἰ μὲν οὖν ὑπόκειται μὴ παντὶ ὑπάρχειν τὸ Α τῷ Β, οὐ γίνεται συλλογισμὸς ὁποτερωθενοῦν τῆς προτάσεως λαμβανομένης, εἰ δὲ μηδενί, ὅταν μὲν ἡ Β Δ προσληφθῇ, συλλογισμὸς μὲν ἔσται τοῦ ψεύδους, οὐ δείκνυται δὲ τὸ προκείμενον. Εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Δ, τὸ Α οὐδενὶ τῷ Δ. Τοῦτο δ᾿ ἔστω ἀδύνατον· ψεῦδος ἄρα τὸ μηδενὶ τῷ Β τὸ Α ὑπάρχειν. Ἀλλ᾿ οὐκ εἰ τὸ μηδενὶ ψεῦδος, τὸ παντὶ ἀληθές. Ἐὰν δ᾿ ἡ Γ Α προσληφθῇ, οὐ γίνεται συλλογισμός, οὐδ᾿ ὅταν ὑποτεθῇ μὴ παντὶ τῷ Β τὸ Α ὑπάρχειν. Ὥστε φανερὸν ὅτι τὸ παντὶ ὑπάρχειν οὐ δείκνυται ἐν τῷ πρώτῳ σχήματι διὰ τοῦ ἀδυνάτου. Τὸ δέ γε τινὶ καὶ τὸ μηδενὶ καὶ μὴ παντὶ δείκνυται. Ὑποκείσθω γὰρ τὸ Α μηδενὶ τῷ Β ὑπάρχειν, τὸ