Analytica Posteriora (Posterior Analytics)
Ἐν δὲ τοῖς μὴ ἀτόμως ὑπάρχουσιν ἢ μὴ ὑπάρχουσιν, ὅταν μὲν διὰ τοῦ οἰκείου μέσου γίνηται τοῦ ψεύδους ὁ συλλογισμός, οὐχ οἷόν τε ἀμφοτέρας ψευδεῖς εἶναι τὰς προτάσεις, ἀλλὰ μόνον τὴν πρὸς τῷ μείζονι ἄκρῳ. Λέγω δ᾿ οἰκεῖον μέσον δι᾿ οὗ γίνεται τῆς ἀντιφάσεως ὁ συλλογισμός. ὑπαρχέτω γὰρ τὸ Α τῷ Β διὰ μέσου τοῦ Γ. Ἐπεὶ οὖν ἀνάγκη τὴν Γ Β καταφατικὴν λαμβάνεσθαι συλλογισμοῦ γινομένου, δῆλον ὅτι ἀεὶ αὕτη ἔσται ἀληθής· οὐ γὰρ ἀντιστρέφεται. Ἡ δὲ Α Γ ψευδής· ταύτης γὰρ ἀντιστρεφομένης ἐναντίος γίνεται ὁ συλλογισμός. Ὁμοίως δὲ καὶ εἰ ἐξ ἄλλης συστοιχίας ληφθείη τὸ μέσον, οἷον τὸ Δ εἰ καὶ ἐν τῷ Α ὅλῳ ἐστὶ καὶ κατὰ τοῦ Β κατηγορεῖται παντός· ἀνάγκη γὰρ τὴν μὲν Δ Β πρότασιν μένειν, τὴν δ᾿ ἑτέραν ἀντιστρέφεσθαι, ὥσθ᾿ ἡ μὲν ἀεὶ ἀληθής, ἡ δ᾿ ἀεὶ ψευδής. Καὶ σχεδὸν ἥ γε τοιαύτη ἀπάτη ἡ αὐτή ἐστι τῇ διὰ τοῦ οἰκείου μέσου. Ἐὰν δὲ μὴ διὰ τοῦ οἰκείου μέσου γίνηται ὁ συλλογισμός, ὅταν μὲν ὑπὸ τὸ Α ᾖ τὸ μέσον, τῷ δὲ Β μηδενὶ ὑπάρχῃ, ἀνάγκη ψευδεῖς εἶναι ἀμφοτέρας. Ληπτέαι γὰρ ἐναντίως ἢ ὡς ἔχουσιν αἱ προτάσεις, εἰ μέλλει συλλογισμὸς ἔσεσθαι· οὕτω δὲ λαμβανομένων ἀμφότεραι γίνονται ψευδεῖς. Οἷον εἰ τὸ μὲν Α ὅλῳ τῷ Δ ὑπάρχει, τὸ δὲ Δ μηδενὶ τῶν Β· ἀντιστραφέντων γὰρ τούτων συλλογισμός τ᾿ ἔσται καὶ αἱ προτάσεις ἀμφότεραι ψευδεῖς. Ὅταν δὲ μὴ ᾖ ὑπὸ τὸ Α τὸ μέσον, οἷον τὸ Δ, ἡ μὲν Α Δ ἀληθὴς ἔσται, ἡ δὲ Δ Β ψευδής. Ἡ μὲν γὰρ Α Δ ἀληθής, ὅτι οὐκ ἦν ἐν τῷ Α τὸ Δ, ἡ δὲ Δ Β ψευδής, ὅτι, εἰ ἦν ἀληθής, κἂν τὸ συμπέρασμα ἦν ἀληθές· ἀλλ᾿ ἦν ψεῦδος.
Διὰ δὲ τοῦ μέσου σχήματος γινομένης τῆς ἀπάτης, ἀμφοτέρας μὲν οὐκ ἐνδέχεται ψευδεῖς εἶναι τὰς προτάσεις ὅλας (ὅταν γὰρ ᾖ τὸ Β ὑπὸ τὸ Α, οὐδὲν ἐνδέχεται τῷ μὲν παντὶ τῷ δὲ μηδενὶ ὑπάρχειν, καθάπερ ἐλέχθη καὶ πρότερον), τὴν ἑτέραν δ᾿ ἐγχωρεῖ, καὶ ὁποτέραν ἔτυχεν. Εἰ γὰρ τὸ Γ καὶ τῷ Α καὶ τῷ Β ὑπάρχει, ἐὰν ληφθῇ τῷ μὲν Α ὑπάρχειν τῷ δὲ Β μὴ ὑπάρχειν, ἡ μὲν Α Γ ἀληθὴς ἔσται, ἡ δ᾿ ἑτέρα ψευδής. Πάλιν δ᾿ εἰ τῷ μὲν Β ληφθείη τὸ Γ ὑπάρχον, τῷ δὲ Α μηδενί, ἡ μὲν Γ Β ἀληθὴς ἔσται, ἡ δ᾿ ἑτέρα ψευδής.
Ἐὰν μὲν οὖν στερητικὸς ᾖ τῆς ἀπάτης ὁ συλλογισμός, εἴρηται πότε καὶ διὰ τίνων ἔσται ἡ ἀπάτη· ἐὰν δὲ καταφατικός, ὅταν μὲν διὰ τοῦ οἰκείου μέσου, ἀδύνατον ἀμφοτέρας εἶναι ψευδεῖς· ἀνάγκη γὰρ τὴν Γ Β μένειν, εἴπερ ἔσται συλλογισμός, καθάπερ ἐλέχθη καὶ πρότερον. Ὥστε ἡ Γ Α ἀεὶ ἔσται ψευδής· αὕτη γάρ ἐστιν ἡ ἀντιστρεφομένη. Ὁμοίως δὲ καὶ εἰ ἐξ ἄλλης συστοιχίας λαμβάνοιτο τὸ μέσον, ὥσπερ ἐλέχθη καὶ ἐπὶ τῆς στερητικῆς ἀπάτης· ἀνάγκη γὰρ τὴν μὲν Δ Β μένειν, τὴν δ᾿ Α Δ ἀντιστρέφεσθαι, καὶ ἡ ἀπάτη ἡ αὐτὴ τῇ πρότερον. Ὅταν δὲ μὴ διὰ τοῦ οἰκείου, ἐὰν μὲν ᾖ τὸ Δ ὑπὸ τὸ Α, αὕτη μὲν ἔσται ἀληθής, ἡ ἑτέρα δὲ ψευδής· ἐγχωρεῖ γὰρ τὸ Α πλείοσιν ὑπάρχειν, ἃ οὐκ ἔστιν ὑπ᾿ ἄλληλα. Ἐὰν δὲ μὴ ᾖ τὸ Δ ὑπὸ τὸ Α, αὕτη μὲν ἀεὶ δῆλον ὅτι ἔσται ψευδής (καταφατικὴ γὰρ λαμβάνεται), τὴν δὲ Β Δ ἐνδέχεται καὶ ἀληθῆ εἶναι καὶ ψευδῆ· οὐδὲν γὰρ κωλύει τὸ μὲν Α τῷ Δ μηδενὶ ὑπάρχειν, τὸ δὲ Δ τῷ Β παντί, οἷον ζῷον ἐπιστήμῃ, ἐπιστήμη δὲ μουσικῇ. οὐδ᾿ αὖ μήτε τὸ Α μηδενὶ τῶν Δ μήτε τὸ Δ μηδενὶ τῷ Β. Φανερὸν οὖν ὅτι μὴ ὄντος τοῦ μέσου ὑπὸ τὸ Α καὶ ἀμφοτέρας ἐγχωρεῖ ψευδεῖς εἶναι καὶ ὁποτέραν ἔτυχεν.
Ποσαχῶς μὲν οὖν καὶ διὰ τίνων ἐγχωρεῖ γίνεσθαι τὰς κατὰ συλλογισμὸν ἀπάτας ἔν τε τοῖς ἀμέσοις καὶ ἐν τοῖς δι᾿ ἀποδείξεως, φανερόν.