De Interpretatione (On Interpretation)
Ἐπεὶ δ᾿ ἐστὶ τὰ μὲν καθόλου τῶν πραγμάτων τὰ δὲ καθ᾿ ἕκαστον (λέγω δὲ καθόλου μὲν ὃ ἐπὶ πλειόνων πέφυκε κατηγορεῖσθαι, καθ᾿ ἕκαστον δὲ ὃ μή, οἷον ἄνθρωπος μὲν τῶν καθόλου, Καλλίας δὲ τῶν καθ᾿ ἕκαστον)· ἀνάγκη δὲ ἀποφαίνεσθαι ὡς ὑπάρχει τι ἢ μὴ ὁτὲ μὲν τῶν καθόλου τινί, ὁτὲ δὲ τῶν καθ᾿ ἕκαστον. Ἐὰν μὲν οὖν καθόλου ἀποφαίνηται ἐπὶ τοῦ καθόλου ὅτι ὑπάρχει τι ἢ μή, ἔσονται ἐναντίαι αἱ ἀποφάνσεις. Λέγω δὲ ἐπὶ τοῦ καθόλου ἀποφαίνεσθαι καθόλου, οἷον πᾶς ἄνθρωπος λευκός, οὐδεὶς ἄνθρωπος λευκός. Ὅταν δὲ ἐπὶ τῶν καθόλου μέν, μὴ καθόλου δέ, αὗται μὲν οὐκ εἰσὶν ἐναντίαι, τὰ μέντοι δηλούμενα ἔστιν εἶναι ἐναντία ποτέ. Λέγω δὲ τὸ μὴ καθόλου ἀποφαίνεσθαι ἐπὶ τῶν καθόλου, οἷον ἔστι λευκὸς ἄνθρωπος, οὐκ ἔστι λευκὸς ἄνθρωπος· καθόλου γὰρ ὄντος τοῦ ἄνθρωπος οὐχ ὡς καθόλου κέχρηται τῇ ἀποφάνσει· τὸ γὰρ πᾶς οὐ τὸ καθόλου σημαίνει ἀλλ᾿ ὅτι καθόλου. Ἐπὶ δὲ τοῦ κατηγορουμένου καθόλου κατηγορεῖν τὸ καθόλου οὐκ ἔστιν ἀληθές· οὐδεμία γὰρ κατάφασις ἀληθὴς ἔσται, ἐν ᾗ τοῦ κατηγορουμένου καθόλου τὸ καθόλου κατηγορεῖται, οἷον ἔστι πᾶς ἄνθρωπος πᾶν ζῷον. Ἀντικεῖσθαι μὲν οὖν κατάφασιν ἀποφάσει λέγω ἀντιφατικῶς τὴν τὸ καθόλου σημαίνουσαν τῷ αὐτῷ ὅτι οὐ καθόλου, οἷον πᾶς ἄνθρωπος λευκός — οὐ πᾶς ἄνθρωπος λευκός, οὐδεὶς ἄνθρωπος λευκός — ἔστι τις ἄνθρωπος λευκός· ἐναντίως δὲ τὴν τοῦ καθόλου κατάφασιν καὶ τὴν τοῦ καθόλου ἀπόφασιν, οἷον πᾶς ἄνθρωπος λευκός — οὐδεὶς ἄνθρωπος λευκός, πᾶς ἄνθρωπος δίκαιος — οὐδεὶς ἄνθρωπος δίκαιος. Διὸ ταύτας μὲν οὐχ οἷόν τε ἅμα ἀληθεῖς εἶναι, τὰς δὲ ἀντικειμένας αὐταῖς ἐνδέχεταί ποτε ἐπὶ τοῦ αὐτοῦ ἅμα ἀληθεῖς εἶναι, οἷον οὐ πᾶς ἄνθρωπος λευκός καὶ ἔστι τις ἄνθρωπος λευκός. Ὅσαι μὲν οὖν ἀντιφάσεις τῶν καθόλου εἰσὶ καθόλου, ἀνάγκη τὴν ἑτέραν ἀληθῆ εἶναι ἢ ψευδῆ, καὶ ὅσαι ἐπὶ τῶν καθ᾿ ἕκαστα, οἷον ἔστι Σωκράτης λευκός — οὐκ ἔστι Σωκράτης λευκός· ὅσαι δὲ ἐπὶ τῶν καθόλου μέν, μὴ καθόλου δέ, οὐκ ἀεὶ ἡ μὲν ἀληθὴς ἡ δὲ ψευδής. Ἅμα γὰρ ἀληθές ἐστιν εἰπεῖν ὅτι ἔστιν ἄνθρωπος λευκὸς καὶ ὅτι οὐκ ἔστιν ἄνθρωπος λευκός, καὶ ἔστιν ἄνθρωπος καλὸς καὶ οὐκ ἔστιν ἄνθρωπος καλός. Εἰ γὰρ αἰσχρός, καὶ οὐ καλός· καὶ εἰ γίνεταί τι, καὶ οὐκ ἔστιν. Δόξειε δ᾿ ἂν ἐξαίφνης ἄτοπον εἶναι διὰ τὸ φαίνεσθαι σημαίνειν τὸ οὐκ ἔστιν ἄνθρωπος λευκός ἅμα καὶ ὅτι οὐδεὶς ἄνθρωπος λευκός· τὸ δὲ οὔτε ταὐτὸν σημαίνει οὔθ᾿ ἅμα ἐξ ἀνάγκης.
Φανερὸν δὲ ὅτι καὶ μία ἀπόφασις μιᾶς καταφάσεώς ἐστι· τὸ γὰρ αὐτὸ δεῖ ἀποφῆσαι τὴν ἀπόφασιν ὅπερ κατέφησεν ἡ κατάφασις, καὶ ἀπὸ τοῦ αὐτοῦ, ἢ τῶν καθ᾿ ἕκαστά τινος ἢ ἀπὸ τῶν καθόλου τινός, ἢ ὡς καθόλου ἢ ὡς μὴ καθόλου. Λέγω δὲ οἷον ἔστι Σωκράτης λευκός — οὐκ ἔστι Σωκράτης λευκός. Ἐὰν δὲ ἄλλο τι ἢ ἀπ᾿ ἄλλου τὸ αὐτό, οὐχ ἡ ἀντικειμένη ἀλλ᾿ ἔσται ἐκείνης ἑτέρα. Τῇ δὲ πᾶς ἄνθρωπος λευκός ἡ οὐ πᾶς ἄνθρωπος λευκός, τῇ δὲ τὶς ἄνθρωπος λευκός ἡ οὐδεὶς ἄνθρωπος λευκός· τῇ δὲ ἔστιν ἄνθρωπος λευκός ἡ οὐκ ἔστιν ἄνθρωπος λευκός.
Ὅτι μὲν οὖν μιᾷ καταφάσει μία ἀπόφασις ἀντίκειται ἀντιφατικῶς, καὶ τίνες εἰσὶν αὗται, εἴρηται· καὶ ὅτι αἱ ἐναντίαι ἄλλαι, καὶ τίνες εἰσὶν αὗται, εἴρηται· καὶ ὅτι οὐ πᾶσα ἀληθὴς ἢ ψευδὴς ἀντίφασις, καὶ διὰ τί, καὶ πότε ἀληθὴς ἢ ψευδής.