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