aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.19
Ἔστι δὲ πᾶς συλλογισμὸς διὰ τριῶν ὅρων , καὶ ὁ μὲν δεικνύναι δυνάμενος ὅτι ὑπάρχει τὸ Α τῷ Γ διὰ τὸ ὑπάρχειν τῷ Β καὶ τοῦτο τῷ Γ , ὁ δὲ στερητικός , τὴν μὲν ἑτέραν πρότασιν ἔχων ὅτι ὑπάρχει τι ἄλλο ἄλλῳ , τὴν δ᾿ ἑτέραν ὅτι οὐχ ὑπάρχει . Φανερὸν οὖν ὅτι αἱ μὲν ἀρχαὶ καὶ αἱ λεγόμεναι ὑποθέσεις αὗταί εἰσι · λαβόντα γὰρ ταῦτα οὕτως ἀνάγκη δεικνύναι , οἷον ὅτι τὸ Α τῷ Γ ὑπάρχει διὰ τοῦ Β , πάλιν δ᾿ ὅτι τὸ Α τῷ Β δι᾿ ἄλλου μέσου , καὶ ὅτι τὸ Β τῷ Γ ὡσαύτως . Κατὰ μὲν οὖν δόξαν συλλογιζομένοις καὶ μόνον διαλεκτικῶς δῆλον ὅτι τοῦτο μόνον σκεπτέον , εἰ ἐξ ὧν ἐνδέχεται ἐνδοξοτάτων γίνεται ὁ συλλογισμός , ὥστ᾿ εἰ καὶ μὴ ἔστι τι τῇ ἀληθείᾳ τῶν Α Β μέσον , δοκεῖ δὲ εἶναι , ὁ διὰ τούτου συλλογιζόμενος συλλελόγισται διαλεκτικῶς · πρὸς δ᾿ ἀλήθειαν ἐκ τῶν ὑπαρχόντων δεῖ σκοπεῖν . Ἔχει δ᾿ οὕτως . Ἐπειδὴ ἔστιν ὃ αὐτὸ μὲν κατ᾿ ἄλλου κατηγορεῖται μὴ κατὰ συμβεβηκός,—λέγω δὲ τὸ κατὰ συμβεβηκός , οἷον τὸ λευκόν ποτ᾿ ἐκεῖνό φαμεν εἶναι ἄνθρωπον , οὐχ ὁμοίως λέγοντες καὶ τὸν ἄνθρωπον λευκόν · ὁ μὲν γὰρ οὐχ ἕτερόν τι ὢν λευκόν ἐστι , τὸ δὲ λευκόν , ὅτι συμβέβηκε τῷ ἀνθρώπῳ εἶναι λευκῷ . Ἔστιν οὖν ἔνια τοιαῦτα ὥστε καθ᾿ αὑτὰ κατηγορεῖσθαι . Ἔστω δὴ τὸ Γ τοιοῦτον , ὃ αὐτὸ μὲν μηκέτι ὑπάρχει ἄλλῳ , τούτῳ δὲ τὸ Β πρώτῳ , καὶ οὐκ ἔστιν ἄλλο μεταξύ . Καὶ πάλιν τὸ Ε τῷ Ζ ὡσαύτως , καὶ τοῦτο τῷ Β . Ἂρ᾿ οὖν τοῦτο ἀνάγκη στῆναι , ἢ ἐνδέχεται εἰς ἄπειρον ἰέναι ; καὶ πάλιν εἰ τοῦ μὲν Α μηδὲν κατηγορεῖται καθ᾿ αὑτό , τὸ δὲ Α τῷ Θ ὑπάρχει πρώτῳ , μεταξὺ δὲ μηδενὶ προτέρῳ , καὶ τὸ Θ τῷ Η , καὶ τοῦτο τῷ Β , ἆρα καὶ τοῦτο ἵστασθαι ἀνάγκη , ἢ καὶ τοῦτ᾿ ἐνδέχεται εἰς ἄπειρον ἰέναι ; διαφέρει δὲ τοῦτο τοῦ πρότερον τοσοῦτον , ὅτι τὸ μέν ἐστιν , ἆρα ἐνδέχεται ἀρξαμένῳ ἀπὸ τοιούτου ὃ μηδενὶ ὑπάρχει ἑτέρῳ ἀλλ᾿ ἄλλο ἐκείνῳ , ἐπὶ τὸ ἄνω εἰς ἄπειρον ἰέναι , θάτερον δὲ ἀρξάμενον ἀπὸ τοιούτου ὃ αὐτὸ μὲν ἄλλου , ἐκείνου δὲ μηδὲν κατηγορεῖται , ἐπὶ τὸ κάτω σκοπεῖν εἰ ἐνδέχεται εἰς ἄπειρον ἰέναι . Ἔτι τὰ μεταξὺ ἆρ᾿ ἐνδέχεται ἄπειρα εἶναι ὡρισμένων τῶν ἄκρων ; λέγω δ᾿ οἷον εἰ τὸ Α τῷ Γ ὑπάρχει , μέσον δ᾿ αὐτῶν τὸ Β , τοῦ δὲ Β καὶ τοῦ Α ἕτερα , τούτων δ᾿ ἄλλα , ἆρα καὶ ταῦτα εἰς ἄπειρον ἐνδέχεται ἰέναι , ἢ ἀδύνατον ; ἔστι δὲ τοῦτο σκοπεῖν ταὐτὸ καὶ εἰ αἱ ἀποδείξεις εἰς ἄπειρον ἔρχονται , καὶ εἰ ἔστιν ἀπόδειξις ἅπαντος , ἢ πρὸς ἄλληλα περαίνεται . Ὁμοίως δὲ λέγω καὶ ἐπὶ τῶν στερητικῶν συλλογισμῶν καὶ προτάσεων , οἷον εἰ τὸ Α μὴ ὑπάρχει τῷ Β μηδενί , ἤτοι πρώτῳ , ἢ ἔσται τι μεταξὺ ᾧ προτέρῳ οὐχ ὑπάρχει , οἷον εἰ τὸ Η , ὃ τῷ Β ὑπάρχει παντί , καὶ πάλιν τούτου ἔτι ἄλλῳ προτέρῳ , οἷον εἰ τὸ Θ , ὃ τῷ Η παντὶ ὑπάρχει . Καὶ γὰρ ἐπὶ τούτων ἢ ἄπειρα οἷς ὑπάρχει προτέροις , ἢ ἵσταται . Ἐπὶ δὲ τῶν ἀντιστρεφόντων οὐχ ὁμοίως ἔχει . Οὐ γὰρ ἔστιν ἐν τοῖς κατηγορουμένοις οὗ πρώτου κατηγορεῖται ἢ τελευταίου · πάντα γὰρ πρὸς πάντα ταύτῃ γε ὁμοίως ἔχει , εἴτ᾿ ἐστὶν ἄπειρα τὰ κατ᾿ αὐτοῦ κατηγορούμενα , εἴτ᾿ ἀμφότερά ἐστι τὰ ἀπορηθέντα ἄπειρα · πλὴν εἰ μὴ ὁμοίως ἐνδέχεται ἀντιστρέφειν , ἀλλὰ τὸ μὲν ὡς συμβεβηκός , τὸ δ᾿ ὡς κατηγορίαν .
Lemmas: εἰμί δέ πᾶς συλλογισμός διά τρεῖς ὅρος , καί ὁ μέν δείκνυμι δύναμαι ὅτι ὑπάρχω ὁ Α ὁ Γ διά ὁ ὑπάρχω ὁ Β καί οὗτος ὁ Γ , ὁ δέ στερητικός , ὁ μέν ἕτερος πρότασις ἔχω ὅτι ὑπάρχω τις ἄλλος ἄλλος , ὁ δέ ἕτερος ὅτι οὐ ὑπάρχω . φανερός οὖν ὅτι ὁ μέν ἀρχή καί ὁ λέγω ὑπόθεσις οὗτος εἰμί · λαμβάνω γάρ οὗτος οὕτως ἀνάγκη δείκνυμι , οἷος ὅτι ὁ Α ὁ Γ ὑπάρχω διά ὁ Β , πάλιν δέ ὅτι ὁ Α ὁ Β διά ἄλλος μέσος , καί ὅτι ὁ Β ὁ Γ ὡσαύτως . κατά μέν οὖν δόξα συλλογίζομαι καί μόνος διαλεκτικός δῆλος ὅτι οὗτος μόνος σκοπέω , εἰ ἐκ ὅς ἐνδέχομαι ἔνδοξος γίγνομαι ὁ συλλογισμός , ὥστε εἰ καί μή εἰμί τις ὁ ἀλήθεια ὁ Α Β μέσος , δοκέω δέ εἰμί , ὁ διά οὗτος συλλογίζομαι συλλογίζομαι διαλεκτικός · πρός δέ ἀλήθεια ἐκ ὁ ὑπάρχω δέω σκοπέω . ἔχω δέ οὕτως . ἐπειδή εἰμί ὅς αὐτός μέν κατά ἄλλος κατηγορέω μή κατά συμβαίνω δέ ὁ κατά συμβαίνω , οἷος ὁ λευκός ποτέ ἐκεῖνος φημί εἰμί ἄνθρωπος , οὐ ὅμοιος λέγω καί ὁ ἄνθρωπος λευκός · ὁ μέν γάρ οὐ ἕτερος τις εἰμί λευκός εἰμί , ὁ δέ λευκός , ὅτι συμβαίνω ὁ ἄνθρωπος εἰμί λευκός . εἰμί οὖν ἔνιοι τοιοῦτος ὥστε κατά ἑαυτοῦ κατηγορέω . εἰμί δή ὁ Γ τοιοῦτος , ὅς αὐτός μέν μηκέτι ὑπάρχω ἄλλος , οὗτος δέ ὁ Β πρῶτος , καί οὐ εἰμί ἄλλος μεταξύ . καί πάλιν ὁ Ε ὁ Ζ ὡσαύτως , καί οὗτος ὁ Β . ἄρα οὖν οὗτος ἀνάγκη ἵστημι , ἤ ἐνδέχομαι εἰς ἄπειρος ἔρχομαι ; καί πάλιν εἰ ὁ μέν Α μηδείς κατηγορέω κατά ἑαυτοῦ , ὁ δέ Α ὁ Θ ὑπάρχω πρῶτος , μεταξύ δέ μηδείς πρότερος , καί ὁ Θ ὁ Η , καί οὗτος ὁ Β , ἆρα καί οὗτος ἵστημι ἀνάγκη , ἤ καί οὗτος ἐνδέχομαι εἰς ἄπειρος ἔρχομαι ; διαφέρω δέ οὗτος ὁ πρότερος τοσοῦτος , ὅτι ὁ μέν εἰμί , ἆρα ἐνδέχομαι ἄρχω ἀπό τοιοῦτος ὅς μηδείς ὑπάρχω ἕτερος ἀλλά ἄλλος ἐκεῖνος , ἐπί ὁ ἄνω εἰς ἄπειρος ἔρχομαι , ἕτερος δέ ἄρχω ἀπό τοιοῦτος ὅς αὐτός μέν ἄλλος , ἐκεῖνος δέ μηδείς κατηγορέω , ἐπί ὁ κάτω σκοπέω εἰ ἐνδέχομαι εἰς ἄπειρος ἔρχομαι . ἔτι ὁ μεταξύ ἆρα ἐνδέχομαι ἄπειρος εἰμί ὁρίζω ὁ ἄκρον ; λέγω δέ οἷος εἰ ὁ Α ὁ Γ ὑπάρχω , μέσος δέ αὐτός ὁ Β , ὁ δέ Β καί ὁ Α ἕτερος , οὗτος δέ ἄλλος , ἆρα καί οὗτος εἰς ἄπειρος ἐνδέχομαι ἔρχομαι , ἤ ἀδύνατος ; εἰμί δέ οὗτος σκοπέω αὐτός καί εἰ ὁ ἀπόδειξις εἰς ἄπειρος ἔρχομαι , καί εἰ εἰμί ἀπόδειξις ἅπας , ἤ πρός ἀλλήλων περαίνω . ὅμοιος δέ λέγω καί ἐπί ὁ στερητικός συλλογισμός καί πρότασις , οἷος εἰ ὁ Α μή ὑπάρχω ὁ Β μηδείς , ἤτοι πρῶτος , ἤ εἰμί τις μεταξύ ὅς πρότερος οὐ ὑπάρχω , οἷος εἰ ὁ Η , ὅς ὁ Β ὑπάρχω πᾶς , καί πάλιν οὗτος ἔτι ἄλλος πρότερος , οἷος εἰ ὁ Θ , ὅς ὁ Η πᾶς ὑπάρχω . καί γάρ ἐπί οὗτος ἤ ἄπειρος ὅς ὑπάρχω πρότερος , ἤ ἵστημι . ἐπί δέ ὁ ἀντιστρέφω οὐ ὅμοιος ἔχω . οὐ γάρ εἰμί ἐν ὁ κατηγορέω ὅς πρῶτος κατηγορέω ἤ τελευταῖος · πᾶς γάρ πρός πᾶς οὗτος γε ὅμοιος ἔχω , εἴτε εἰμί ἄπειρος ὁ κατά αὐτός κατηγορέω , εἴτε ἀμφότερος εἰμί ὁ ἀπολέγω ἄπειρος · πλήν εἰ μή ὅμοιος ἐνδέχομαι ἀντιστρέφω , ἀλλά ὁ μέν ὡς συμβαίνω , ὁ δέ ὡς κατηγορία .