Aristotle: Analytica Priora (Prior Analytics)

τὸ ἐν ἀρχῇ λεχθέν, ἀνάγκη τὸ Α τινὶ τῷ Γ ὑπάρχειν. Καὶ εἰ τὸ μὲν Α μηδενὶ τῷ Β ὑπάρχει, τὸ δὲ Β τινὶ τῷ Γ, ἀνάγκη τὸ Α τινὶ τῷ Γ μὴ ὑπάρχειν· ὥρισται γὰρ καὶ τὸ κατὰ μηδενὸς πῶς λέγομεν· ὥστε ἔσται συλλογισμὸς τέλειος. Ὁμοίως δὲ καὶ εἰ ἀδιόριστον εἴη τὸ Β Γ, κατηγορικὸν ὄν· ὁ γὰρ αὐτὸς ἔσται συλλογισμὸς ἀδιορίστου τε καὶ ἐν μέρει ληφθέντος. Ἐὰν δὲ πρὸς τὸ ἔλαττον ἄκρον τὸ καθόλου τεθῇ ἢ κατηγορικὸν ἢ στερητικόν, οὐκ ἔσται συλλογισμός, οὔτε καταφατικοῦ οὔτε ἀποφατικοῦ οὔτε ἀδιορίστου ἢ κατὰ μέρος ὄντος, οἷον εἰ τὸ μὲν Α τινὶ τῷ Β ὑπάρχει ἢ μὴ ὑπάρχει, τὸ δὲ Β παντὶ τῷ Γ ὑπάρχει· ὅροι τοῦ ὑπάρχειν ἀγαθόν—ἕξις—φρόνησις, τοῦ μὴ ὑπάρχειν ἀγαθόν—ἕξις—ἀμαθία. Πάλιν εἰ τὸ μὲν Β μηδενὶ τῷ Γ, τὸ δὲ Α τινὶ τῷ Β ἢ ὑπάρχει ἢ μὴ ὑπάρχει ἢ μὴ παντὶ ὑπάρχει, οὐδ᾿ οὕτως ἔσται συλλογισμός. Ὅροι λευκόν—ἵππος—κύκνος, λευκόν—ἵππος—κόραξ. Οἱ αὐτοὶ δὲ καὶ εἰ τὸ Α Β ἀδιόριστον. Οὐδ᾿ ὅταν τὸ μὲν πρὸς τῷ μείζονι ἄκρῳ καθόλου γένηται ἢ κατηγορικὸν ἢ στερητικόν, τὸ δὲ πρὸς τῷ ἐλάττονι στερητικὸν κατὰ μέρος, οὐκ ἔσται συλλογισμὸς ἀδιορίστου τε καὶ ἐν μέρει ληφθέντος, οἷον εἰ τὸ μὲν Α παντὶ τῷ Β ὑπάρχει, τὸ δὲ Β τινὶ τῷ Γ μή, ἢ εἰ μὴ παντὶ ὑπάρχει· ᾧ γὰρ ἄν τινι μὴ ὑπάρχῃ τὸ μέσον, τούτῳ καὶ παντὶ καὶ οὐδενὶ ἀκολουθήσει τὸ πρῶτον. Ὑποκείσθωσαν γὰρ οἱ ὅροι ζῷον—ἄνθρωπος—λευκόν· εἶτα καὶ ὧν μὴ κατηγορεῖται λευκῶν ὁ ἄνθρωπος, εἰλήφθω κύκνος καὶ χιών· οὐκοῦν τὸ ζῷον τοῦ μὲν παντὸς κατηγορεῖται, τοῦ δὲ οὐδενός, ὥστε οὐκ ἔσται συλλογισμός. Πάλιν τὸ μὲν Α μηδενὶ τῷ Β ὑπαρχέτω, τὸ δὲ Β τινὶ τῷ Γ μὴ ὑπαρχέτω· καὶ οἱ ὅροι ἔστωσαν ἄψυχον—ἄνθρωπος—λευκόν· εἶτα εἰλήφθωσαν, ὧν μὴ κατηγορεῖται λευκῶν ὁ ἄνθρωπος, κύκνος καὶ