ciscoriordan/open-greek-corpus-annotations huggingface dataset:
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora priora.2.25
Ἀπαγωγὴ δ᾿ ἐστὶν ὅταν τῷ μὲν μέσῳ τὸ πρῶτον δῆλον ᾖ ὑπάρχον , τῷ δ᾿ ἐσχάτῳ τὸ μέσον ἄδηλον μέν , ὁμοίως δὲ πιστὸν ἢ μᾶλλον τοῦ συμπεράσματος , ἔτι ἂν ὀλίγα ᾖ τὰ μέσα τοῦ ἐσχάτου καὶ τοῦ μέσου · πάντως γὰρ ἐγγύτερον εἶναι συμβαίνει τῆς ἐπιστήμης . Οἷον ἔστω τὸ Α τὸ διδακτόν , ἐφ᾿ οὗ Β ἐπιστήμη , τὸ Γ δικαιοσύνη . Ἡ μὲν οὖν ἐπιστήμη ὅτι διδακτόν , φανερόν · ἡ δ᾿ ἀρετὴ εἰ ἐπιστήμη , ἄδηλον . Εἰ οὖν ὁμοίως ἢ μᾶλλον πιστὸν τὸ Β Γ τοῦ Α Γ , ἀπαγωγή ἐστιν · ἐγγύτερον γὰρ τοῦ ἐπίστασθαι διὰ τὸ προσειληφέναι τὴν Α Γ ἐπιστήμην πρότερον οὐκ ἔχοντας . Ἤ πάλιν εἰ ὀλίγα τὰ μέσα τῶν Β Γ · καὶ γὰρ οὕτως ἐγγύτερον τοῦ εἰδέναι . Οἷον εἰ τὸ Δ εἴη τετραγωνίζεσθαι , τὸ δ᾿ ἐφ᾿ ᾧ Ε εὐθύγραμμον , τὸ δ᾿ ἐφ᾿ ᾧ Ζ κύκλος · εἰ τοῦ Ε Ζ ἓν μόνον εἴη μέσον , τὸ μετὰ μηνίσκων ἴσον γίνεσθαι εὐθυγράμμῳ τὸν κύκλον , ἐγγὺς ἂν εἴη τοῦ εἰδέναι . Ὅταν δὲ μήτε πιστότερον ᾖ τὸ Β Γ τοῦ Α Γ μήτ᾿ ὀλίγα τὰ μέσα , οὐ λέγω ἀπαγωγήν . Οὐδ᾿ ὅταν ἄμεσον ᾖ τὸ Β Γ · ἐπιστήμη γὰρ τὸ τοιοῦτον .
Lemmas: ἀπαγωγή δέ εἰμί ὅταν ὁ μέν μέσος ὁ πρῶτος δῆλος εἰμί ὑπάρχω , ὁ δέ ἔσχατος ὁ μέσος ἄδηλος μέν , ὅμοιος δέ πιστός ἤ μάλα ὁ συμπέρασμα , ἔτι ἐάν ὀλίγος εἰμί ὁ μέσος ὁ ἔσχατος καί ὁ μέσος · πάντως γάρ ἐγγύς εἰμί συμβαίνω ὁ ἐπιστήμη . οἷος εἰμί ὁ Α ὁ διδακτός , ἐπί ὅς Β ἐπιστήμη , ὁ Γ δικαιοσύνη . ὁ μέν οὖν ἐπιστήμη ὅτι διδακτός , φανερός · ὁ δέ ἀρετή εἰ ἐπιστήμη , ἄδηλος . εἰ οὖν ὅμοιος ἤ μάλα πιστός ὁ Β Γ ὁ Α Γ , ἀπαγωγή εἰμί · ἐγγύς γάρ ὁ ἐπίσταμαι διά ὁ προσλαμβάνω ὁ Α Γ ἐπιστήμη πρότερος οὐ ἔχω . ἤ πάλιν εἰ ὀλίγος ὁ μέσος ὁ Β Γ · καί γάρ οὕτως ἐγγύς ὁ οἶδα . οἷον εἰ ὁ Δ εἰμί τετραγωνίζω , ὁ δέ ἐπί ὅς Ε εὐθύγραμμος , ὁ δέ ἐπί ὅς Ζ κύκλος · εἰ ὁ Ε Ζ εἷς μόνος εἰμί μέσος , ὁ μετά μηνίσκος ἴσος γίγνομαι εὐθύγραμμος ὁ κύκλος , ἐγγύς ἄν εἰμί ὁ οἶδα . ὅταν δέ μήτε πιστός εἰμί ὁ Β Γ ὁ Α Γ μήτε ὀλίγος ὁ μέσος , οὐ λέγω ἀπαγωγή . οὐδέ ὅταν ἄμεσος εἰμί ὁ Β Γ · ἐπιστήμη γάρ ὁ τοιοῦτος .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.7
Οὐκ ἄρα ἔστιν ἐξ ἄλλου γένους μεταβάντα δεῖξαι , οἷον τὸ γεωμετρικὸν ἀριθμητικῇ . Τρία γάρ ἐστι τὰ ἐν ταῖς ἀποδείξεσιν , ἓν μὲν τὸ ἀποδεικνύμενον τὸ συμπέρασμα · τοῦτο δ᾿ ἐστὶ τὸ ὑπάρχον γένει τινὶ καθ᾿ αὑτό . Ἒν δὲ τὰ ἀξιώματα · ἀξιώματα δ᾿ ἐστὶν ἐξ ὧν . Τρίτον τὸ γένος τὸ ὑποκείμενον , οὗ τὰ πάθη καὶ τὰ καθ᾿ αὑτὰ συμβεβηκότα δηλοῖ ἡ ἀπόδειξις . Ἐξ ὧν μὲν οὖν ἡ ἀπόδειξις , ἐνδέχεται τὰ αὐτὰ εἶναι · ὧν δὲ τὸ γένος ἕτερον , ὥσπερ ἀριθμητικῆς καὶ γεωμετρίας , οὐκ ἔστι τὴν ἀριθμητικὴν ἀπόδειξιν ἐφαρμόσαι ἐπὶ τὰ τοῖς μεγέθεσι συμβεβηκότα , εἰ μὴ τὰ μεγέθη ἀριθμοί εἰσι · τοῦτο δ᾿ ὡς ἐνδέχεται ἐπί τινων , ὕστερον λεχθήσεται . Ἡ δ᾿ ἀριθμητικὴ ἀπόδειξις ἀεὶ ἔχει τὸ γένος περὶ ὃ ἡ ἀπόδειξις , καὶ αἱ ἄλλαι ὁμοίως . Ὤστ᾿ ἢ ἁπλῶς ἀνάγκη τὸ αὐτὸ εἶναι γένος ἢ πῇ , εἰ μέλλει ἡ ἀπόδειξις μεταβαίνειν . Ἄλλως δ᾿ ὅτι ἀδύνατον , δῆλον · ἐκ γὰρ τοῦ αὐτοῦ γένους ἀνάγκη τὰ ἄκρα καὶ τὰ μέσα εἶναι . Εἰ γὰρ μὴ καθ᾿ αὑτά , συμβεβηκότα ἔσται . Διὰ τοῦτο τῇ γεωμετρίᾳ οὐκ ἔστι δεῖξαι ὅτι τῶν ἐναντίων μία ἐπιστήμη , ἀλλ᾿ οὐδ᾿ ὅτι οἱ δύο κύβοι κύβος · οὐδ᾿ ἄλλῃ ἐπιστήμῃ τὸ ἑτέρας , ἀλλ᾿ ἢ ὅσα οὕτως ἔχει πρὸς ἄλληλα ὥστ᾿ εἶναι θάτερον ὑπὸ θάτερον , οἷον τὰ ὀπτικὰ πρὸς γεωμετρίαν καὶ τὰ ἁρμονικὰ πρὸς ἀριθμητικήν . Οὐδ᾿ εἴ τι ὑπάρχει ταῖς γραμμαῖς μὴ ᾗ γραμμαὶ καὶ ᾗ ἐκ τῶν ἀρχῶν τῶν ἰδίων , οἷον εἰ καλλίστη τῶν γραμμῶν ἡ εὐθεῖα ἢ εἰ ἐναντίως ἔχει τῇ περιφερείᾳ · οὐ γὰρ ᾗ τὸ ἴδιον γένος αὐτῶν , ὑπάρχει , ἀλλ᾿ ᾗ κοινόν τι .
Lemmas: οὐ ἄρα εἰμί ἐκ ἄλλος γένος μεταβαίνω δείκνυμι , οἷος ὁ γεωμετρικός ἀριθμητικός . τρεῖς γάρ εἰμί ὁ ἐν ὁ ἀπόδειξις , εἷς μέν ὁ ἀποδείκνυμι ὁ συμπέρασμα · οὗτος δέ εἰμί ὁ ὑπάρχω γένος τις κατά ἑαυτοῦ . ἐν δέ ὁ ἀξίωμα · ἀξίωμα δέ εἰμί ἐκ ὅς . τρίτος ὁ γένος ὁ ὑπόκειμαι , ὅς ὁ πάθος καί ὁ κατά ἑαυτοῦ συμβαίνω δηλόω ὁ ἀπόδειξις . ἐκ ὅς μέν οὖν ὁ ἀπόδειξις , ἐνδέχομαι ὁ αὐτός εἰμί · ὅς δέ ὁ γένος ἕτερος , ὥσπερ ἀριθμητικός καί γεωμετρία , οὐ εἰμί ὁ ἀριθμητικός ἀπόδειξις ἐφαρμόζω ἐπί ὁ ὁ μέγεθος συμβαίνω , εἰ μή ὁ μέγεθος ἀριθμός εἰμί · οὗτος δέ ὡς ἐνδέχομαι ἐπί τις , ὕστερον λέγω . ὁ δέ ἀριθμητικός ἀπόδειξις ἀεί ἔχω ὁ γένος περί ὅς ὁ ἀπόδειξις , καί ὁ ἄλλος ὅμοιος . ὥστε ἤ ἁπλῶς ἀνάγκη ὁ αὐτός εἰμί γένος ἤ πῇ , εἰ μέλλω ὁ ἀπόδειξις μεταβαίνω . ἄλλος δέ ὅτι ἀδύνατος , δῆλος · ἐκ γάρ ὁ αὐτός γένος ἀνάγκη ὁ ἄκρον καί ὁ μέσος εἰμί . εἰ γάρ μή κατά ἑαυτοῦ , συμβαίνω εἰμί . διά οὗτος ὁ γεωμετρία οὐ εἰμί δείκνυμι ὅτι ὁ ἐναντίος εἷς ἐπιστήμη , ἀλλά οὐδέ ὅτι ὁ δύο κύβος κύβος · οὐδέ ἄλλος ἐπιστήμη ὁ ἕτερος , ἀλλά ἤ ὅσος οὕτως ἔχω πρός ἀλλήλων ὥστε εἰμί ἕτερος ὑπό ἕτερος , οἷος ὁ ὀπτικός πρός γεωμετρία καί ὁ ἁρμονικός πρός ἀριθμητικός . οὐδέ εἰ τις ὑπάρχω ὁ γραμμή μή ᾗ γραμμή καί ᾗ ἐκ ὁ ἀρχή ὁ ἴδιος , οἷος εἰ καλός ὁ γραμμή ὁ εὐθύς ἤ εἰ ἐναντίος ἔχω ὁ περιφέρεια · οὐ γάρ ᾗ ὁ ἴδιος γένος αὐτός , ὑπάρχω , ἀλλά ᾗ κοινός τις .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.8
Φανερὸν δὲ καὶ ἐὰν ὦσιν αἱ προτάσεις καθόλου ἐξ ὧν ὁ συλλογισμός , ὅτι ἀνάγκη καὶ τὸ συμπέρασμα ἀΐδιον εἶναι τῆς τοιαύτης ἀποδείξεως καὶ τῆς ἁπλῶς εἰπεῖν ἀποδείξεως . οὐκ ἔστιν ἄρα ἀπόδειξις τῶν φθαρτῶν οὐδ᾿ ἐπιστήμη ἁπλῶς , ἀλλ᾿ οὕτως ὥσπερ κατὰ συμβεβηκός , ὅτι οὐ καθόλου αὐτοῦ ἐστὶν ἀλλὰ ποτὲ καὶ πῶς . Ὅταν δ᾿ ᾖ , ἀνάγκη τὴν ἑτέραν μὴ καθόλου εἶναι πρότασιν καὶ φθαρτήν , φθαρτὴν μὲν ὅτι καὶ τὸ συμπέρασμα οὔσης , μὴ καθόλου δὲ ὅτι ᾧ μὲν ἔσται ᾧ δ᾿ οὐκ ἔσται ἐφ᾿ ὧν , ὥστ᾿ οὐκ ἔστι συλλογίσασθαι καθόλου , ἀλλ᾿ ὅτι νῦν . Ὁμοίως δ᾿ ἔχει καὶ περὶ ὁρισμούς , ἐπείπερ ἐστὶν ὁ ὁρισμὸς ἢ ἀρχὴ ἀποδείξεως ἢ ἀπόδειξις θέσει διαφέρουσα ἢ συμπέρασμά τι ἀποδείξεως . Αἱ δὲ τῶν πολλάκις γινομένων ἀποδείξεις καὶ ἐπιστῆμαι , οἷον σελήνης ἐκλείψεως , δῆλον ὅτι ᾗ μὲν τοιαίδ᾿ εἰσίν , ἀεί εἰσιν , ᾗ δ᾿ οὐκ ἀεί , κατὰ μέρος εἰσίν . Ὥσπερ δ᾿ ἡ ἔκλειψις , ὡσαύτως τοῖς ἄλλοις .
Lemmas: φανερός δέ καί ἐάν εἰμί ὁ πρότασις καθόλου ἐκ ὅς ὁ συλλογισμός , ὅτι ἀνάγκη καί ὁ συμπέρασμα ἀίδιος εἰμί ὁ τοιοῦτος ἀπόδειξις καί ὁ ἁπλῶς λέγω ἀπόδειξις . οὐ εἰμί ἄρα ἀπόδειξις ὁ φθαρτός οὐδέ ἐπιστήμη ἁπλῶς , ἀλλά οὕτως ὥσπερ κατά συμβαίνω , ὅτι οὐ καθόλου αὐτός εἰμί ἀλλά ποτέ καί πῶς . ὅταν δέ εἰμί , ἀνάγκη ὁ ἕτερος μή καθόλου εἰμί πρότασις καί φθαρτός , φθαρτός μέν ὅτι καί ὁ συμπέρασμα εἰμί , μή καθόλου δέ ὅτι ὅς μέν εἰμί ὅς δέ οὐ εἰμί ἐπί ὅς , ὥστε οὐ εἰμί συλλογίζομαι καθόλου , ἀλλά ὅτι νῦν . ὅμοιος δέ ἔχω καί περί ὁρισμός , ἐπεί εἰμί ὁ ὁρισμός ἤ ἀρχή ἀπόδειξις ἤ ἀπόδειξις θέσις διαφέρω ἤ συμπέρασμα τις ἀπόδειξις . ὁ δέ ὁ πολλάκις γίγνομαι ἀπόδειξις καί ἐπιστήμη , οἷος σελήνη ἔκλειψις , δῆλος ὅτι ᾗ μέν τοιαίς εἰμί , ἀεί εἰμί , ᾗ δέ οὐ ἀεί , κατά μέρος εἰμί . ὥσπερ δέ ὁ ἔκλειψις , ὡσαύτως ὁ ἄλλος .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.14
Τῶν δὲ σχημάτων ἐπιστημονικὸν μάλιστα τὸ πρῶτόν ἐστιν . Αἵ τε γὰρ μαθηματικαὶ τῶν ἐπιστημῶν διὰ τούτου φέρουσι τὰς ἀποδείξεις , οἷον ἀριθμητικὴ καὶ γεωμετρία καὶ ὀπτική , καὶ σχεδὸν ὡς εἰπεῖν ὅσαι τοῦ διότι ποιοῦνται τὴν σκέψιν · ἢ γὰρ ὅλως ἢ ὡς ἐπὶ τὸ πολὺ καὶ ἐν τοῖς πλείστοις διὰ τούτου τοῦ σχήματος ὁ τοῦ διότι συλλογισμός . Ὥστε κἂν διὰ τοῦτ᾿ εἴη μάλιστα ἐπιστημονικόν · κυριώτατον γὰρ τοῦ εἰδέναι τὸ διότι θεωρεῖν . Εἶτα τὴν τοῦ τί ἐστιν ἐπιστήμην διὰ μόνου τούτου θηρεῦσαι δυνατόν . Ἐν μὲν γὰρ τῷ μέσῳ σχήματι οὐ γίνεται κατηγορικὸς συλλογισμός , ἡ δὲ τοῦ τί ἐστιν ἐπιστήμη καταφάσεως · ἐν δὲ τῷ ἐσχάτῳ γίνεται μὲν ἀλλ᾿ οὐ καθόλου , τὸ δὲ τί ἐστι τῶν καθόλου ἐστίν · οὐ γὰρ πῇ ζῷον δίπουν ὁ ἄνθρωπος . Ἔτι τοῦτο μὲν ἐκείνων οὐδὲν προσδεῖται , ἐκεῖνα δὲ διὰ τούτου καταπυκνοῦται καὶ αὔξεται , ἕως ἂν εἰς τὰ ἄμεσα ἔλθῃ . Φανερὸν οὖν ὅτι κυριώτατον τοῦ ἐπίστασθαι τὸ πρῶτον σχῆμα .
Lemmas: ὁ δέ σχῆμα ἐπιστημονικός μάλα ὁ πρῶτος εἰμί . ὁ τε γάρ μαθηματικός ὁ ἐπιστήμη διά οὗτος φέρω ὁ ἀπόδειξις , οἷος ἀριθμητικός καί γεωμετρία καί ὀπτικός , καί σχεδόν ὡς λέγω ὅσος ὁ διότι ποιέω ὁ σκέψις · ἤ γάρ ὅλος ἤ ὡς ἐπί ὁ πολύς καί ἐν ὁ πολύς διά οὗτος ὁ σχῆμα ὁ ὁ διότι συλλογισμός . ὥστε ἄν διά οὗτος εἰμί μάλα ἐπιστημονικός · κύριος γάρ ὁ οἶδα ὁ διότι θεωρέω . εἶτα ὁ ὁ τίς εἰμί ἐπιστήμη διά μόνος οὗτος θηρεύω δυνατός . ἐν μέν γάρ ὁ μέσος σχῆμα οὐ γίγνομαι κατηγορικός συλλογισμός , ὁ δέ ὁ τίς εἰμί ἐπιστήμη κατάφασις · ἐν δέ ὁ ἔσχατος γίγνομαι μέν ἀλλά οὐ καθόλου , ὁ δέ τις εἰμί ὁ καθόλου εἰμί · οὐ γάρ πῇ ζῷον δίπους ὁ ἄνθρωπος . ἔτι οὗτος μέν ἐκεῖνος οὐδείς προσδέω , ἐκεῖνος δέ διά οὗτος καταπυκνόω καί αὐξάνω , ἕως ἄν εἰς ὁ ἄμεσος ἔρχομαι . φανερός οὖν ὅτι κύριος ὁ ἐπίσταμαι ὁ πρῶτος σχῆμα .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.18
Φανερὸν δὲ καὶ ὅτι , εἴ τις αἴσθησις ἐκλέλοιπεν , ἀνάγκη καὶ ἐπιστήμην τινὰ ἐκλελοιπέναι , ἣν ἀδύνατον λαβεῖν , εἴπερ μανθάνομεν ἢ ἐπαγωγῇ ἢ ἀποδείξει . Ἔστι δ᾿ ἡ μὲν ἀπόδειξις ἐκ τῶν καθόλου , ἡ δ᾿ ἐπαγωγὴ ἐκ τῶν κατὰ μέρος · ἀδύνατον δὲ τὰ καθόλου θεωρῆσαι μὴ δι᾿ ἐπαγωγῆς , ἐπεὶ καὶ τὰ ἐξ ἀφαιρέσεως λεγόμενα ἔσται δι᾿ ἐπαγωγῆς γνώριμα ποιεῖν , ὅτι ὑπάρχει ἑκάστῳ γένει ἔνια , καὶ εἰ μὴ χωριστά ἐστιν , ᾗ τοιονδὶ ἕκαστον . Ἐπαχθῆναι δὲ μὴ ἔχοντας αἴσθησιν ἀδύνατον . Τῶν γὰρ καθ᾿ ἕκαστον ἡ αἴσθησις · οὐ γὰρ ἐνδέχεται λαβεῖν αὐτῶν τὴν ἐπιστήμην · οὔτε γὰρ ἐκ τῶν καθόλου ἄνευ ἐπαγωγῆς , οὔτε δι᾿ ἐπαγωγῆς ἄνευ τῆς αἰσθήσεως .
Lemmas: φανερός δέ καί ὅτι , εἰ τις αἴσθησις ἐκλείπω , ἀνάγκη καί ἐπιστήμη τις ἐκλείπω , ὅς ἀδύνατος λαμβάνω , εἴπερ μανθάνω ἤ ἐπαγωγή ἤ ἀπόδειξις . εἰμί δέ ὁ μέν ἀπόδειξις ἐκ ὁ καθόλου , ὁ δέ ἐπαγωγή ἐκ ὁ κατά μέρος · ἀδύνατος δέ ὁ καθόλου θεωρέω μή διά ἐπαγωγή , ἐπεί καί ὁ ἐκ ἀφαίρεσις λέγω εἰμί διά ἐπαγωγή γνώριμος ποιέω , ὅτι ὑπάρχω ἕκαστος γένος ἔνιοι , καί εἰ μή χωριστός εἰμί , ᾗ τοονδ́ς ἕκαστος . ἐπάγω δέ μή ἔχω αἴσθησις ἀδύνατος . ὁ γάρ κατά ἕκαστος ὁ αἴσθησις · οὐ γάρ ἐνδέχομαι λαμβάνω αὐτός ὁ ἐπιστήμη · οὔτε γάρ ἐκ ὁ καθόλου ἄνευ ἐπαγωγή , οὔτε διά ἐπαγωγή ἄνευ ὁ αἴσθησις .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.20
Ὅτι μὲν οὖν τὰ μεταξὺ οὐκ ἐνδέχεται ἄπειρα εἶναι , εἰ ἐπὶ τὸ κάτω καὶ τὸ ἄνω ἵστανται αἱ κατηγορίαι , δῆλον . Λέγω δ᾿ ἄνω μὲν τὴν ἐπὶ τὸ καθόλου μᾶλλον , κάτω δὲ τὴν ἐπὶ τὸ κατὰ μέρος . Εἰ γὰρ τοῦ Α κατηγορουμένου κατὰ τοῦ Ζ ἄπειρα τὰ μεταξύ , ἐφ᾿ ὧν Β , δῆλον ὅτι ἐνδέχοιτ᾿ ἂν ὥστε καὶ ἀπὸ τοῦ Α ἐπὶ τὸ κάτω ἕτερον ἑτέρου κατηγορεῖσθαι εἰς ἄπειρον ( πρὶν γὰρ ἐπὶ τὸ Ζ ἐλθεῖν , ἄπειρα τὰ μεταξύ ) καὶ ἀπὸ τοῦ Ζ ἐπὶ τὸ ἄνω ἄπειρα , πρὶν ἐπὶ τὸ Α ἐλθεῖν . Ὤστ᾿ εἰ ταῦτα ἀδύνατα , καὶ τοῦ Α καὶ Ζ ἀδύνατον ἄπειρα εἶναι μεταξύ . Οὐδὲ γὰρ εἴ τις λέγοι ὅτι τὰ μέν ἐστι τῶν Α Β ἐχόμενα ἀλλήλων ὥστε μὴ εἶναι μεταξύ , τὰ δ᾿ οὐκ ἔστι λαβεῖν , οὐδὲν διαφέρει . Ὃ γὰρ ἂν λάβω τῶν Β , ἔσται πρὸς τὸ Α ἢ πρὸς τὸ Ζ ἢ ἄπειρα τὰ μεταξὺ ἢ οὔ . Ἀφ᾿ οὗ δὴ πρῶτον ἄπειρα , εἴτ᾿ εὐθὺς εἴτε μὴ εὐθύς , οὐδὲν διαφέρει · τὰ γὰρ μετὰ ταῦτα ἄπειρά ἐστιν .
Lemmas: ὅτι μέν οὖν ὁ μεταξύ οὐ ἐνδέχομαι ἄπειρος εἰμί , εἰ ἐπί ὁ κάτω καί ὁ ἄνω ἵστημι ὁ κατηγορία , δῆλος . λέγω δέ ἄνω μέν ὁ ἐπί ὁ καθόλου μάλα , κάτω δέ ὁ ἐπί ὁ κατά μέρος . εἰ γάρ ὁ Α κατηγορέω κατά ὁ Ζ ἄπειρος ὁ μεταξύ , ἐπί ὅς Β , δῆλος ὅτι ἐνδέχομαι ἄν ὥστε καί ἀπό ὁ Α ἐπί ὁ κάτω ἕτερος ἕτερος κατηγορέω εἰς ἄπειρος ( πρίν γάρ ἐπί ὁ Ζ ἔρχομαι , ἄπειρος ὁ μεταξύ ) καί ἀπό ὁ Ζ ἐπί ὁ ἄνω ἄπειρος , πρίν ἐπί ὁ Α ἔρχομαι . ὥστε εἰ οὗτος ἀδύνατος , καί ὁ Α καί Ζ ἀδύνατος ἄπειρος εἰμί μεταξύ . οὐδέ γάρ εἰ τις λέγω ὅτι ὁ μέν εἰμί ὁ Α Β ἔχω ἀλλήλων ὥστε μή εἰμί μεταξύ , ὁ δέ οὐ εἰμί λαμβάνω , οὐδείς διαφέρω . ὅς γάρ ἄν λαμβάνω ὁ Β , εἰμί πρός ὁ Α ἤ πρός ὁ Ζ ἤ ἄπειρος ὁ μεταξύ ἤ οὐ . ἀπό ὅς δή πρῶτος ἄπειρος , εἴτε εὐθύς εἴτε μή εὐθύς , οὐδείς διαφέρω · ὁ γάρ μετά οὗτος ἄπειρος εἰμί .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.27
Ἀκριβεστέρα δ᾿ ἐπιστήμη ἐπιστήμης καὶ προτέρα ἥ τε τοῦ ὅτι καὶ διότι ἡ αὐτή , ἀλλὰ μὴ χωρὶς τοῦ ὅτι τῆς τοῦ διότι , καὶ ἡ μὴ καθ᾿ ὑποκειμένου τῆς καθ᾿ ὑποκειμένου , οἷον ἀριθμητικὴ ἁρμονικῆς , καὶ ἡ ἐξ ἐλαττόνων τῆς ἐκ προσθέσεως , οἷον γεωμετρίας ἀριθμητική . Λέγω δ᾿ ἐκ προσθέσεως , οἷον μονὰς οὐσία ἄθετος , στιγμὴ δὲ οὐσία θετός · ταύτην ἐκ προσθέσεως .
Lemmas: ἀκριβής δέ ἐπιστήμη ἐπιστήμη καί πρότερος ὁ τε ὁ ὅτι καί διότι ὁ αὐτός , ἀλλά μή χωρίς ὁ ὅτι ὁ ὁ διότι , καί ὁ μή κατά ὑπόκειμαι ὁ κατά ὑπόκειμαι , οἷος ἀριθμητικός ἁρμονικός , καί ὁ ἐκ ἐλαχύς ὁ ἐκ πρόσθεσις , οἷος γεωμετρία ἀριθμητικός . λέγω δέ ἐκ πρόσθεσις , οἷος μονή οὐσία ἄθετος , στιγμή δέ οὐσία θετός · οὗτος ἐκ πρόσθεσις .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.28
Μία δ᾿ ἐπιστήμη ἐστὶν ἡ ἑνὸς γένους , ὅσα ἐκ τῶν πρώτων σύγκειται καὶ μέρη ἐστὶν ἢ πάθη τούτων καθ᾿ αὑτά . Ἑτέρα δ᾿ ἐπιστήμη ἐστὶν ἑτέρας , ὅσων αἱ ἀρχαὶ μήτ᾿ ἐκ τῶν αὐτῶν μήθ᾿ ἕτεραι ἐκ τῶν ἑτέρων . Τούτου δὲ σημεῖον , ὅταν εἰς τὰ ἀναπόδεικτα ἔλθῃ · δεῖ γὰρ αὐτὰ ἐν τῷ αὐτῷ γένει εἶναι τοῖς ἀποδεδειγμένοις . Σημεῖον δὲ καὶ τούτου , ὅταν τὰ δεικνύμενα δι᾿ αὐτῶν ἐν ταὐτῷ γένει ὦσι καὶ συγγενῆ .
Lemmas: εἷς δέ ἐπιστήμη εἰμί ὁ εἷς γένος , ὅσος ἐκ ὁ πρῶτος σύγκειμαι καί μέρος εἰμί ἤ πάθος οὗτος κατά ἑαυτοῦ . ἕτερος δέ ἐπιστήμη εἰμί ἕτερος , ὅσος ὁ ἀρχή μήτε ἐκ ὁ αὐτός μήτε ἕτερος ἐκ ὁ ἕτερος . οὗτος δέ σημεῖον , ὅταν εἰς ὁ ἀναπόδεικτος ἔρχομαι · δέω γάρ αὐτός ἐν ὁ αὐτός γένος εἰμί ὁ ἀποδείκνυμι . σημεῖον δέ καί οὗτος , ὅταν ὁ δείκνυμι διά αὐτός ἐν αὐτός γένος εἰμί καί συγγενής .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.29
Πλείους δ᾿ ἀποδείξεις εἶναι τοῦ αὐτοῦ ἐγχωρεῖ οὐ μόνον ἐκ τῆς αὐτῆς συστοιχίας λαμβάνοντι μὴ τὸ συνεχὲς μέσον , οἷον τῶν Α Β τὸ Γ καὶ Δ καὶ Ζ , ἀλλὰ καὶ ἐξ ἑτέρας . Οἷον ἔστω τὸ Α μεταβάλλειν , τὸ δ᾿ ἐφ᾿ ᾧ Δ κινεῖσθαι , τὸ δὲ Β ἥδεσθαι , καὶ πάλιν τὸ Η ἠρεμίζεσθαι . Ἀληθὲς οὖν καὶ τὸ Δ τοῦ Β καὶ τὸ Α τοῦ Δ κατηγορεῖν · ὁ γὰρ ἡδόμενος κινεῖται καὶ τὸ κινούμενον μεταβάλλει . Πάλιν τὸ Α τοῦ Η καὶ τὸ Η τοῦ Β ἀληθὲς κατηγορεῖν · πᾶς γὰρ ὁ ἡδόμενος ἠρεμίζεται καὶ ὁ ἠρεμιζόμενος μεταβάλλει . Ὥστε δι᾿ ἑτέρων μέσων καὶ οὐκ ἐκ τῆς αὐτῆς συστοιχίας ὁ συλλογισμός . Οὐ μὴν ὥστε μηδέτερον κατὰ μηδετέρου λέγεσθαι τῶν μέσων · ἀνάγκη γὰρ τῷ αὐτῷ τινὶ ἄμφω ὑπάρχειν . Ἐπισκέψασθαι δὲ καὶ διὰ τῶν ἄλλων σχημάτων , ὁσαχῶς ἐνδέχεται τοῦ αὐτοῦ γενέσθαι συλλογισμόν .
Lemmas: πολύς δέ ἀπόδειξις εἰμί ὁ αὐτός ἐγχωρέω οὐ μόνος ἐκ ὁ αὐτός συστοιχία λαμβάνω μή ὁ συνεχής μέσος , οἷος ὁ Α Β ὁ Γ καί Δ καί Ζ , ἀλλά καί ἐκ ἕτερος . οἷος εἰμί ὁ Α μεταβάλλω , ὁ δέ ἐπί ὅς Δ κινέω , ὁ δέ Β ἥδομαι , καί πάλιν ὁ Η ἠρεμίζω . ἀληθής οὖν καί ὁ Δ ὁ Β καί ὁ Α ὁ Δ κατηγορέω · ὁ γάρ ἥδομαι κινέω καί ὁ κινέω μεταβάλλω . πάλιν ὁ Α ὁ Η καί ὁ Η ὁ Β ἀληθής κατηγορέω · πᾶς γάρ ὁ ἥδομαι ἠρεμίζω καί ὁ ἠρεμίζω μεταβάλλω . ὥστε διά ἕτερος μέσος καί οὐ ἐκ ὁ αὐτός συστοιχία ὁ συλλογισμός . οὐ μήν ὥστε μηδέτερος κατά μηδέτερος λέγω ὁ μέσος · ἀνάγκη γάρ ὁ αὐτός τις ἄμφω ὑπάρχω . ἐπισκοπέω δέ καί διά ὁ ἄλλος σχῆμα , ὁσαχῶς ἐνδέχομαι ὁ αὐτός γίγνομαι συλλογισμός .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.30
Τοῦ δ᾿ ἀπὸ τύχης οὐκ ἔστιν ἐπιστήμη δι᾿ ἀποδείξεως . Οὔτε γὰρ ὡς ἀναγκαῖον οὔθ᾿ ὡς ἐπὶ τὸ πολὺ τὸ ἀπὸ τύχης ἐστίν , ἀλλὰ τὸ παρὰ ταῦτα γινόμενον · ἡ δ᾿ ἀπόδειξις θατέρου τούτων . Πᾶς γὰρ συλλογισμὸς ἢ δι᾿ ἀναγκαίων ἢ διὰ τῶν ὡς ἐπὶ τὸ πολὺ προτάσεων · καὶ εἰ μὲν αἱ προτάσεις ἀναγκαῖαι , καὶ τὸ συμπέρασμα ἀναγκαῖον , εἰ δ᾿ ὡς ἐπὶ τὸ πολύ , καὶ τὸ συμπέρασμα τοιοῦτον . Ὥστ᾿ εἰ τὸ ἀπὸ τύχης μήθ᾿ ὡς ἐπὶ τὸ πολὺ μήτ᾿ ἀναγκαῖον , οὐκ ἂν εἴη αὐτοῦ ἀπόδειξις .
Lemmas: ὁ δέ ἀπό τύχη οὐ εἰμί ἐπιστήμη διά ἀπόδειξις . οὔτε γάρ ὡς ἀναγκαῖος οὔτε ὡς ἐπί ὁ πολύς ὁ ἀπό τύχη εἰμί , ἀλλά ὁ παρά οὗτος γίγνομαι · ὁ δέ ἀπόδειξις ἕτερος οὗτος . πᾶς γάρ συλλογισμός ἤ διά ἀναγκαῖος ἤ διά ὁ ὡς ἐπί ὁ πολύς πρότασις · καί εἰ μέν ὁ πρότασις ἀναγκαῖος , καί ὁ συμπέρασμα ἀναγκαῖος , εἰ δέ ὡς ἐπί ὁ πολύς , καί ὁ συμπέρασμα τοιοῦτος . ὥστε εἰ ὁ ἀπό τύχη μήτε ὡς ἐπί ὁ πολύς μήτε ἀναγκαῖος , οὐ ἄν εἰμί αὐτός ἀπόδειξις .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.1.34
Ἡ δ᾿ ἀγχίνοιά ἐστιν εὐστοχία τις ἐν ἀσκέπτῳ χρόνῳ τοῦ μέσου , οἷον εἴ τις ἰδὼν ὅτι ἡ σελήνη τὸ λαμπρὸν ἀεὶ ἔχει πρὸς τὸν ἥλιον , ταχὺ ἐνενόησε διὰ τί τοῦτο , ὅτι διὰ τὸ λάμπειν ἀπὸ τοῦ ἡλίου · ἢ διαλεγόμενον πλουσίῳ ἔγνω διότι δανείζεται · ἢ διότι φίλοι , ὅτι ἐχθροὶ τοῦ αὐτοῦ . Πάντα γὰρ τὰ αἴτια τὰ μέσα ὁ ἰδὼν τὰ ἄκρα ἐγνώρισεν . Τὸ λαμπρὸν εἶναι τὸ πρὸς τὸν ἥλιον ἐφ᾿ οὗ Α , τὸ λάμπειν ἀπὸ τοῦ ἡλίου Β , σελήνη τὸ Γ . Ὑπάρχει δὴ τῇ μὲν σελήνῃ τῷ Γ τὸ Β , τὸ λάμπειν ἀπὸ τοῦ ἡλίου · τῷ δὲ Β τὸ Α , τὸ πρὸς τοῦτ᾿ εἶναι τὸ λαμπρόν , ἀφ᾿ οὗ λάμπει · ὥστε καὶ τῷ Γ τὸ Α διὰ τοῦ Β .
Lemmas: ὁ δέ ἀγχίνοια εἰμί εὐστοχία τις ἐν ἄσκεπτος χρόνος ὁ μέσος , οἷος εἰ τις ὁράω ὅτι ὁ σελήνη ὁ λαμπρός ἀεί ἔχω πρός ὁ ἥλιος , ταχύς ἐννοέω διά τίς οὗτος , ὅτι διά ὁ λάμπω ἀπό ὁ ἥλιος · ἤ διαλέγω πλούσιος γιγνώσκω διότι δανείζω · ἤ διότι φίλος , ὅτι ἐχθρός ὁ αὐτός . πᾶς γάρ ὁ αἴτιος ὁ μέσος ὁ ὁράω ὁ ἄκρος γνωρίζω . ὁ λαμπρός εἰμί ὁ πρός ὁ ἥλιος ἐπί ὅς Α , ὁ λάμπω ἀπό ὁ ἥλιος Β , σελήνη ὁ Γ . ὑπάρχω δή ὁ μέν σελήνη ὁ Γ ὁ Β , ὁ λάμπω ἀπό ὁ ἥλιος · ὁ δέ Β ὁ Α , ὁ πρός οὗτος εἰμί ὁ λαμπρός , ἀπό ὅς λάμπω · ὥστε καί ὁ Γ ὁ Α διά ὁ Β .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.2.1
Τὰ ζητούμενά ἐστιν ἴσα τὸν ἀριθμὸν ὅσαπερ ἐπιστάμεθα . Ζητοῦμεν δὲ τέτταρα , τὸ ὅτι , τὸ διότι , εἰ ἔστι , τί ἐστιν . Ὅταν μὲν γὰρ πότερον τόδε ἢ τόδε ζητῶμεν , εἰς ἀριθμὸν θέντες , οἷον πότερον ἐκλείπει ὁ ἥλιος ἢ οὔ , τὸ ὅτι ζητοῦμεν . Σημεῖον δὲ τούτου · εὑρόντες γὰρ ὅτι ἐκλείπει πεπαύμεθα · καὶ ἐὰν ἐξ ἀρχῆς εἰδῶμεν ὅτι ἐκλείπει , οὐ ζητοῦμεν πότερον . Ὅταν δὲ εἰδῶμεν τὸ ὅτι , τὸ διότι ζητοῦμεν , οἷον εἰδότες ὅτι ἐκλείπει καὶ ὅτι κινεῖται ἡ γῆ , τὸ διότι ἐκλείπει ἢ διότι κινεῖται ζητοῦμεν . Ταῦτα μὲν οὖν οὕτως , ἔνια δ᾿ ἄλλον τρόπον ζητοῦμεν , οἷον εἰ ἔστιν ἢ μή ἐστι κένταυρος ἢ θεός . Τὸ δ᾿ εἰ ἔστιν ἢ μὴ ἁπλῶς λέγω , ἀλλ᾿ οὐκ εἰ λευκὸς ἢ μή . Γνόντες δὲ ὅτι ἔστι , τί ἐστι ζητοῦμεν , οἷον τί οὖν ἐστὶ θεός , ἢ τί ἐστιν ἄνθρωπος ;
Lemmas: ὁ ζητέω εἰμί ἴσος ὁ ἀριθμός ὅσος ἐπίσταμαι . ζητέω δέ τέσσαρες , ὁ ὅτι , ὁ διότι , εἰ εἰμί , τίς εἰμί . ὅταν μέν γάρ πότερος ὅδε ἤ ὅδε ζητέω , εἰς ἀριθμός τίθημι , οἷος πότερος ἐκλείπω ὁ ἥλιος ἤ οὐ , ὁ ὅτι ζητέω . σημεῖον δέ οὗτος · εὑρίσκω γάρ ὅτι ἐκλείπω παύω · καί ἐάν ἐκ ἀρχή οἶδα ὅτι ἐκλείπω , οὐ ζητέω πότερος . ὅταν δέ οἶδα ὁ ὅτι , ὁ διότι ζητέω , οἷος οἶδα ὅτι ἐκλείπω καί ὅτι κινέω ὁ γῆ , ὁ διότι ἐκλείπω ἤ διότι κινέω ζητέω . οὗτος μέν οὖν οὕτως , ἔνιοι δέ ἄλλος τρόπος ζητέω , οἷος εἰ εἰμί ἤ μή εἰμί κένταυρος ἤ θεός . ὁ δέ εἰ εἰμί ἤ μή ἁπλῶς λέγω , ἀλλά οὐ εἰ λευκός ἤ μή . γιγνώσκω δέ ὅτι εἰμί , τίς εἰμί ζητέω , οἷος τίς οὖν εἰμί θεός , ἤ τίς εἰμί ἄνθρωπος ;
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.2.6
Ἀλλ᾿ ἆρα ἔστι καὶ ἀποδεῖξαι τὸ τί ἐστι κατ᾿ οὐσίαν , ἐξ ὑποθέσεως δέ , λαβόντα τὸ μὲν τί ἦν εἶναι τὸ ἐκ τῶν ἐν τῷ τί ἐστιν ἰδίων , ταδὶ δὲ ἐν τῷ τί ἐστι μόνα , καὶ ἴδιον τὸ πᾶν ; τοῦτο γάρ ἐστι τὸ εἶναι ἐκείνῳ . Ἢ πάλιν εἴληφε τὸ τί ἦν εἶναι καὶ ἐν τούτῳ ; ἀνάγκη γὰρ διὰ τοῦ μέσου δεῖξαι . Ἔτι ὥσπερ οὐδ᾿ ἐν συλλογισμῷ λαμβάνεται τί ἐστι τὸ συλλελογίσθαι ( ἀεὶ γὰρ ὅλη ἢ μέρος ἡ πρότασις , ἐξ ὧν ὁ συλλογισμός ) , οὕτως οὐδὲ τὸ τί ἦν εἶναι δεῖ ἐνεῖναι ἐν τῷ συλλογισμῷ , ἀλλὰ χωρὶς τοῦτο τῶν κειμένων εἶναι , καὶ πρὸς τὸν ἀμφισβητοῦντα εἰ συλλελόγισται ἢ μὴ τοῦτο , ἀπαντᾶν ὅτι · τοῦτο γὰρ ἦν συλλογισμός . Καὶ πρὸς τὸν ὅτι οὐ τὸ τί ἦν εἶναι συλλελόγισται , ὅτι ναί · τοῦτο γὰρ ἔκειτο ἡμῖν τὸ τί ἦν εἶναι . Ὥστε ἀνάγκη καὶ ἄνευ τοῦ τί συλλογισμὸς ἢ τοῦ τί ἦν εἶναι συλλελογίσθαί τι . Κἂν ἐξ ὑποθέσεως δὲ δεικνύῃ , οἷον εἰ τῷ κακῷ ἐστὶ τὸ διαιρετῷ εἶναι , τῷ δ᾿ ἐναντίῳ τὸ τῷ ἐναντίῳ εἶναι , ὅσοις ἔστι τι ἐναντίον · τὸ δ᾿ ἀγαθὸν τῷ κακῷ ἐναντίον καὶ τὸ ἀδιαίρετον τῷ διαιρετῷ · ἔστιν ἄρα τὸ ἀγαθῷ εἶναι τὸ ἀδιαιρέτῳ εἶναι . Καὶ γὰρ ἐνταῦθα λαβὼν τὸ τί ἦν εἶναι δείκνυσι · λαμβάνει δ᾿ εἰς τὸ δεῖξαι τὸ τί ἦν εἶναι . Ἕτερον μέντοι ἔστω · καὶ γὰρ ἐν ταῖς ἀποδείξεσιν , ὅτι ἐστὶ τόδε κατὰ τοῦδε , ἀλλὰ μὴ αὐτό , μηδὲ οὗ ὁ αὐτὸς λόγος , καὶ ἀντιστρέφει . Πρὸς ἀμφοτέρους δέ , τόν τε κατὰ διαίρεσιν δεικνύντα καὶ πρὸς τὸν οὕτω συλλογισμόν , τὸ αὐτὸ ἀπόρημα · διὰ τί ἔσται ὁ ἄνθρωπος ζῷον δίπουν πεζόν , ἀλλ᾿ οὐ ζῷον καὶ πεζόν ; ἐκ γὰρ τῶν λαμβανομένων οὐδεμία ἀνάγκη ἐστὶν ἓν γίνεσθαι τὸ κατηγορούμενον , ἀλλ᾿ ὥσπερ ἂν ἄνθρωπος ὁ αὐτὸς εἴη μουσικὸς καὶ γραμματικός .
Lemmas: ἀλλά ἆρα εἰμί καί ἀποδείκνυμι ὁ τίς εἰμί κατά οὐσία , ἐκ ὑπόθεσις δέ , λαμβάνω ὁ μέν τίς εἰμί εἰμί ὁ ἐκ ὁ ἐν ὁ τίς εἰμί ἴδιος , ὅδε δέ ἐν ὁ τίς εἰμί μόνος , καί ἴδιος ὁ πᾶς ; οὗτος γάρ εἰμί ὁ εἰμί ἐκεῖνος . ἤ πάλιν λαμβάνω ὁ τίς εἰμί εἰμί καί ἐν οὗτος ; ἀνάγκη γάρ διά ὁ μέσος δείκνυμι . ἔτι ὥσπερ οὐδέ ἐν συλλογισμός λαμβάνω τίς εἰμί ὁ συλλογίζομαι ( ἀεί γάρ ὅλος ἤ μέρος ὁ πρότασις , ἐκ ὅς ὁ συλλογισμός ) , οὕτως οὐδέ ὁ τίς εἰμί εἰμί δέω ἔνειμι ἐν ὁ συλλογισμός , ἀλλά χωρίς οὗτος ὁ κεῖμαι εἰμί , καί πρός ὁ ἀμφισβητέω εἰ συλλογίζομαι ἤ μή οὗτος , ἀπαντάω ὅτι · οὗτος γάρ εἰμί συλλογισμός . καί πρός ὁ ὅτι οὐ ὁ τίς εἰμί εἰμί συλλογίζομαι , ὅτι ναί · οὗτος γάρ κεῖμαι ἐγώ ὁ τίς εἰμί εἰμί . ὥστε ἀνάγκη καί ἄνευ ὁ τίς συλλογισμός ἤ ὁ τίς εἰμί εἰμί συλλογίζομαι τις . ἐάν ἐκ ὑπόθεσις δέ δείκνυμι , οἷος εἰ ὁ κακός εἰμί ὁ διαιρετός εἰμί , ὁ δέ ἐναντίος ὁ ὁ ἐναντίος εἰμί , ὅσος εἰμί τις ἐναντίος · ὁ δέ ἀγαθός ὁ κακός ἐναντίος καί ὁ ἀδιαίρετος ὁ διαιρετός · εἰμί ἄρα ὁ ἀγαθός εἰμί ὁ ἀδιαίρετος εἰμί . καί γάρ ἐνταῦθα λαμβάνω ὁ τίς εἰμί εἰμί δείκνυμι · λαμβάνω δέ εἰς ὁ δείκνυμι ὁ τίς εἰμί εἰμί . ἕτερος μέντοι εἰμί · καί γάρ ἐν ὁ ἀπόδειξις , ὅτι εἰμί ὅδε κατά ὅδε , ἀλλά μή αὐτός , μηδέ ὅς ὁ αὐτός λόγος , καί ἀντιστρέφω . πρός ἀμφότερος δέ , ὁ τε κατά διαίρεσις δείκνυμι καί πρός ὁ οὕτως συλλογισμός , ὁ αὐτός ἀπόρημα · διά τίς εἰμί ὁ ἄνθρωπος ζῷον δίπους πεζός , ἀλλά οὐ ζῷον καί πεζός ; ἐκ γάρ ὁ λαμβάνω οὐδείς ἀνάγκη εἰμί εἷς γίγνομαι ὁ κατηγορέω , ἀλλά ὥσπερ ἄν ἄνθρωπος ὁ αὐτός εἰμί μουσικός καί γραμματικός .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.2.9
Ἔστι δὲ τῶν μὲν ἕτερόν τι αἴτιον , τῶν δ᾿ οὐκ ἔστιν . Ὥστε δῆλον ὅτι καὶ τῶν τί ἐστι τὰ μὲν ἄμεσα καὶ ἀρχαί εἰσιν , ἃ καὶ εἶναι καὶ τί ἐστιν ὑποθέσθαι δεῖ ἢ ἄλλον τρόπον φανερὰ ποιῆσαι . Ὅπερ ὁ ἀριθμητικὸς ποιεῖ · καὶ γὰρ τί ἐστι τὴν μονάδα ὑποτίθεται , καὶ ὅτι ἔστιν . Τῶν δ᾿ ἐχόντων μέσον , καὶ ὧν ἐστί τι ἕτερον αἴτιον τῆς οὐσίας , ἔστι δι᾿ ἀποδείξεως , ὥσπερ εἴπομεν , δηλῶσαι , μὴ τὸ τί ἐστιν ἀποδεικνύντας .
Lemmas: εἰμί δέ ὁ μέν ἕτερος τις αἴτιος , ὁ δέ οὐ εἰμί . ὥστε δῆλος ὅτι καί ὁ τίς εἰμί ὁ μέν ἄμεσος καί ἀρχή εἰμί , ὅς καί εἰμί καί τίς εἰμί ὑποτίθημι δέω ἤ ἄλλος τρόπος φανερός ποιέω . ὅς ὁ ἀριθμητικός ποιέω · καί γάρ τίς εἰμί ὁ μονάς ὑποτίθημι , καί ὅτι εἰμί . ὁ δέ ἔχω μέσος , καί ὅς εἰμί τις ἕτερος αἴτιος ὁ οὐσία , εἰμί διά ἀπόδειξις , ὥσπερ λέγω , δηλόω , μή ὁ τις εἰμί ἀποδείκνυμι .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.2.14
Πρὸς δὲ τὸ ἔχειν τὰ προβλήματα ἐκλέγειν δεῖ τάς τε ἀνατομὰς καὶ τὰς διαιρέσεις , οὕτω δὲ ἐκλέγειν , ὑποθέμενον τὸ γένος τὸ κοινὸν ἁπάντων , οἷον εἰ ζῷα εἴη τὰ τεθεωρημένα , ποῖα παντὶ ζῴῳ ὑπάρχει . Ληφθέντων δὲ τούτων , πάλιν τῶν λοιπῶν τῷ πρώτῳ ποῖα παντὶ ἕπεται , οἷον εἰ τοῦτο ὄρνις , ποῖα παντὶ ἕπεται ὄρνιθι . Καὶ οὕτως ἀεὶ τῷ ἐγγύτατα · δῆλον γὰρ ὅτι ἕξομεν ἤδη λέγειν τὸ διὰ τί ὑπάρχει τὰ ἑπόμενα τοῖς ὑπὸ τὸ κοινόν , οἷον διὰ τί ἀνθρώπῳ ἢ ἵππῳ ὑπάρχει . Ἔστω δὲ ζῷον ἐφ᾿ οὗ Α , τὸ δὲ Β τὰ ἑπόμενα παντὶ ζῴῳ , ἐφ᾿ ὧν δὲ Γ Δ Ε τὰ τινὰ ζῷα . Δῆλον δὴ διὰ τί τὸ Β ὑπάρχει τῷ Δ · διὰ γὰρ τοῦ Α . Ὁμοίως δὲ καὶ τοῖς ἄλλοις . Καὶ ἀεὶ ἐπὶ τῶν ἄλλων ὁ αὐτὸς λόγος . Νῦν μὲν οὖν κατὰ τὰ παραδεδομένα κοινὰ ὀνόματα λέγομεν , δεῖ δὲ μὴ μόνον ἐπὶ τούτων σκοπεῖν , ἀλλὰ καὶ ἂν ἄλλο τι ὀφθῇ ὑπάρχον κοινόν , ἐκλαμβάνοντα , εἶτα τίσι τοῦτ᾿ ἀκολουθεῖ καὶ ποῖα τούτῳ ἕπεται , οἷον τοῖς κέρατα ἔχουσι τὸ ἔχειν ἐχῖνον , τὸ μὴ ἀμφώδοντ᾿ εἶναι . Πάλιν τὸ κέρατ᾿ ἔχειν τίσιν ἕπεται ; δῆλον γὰρ διὰ τί ἐκείνοις ὑπάρξει τὸ εἰρημένον · διὰ γὰρ τὸ κέρατ᾿ ἔχειν ὑπάρξει . Ἔτι δ᾿ ἄλλος τρόπος ἐστὶ κατὰ τὸ ἀνάλογον ἐκλέγειν . Ἔν γὰρ λαβεῖν οὐκ ἔστι τὸ αὐτό , ὃ δεῖ καλέσαι σήπειον καὶ ἄκανθαν καὶ ὀστοῦν · ἔστι δ᾿ ἑπόμενα καὶ τούτοις ὥσπερ μιᾶς τινὸς φύσεως τῆς τοιαύτης οὔσης .
Lemmas: πρός δέ ὁ ἔχω ὁ πρόβλημα ἐκλέγω δέω ὁ τε ἀνατομή καί ὁ διαίρεσις , οὕτως δέ ἐκλέγω , ὑποτίθημι ὁ γένος ὁ κοινός ἅπας , οἷος εἰ ζῷον εἰμί ὁ θεωρέω , ποῖος πᾶς ζῷον ὑπάρχω . λαμβάνω δέ οὗτος , πάλιν ὁ λοιπός ὁ πρῶτος ποῖος πᾶς ἕπομαι , οἷος εἰ οὗτος ὄρνις , ποῖος πᾶς ἕπομαι ὄρνις . καί οὕτως ἀεί ὁ ἐγγύς · δῆλος γάρ ὅτι ἔχω ἤδη λέγω ὁ διά τίς ὑπάρχω ὁ ἕπομαι ὁ ὑπό ὁ κοινός , οἷος διά τίς ἄνθρωπος ἤ ἵππος ὑπάρχω . εἰμί δέ ζῷον ἐπί ὅς Α , ὁ δέ Β ὁ ἕπομαι πᾶς ζῷον , ἐπί ὅς δέ Γ Δ Ε ὁ τις ζῷον . δῆλος δή διά τίς ὁ Β ὑπάρχω ὁ Δ · διά γάρ ὁ Α . ὅμοιος δέ καί ὁ ἄλλος . καί ἀεί ἐπί ὁ ἄλλος ὁ αὐτός λόγος . νῦν μέν οὖν κατά ὁ παραδίδωμι κοινός ὄνομα λέγω , δέω δέ μή μόνος ἐπί οὗτος σκοπέω , ἀλλά καί ἐάν ἄλλος τις ὁράω ὑπάρχω κοινός , ἐκλαμβάνω , εἶτα τίς οὗτος ἀκολουθέω καί ποῖος οὗτος ἕπομαι , οἷος ὁ κέρας ἔχω ὁ ἔχω ἐχῖνος , ὁ μή ἀμφώδων εἰμί . πάλιν ὁ κέρας ἔχω τίς ἕπομαι ; δῆλος γάρ διά τίς ἐκεῖνος ὑπάρχω ὁ λέγω · διά γάρ ὁ κέρας ἔχω ὑπάρχω . ἔτι δέ ἄλλος τρόπος εἰμί κατά ὁ ἀνάλογος ἐκλέγω . ἐν γάρ λαμβάνω οὐ εἰμί ὁ αὐτός , ὅς δέω καλέω σήπειον καί ἄκανθα καί ὀστέον · εἰμί δέ ἕπομαι καί οὗτος ὥσπερ εἷς τις φύσις ὁ τοιοῦτος εἰμί .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.2.15
Τὰ δ᾿ αὐτὰ προβλήματά ἐστι τὰ μὲν τῷ τὸ αὐτὸ μέσον ἔχειν , οἷον ὅτι πάντα ἀντιπερίστασις . Τούτων δ᾿ ἔνια τῷ γένει ταὐτά , ὅσα ἔχει διαφορὰς τῷ ἄλλων ἢ ἄλλως εἶναι , οἷον διὰ τί ἠχεῖ , ἢ διὰ τί ἐμφαίνεται , καὶ διὰ τί ἶρις · ἅπαντα γὰρ ταῦτα τὸ αὐτὸ πρόβλημά ἐστι γένει ( πάντα γὰρ ἀνάκλασις ) , ἀλλ᾿ εἴδει ἕτερα . Τὰ δὲ τῷ τὸ μέσον ὑπὸ τὸ ἕτερον μέσον εἶναι διαφέρει τῶν προβλημάτων , οἷον διὰ τί ὁ Νεῖλος φθίνοντος τοῦ μηνὸς μᾶλλον ῥεῖ ; διότι χειμεριώτερος φθίνων ὁ μήν . Διὰ τί δὲ χειμεριώτερος φθίνων ; διότι ἡ σελήνη ἀπολείπει . Ταῦτα γὰρ οὕτως ἔχει πρὸς ἄλληλα .
Lemmas: ὁ δέ αὐτός πρόβλημα εἰμί ὁ μέν ὁ ὁ αὐτός μέσος ἔχω , οἷος ὅτι πᾶς ἀντιπερίστασις . οὗτος δέ ἔνιοι ὁ γένος αὐτός , ὅσος ἔχω διαφορά ὁ ἄλλος ἤ ἄλλος εἰμί , οἷος διά τίς ἠχέω , ἤ διά τίς ἐμφαίνω , καί διά τίς ἶρις · ἅπας γάρ οὗτος ὁ αὐτός πρόβλημα εἰμί γένος ( πᾶς γάρ ἀνάκλασις ) , ἀλλά εἶδος ἕτερος . ὁ δέ ὁ ὁ μέσος ὑπό ὁ ἕτερος μέσος εἰμί διαφέρω ὁ πρόβλημα , οἷος διά τίς ὁ Νεῖλος φθίω ὁ μείς μάλα ῥέω ; διότι χειμέριος φθίω ὁ μείς . διά τίς δέ χειμέριος φθίω ; διότι ὁ σελήνη ἀπολείπω . οὗτος γάρ οὕτως ἔχω πρός ἀλλήλων .
aristoteles-et-corpus-aristotelicum.analytica-priora-et-posteriora posteriora.2.18
Πότερον δ᾿ αἴτιον τῶν μέσων τὸ πρὸς τὸ καθόλου πρῶτον ἢ τὸ πρὸς τὸ καθ᾿ ἕκαστον τοῖς καθ᾿ ἕκαστον ; δῆλον δὴ ὅτι τὰ ἐγγύτατα ἑκάστῳ ᾧ αἴτιον . Τοῦ γὰρ τὸ πρῶτον ὑπὸ τὸ καθόλου ὑπάρχειν , τοῦτο αἴτιον , οἷον τῷ Δ τὸ Γ τοῦ τὸ Β ὑπάρχειν αἴτιον . Τῷ μὲν οὖν Δ τὸ Γ αἴτιον τοῦ Α , τῷ δὲ Γ τὸ Β , τούτῳ δὲ αὐτό .
Lemmas: πότερος δέ αἴτιος ὁ μέσος ὁ πρός ὁ καθόλου πρῶτος ἤ ὁ πρός ὁ κατά ἕκαστος ὁ κατά ἕκαστος ; δῆλος δή ὅτι ὁ ἐγγύς ἕκαστος ὅς αἴτιος . ὁ γάρ ὁ πρῶτος ὑπό ὁ καθόλου ὑπάρχω , οὗτος αἴτιος , οἷος ὁ Δ ὁ Γ ὁ ὁ Β ὑπάρχω αἴτιος . ὁ μέν οὖν Δ ὁ Γ αἴτιος ὁ Α , ὁ δέ Γ ὁ Β , οὗτος δέ αὐτός .