Analytica Posteriora (Posterior Analytics)
Ἄγνοια δ᾿ ἡ μὴ κατ᾿ ἀπόφασιν ἀλλὰ κατὰ διάθεσιν λεγομένη ἔστι μὲν ἡ διὰ συλλογισμοῦ γινομένη ἀπάτη, αὕτη δ᾿ ἐν μὲν τοῖς πρώτως ὑπάρχουσιν ἢ μὴ ὑπάρχουσι συμβαίνει διχῶς· ἢ γὰρ ὅταν ἁπλῶς ὑπολάβῃ ὑπάρχειν ἢ μὴ ὑπάρχειν, ἢ ὅταν διὰ συλλογισμοῦ λάβῃ τὴν ὑπόληψιν. Τῆς μὲν οὖν ἁπλῆς ὑπολήψεως ἁπλῆ ἡ ἀπάτη, τῆς δὲ διὰ συλλογισμοῦ πλείους. Μὴ ὑπαρχέτω γὰρ τὸ Α μηδενὶ τῶν Β ἀτόμως· οὐκοῦν ἐὰν συλλογίζηται ὑπάρχειν τὸ Α τῷ Β, μέσον λαβὼν τὸ Γ, ἠπατημένος ἔσται διὰ συλλογισμοῦ. Ἐνδέχεται μὲν οὖν ἀμφοτέρας τὰς προτάσεις εἶναι ψευδεῖς, ἐνδέχεται δὲ τὴν ἑτέραν μόνον. Εἰ γὰρ μήτε τὸ Α μηδενὶ τῶν Γ ὑπάρχει μήτε τὸ Γ μηδενὶ τῶν Β, εἴληπται δ᾿ ἑκατέρα ἀνάπαλιν, ἄμφω ψευδεῖς ἔσονται. Ἐγχωρεῖ δ᾿ οὕτως ἔχειν τὸ Γ πρὸς τὸ Α καὶ Β ὥστε μήτε ὑπὸ τὸ Α εἶναι μήτε καθόλου τῷ Β. τὸ μὲν γὰρ Β ἀδύνατον εἶναι ἐν ὅλῳ τινί· πρώτως γὰρ ἐλέγετο αὐτῷ τὸ Α μὴ ὑπάρχειν· τὸ δὲ Α οὐκ ἀνάγκη πᾶσι τοῖς οὖσιν εἶναι καθόλου, ὥστ᾿ ἀμφότεραι ψευδεῖς. Ἀλλὰ καὶ τὴν ἑτέραν ἐνδέχεται ἀληθῆ λαμβάνειν, οὐ μέντοι ὁποτέραν ἔτυχεν, ἀλλὰ τὴν Α Γ· ἡ γὰρ Γ Β πρότασις ἀεὶ ψευδὴς ἔσται διὰ τὸ ἐν μηδενὶ εἶναι τὸ Β, τὴν δὲ Α Γ ἐγχωρεῖ, οἷον εἰ τὸ Α καὶ τῷ Γ καὶ τῷ Β ὑπάρχει ἀτόμως. Ὅταν γὰρ πρώτως κατηγορῆται ταὐτὸ πλειόνων, οὐδέτερον οὐδετέρῳ ἔσται. Διαφέρει δ᾿ οὐδέν, οὐδ᾿ εἰ μὴ ἀτόμως ὑπάρχει.
Ἡ μὲν οὖν τοῦ ὑπάρχειν ἀπάτη διὰ τούτων τε καὶ οὕτω γίνεται μόνως (οὐ γὰρ ἦν ἐν ἄλλῳ σχήματι τοῦ ὑπάρχειν συλλογισμός), ἡ δὲ τοῦ μὴ ὑπάρχειν ἔν τε τῷ πρώτῳ καὶ ἐν τῷ μέσῳ σχήματι. Πρῶτον οὖν εἴπωμεν ποσαχῶς ἐν τῷ πρώτῳ γίνεται, καὶ πῶς ἐχουσῶν τῶν προτάσεων. Ἐνδέχεται μὲν οὖν ἀμφοτέρων ψευδῶν οὐσῶν, οἷον εἰ τὸ Α καὶ τῷ Γ καὶ τῷ Β ὑπάρχει ἀτόμως· ἐὰν γὰρ ληφθῇ τὸ μὲν Α τῷ Γ μηδενί, τὸ δὲ Γ παντὶ τῷ Β, Ψευδεῖς αἱ προτάσεις. Ἐνδέχεται δὲ καὶ τῆς ἑτέρας ψευδοῦς οὔσης, καὶ ταύτης ὁποτέρας ἔτυχεν. Ἐγχωρεῖ γὰρ τὴν μὲν Α Γ ἀληθῆ εἶναι, τὴν δὲ Γ Β ψευδῆ, τὴν μὲν Α Γ ἀληθῆ ὅτι οὐ πᾶσι τοῖς οὖσιν ὑπάρχει τὸ Α, τὴν δὲ Γ Β ψευδῆ ὅτι ἀδύνατον ὑπάρχει τῷ Β τὸ Γ, ᾧ μηδενὶ ὑπάρχει τὸ Α· οὐ γὰρ ἔτι ἀληθὴς ἔσται ἡ Α Γ πρότασις· ἅμα δέ, εἰ καὶ εἰσὶν ἀμφότεραι ἀληθεῖς, καὶ τὸ συμπέρασμα ἔσται ἀληθές. Ἀλλὰ καὶ τὴν Γ Β ἐνδέχεται ἀληθῆ εἶναι τῆς ἑτέρας οὔσης ψευδοῦς, οἷον εἰ τὸ Β καὶ ἐν τῷ Γ καὶ ἐν τῷ Α ἐστίν· ἀνάγκη γὰρ θάτερον ὑπὸ θάτερον εἶναι, ὥστ᾿ ἂν λάβῃ τὸ Α μηδενὶ τῶν Γ ὑπάρχειν, ψευδὴς ἔσται ἡ πρότασις. Φανερὸν οὖν ὅτι καὶ τῆς ἑτέρας ψευδοῦς οὔσης καὶ ἀμφοῖν ἔσται ψευδὴς ὁ συλλογισμός.
Ἐν δὲ τῷ μέσῳ σχήματι ὅλας μὲν εἶναι τὰς προτάσεις ἀμφοτέρας ψευδεῖς οὐκ ἐνδέχεται· ὅταν γὰρ τὸ Α παντὶ τῷ Β ὑπάρχῃ, οὐδὲν ἔσται λαβεῖν ὃ τῷ μὲν ἑτέρῳ παντὶ θατέρῳ δ᾿ οὐδενὶ ὑπάρξει· δεῖ δ᾿ οὕτω λαμβάνειν τὰς προτάσεις ὥστε τῷ μὲν ὑπάρχειν τῷ δὲ μὴ ὑπάρχειν, εἴπερ ἔσται συλλογισμός. Εἰ οὖν οὕτω λαμβανόμεναι ψευδεῖς, δῆλον ὡς ἐναντίως ἀνάπαλιν ἕξουσι· τοῦτο δ᾿ ἀδύνατον. Ἐπί τι δ᾿ ἑκατέραν οὐδὲν κωλύει ψευδῆ εἶναι, οἷον εἰ τὸ Γ καὶ τῷ Α καὶ τῷ Β τινὶ ὑπάρχοι· ἂν γὰρ τῷ μὲν Α παντὶ ληφθῇ ὑπάρχον, τῷ δὲ Β μηδενί, ψευδεῖς μὲν ἀμφότεραι αἱ προτάσεις, οὐ μέντοι ὅλαι ἀλλ᾿ ἐπί τι. Καὶ ἀνάπαλιν δὲ τεθέντος τοῦ στερητικοῦ ὡσαύτως. Τὴν δ᾿ ἑτέραν εἶναι ψευδῆ καὶ ὁποτερανοῦν ἐνδέχεται. Ὃ γὰρ ὑπάρχει τῷ Α παντί, καὶ τῷ Β ὑπάρξει· ἐὰν οὖν ληφθῇ τῷ μὲν Α ὅλῳ ὑπάρχειν τὸ Γ, τῷ δὲ Β ὅλῳ μὴ ὑπάρχειν, ἡ μὲν Γ Α ἀληθὴς ἔσται, ἡ δὲ Γ Β ψευδής. Πάλιν ὃ τῷ Β μηδενὶ ὑπάρχει, οὐδὲ τῷ Α παντὶ ὑπάρξει· εἰ γὰρ τῷ Α, καὶ τῷ Β· ἀλλ᾿ οὐχ ὑπῆρχεν. ἐὰν οὖν ληφθῇ τὸ Γ τῷ μὲν Α ὅλῳ ὑπάρχειν, τῷ δὲ Β μηδενί, ἡ μὲν Γ Β πρότασις ἀληθής, ἡ δ᾿ ἑτέρα ψευδής. Ὁμοίως δὲ καὶ μετατεθέντος τοῦ στερητικοῦ. Ὃ γὰρ μηδενὶ ὑπάρχει τῷ Α, οὐδὲ τῷ Β οὐδενὶ ὑπάρξει· ἐὰν οὖν ληφθῇ τὸ Γ τῷ μέν Α ὅλῳ μὴ ὑπάρχειν, τῷ δὲ Β ὅλῳ ὑπάρχειν, ἡ μὲν Α Γ πρότασις ἀληθὴς ἔσται, ἡ ἑτέρα δὲ ψευδής. Καὶ πάλιν, ὃ παντὶ τῷ Β ὑπάρχει, μηδενὶ λαβεῖν τῷ Α ὑπάρχον ψεῦδος. Ἀνάγκη γάρ, εἰ τῷ Β παντί, καὶ τῷ Α τινὶ ὑπάρχειν· ἐὰν οὖν ληφθῇ τῷ μὲν Β παντὶ ὑπάρχειν τὸ Γ, τῷ δὲ Α μηδενί, ἡ μὲν Γ Β ἀληθὴς ἔσται, ἡ δὲ Γ Α ψευδής. Φανερὸν οὖν ὅτι καὶ ἀμφοτέρων οὐσῶν ψευδῶν καὶ τῆς ἑτέρας μόνον ἔσται συλλογισμὸς ἀπατητικὸς ἐν τοῖς ἀτόμοις.