Aristotle: Analytica Priora (Prior Analytics)

ἀληθές· ἐγχωρεῖ γὰρ τὸ Α τῷ μὲν Β μηδενὶ τῷ δὲ Γ τινὶ ὑπάρχειν, τὸ μέντοι Β μηδενὶ τῷ Γ, οἷον τὸ γένος τῷ ἐξ ἄλλου γένους εἴδει καὶ τῷ συμβεβηκότι τοῖς εἴδεσι τοῖς αὑτοῦ· ζῷον γὰρ ἀριθμῷ μὲν οὐδενὶ λευκῷ δὲ τινὶ ὑπάρχει, καὶ ὁ ἀριθμὸς οὐδενὶ λευκῷ. Ἐὰν οὖν ληφθῇ τὸ Α παντὶ τῷ Β καὶ τὸ Β τινὶ τῷ Γ, τὸ μὲν συμπέρασμα ἀληθές, αἱ δὲ προτάσεις ἄμφω ψευδεῖς. Ὁμοίως δὲ καὶ στερητικῆς οὔσης τῆς Α Β. Οὐδὲν γὰρ κωλύει τὸ Α τῷ μὲν Β ὅλῳ ὑπάρχειν τῷ δὲ Γ τινὶ μὴ ὑπάρχειν, μηδὲ τὸ Β μηδενὶ τῷ Γ, οἷον ζῷον κύκνῳ μὲν παντὶ μέλανι δὲ τινὶ οὐχ ὑπάρχει, κύκνος δ᾿ οὐδενὶ μέλανι. Ὥστ᾿ εἰ ληφθείη τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β τινὶ τῷ Γ, τὸ Α τινὶ τῷ Γ οὐχ ὑπάρχει. Τὸ μὲν οὖν συμπέρασμα ἀληθές, αἱ δὲ προτάσεις ψευδεῖς.

Ἐν δὲ τῷ μέσῳ σχήματι πάντως ἐγχωρεῖ διὰ ψευδῶν ἀληθὲς συλλογίσασθαι, καὶ ἀμφοτέρων τῶν προτάσεων ὅλων ψευδῶν λαμβανομένων καὶ ἐπί τι ἑκατέρας, καὶ τῆς μὲν ἀληθοῦς τῆς δὲ ψευδοῦς οὔσης ὅλης, ὁποτερασοῦν ψευδοῦς τιθεμένης, καὶ εἰ ἀμφότεραι ἐπί τι ψευδεῖς, καὶ εἰ ἡ μὲν ἁπλῶς ἀληθὴς ἡ δ᾿ ἐπί τι ψευδής, καὶ εἰ ἡ μὲν ὅλη ψευδὴς ἡ δ᾿ ἐπί τι ἀληθής, καὶ ἐν τοῖς καθόλου καὶ ἐπὶ τῶν ἐν μέρει συλλογισμῶν. Εἰ γὰρ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχει τῷ δὲ Γ παντί, οἷον ζῷον λίθῳ μὲν οὐδενὶ ἵππῳ δὲ παντί, ἐὰν ἐναντίως τεθῶσιν αἱ προτάσεις καὶ ληφθῇ τὸ Α τῷ μὲν Β παντὶ τῷ δὲ Γ μηδενί, ἐκ ψευδῶν ὅλων τῶν προτάσεων ἀληθὲς ἔσται τὸ συμπέρασμα. Ὁμοίως δὲ καὶ εἰ τῷ μὲν Β παντὶ τῷ δὲ Γ μηδενὶ ὑπάρχει τὸ Α· ὁ γὰρ αὐτὸς ἔσται συλλογισμός. Πάλιν εἰ ἡ μὲν ἑτέρα ὅλη ψευδὴς ἡ δ᾿ ἑτέρα ὅλη ἀληθής· οὐδὲν γὰρ κωλύει τὸ Α καὶ τῷ Β καὶ τῷ Γ παντὶ ὑπάρχειν, τὸ μέντοι Β μηδενὶ τῷ Γ, οἷον τὸ γένος τοῖς μὴ ὑπ᾿ ἄλληλα εἴδεσιν. Τὸ γὰρ ζῷον καὶ ἵππῳ παντὶ καὶ ἀνθρώπῳ, καὶ οὐδεὶς ἄνθρωπος ἵππος. Ἐὰν οὖν ληφθῇ τὸ ζῷον τῷ μὲν παντὶ τῷ δὲ μηδενὶ ὑπάρχειν, ἡ μὲν ὅλη ψευδὴς ἔσται ἡ δ᾿