aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora priora.1.18
Εἰ δ᾿ ἡ μὲν ὑπάρχειν ἡ δ᾿ ἐνδέχεσθαι σημαίνει , τῆς μὲν κατηγορικῆς ὑπάρχειν τεθείσης τῆς δὲ στερητικῆς ἐνδέχεσθαι οὐδέποτ᾿ ἔσται συλλογισμός , οὔτε καθόλου τῶν ὅρων οὔτ᾿ ἐν μέρει λαμβανομένων . Ἀπόδειξις δ᾿ ἡ αὐτὴ καὶ διὰ τῶν αὐτῶν ὅρων . Ὅταν δ᾿ ἡ μὲν καταφατικὴ ἐνδέχεσθαι ἡ δὲ στερητικὴ ὑπάρχειν , ἔσται συλλογισμός . Εἰλήφθω γὰρ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχειν , τῷ δὲ Γ παντὶ ἐνδέχεσθαι . Ἀντιστραφέντος οὖν τοῦ στερητικοῦ τὸ Β τῷ Α οὐδενὶ ὑπάρξει · τὸ δὲ Α παντὶ τῷ Γ ἐνεδέχετο · γίνεται δὴ συλλογισμὸς ὅτι ἐνδέχεται τὸ Β μηδενὶ τῷ Γ διὰ τοῦ πρώτου σχήματος . Ὁμοίως δὲ καὶ εἰ πρὸς τῷ Γ τεθείη τὸ στερητικόν . Ἐὰν δ᾿ ἀμφότεραι μὲν ὦσι στερητικαί , σημαίνῃ δ᾿ ἡ μὲν μὴ ὑπάρχειν ἡ δ᾿ ἐνδέχεσθαι μὴ ὑπάρχειν , δι᾿ αὐτῶν μὲν τῶν εἰλημμένων οὐδὲν συμβαίνει ἀναγκαῖον , ἀντιστραφείσης δὲ τῆς κατὰ τὸ ἐνδέχεσθαι προτάσεως γίνεται συλλογισμὸς ὅτι τὸ Β τῷ Γ ἐνδέχεται μηδενὶ ὑπάρχειν , καθάπερ ἐν τοῖς πρότερον · ἔσται γὰρ πάλιν τὸ πρῶτον σχῆμα . Ἐὰν δ᾿ ἀμφότεραι τεθῶσι κατηγορικαί , οὐκ ἔσται συλλογισμός . Ὅροι τοῦ μὲν ὑπάρχειν ὑγίεια—ζῷον—ἄνθρωπος , τοῦ δὲ μὴ ὑπάρχειν ὑγίεια—ἵππος—ἄνθρωπος . Τὸν αὐτὸν δὲ τρόπον ἕξει κἀπὶ τῶν ἐν μέρει συλλογισμῶν . Ὅταν μὲν γὰρ ᾖ τὸ καταφατικὸν ὑπάρχον , εἴτε καθόλου εἴτ᾿ ἐν μέρει ληφθέν , οὐδεὶς ἔσται συλλογισμός ( τοῦτο δ᾿ ὁμοίως καὶ διὰ τῶν αὐτῶν ὅρων δείκνυται τοῖς πρότερον ) , ὅταν δὲ τὸ στερητικόν , ἔσται διὰ τῆς ἀντιστροφῆς , καθάπερ ἐν τοῖς πρότερον . Πάλιν ἐὰν ἄμφω μὲν τὰ διαστήματα στερητικὰ ληφθῇ , καθόλου δὲ τὸ μὴ ὑπάρχειν , ἐξ αὐτῶν μὲν τῶν προτάσεων οὐκ ἔσται τὸ ἀναγκαῖον , ἀντιστραφέντος δὲ τοῦ ἐνδέχεσθαι , καθάπερ ἐν τοῖς πρότερον , ἔσται συλλογισμός . Ἐὰν δὲ ὑπάρχον μὲν ᾖ τὸ στερητικόν , ἐν μέρει δὲ ληφθῇ , οὐκ ἔσται συλλογισμός , οὔτε καταφατικῆς οὔτε στερητικῆς οὔσης τῆς ἑτέρας προτάσεως . Οὐδ᾿ ὅταν ἀμφότεραι ληφθῶσιν ἀδιόριστοι ἢ καταφατικαὶ ἢ ἀποφατικαὶ ἢ κατὰ μέρος . Ἀπόδειξις δ᾿ ἡ αὐτὴ καὶ διὰ τῶν αὐτῶν ὅρων .
Lemmas: εἰ δέ ὁ μέν ὑπάρχω ὁ δέ ἐνδέχομαι σημαίνω , ὁ μέν κατηγορικός ὑπάρχω τίθημι ὁ δέ στερητικός ἐνδέχομαι οὐδέποτε εἰμί συλλογισμός , οὔτε καθόλου ὁ ὅρος οὔτε ἐν μέρος λαμβάνω . ἀπόδειξις δέ ὁ αὐτός καί διά ὁ αὐτός ὅρος . ὅταν δέ ὁ μέν καταφατικός ἐνδέχομαι ὁ δέ στερητικός ὑπάρχω , εἰμί συλλογισμός . λαμβάνω γάρ ὁ Α ὁ μέν Β μηδείς ὑπάρχω , ὁ δέ Γ πᾶς ἐνδέχομαι . ἀντιστρέφω οὖν ὁ στερητικός ὁ Β ὁ Α οὐδείς ὑπάρχω · ὁ δέ Α πᾶς ὁ Γ ἐνδέχομαι · γίγνομαι δή συλλογισμός ὅτι ἐνδέχομαι ὁ Β μηδείς ὁ Γ διά ὁ πρῶτος σχῆμα . ὅμοιος δέ καί εἰ πρός ὁ Γ τίθημι ὁ στερητικός . ἐάν δέ ἀμφότερος μέν εἰμί στερητικός , σημαίνω δέ ὁ μέν μή ὑπάρχω ὁ δέ ἐνδέχομαι μή ὑπάρχω , διά αὐτός μέν ὁ λαμβάνω οὐδείς συμβαίνω ἀναγκαῖος , ἀντιστρέφω δέ ὁ κατά ὁ ἐνδέχομαι πρότασις γίγνομαι συλλογισμός ὅτι ὁ Β ὁ Γ ἐνδέχομαι μηδείς ὑπάρχω , καθά ἐν ὁ πρότερος · εἰμί γάρ πάλιν ὁ πρῶτος σχῆμα . ἐάν δέ ἀμφότερος τίθημι κατηγορικός , οὐ εἰμί συλλογισμός . ὅρος ὁ μέν ὑπάρχω ὑγίεια—ζῷον—ἄνθρωπος , ὁ δέ μή ὑπάρχω ὑγίεια—ἵππος—ἄνθρωπος . ὁ αὐτός δέ τρόπος ἔχω ἐπί ὁ ἐν μέρος συλλογισμός . ὅταν μέν γάρ εἰμί ὁ καταφατικός ὑπάρχω , εἴτε καθόλου εἴτε ἐν μέρος λαμβάνω , οὐδείς εἰμί συλλογισμός ( οὗτος δέ ὅμοιος καί διά ὁ αὐτός ὅρος δείκνυμι ὁ πρότερος ) , ὅταν δέ ὁ στερητικός , εἰμί διά ὁ ἀντιστροφή , καθά ἐν ὁ πρότερος . πάλιν ἐάν ἄμφω μέν ὁ διάστημα στερητικός λαμβάνω , καθόλου δέ ὁ μή ὑπάρχω , ἐκ αὐτός μέν ὁ πρότασις οὐ εἰμί ὁ ἀναγκαῖος , ἀντιστρέφω δέ ὁ ἐνδέχομαι , καθά ἐν ὁ πρότερος , εἰμί συλλογισμός . ἐάν δέ ὑπάρχω μέν εἰμί ὁ στερητικός , ἐν μέρος δέ λαμβάνω , οὐ εἰμί συλλογισμός , οὔτε καταφατικός οὔτε στερητικός εἰμί ὁ ἕτερος πρότασις . οὐδέ ὅταν ἀμφότερος λαμβάνω ἀδιόριστος ἤ καταφατικός ἤ ἀποφατικός ἤ κατά μέρος . ἀπόδειξις δέ ὁ αὐτός καί διά ὁ αὐτός ὅρος .