Aristotle: Analytica Priora (Prior Analytics)

καὶ οὕτως ἔσται τὸ συμπέρασμα ἀληθές. Οὐδὲν γὰρ κωλύει τὸ Α καὶ τῷ Β καὶ τῷ Γ ὅλῳ ὑπάρχειν, τὸ μέντοι Β τινὶ τῷ Γ, οἷον τὸ γένος τῷ εἴδει καὶ τῇ διαφορᾷ· τὸ γὰρ ζῷον παντὶ ἀνθρώπῳ καὶ παντὶ πεζῷ, ὁ δ᾿ ἄνθρωπος τινὶ πεζῷ καὶ οὐ παντί. Εἰ οὖν τὸ Α παντὶ τῷ Β καὶ τὸ Β παντὶ τῷ Γ ληφθείη, τὸ Α παντὶ τῷ Γ ὑπάρξει· ὅπερ ἦν ἀληθές. Ὁμοίως δὲ καὶ στερητικῆς οὔσης τῆς Α Β προτάσεως. Ἐνδέχεται γὰρ τὸ Α μήτε τῷ Β μήτε τῷ Γ μηδενὶ ὑπάρχειν, τὸ μέντοι Β τινὶ τῷ Γ, οἷον τὸ γένος τῷ ἐξ ἄλλου γένους εἴδει καὶ διαφορᾷ· τὸ γὰρ ζῷον οὔτε φρονήσει οὐδεμιᾷ ὑπάρχει οὔτε θεωρητικῇ, ἡ δὲ φρόνησις τινὶ θεωρητικῇ. Εἰ οὖν ληφθείη τὸ μὲν Α μηδενὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Γ, οὐδενὶ τῷ Γ τὸ Α ὑπάρξει· τοῦτο δ᾿ ἦν ἀληθές.

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