ciscoriordan/open-greek-corpus-annotations huggingface dataset:
sextus-empiricus.adversus-mathematicos 8.372
καὶ μὴν εἴπερ πᾶν τὸ ἀκολουθοῦν τοῖς ἐξ ὑποδέσεως ληφθεῖσιν ἀξιοῖ τις βέβαιον εἶναι , ὅλην συγχέει τὴν φιλόσοφον ζήτησιν . εὐθέως γὰρ ὑποθησόμεθα τὰ τρία τέσσαρα εἷναι , καὶ συνάξομεν ὧς ἀκολουθοῦν τὸ τὰ ὲξ ὀκτὼ ὑπάρχειν ἔσται δὲ τοῦτο ἀληθές ( τὸ τὰ ὀκτὼ ὑπάρχειν ) <....> .
Lemmas: καί μήv εἴπερ πᾶς ὁ ἀκολουθέω ὁ ἐκ ὑπόδεσις λαμβάνω ἀξιόω τις βέβαιος εἰμί , ὅλος συγχέω ὁ φιλόσοφος ζήτησις . εὐθύς γάρ ὑποτίθημι ὁ τρεῖς τέσσαρες ἵημι , καί συνάγω ὅς ἀκολουθέω ὁ ὁ ἕξ ὀκτώ ὑπάρχω εἰμί δέ οὗτος ἀληθής ( ὁ ὁ ὀκτώ ὑπάρχω ) <....> .
sextus-empiricus.adversus-mathematicos 8.373
εἰ δὲ λέγοιεν πρὸς ἡμᾶς , ὅτι ἄτοπόν ἐστι τὸ τοιοῦτο δεῖ γὰρ βέβαιον εἶναι τὸ ὑποτεθέν , ἵνα συνομολογηθῇ καὶ τὸ ἀκολουθοῦν τούτῳ ) , καὶ τὸ παρ’ ἡμῶν ἀκούσονται , [ τὸ ] μηδὲν αὐτόθεν ἀξιούντων λαμβάνειν , πᾶν δὲ τὸ τιθέμενον μετ’ ἀκριβείας τίθεσθαι .
Lemmas: εἰμί δέ λέγω πρός ἐγώ , ὅτι ἄτοπος εἰμί ὁ τοιοῦτος δεῖ γάρ βέβαιος εἰμί ὁ ὑποτίθημι , ἵνα συνομολογέω καί ὁ ἀκολουθέω οὗτος ) , καί ὁ παρά ἐγώ ἀκούω , [ ὁ ] μηδείς αὐτόθεν ἀξιόω λαμβάνω , πᾶς δέ ὁ τίθημι μετά ἀκρίβεια τίθημι .
sextus-empiricus.adversus-mathematicos 8.374
πρὸς τούτοις , εἰ τὸ ὑποτιθέμενον , ᾗ ὑποτίθεται , βέβαιόν ἐστι καὶ ἀσφαλές , μὴ ταῦτα ὑποτιθέσθωσαν οἱ δογματικῶς φιλοσοφοῦντες τὰ ἐξ ὧν συνάγουσι τὸ ἄδηλον , ἀλλ’ αὐτὸ τὸ ἄδηλον , τουτέστι μὴ τὰ λήμματα τῆς ἀποδείξεως , ἀλλὰ τὴν ἐπιφοράν . ἀλλὰ κἂν μυριάκις τοῦθ’ ὑποθῶνται , οὐκ ἔστι πιστὸν διὰ τὴν ἀδηλότητα καὶ τὴν περὶ αὐτοῦ ζήτησιν . φανερὸν δήπουθεν ὅτι , οὐδὲ ἐὰν τὰ λήμματα Γῆς ἀποδείξεως δίχα ἀποδείξεως αἰτήσωνται , ἀνύουσί τι πρὸς πίστιν διὰ τὸ καὶ ταῦτα τῶν ἀμφισβητησίμων ὑπάρχειν .
Lemmas: πρός οὗτος , εἰμί ὁ ὑποτίθημι , ὅς ὑποτίθημι , βέβαιος εἰμί καί ἀσφαλής , μή οὗτος ὑποτίθημι ὁ δογματικός φιλοσοφέω ὁ ἐκ ὅς συνάγω ὁ ἄδηλος , ἀλλά αὐτός ὁ ἄδηλος , τουτέστι μή ὁ λῆμμα ὁ ἀπόδειξις , ἀλλά ὁ ἐπιφορά . ἀλλά κἀν μυριάκις οὗτος ὑποτίθημι , οὐ εἰμί πιστόν διά ὁ ἀδηλότης καί ὁ περί αὐτός ζήτησις . φανερός δήπουθεν ὅτι , οὐδέ ἐάν ὁ λῆμμα Γῆ ἀπόδειξις δίχα ἀπόδειξις αἰτέω , ἀνύω τίς πρός πίστις διά ὁ καί οὗτος ὁ ἀμφισβητήσιμος ὑπάρχω .
sextus-empiricus.adversus-mathematicos 8.375
Νὴ Δία , ἀλλ’ εἰώθασιν ὑποτυγχάνοντες λέγειν , ὅτι πίστις ἐστὶ τοῦ ἐρρῶσθαι τὴν ὑπόθεσιν τὸ ἀληθὲς εὑρίσκεσθαι ἐκεῖνο τὸ τοῖς ἐξ ὑποθέσεως ληφθεῖσιν ἐπιφερόμενον · εἰ γὰρ τὸ τούτοις ἀκολουθοῦν ἐστὶν ὑγιές , κἀκεῖνα οἷς ἀκολουθεῖ ἀληθῆ καὶ ἀναμφίλεκτα καθέστηκεν . καὶ πόθεν ἔχομεν , ἐρεῖ τις ,
Lemmas: νή Ζεύς , ἀλλά εἴωθα ὑποτυγχάνω λέγω , ὅτι πίστις εἰμί ὁ ῥώννυμι ὁ ὑπόθεσις ὁ ἀληθής εὑρίσκω ἐκεῖνος ὁ ὁ ἐκ ὑπόθεσις λαμβάνω ἐπιφέρω · εἰμί γάρ ὁ οὗτος ἀκολουθέω εἰμί ὑγιής , ἐκεῖνος ὅς ἀκολουθέω ἀληθής καί ἀναμφίλεκτος καθίστημι . καί πόθεν ἔχω , εἴρω τις ,
sextus-empiricus.adversus-mathematicos 8.376
δεῖξαι ὅτι τὸ ἀκολουθοῦν τῷ ἐξ ὑποθέσεως ληφθέντι ἀληθές ἐστιν ; ἀρά γε ἐξ αὐτοῦ ἢ ἐκ τῶν λημμάτων οἷς ἀκολουθεῖ ; θεῖ ; ἀλλ’ ἐξ αὐτοῦ μὲν οὐκ ἂν εἴη · ἄδηλον γάρ ἐστιν . ἐκ δὲ τῶν λημμάτων ; οὐδ’ οὕτως · περὶ γὰρ τούτων ἐστὶν ἡ μάχη , καὶ δεῖ αὐτὰ πρότερον κατασταθῆναι .
Lemmas: δείκνυμι ὅτι ὁ ἀκολουθέω ὁ ἐκ ὑπόθεσις λαμβάνω ἀληθής εἰμί ; ἀρά γε ἐκ αὐτός ἢ ἐκ ὁ λῆμμα ὅς ἀκολουθέω ; θέω ; ἀλλά ἐκ αὐτός μέν οὐ εἄν εἰμί · ἄδηλος γάρ εἰμί . ἐκ δέ ὁ λῆμμα ; οὐδέ οὕτως · περί γάρ οὗτος εἰμί ὁ μάχη , καί δεῖ αὐτός πρότερος καθίστημι .
sextus-empiricus.adversus-mathematicos 8.377
οὐ μὴν ἀλλ’ ἔστω γε καὶ τὸ ἀκολουθοῦν τοῖς ἐξ ὑποθέσεως ληφθεῖσιν ἀληθές · οὐ μὴν παρὰ τοῦτο καὶ τὰ ἐξ ὑποθέσεως ληφθέντα γενήσεται ἀληθῆ . εἰ μὲν γὰρ μόνον κατ’ αὐτοὺς τῷ ἀληθεῖ εἴπετο ἀληθές , θές , προύβαινεν <ἂν> ὁ λόγος , ὧς τοῦ ἀκολουθοῦντος τῷ ἐξ ὑποθέσεως ληφθέντι ὄντος ἀληθοῦς γίνεσθαι τὸ ἐξ ὑποθέσεως ληφθὲν ἀληθές ·
Lemmas: οὖον μήv ἀλλά ἵστημι γε καί ὁ ἀκολουθέω ὁ ἐκ ὑπόθεσις λαμβάνω ἀληθής · οὖον μήv παρά οὗτος καί ὁ ἐκ ὑπόθεσις λαμβάνω γίγνομαι ἀληθής . εἰμί μέν γάρ μόνος κατά αὐτός ὁ ἀληθής εἶπον ἀληθής , τίθημι , προβαίνω ὅς ὁ λόγος , ὅς ὁ ἀκολουθέω ὁ ἐκ ὑπόθεσις λαμβάνω εἰμί ἀληθής γίγνομαι ὁ ἐκ ὑπόθεσις λαμβάνω ἀληθής ·
sextus-empiricus.adversus-mathematicos 8.378
νῦν δὲ ἐπεὶ καὶ ψεύδει ψεῦδός φασιν ἀκολουθεῖν καὶ ψεύδει ἀληθές , οὐ κατ’ ἀνάγκην , εἰ τὸ λῆγόν ἐστιν ἀληθές , καὶ τὸ ἡγούμενον ἔσται ἀληθές , ἀλλ’ ἐνδέχεται τοῦ λήγοντος ἀληθοῦς ὄντος τὸ ἡγούμενον ὑπάρχειν ψεῦδος . Οδοῦ μὲν οὖν πάρεργον , ὥς φασι , καὶ παρενθήκης τοσαῦτα εἰρήσθω περὶ τοῦ μὴ δεῖν ἐξ ὑποθέσεως κατάρχεσθαι τὴν ἀπόδειξιν ·
Lemmas: νῦν δέ ἐπεί καί ψεύδω ψεῦδος φημί ἀκολουθέω καί ψεύδω ἀληθής , οὖον κατά ἀνάγκη , εἰμί ὁ λήγω εἰμί ἀληθής , καί ὁ ἡγέομαι εἰμί ἀληθής , ἀλλά ἐνδέχομαι ὁ λήγω ἀληθής εἰμί ὁ ἡγέομαι ὑπάρχω ψεῦδος . ὁδός μέν οὖν πάρεργον , ὅς φημί , καί παρενθήκη τοσοῦτος εἴρω περί ὁ μή δήω ἐκ ὑπόθεσις κατάρχω ὁ ἀπόδειξις ·
sextus-empiricus.adversus-mathematicos 8.379
ἀκολούθως δ’ ὑποδεικτέον , ὅτι καὶ εἰς τὸν δι’ ἀλλήλων τρόπον ἐμπέπτωκεν , ὅ ἐστιν ἀπορώτερον . ὅτι μὲν γὰρ τῶν ἀδήλων ἐστὶν ἡ ἀπόδειξις προκατεστησάμεθα , πᾶν δὲ ἄδηλον ἐπικρίσεως δεῖται , τὸ δὲ ἐπικρίσεως δεόμενον κριτηρίου χρῄζει τοῦ παραστήσοντος , εἴτε ὑγιές ἐστιν εἴτε μὴ τοιοῦτον · ὥσπερ γὰρ τὸ μετρηθῆναι ὀφεῖλον οὐ χωρὶς μέτρου μετρεῖσθαι πέφυκε καὶ πᾶν τὸ κανονιζόμενον οὐ χωρὶς κανόνος κανονίζεται , οὕτω καὶ τὸ κρινόμενον οὐ χωρὶς κριτηρίου δοκιμάζεται .
Lemmas: ἀκόλουθος δέ ὑποδείκνυμι , ὅτι καί εἰς ὁ διά ἀλλήλων τρόπος ἐμπίτνω , ὅς εἰμί ἄπορος . ὅτι μέν γάρ ὁ ἄδηλος εἰμί ὁ ἀπόδειξις προκαθίστημι , πᾶς δέ ἄδηλος ἐπίκρισις δήω , ὁ δέ ἐπίκρισις δήω κριτήριον χρῄζω ὁ παρίστημι , εἴτε ὑγιής εἰμί εἴτε μή τοιοῦτος · ὥσπερ γάρ ὁ μετρέω ὀφείλω οὖον Χωρὶς μέτρον μετρέω φύω καί πᾶς ὁ κανονίζω οὖον Χωρὶς κανών κανονίζω , οὗτος καί ὁ κρίνω οὖον Χωρὶς κριτήριον δοκιμάζω .
sextus-empiricus.adversus-mathematicos 8.380
ἐπεὶ οὖν καὶ τὸ εἰ ἔστι κριτήριον ἐζήτηται , τῶν μὲν μηδὲν εἶναι φαμένων , τῶν δὲ εἶναι , τῶν δὲ ἐν ἐποχῇ τοῦτο φυλαξάντων , πάλιν δεήσει τὸ ὅτι ἔστι κριτήριον ἀποδειχθῆναι διά τινος ἀποδείξεως . ἀλλὰ δὴ ἴν ἔχωμεν τὴν ἀπόδειξιν πιστήν , ἀναστρέφειν ἐπὶ τὸ κριτήριον δεήσει , καὶ οὕτω , μήτε ταύτην πρὸ ἐκείνου ἔχοντας πίστ’ ἢν μήτε ἐκεῖνο πρὸ ταύτης βέβαιον , ὁμολογεῖν τὴν περὶ ἀμφοτέρων ἐποχήν .
Lemmas: ἐπεί οὖν καί ὁ εἰμί εἰμί κριτήριον ζητέω , ὁ μέν μηδείς εἰμί φημί , ὁ δέ εἰμί , ὁ δέ ἐν ἐποχή οὗτος φυλάσσω , πάλιν δήω ὁ ὅτι εἰμί κριτήριον ἀποδείκνυμι διά τις ἀπόδειξις . ἀλλά δή εἶμι ἔχω ὁ ἀπόδειξις πιστός , ἀναστρέφω ἐπί ὁ κριτήριον δήω , καί οὗτος , μήτε οὗτος πρό ἐκεῖνος ἔχω πίστις εἄν μήτε ἐκεῖνος πρό οὗτος βέβαιος , ὁμολογέω ὁ περί ἀμφότερος ἐποχή .
sextus-empiricus.adversus-mathematicos 8.381
Ἐνέσται οὖν σὺν τοῖς εἰρημένοις κὰκ τῆς ἐπινοίας κινεῖν τὴν ἀπόδειξιν . καίτοι εἰ ἐπενοεῖτο , οὐ πάντως ἂν ὑπῆρχεν · πολλὰ γὰρ ἔστιν ἅπερ ἐπινοεῖται μέν , ὡς ἔφην ( § οὐ μετέχει δέ τινος ὑπάρξεως . νῦν δὲ ὅταν καὶ ἡ ἐπίνοια εὑρίσκηται ἀδύνατος ἡ τῆς ἀποδείξεως , ἀναμφιλέκτως καὶ ἡ τῆς ὑπάρξεως ἐλπὶς ἀποκόπτεται .
Lemmas: ἔνειμι οὖν σύν ὁ εἴρω κατά ὁ ἐπίνοια κινέω ὁ ἀπόδειξις . καίτοι εἰμί ἐπινοέω , οὖον πάντως εἄν ὑπάρχω · πολύς γάρ εἰμί ὅσπερ ἐπινοέω μέν , ὡς φημί ( § οὖον μετέχω δέ τις ὕπαρξις . νῦν δέ ὅταν καί ὁ ἐπίνοια εὑρίσκω ἀδύνατος ὁ ὁ ἀπόδειξις , ἀναμφίλογος καί ὁ ὁ ὕπαρξις Ἐλπὶς ἀποκόπτω .
sextus-empiricus.adversus-mathematicos 8.382
δυεῖν οὖν οὐσῶν ἀποδείξεων , τῆς τε γενικῆς καὶ τῆς εἰδικῆς , τὴν μὲν γενικὴν αὐτόθεν εὑρήσομεν ἀνεπινόητον · οὐδεὶς γὰρ ἡμῶν οἶδε γενικὴν ἀπόδειξιν , οὐδὲ διὰ ταύτης πώποτέ τι δεδύνηται παραστῆσαι .
Lemmas: δύο οὖν εἰμί ἀπόδειξις , ὁ τε γενικός καί ὁ εἰδικός , ὁ μέν γενικός αὐτόθεν εὑρίσκω ἀνεπινόητος · οὐδείς γάρ ἐγώ οἶδα γενικός ἀπόδειξις , οὐδέ διά οὗτος πώποτε τίς δύναμαι παρίστημι .
sextus-empiricus.adversus-mathematicos 8.383
καὶ ἄλλως ἄξιον πυθέσθαι , πότερον λήμματα ἔχει καὶ ἐπιφορὰν ἡ τοιαύτη ἀπόδειξις ἢ οὐκ ἔχει . καὶ εἰ μὲν οὐκ ἔχει , πῶς ἔτι δύναται νοηθῆναι ἀπόδειξις , εἴγε ἡ πάσης ἀποδείξεως νόησις οὐ χωρὶς τῶν αὐτῆς λημμάτων καὶ τῆς ἐπιφορᾶς συνίσταται ; εἰ δὲ ἔχει ἑκάτερα , τουτέστι τὰ λήμματα καὶ τὴν ἐπιφοράν , εἰδική τίς ἐστιν ἀπόδειξις ·
Lemmas: καί ἄλλως ἄξιος πυνθάνομαι , πότερος λῆμμα ἔχω καί ἐπιφορά ὁ τοιοῦτος ἀπόδειξις ἢ οὐ ἔχω . καί εἰμί μέν οὐ ἔχω , πῶς ἔτι δύναμαι νοέω ἀπόδειξις , εἰ ὁ πᾶς ἀπόδειξις νόησις οὖον Χωρὶς ὁ αὐτός λῆμμα καί ὁ ἐπιφορά συνίστημι ; εἰμί δέ ἔχω ἑκάτερος , τουτέστι ὁ λῆμμα καί ὁ ἐπιφορά , εἰδικός τίς εἰμί ἀπόδειξις ·
sextus-empiricus.adversus-mathematicos 8.384
εἰ γὰρ πᾶν τὸ ἀποδεικνύμενον καὶ πᾶν τὸ ἀποδεικνύον τῶν ἐπὶ μέρους ἐστίν , ἀνάγκη καὶ τὴν ἀπόδειξιν μίαν εἷναι τῶν εἰδικῶν . ἦν δέ γε ἡμῖν ὁ λόγος οὐ περὶ τῆς εἰδικῆς , ἀλλὰ περὶ τῆς γενικῆς · οὐκ ἄρα ἐπινοεῖται ἡ γενικὴ ἀπόδειξις . καὶ μὴν οὐδέ γε ἡ εἰδική .
Lemmas: εἰμί γάρ πᾶς ὁ ἀποδείκνυμι καί πᾶς ὁ ἀποδείκνυμι ὁ ἐπί μέρος εἰμί , ἀνάγκη καί ὁ ἀπόδειξις εἷς ἵημι ὁ εἰδικός . εἰμί δέ γε ἐγώ ὁ λόγος οὖον περί ὁ εἰδικός , ἀλλά περί ὁ γενικός · οὐ ἄρα ἐπινοέω ὁ γενικός ἀπόδειξις . καί μήv οὐδέ γε ὁ εἰδικός .
sextus-empiricus.adversus-mathematicos 8.385
ἐλέγετο γὰρ τοῖς δογματικοῖς ἡ ἀπόδειξις λόγος εἶναι κατὰ συναγωγὴν διά τινων φαινομένων ἐκκαλύπτων τι ἄδηλον . ἤτοι οὖν τὸ πᾶν σύστημα , τουτέστι τὸ ἐκ τῶν λημμάτων καὶ τῆς ἐπιφορᾶς νοούμενον , ἀπόδειξις ἦν , ἢ τὰ μὲν λήμματα μόνον ἐστὶν ἀπόδειξίς , ἡ δὲ ἐπιφορὰ τὸ ἀποδεικνύμενον . ὁπότερον δ’ ἂν εἴπωσι τούτων , σαλεύεται ἡ τῆς ἀποδείξεως ἐπίνοια .
Lemmas: λέγω γάρ ὁ δογματικός ὁ ἀπόδειξις λόγος εἰμί κατά συναγωγή διά τίνω φαίνω ἐκκαλύπτω τίς ἄδηλος . ἤτοι οὖν ὁ πᾶς σύστημα , τουτέστι ὁ ἐκ ὁ λῆμμα καί ὁ ἐπιφορά νοέω , ἀπόδειξις εἰμί , ἢ ὁ μέν λῆμμα μόνος εἰμί ἀπόδειξις , ὁ δέ ἐπιφορά ὁ ἀποδείκνυμι . ὁπότερος δέ εἄν εἶπον οὗτος , σαλεύω ὁ ὁ ἀπόδειξις ἐπίνοια .
sextus-empiricus.adversus-mathematicos 8.386
εἰ μὲν γὰρ τὸ σύνθετον ἔκ τε τῶν λημμάτων καὶ τῆς ἐπιφορᾶς ἐστιν ἀπόδειξις , ἀνάγκη ἄδηλόν τι περιέχουσαν τὴν ἀπόδειξιν εὐθὺς ἄδηλον εἷναι , τοιαύτην δὲ καθεστηκυῖαν δεῖσθαί τινος ἀποδείξεως , ὅπερ ἄτοπον . τοίνυν οὐκ ἂν εἴη τὸ ἐκ τῶν λημμάτων καὶ τῆς ἐπιφορᾶς συνεστὼς ἀπόδειξις , εἴγε οὔτε ἄδηλον οὔτε ἀποδείξεως δεομένην νοοῦμεν τὴν ἀπόδειξιν .
Lemmas: εἰμί μέν γάρ ὁ συντίθημι ἐκ τε ὁ λῆμμα καί ὁ ἐπιφορά εἰμί ἀπόδειξις , ἀνάγκη ἄδηλος τίς περιέχω ὁ ἀπόδειξις εὐθύς ἄδηλος ἵημι , τοιοῦτος δέ καθίστημι δέομαι τις ἀπόδειξις , ὅσπερ ἄτοπος . τοίνυν οὐ εἄν εἰμί ὁ ἐκ ὁ λῆμμα καί ὁ ἐπιφορά συνίστημι ἀπόδειξις , εἰ οὔτε ἄδηλος οὔτε ἀπόδειξις δήω νοέω ὁ ἀπόδειξις .
sextus-empiricus.adversus-mathematicos 8.387
ἔτι ἡ ἀπόδειξις τῶν πρός τι ἐστίν · οὐ γὰρ εἰς ἑαυτὴν νεύει , οὐδὲ κατὰ περιγραφὴν νενόηται , ἀλλ᾿ ἔχει τι οὗ ἐστιν ἀπόδειξις . εἶ οὖν ἡ ἐπιφορὰ ἐμπεριείληπται αὐτῇ , πᾶν δὲ τὸ πρός τι ἐκτός ἐστιν ἐκείνου τοῦ πρὸς ᾧ λέγεται πρός τι , πρὸς οὐδέν ἐστιν ἡ ἀπόδειξις νοουμένη , ἐπείπερ ἡ ἐπιφορὰ ἐμπεριείχετο αὐτῇ .
Lemmas: ἔτι ὁ ἀπόδειξις ὁ πρός τίς εἰμί · οὖον γάρ εἰς ἑαυτοῦ νεύω , οὐδέ κατά περιγραφή νοέω , ἀλλά ἔχω τίς ὅς εἰμί ἀπόδειξις . εἰμί οὖν ὁ ἐπιφορά ἐμπεριλαμβάνω αὐτός , πᾶς δέ ὁ πρός τίς ἐκτός εἰμί ἐκεῖνος ὁ πρός ὅς λέγω πρός τίς , πρός οὐδείς εἰμί ὁ ἀπόδειξις νοέω , ἐπεί ὁ ἐπιφορά ἐμπεριέχω αὐτός .
sextus-empiricus.adversus-mathematicos 8.388
ἀλλὰ κἂν ἑτέραν ὑποστησώμεθα ἐπιφορὰν ἐκτός , πρὸς ἣν ἡ ἀπόδειξις νοηθήσεται , δύο γενήσονται ἐπιφοραὶ κατὰ τὸν τόπον , μία μὲν ἡ ἐν τῇ ἀποδείξει περιεχομένη , δευτέρα δὲ ἡ ἐκτός , πρὸς ἣν νοεῖται ἡ ἀπόδειξις . ἄτοπον δέ γε μιᾶς ἀποδείξεως δύο λέγειν ἐπιφοράς · οὐκ ἄρα τὸ ἐκ λημμάτων καὶ ἐπιφορᾶς συνεστώς ἐστιν ἀπόδειξις .
Lemmas: ἀλλά κἀν ἕτερος ὑφίστημι ἐπιφορά ἐκτός , πρός ὅς ὁ ἀπόδειξις νοέω , δύο γίγνομαι ἐπιφορά κατά ὁ τόπος , εἷς μέν ὁ ἐν ὁ ἀποδείκνυμι περιέχω , δύο δέ ὁ ἐκτός , πρός ὅς νοέω ὁ ἀπόδειξις . ἄτοπος δέ γε εἷς ἀπόδειξις δύο λέγω ἐπιφορά · οὐ ἄρα ὁ ἐκ λῆμμα καί ἐπιφορά συνίστημι εἰμί ἀπόδειξις .
sextus-empiricus.adversus-mathematicos 8.389
λείπεται τοίνυν τὸ ἐκ τῶν λημμάτων λέγειν μόνον ἀπόδειξιν εἶναι . ὅπερ ἦν εὔηθες · τοῦτο γὰρ οὐδὲ λόγος ἐστὶ τὴν ἀρχήν , ἀλλὰ πρᾶγμα ἐλλιπὲς καὶ ἀδιανόητον , εἴγε οὐθείς φησι τῶν νοῦν ἐχόντων τὸ τοιοῦτον κατ’ ἰδίαν “ εἰ ἔστι κίνησις , ἔστι κενόν · ἀλλὰ μὴν ἔστι κίνησις ” ἢ λόγον εἶναι ἢ διάνοιάν τινα σῴζειν .
Lemmas: λείπω τοίνυν ὁ ἐκ ὁ λῆμμα λέγω μόνος ἀπόδειξις εἰμί . ὅσπερ εἰμί εὐήθης · οὗτος γάρ οὐδέ λόγος εἰμί ὁ ἀρχή , ἀλλά πρᾶγμα ἐλλιπής καί ἀδιανόητος , εἰ οὐδείς φημί ὁ νόος ἔχω ὁ τοιοῦτος κατά ἴδιος “ εἰμί εἰμί κίνησις , εἰμί κενός · ἀλλά μήv εἰμί κίνησις ” ἢ λόγος εἰμί ἢ διάνοια τις σῴζω .
sextus-empiricus.adversus-mathematicos 8.390
εἰ οὖν μήτε τὸ ἐκ τῶν λημμάτων καὶ [ τὸ ἐκ ] τῆς ἐπιφορᾶς σύνθετον νοεῖται ἀπόδειξις μήτε τὸ ἐκ τῶν λημμάτων μόνον , ἀνεπινόητός ἐστιν ἡ ἀπόδειξις .
Lemmas: εἰμί οὖν μήτε ὁ ἐκ ὁ λῆμμα καί [ ὁ ἐκ ] ὁ ἐπιφορά συντίθημι νοέω ἀπόδειξις μήτε ὁ ἐκ ὁ λῆμμα μόνος , ἀνεπινόητος εἰμί ὁ ἀπόδειξις .
sextus-empiricus.adversus-mathematicos 8.391
Ἔτι ἡ ἀποδεικνύουσα ἀπόδειξις ἤτοι πρόδηλος οὖσα προδήλου ἐστὶν ἀπόδειξις ἢ ἄδηλος ἀδήλου ἢ ἄδηλος προδήλου ἢ πρόδηλος ἀδήλου · οὐδὲν δὲ τούτων , ὡς παραστήσομεν ·
Lemmas: ἔτι ὁ ἀποδείκνυμι ἀπόδειξις ἤτοι πρόδηλος εἰμί πρόδηλος εἰμί ἀπόδειξις ἢ ἄδηλος ἄδηλος ἢ ἄδηλος πρόδηλος ἢ πρόδηλος ἄδηλος · οὐδείς δέ οὗτος , ὡς παρίστημι ·
sextus-empiricus.adversus-mathematicos 8.392
οὐκ ἄρα ἔστι τι ἀπόδειξις . καὶ δὴ πρόδηλος μὲν προδήλου οὐ δύναται τυγχάνειν ἀπόδειξις , ἐπεὶ τὸ πρόδηλον οὐ χρῄζει ἀποδείξεως , ἀλλ᾿ ἐξ αὐτοῦ γνώριμον καθέστηκεν . ἄδηλος δὲ ἀδήλου πάλιν οὐκ ἂν εἴη ἀπόδειξις , παρόσον αὐτὴ χρείαν ἕξει τοῦ παριστάντος ἄδηλος οὖσα , καὶ οὐχ ἑτέρου τινὸς γενήσεται παραστατική .
Lemmas: οὐ ἄρα εἰμί τίς ἀπόδειξις . καί δή πρόδηλος μέν πρόδηλος οὖον δύναμαι τυγχάνω ἀπόδειξις , ἐπεί ὁ πρόδηλος οὖον χρῄζω ἀπόδειξις , ἀλλά ἐκ αὐτός γνώριμος καθίστημι . ἄδηλος δέ ἄδηλος πάλιν οὐ εἄν εἰμί ἀπόδειξις , παρόσον αὐτός χρεία ἔχω ὁ παρίστημι ἄδηλος εἰμί , καί οὐ ἕτερος τις γίγνομαι παραστατικός .
sextus-empiricus.adversus-mathematicos 8.393
ὡσαύτως δὲ οὐδὲ ἄδηλος προδήλου . ἀμφότερα γὰρ συνδραμεῖται ἄπορα · τό τε γὰρ ἀποδεικνύμενον οὐ δεήσεταί τινος ἀποδείξεως πρόδηλον ὄν , ἥ τε ἀπόδειξις χρείαν ἕξει τοῦ καταστήσοντος αὐτὴν ἄδηλος οὖσα . ὥστε οὐδὲ ἄδηλος προδήλου γένοιτ’ ἄν ποτε ἀπόδειξις .
Lemmas: ὡσαύτως δέ οὐδέ ἄδηλος πρόδηλος . ἀμφότερος γάρ συντρέχω ἄπορος · ὁ τε γάρ ἀποδείκνυμι οὖον δέω τις ἀπόδειξις πρόδηλος εἰμί , ὅς τε ἀπόδειξις χρεία ἔχω ὁ καθίστημι αὐτός ἄδηλος εἰμί . ὥστε οὐδέ ἄδηλος πρόδηλος γίγνομαι ἄν ποτός ἀπόδειξις .
sextus-empiricus.adversus-mathematicos 8.394
λείπεται λέγειν , ὅτι πρόδηλος ἀδήλου , ὃ καὶ αὐτὸ τῶν ἀπόρων ἐτύγχανεν · εἰ γὰρ οὐ τῶν κατὰ περιγραφὴν καὶ ἀπολύτως νοουμένων ἐστὶν ἡ ἀπόδειξις , ἀλλὰ τῶν πρός τι , τὰ δὲ πρός τι , ὧς ἐδείξαμεν ἐν τῇ περὶ σημείου ζητήσει ( § 174 ) , ἀλλήλοις , τὰ δὲ συγκαταλαμβανόμενα οὐκ ἐξ ἀλλήλων ἐκκαλύπτεται , ἀλλ’ ἐξ αὑτῶν ἐστι πρόδηλα , οὐκ ἔσται ἡ ἀπόδειξις πρόδηλος ἀδήλου ἀπόδειξις διὰ τὸ κἀκεῖνο συγκαταλαμβανόμενον αὐτῇ δι’ αὑτοῦ προσπίπτειν .
Lemmas: λείπω λέγω , ὅτι πρόδηλος ἄδηλος , ὅς καί αὐτός ὁ ἄπορος τυγχάνω · εἰμί γάρ οὖον ὁ κατά περιγραφή καί ἀπόλυτος νοέω εἰμί ὁ ἀπόδειξις , ἀλλά ὁ πρός τίς , ὁ δέ πρός τίς , ὅς δείκνυμι ἐν ὁ περί σημεῖον ζητέω ( § 174 ) , ἀλλήλων , ὁ δέ συγκαταλαμβάνω οὐ ἐκ ἀλλήλων ἐκκαλύπτω , ἀλλά ἐκ ἑαυτοῦ εἰμί πρόδηλος , οὐ εἰμί ὁ ἀπόδειξις πρόδηλος ἄδηλος ἀπόδειξις διά ὁ ἐκεῖνος συγκαταλαμβάνω αὐτός διά αὐτός προσπίπτω .
sextus-empiricus.adversus-mathematicos 8.395
εἰ οὖν μήτε ὧς φαινόμενον φαινομένου ἐστὶν ἀπόδειξις μήτε ὧς ἄδηλον ἀδήλου μήτε ὧς ἄδηλον φαινομένου μήτε ὡς φαινόμενον ἀδήλου , παρὰ δὲ ταῦτα οὐδὲν ἔστι , λεκτέον μηδὲν εἶναι ἀπόδειξιν .
Lemmas: εἰμί οὖν μήτε ὅς φαίνω φαίνω εἰμί ἀπόδειξις μήτε ὅς ἄδηλος ἄδηλος μήτε ὅς ἄδηλος φαίνω μήτε ὡς φαίνω ἄδηλος , παρά δέ οὗτος οὐδείς εἰμί , λεκτέος μηδείς εἰμί ἀπόδειξις .
sextus-empiricus.adversus-mathematicos 8.396
Ἀκολούθως δὲ τοῖς εἰρημένοις , ἐπεὶ καὶ οἱ Στωικοὶ ( fr . II 91 Arn . ) μάλιστα δοκοῦσιν ἐξηκριβωκέναι τοὺς ἀποδεικτικοὺς τρόπους , φέρε καὶ πρὸς τούτους ὀλίγα διεξέλθωμεν , παριστάντες , ὅτι τὸ ὅσον ἐπὶ ταῖς ὑποθέσεσιν αὐτῶν τάχα μὲν πάντα ἐστὶν ἀκατάληπτα , ἰδιαίτερον δὲ ἡ ἀπόδειξις .
Lemmas: ἀκόλουθος δέ ὁ εἴρω , ἐπεί καί ὁ στωϊκός ( fr . II 91 Arn . ) μάλιστα δοκέω ἐξακριβόω ὁ ἀποδεικτικός τρόπος , φέρω καί πρός οὗτος ὀλίγος διεξέρχομαι , παρίστημι , ὅτι ὁ ὅσος ἐπί ὁ ὑπόθεσις αὐτός τάχα μέν πᾶς εἰμί ἀκατάληπτος , ἴδιος δέ ὁ ἀπόδειξις .
sextus-empiricus.adversus-mathematicos 8.397
ἔστι μὲν οὖν ἡ κατάληψις , ὧς ἔστι παρ’ αὐτῶν ἀκούειν , καταληπτικῆς φαντασίας συγκατάθεσις , ἥτις διπλοῦν ἔοικεν εἶναι πρᾶγμα , καὶ τὸ μέν τι ἔχειν ἀκούσιον , τὸ δὲ ἑκούσιον καὶ ἐπὶ τῇ ἡμετέρᾳ κρίσει κείμενον . τὸ μὲν γὰρ φαντασιωθῆναι ἀβούλητον ἦν , καὶ οὐκ ἐπὶ τῷ πάσχοντι ἔκειτο ἀλλ’ ἐπὶ τῷ φαντασιοῦντι τὸ οὑτωσὶ διατεθῆναι , οἶον λευκαντικῶς λευκοῦ ὑποπεσόντος χρώματος ἢ γλυκαντικῶς γλυκέος τῇ γεύσει προσαχθέντος · τὸ δὲ συγκαταθέσθαι τούτῳ τῷ κινήματι ἔκειτο ἐπὶ τῷ παραδεχομένῳ τὴν φαντασίαν .
Lemmas: εἰμί μέν οὖν ὁ κατάληψις , ὅς εἰμί παρά αὐτός ἀκούω , καταληπτικός φαντασία συγκατάθεσις , ὅστις διπλόος ἔοικα εἰμί πρᾶγμα , καί ὁ μέν τίς ἔχω ἀεκούσιος , ὁ δέ ἑκούσιος καί ἐπί ὁ ἡμέτερος κρίσις κεῖμαι . ὁ μέν γάρ φαντασιόω ἀβούλητος εἰμί , καί οὐ ἐπί ὁ πάσχω κεῖμαι ἀλλά ἐπί ὁ φαντασιόω ὁ οὑτωσί διατίθημι , οἶος λευκαντικός λευκός ὑποπίπτω χρῶμα ἢ γλυκαντικός γλυκύς ὁ γεύω προσάγω · ὁ δέ συγκατατίθημι οὗτος ὁ κίνημα κεῖμαι ἐπί ὁ παραδέχομαι ὁ φαντασία .
sextus-empiricus.adversus-mathematicos 8.398
ὥστε ἡ κατάληψις προηγουμένην ἔχει τὴν καταληπτικὴν φαντασίαν , ἧς ἐστι συγκατάθεσις . ἡ δὲ καταληπτικὴ φαντασία προάγουσαν εἶχε τὴν φαντασίαν , ἧς ἐστιν εἶδος . φαντασίας γὰρ μὴ οὔσης οὐδὲ καταληπτικὴ ἔστι φαντασία , παρόσον τοῦ γένους μὴ ὄντος οὐδὲ τὸ εἶδος ἔστιν · καὶ καταληπτικῆς μὴ οὔσης φαντασίας οὐδὲ συγκατάθεσις ἔστιν αὐτῆς . τῆς δὲ καταληπτικῆς φαντασίας τῆς συγκαταθέσεως αἰρομένης αἴρεται καὶ ἡ κατάληψις .
Lemmas: ὥστε ὁ κατάληψις προηγούμενος ἔχω ὁ καταληπτικός φαντασία , ὅς εἰμί συγκατάθεσις . ὁ δέ καταληπτικός φαντασία προάγω ἔχω ὁ φαντασία , ὅς εἰμί εἶδος . φαντασία γάρ μή εἰμί οὐδέ καταληπτικός εἰμί φαντασία , παρόσον ὁ γένος μή εἰμί οὐδέ ὁ εἶδος εἰμί · καί καταληπτικός μή εἰμί φαντασία οὐδέ συγκατάθεσις εἰμί αὐτός . ὁ δέ καταληπτικός φαντασία ὁ συγκατάθεσις ἀείρω ἀείρω καί ὁ κατάληψις .
sextus-empiricus.adversus-mathematicos 8.399
ἔνθεν , ἂν ἐπιδειχθῇ , διὰ ] τῆς ἀποδείξεως ὅτι οὐ δύναται φαντασία γενέσθαι κατὰ τοὺς Στωικούς , δῆλον ἔσται , ὡς οὐδὲ καταληπτικὴ φαντασία τις ὑποστήσεται τῆς ἀποδείξεως , ταύτης δὲ μὴ οὔσης οὐδ’ ἡ συγκατάθεσις αὐτῆς , ὅπερ ἦν ἡ κατάληψις .
Lemmas: ἔνθεν , εἄν ἐπιδείκνυμι , διά ] ὁ ἀπόδειξις ὅτι οὖον δύναμαι φαντασία γίγνομαι κατά ὁ στωϊκός , δῆλος εἰμί , ὡς οὐδέ καταληπτικός φαντασία τις ὑφίστημι ὁ ἀπόδειξις , οὗτος δέ μή εἰμί οὐδέ ὁ συγκατάθεσις αὐτός , ὅσπερ εἰμί ὁ κατάληψις .
sextus-empiricus.adversus-mathematicos 8.400
Ὅτι δὲ οὐκ ἔστιν ἀποδείξεως φαντασία κατὰ τοὺς Στωικούς , δείκνυται πρῶτον μὲν ἐκ τοῦ κοινότερον παρ’ αὐτοῖς διαπεφωνῆσθαι τὸ τί ποτ’ ἔστιν ἡ φαντασία · μέχρι γὰρ τοῦ τύπωσιν αὐτὴν λέγειν ἐν ἡγεμονικῷ συμφωνήσαντες περὶ αὐτῆς διαφέρονται τῆς τυπώσεως , Κλεάνθους ( fr . 484 Arn ) . μὲν κυρίως ἀκούσαντος τὴν μετὰ εἰσοχῆς καὶ ἐξοχῆς νοουμένην , Χρυσίππου ( fr . II 56 Arn . ) δὲ καταχρηστικώτερον ἀντὶ τῆς ἀλλοιώσεως .
Lemmas: ὅτι2 δέ οὐ εἰμί ἀπόδειξις φαντασία κατά ὁ στωϊκός , δείκνυμι πρῶτος μέν ἐκ ὁ κοινός παρά αὐτός διαφωνέω ὁ τίς πρός εἰμί ὁ φαντασία · μέχρι γάρ ὁ τύπτω αὐτός λέγω ἐν ἡγεμονικός συμφωνέω περί αὐτός διαφέρω ὁ τύπωσις , Κλεάνθης ( fr . 484 Arn ) . μέν κύριος ἀκούω ὁ μετά εἰσοχή καί ἐξοχή νοέω , Χρύσιππος ( fr . II 56 Arn . ) δέ καταχρηστικός ἀντί ὁ ἀλλοίωσις .
sextus-empiricus.adversus-mathematicos 8.401
εἰ δὴ καὶ κατ’ ἐκείνους αὐτοὺς ἡ τύπωσις μέχρι τοῦ νῦν οὐχ ὁμολογεῖται , ἀνάγκη καὶ τὴν φαντασίαν ἄχρι δεῦρο διαφωνουμένην ἐν ἐποχῇ φυλάσσεσθαι καὶ τὴν ἐξηρτημένην αὐτῆς ἀπόδειξιν .
Lemmas: εἰμί δή καί κατά ἐκεῖνος αὐτός ὁ τύπωσις μέχρι ὁ νῦν οὐ ὁμολογέω , ἀνάγκη καί ὁ φαντασία ἄχρι δεῦρο διαφωνέω ἐν ἐποχή φυλάσσω καί ὁ ἐξαρτάω αὐτός ἀπόδειξις .
sextus-empiricus.adversus-mathematicos 8.402
εἶτα δεδόσθω καὶ εἶναι τὴν φαντασίαν ὁποίαν ποτὲ θέλουσιν , εἴτε κυρίως τύπωσιν τὴν μετὰ εἰσοχῆς καὶ ἐξοχῆς εἴτε ἑτεροίωσιν · ἀλλὰ τὸ πῶς αὕτη γίνεται τῆς ἀποδείξεως τῶν ἀπορωτάτων . δῆλον γὰρ ὅτι τὸ μὲν φανταστὸν ὀφείλει ποιεῖν , τὸ δὲ φαντασιούμενον ἡγεμονικὸν πάσχειν , ἐκεῖνο μὲν ἔνα τυπώσῃ , τοῦτο δ’ ἴνα τυπωθῇ · ἄλλως γὰρ οὐκ εἰκὸς συμβαίνειν φαντασίαν .
Lemmas: εἶτα δίδωμι καί εἰμί ὁ φαντασία ὁποῖος ποτέ ἐθέλω , εἴτε κύριος τύπτω ὁ μετά εἰσοχή καί ἐξοχή εἴτε ἑτεροίωσις · ἀλλά ὁ πῶς οὗτος γίγνομαι ὁ ἀπόδειξις ὁ ἄπορος . δῆλος γάρ ὅτι ὁ μέν φανταστός ὀφείλω ποιέω , ὁ δέ φαντασιόω ἡγεμονικός πάσχω , ἐκεῖνος μέν νάω τύπωση , οὗτος δέ ἵνα τυπόω · ἄλλως γάρ οὐ εἰκός συμβαίνω φαντασία .
sextus-empiricus.adversus-mathematicos 8.403
τὸ μὲν οὖν ἡγεμονικὸν τάχα συγχωρήσει τις δύνασθαι πάσχειν , καίπερ ἀσυγχώρητον ὄν · τὴν δὲ ἀπόδειξιν πῶς εἰκός ἐστι ποιεῖν ; ἤτοι γὰρ σῶμα κατ’ αὐτούς ἐστιν ἢ ἀσώματον .
Lemmas: ὁ μέν οὖν ἡγεμονικός τάχα συγχωρέω τις δύναμαι πάσχω , καίπερ ἀσυγχώρητος εἰμί · ὁ δέ ἀπόδειξις πῶς εἰκός εἰμί ποιέω ; ἤτοι γάρ σῶμα κατά αὐτός εἰμί ἢ ἀσώματος .
sextus-empiricus.adversus-mathematicos 8.404
σῶμα μὲν οὖν οὐκ ἔστιν , ἐξ ἀσωμάτων γὰρ λεκτῶν συνέστηκεν · εἰ δὲ ἀσώματον , ἐπεὶ τὰ ἀσώματα κατ’ αὐτοὺς οὔτε ποιεῖν τι πέφυκεν οὔτε πάσχειν , καὶ ἡ ἀπόδειξις ἀσώματος οὖσα οὐδὲν δυνήσεται ποιεῖν , μηδὲν δὲ ποιοῦσα οὐδὲ τυπώσει τὸ ἡγεμονικόν , μὴ τυποῦσα δὲ αὐτὸ οὐδὲ φαντασίαν αὑτῆς ποιήσει περὶ αὐτῷ , εἰ δὲ τοῦτο ,
Lemmas: σῶμα μέν οὖν οὐ εἰμί , ἐκ ἀσώματος γάρ λέκτης συνίστημι · εἰμί δέ ἀσώματος , ἐπεί ὁ ἀσώματος κατά αὐτός οὔτε ποιέω τίς φύω οὔτε πάσχω , καί ὁ ἀπόδειξις ἀσώματος εἰμί οὐδείς δύναμαι ποιέω , μηδείς δέ ποιέω οὐδέ τύπωσις ὁ ἡγεμονικός , μή τύπτω δέ αὐτός οὐδέ φαντασία ἑαυτοῦ ποιέω περί αὐτός , εἰμί δέ οὗτος ,
sextus-empiricus.adversus-mathematicos 8.405
οὐδὲ καταληπτικὴν φαντασίαν . μὴ οὔσης δὲ αὐτῆς περὶ τῷ ἡγεμονικῷ καταληπτικῆς φαντασίας , οὐδὲ κατάληψις αὐτῆς γενήσεται .
Lemmas: οὐδέ καταληπτικός φαντασία . μή εἰμί δέ αὐτός περί ὁ ἡγεμονικός καταληπτικός φαντασία , οὐδέ κατάληψις αὐτός γίγνομαι .
sextus-empiricus.adversus-mathematicos 8.406
κατὰ τὰς τῶν Στωικῶν ἄρα τεχνολογίας ἀκατάληπτός ἐστιν ἡ ἀπόδειξις . Καὶ μὴν οὐδὲ ἔνεστι λέγειν , ὅτι τὰ ἀσώματα οὐ ποιεῖ τι οὐδὲ φαντασιοῖ ἡμᾶς , ἀλλ’ ἡμεῖς ἐσμεν οἱ ἐπ’ ἐκείνοις φαντασιούμενοι . εἰ γὰρ ὁμολογεῖται , ὅτι πᾶν ἀποτέλεσμα οὐ χωρίς γε τοῦ δρῶντος καὶ τοῦ πάσχοντος συνίσταται , ὀφείλει καὶ ἡ φαντασία τῆς ἀποδείξεως ἀποτέλεσμα καθεστηκυῖα μὴ χωρὶς τοῦ δρῶντός τε καὶ πάσχοντος νοεῖσθαι .
Lemmas: κατά ὁ ὁ στωικός ἄρα τεχνολογία ἀκατάληπτος εἰμί ὁ ἀπόδειξις . καί μήv οὐδέ ἔνειμι λέγω , ὅτι ὁ ἀσώματος οὖον ποιέω τίς οὐδέ φαντασιόω ἐγώ , ἀλλά ἐγώ εἰμί ὁ ἐπί ἐκεῖνος φαντασιόω . εἰμί γάρ ὁμολογέω , ὅτι πᾶς ἀποτέλεσμα οὖον χωρίς γε ὁ δράω καί ὁ πάσχω συνίστημι , ὀφείλω καί ὁ φαντασία ὁ ἀπόδειξις ἀποτέλεσμα καθίστημι μή Χωρὶς ὁ δράω τε καί πάσχω νοέω .
sextus-empiricus.adversus-mathematicos 8.407
τὸ μὲν οὖν πάσχον ὅτι <τὸ> ἡγεμονικόν ἐστι , δεδώκασιν οἱ ἀπὸ τῆς Στοᾶς φιλόσοφοι · τὸ δὲ τυποῦν καὶ ποιοῦν τί ἂν εἴη κατ’ αὐτούς , ἄξιον μαθεῖν . ἤτοι γὰρ ἀπόδειξίς ἐστιν ἡ τυποῦσα τὸ ἡγεμονικὸν καὶ κινοῦσα τὴν ἑαυτῆς φαντασίαν , ἢ τὸ ἡγεμονικὸν αὐτὸ τυποῖ καὶ φαντασιοῖ . ἀλλ’ ἡ μὲν ἀπόδειξις οὐκ ἂν εἵη τοῦ ἡγεμονικοῦ τυπωτική · ἀσώματος γάρ ἐστι , τὸ δὲ ἀσώματον κατ’ αὐτούς οὔτε ποιεῖ τι οὔτε πάσχει .
Lemmas: ὁ μέν οὖν πάσχω ὅτι ὅς ἡγεμονικός εἰμί , δίδωμι ὁ ἀπό ὁ Στοά φιλόσοφος · ὁ δέ τυπόω καί ποιέω τίς εἄν εἰμί κατά αὐτός , ἄξιος μανθάνω . ἤτοι γάρ ἀπόδειξις εἰμί ὁ τύπτω ὁ ἡγεμονικός καί κινέω ὁ ἑαυτοῦ φαντασία , ἢ ὁ ἡγεμονικός αὐτός τυπόω καί φαντασιόω . ἀλλά ὁ μέν ἀπόδειξις οὐ εἄν ἵημι ὁ ἡγεμονικός τυπωτικός · ἀσώματος γάρ εἰμί , ὁ δέ ἀσώματος κατά αὐτός οὔτε ποιέω τίς οὔτε πάσχω .
sextus-empiricus.adversus-mathematicos 8.408
εἰ δὲ τὸ ἡγεμονικὸν ἑαυτὸ τυποῖ , ἤτοι οἷός ἐστιν ὁ τύπος τοιοῦτο καὶ τὸ τυποῦν , ἢ ἀλλοῖον μέν τι ὁ τύπος , ἀνόμοιον δέ τι τούτου τὸ τυποῦν . καὶ εἰ μὲν ἀνόμοιον , ἄλλων ὑποκειμένων ἄλλων γενήσονται αἱ φαντασίαι · ὅπερ πάλιν εἰς τὴν περὶ ἁπάντων ἀκαταληψίαν συγκλείει τοὺς Στωικούς . εἰ δὲ ὅμοιός ἐστιν ὁ τύπος τῷ τυποῦντι , ἐπεὶ τὸ ἡγεμονικὸν ἑαυτὸ τυποῖ , λήψεται φαναὐτὸ τασίαν οὐ τῆς ἀποδείξεως ἀλλὰ ἑαυτοῦ · ὁ πάλιν ἐστιν ἄτοπον .
Lemmas: εἰμί δέ ὁ ἡγεμονικός ἑαυτοῦ τυπόω , ἤτοι οἷος εἰμί ὁ τύπος τοιοῦτος καί ὁ τυπόω , ἢ ἀλλοῖος μέν τίς ὁ τύπος , ἀνόμοιος δέ τίς οὗτος ὁ τυπόω . καί εἰμί μέν ἀνόμοιος , ἄλλος ὑπόκειμαι ἄλλος γίγνομαι ὁ φαντασία · ὅσπερ πάλιν εἰς ὁ περί ἅπας ἀκαταληψία συγκλείω ὁ στωϊκός . εἰμί δέ ὅμοιος εἰμί ὁ τύπος ὁ τυπόω , ἐπεί ὁ ἡγεμονικός ἑαυτοῦ τυπόω , λαμβάνω φαναός τασία οὖον ὁ ἀπόδειξις ἀλλά ἑαυτοῦ · ὁ πάλιν εἰμί ἄτοπος .
sextus-empiricus.adversus-mathematicos 8.409
Οἱ δὲ ( Stoic . fr . II 85 Arn . ) καὶ δι’ ὑποδειγμάτων πειρῶνται τὸ ἀξιούμενον παραμυθεῖσθαι . ὥσπερ γάρ , φασίν , ὁ παιδοτρίβης καὶ ὁπλομάχος ἔσθ’ ὅτε μὲν λαβόμενος τῶν χειρῶν τοῦ παιδὸς ῥυθμίζει καὶ διδάσκει τινὰς κινεῖσθαι κινήσεις , ἐσθ’ ὅτε δὲ ἄπωθεν ἑστὼς καί πως κινούμενος ἐν ῥυθμῷ παρέχει ἑαυτὸν ἐκείνῳ πρὸς μίμησιν , οὕτω καὶ τῶν φανταστῶν ἔνια μὲν οἱονεὶ ψαύοντα καὶ θιγγάνοντα τοῦ ἡγεμονικοῦ ποιεῖται τὴν ἐν τούτῳ τύπωσιν , ὁποῖόν ἐστι τὸ λευκὸν καὶ μέλαν καὶ κοινῶς τὸ σῶμα , ἔνια δὲ τοιαύτην ἔχει φύσιν <....> , τοῦ ἡγεμονικοῦ ἐπ’ αὐτοῖς φαντασιουμένου καὶ οὐχ ὑπ’ αὐτῶν , ὁποῖά ἐστι τὰ ἀσώματα λεκτά .
Lemmas: ὁ δέ ( Stoic . fr . II 85 Arn . ) καί διά ὑπόδειγμα πειράω ὁ ἀξιόω παραμυθέομαι . ὥσπερ γάρ , φημί , ὁ παιδοτρίβης καί ὁπλομάχος ἔστω ὅτε μέν λαμβάνω ὁ χείρ ὁ παῖς ῥυθμίζω καί διδάσκω τις κινέω κινέω , ἐστώ ὅτε δέ ἄπωθεν ἵστημι καί πως κινέω ἐν ῥυθμός παρέχω ἑαυτοῦ ἐκεῖνος πρός μίμησις , οὗτος καί ὁ φανταστής ἔνιοι μέν οἱονεί ψαύω καί θιγγάνω ὁ ἡγεμονικός ποιέω ὁ ἐν οὗτος τύπτω , ὁποῖος εἰμί ὁ λευκός καί μέλας καί κοινῶς ὁ σῶμα , ἔνιοι δέ τοιοῦτος ἔχω φύσις <....> , ὁ ἡγεμονικός ἐπί αὐτός φαντασιόω καί οὐ ὑπό αὐτός , ὁποῖος εἰμί ὁ ἀσώματος λεκτός .
sextus-empiricus.adversus-mathematicos 8.410
οἱ δὲ τοῦτο λέγοντες πιθανῷ μὲν χρῶνται παραδείγματι , οὐ συνάγουσι δὲ τὸ προκείμενον . ὁ μὲν γὰρ παιδοτρίβης καὶ ὁπλομάχος ἐστὶ σῶμα , καὶ κατὰ τοῦτο ἐδύνατο φαντασίαν ἐμποιεῖν τῷ παιδί · ἡ δὲ ἀπόδειξις ἀσώματος καθειστήκει , καὶ κατὰ τοῦτο ἐζητεῖτο εἰ δύνατ’ αἰ φανταστικῶς τυποῦν τὸ ἡγεμονικόν . ὥστε μὴ ἀποδεδεῖχθαι αὐτοῖς τὸ ἀρχῆθεν ζητουμενον .
Lemmas: ὁ δέ οὗτος λέγω πιθανός μέν χράω παράδειγμα , οὖον συνάγω δέ ὁ πρόκειμαι . ὁ μέν γάρ παιδοτρίβης καί ὁπλομάχος εἰμί σῶμα , καί κατά οὗτος δύναμαι φαντασία ἐμποιέω ὁ παῖς · ὁ δέ ἀπόδειξις ἀσώματος καθίστημι , καί κατά οὗτος ζητέω εἰμί δύο ὁ φανταστικός τυπόω ὁ ἡγεμονικός . ὥστε μή ἀποδείκνυμι αὐτός ὁ ἀρχῆθεν ζητέω .
sextus-empiricus.adversus-mathematicos 8.411
Ὅθεν τούτων ἀποδεδειγμένων σκοπῶμεν μετελθόντες εἰ καὶ κατὰ τὴν διαλεκτικὴν θεωρίαν δύναται ἡ τῆς ἀποδείξεως αὐτοῖς ὑπόσχεσις σῴζεσθαι . οἴοντοι τοίνυν ( Stoic . fr . II 239 Arn . ) τρεῖς τινας ἀλλήλοις συζυγεῖν λόγους , τόν τε συνακτικὸν καὶ τὸν ἀληθῆ καὶ τὸν ἀποδεικτικόν ,
Lemmas: ὅθεν οὗτος ἀποδείκνυμι σκοπέω μετέρχομαι εἰμί καί κατά ὁ διαλεκτικός θεωρία δύναμαι ὁ ὁ ἀπόδειξις αὐτός ὑπόσχεσις σῴζω . οἴομαι τοίνυν ( Stoic . fr . II 239 Arn . ) τρεῖς τις ἀλλήλων συζυγέω λόγος , ὁ τε συνακτικός καί ὁ ἀληθής καί ὁ ἀποδεικτικός ,
sextus-empiricus.adversus-mathematicos 8.412
ὧν τὸν μὲν ἀποδεικτικὸν πάντως ἀληθῆ τε καὶ συνακτικόν <εἶναι> , τὸν δὲ ἀληθῆ πάντως συνακτικὸν μὲν ὑπάρχειν , οὐκ ἐξ ἀνάγκης δὲ καὶ ἀποδεικτικόν , τὸν δὲ συνακτικὸν οὔτε πάντως ἀληθῆ οὔτε πάντως ἀποδεικτικόν .
Lemmas: ὅς ὁ μέν ἀποδεικτικός πάντως ἀληθής τε καί συνακτικός εἰμί , ὁ δέ ἀληθής πάντως συνακτικός μέν ὑπάρχω , οὐ ἐκ ἀνάγκη δέ καί ἀποδεικτικός , ὁ δέ συνακτικός οὔτε πάντως ἀληθής οὔτε πάντως ἀποδεικτικός .
sextus-empiricus.adversus-mathematicos 8.413
καὶ ὁ μὲν τοιοῦτος ἡμέρας οὔσης “ εἰ νὺξ ἔστι , σκότος ἔστιν · ἀλλὰ μὴν νὺξ ἔστιν · σκότος ἄρα ἔστιν ” συνάγει μὲν διὰ τὸ ἐν ὑγιεῖ ἠρωτῆσθαι σχήματι , οὐκ ἔστι δὲ ἀληθής , τὸ δεύτερον λῆμμα ἔχων ψεῦδος , τὴν πρόσληψιν , τὸ ‘‘ἀλλὰ μὴν νὺξ ἔστιν ” .
Lemmas: καί ὁ μέν τοιοῦτος ἡμέρα εἰμί “ εἰμί νύξ εἰμί , σκότος εἰμί · ἀλλά μήv νύξ εἰμί · σκότος ἄρα εἰμί ” συνάγω μέν διά ὁ ἐν ὑγιής ἐρωτάω σχῆμα , οὐ εἰμί δέ ἀληθής , ὁ δύο λῆμμα ἔχω ψεῦδος , ὁ πρόσληψις , ὁ ‘‘ἀλλὰ μήv νύξ εἰμί ” .
sextus-empiricus.adversus-mathematicos 8.414
ὁ δὲ οὕτως ἔχων ἡμέρας οὔσης ‟ εἰ ἡμέρα ἔστι , φῶς ἔστιν · ἀλλὰ μὴν ἡμέρα ἔστιν · φῶς ἄρα ἔστιν ” συνακτικὸς ἅμα ἦν καὶ ἀληθὴς τῷ καὶ ἐν ὑγιεῖ ἠρωτῆσθαι σχήματι καὶ δι’ ἀληθῶν ἀληθὲς συνάγειν .
Lemmas: ὁ δέ οὕτως ἔχω ἡμέρα εἰμί ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί · ἀλλά μήv ἡμέρα εἰμί · φάος ἄρα εἰμί ” συνακτικός ἅμα εἰμί καί ἀληθής ὁ καί ἐν ὑγιής ἐρωτάω σχῆμα καί διά ἀληθής ἀληθής συνάγω .
sextus-empiricus.adversus-mathematicos 8.415
κρίνεσθαι δέ φασι τὸν συνακτικὸν λόγον ὅτι συνακτικός ἐστιν , ὅταν τῇ διὰ τῶν λημμάτων αὐτοῦ συμπλοκῇ ἕπηται τὸ συμπέρασμα , οἶον τὸν τοιοῦτον λόγον ἡμέρας οὔσης ‟ εἰ νὺξ ἔστι , σκότος ἔστιν · ἀλλὰ μὴν νὺξ ἔστιν · σκότος ἄρα ἔστιν ” , καίπερ μὴ ὄντα ἀληθῆ διὰ τὸ ἐπὶ ψεῦδος ἄγειν , συνακτικὸν εἷναί φαμεν .
Lemmas: κρίνω δέ φημί ὁ συνακτικός λόγος ὅτι συνακτικός εἰμί , ὅταν ὁ διά ὁ λῆμμα αὐτός συμπλοκή ἕπω ὁ συμπέρασμα , οἶος ὁ τοιοῦτος λόγος ἡμέρα εἰμί ‟ εἰμί νύξ εἰμί , σκότος εἰμί · ἀλλά μήv νύξ εἰμί · σκότος ἄρα εἰμί ” , καίπερ μή εἰμί ἀληθής διά ὁ ἐπί ψεῦδος ἄγω , συνακτικός ἵημι φημί .
sextus-empiricus.adversus-mathematicos 8.416
συμπλέξαντες γὰρ οὕτω τὰ λήμματα ‟ νὺξ ἔστι , καὶ εἰ νὺξ ἔστι , σκότος ἔστι ” , ποιοῦμεν συνημμένον [ συλλογισμόν ] , ἀρχόμενον μὲν ἀπὸ τῆς τοιαύτης συμπλοκῆς , λῆγον δὲ εἰς τὸ συμπέρασμα τοιοῦτον [ “ νὺξ ἐστι , καὶ εἰ νὺξ σκότος ἔστι ” . τοῦτο γὰρ τὸ συνημμένον ἀληθές ἐστι διὰ τὸ μηδέποτε ἀρχόμενον ἀπὸ ἀληθοῦς λήγειν ἐπὶ ψεῦδος . ἡμέρας μὲν γὰρ οὔσης ἄρξεται ἀπὸ ψεύδους τοῦ ‟ νῦξ ἔστι , καὶ εἰ νὺξ ἔστι , σκότος ἔστι ” , καὶ λήξει ἐπὶ ψεῦδος , <τὸ> ‟ σκότος ἔστι ” , καὶ οὕτως ἔσται ἀληθές · δὲ ἄρξεταί τε ἀπ’ ἀληθοῦς καὶ λήξει ἐπ’ ἀληθές , καὶ ἔσται παρ’ αὐτὸ τοῦτο ἀληθές .
Lemmas: συμπλέκω γάρ οὗτος ὁ λῆμμα ‟ νύξ εἰμί , καί εἰμί νύξ εἰμί , σκότος εἰμί ” , ποιέω συνάπτω [ συλλογισμός ] , ἄρχω μέν ἀπό ὁ τοιοῦτος συμπλοκή , λήγω δέ εἰς ὁ συμπέρασμα τοιοῦτος [ “ νύξ εἰμί , καί εἰμί νύξ σκότος εἰμί ” . οὗτος γάρ ὁ συνάπτω ἀληθής εἰμί διά ὁ μηδέποτε ἄρχω ἀπό ἀληθής λήγω ἐπί ψεῦδος . ἡμέρα μέν γάρ εἰμί ἄρχω ἀπό ψεῦδος ὁ ‟ νύξ εἰμί , καί εἰμί νύξ εἰμί , σκότος εἰμί ” , καί λήγω ἐπί ψεῦδος , ὅς ‟ σκότος εἰμί ” , καί οὕτως εἰμί ἀληθής · δέ ἄρχω τε ἀπό ἀληθής καί λήγω ἐπί ἀληθής , καί εἰμί παρά αὐτός οὗτος ἀληθής .
sextus-empiricus.adversus-mathematicos 8.417
οὐκοῦν ὁ μὲν συνακτικὸς τότε ἐστὶν ὑγιής , ὅταν συμπλεξάντων ἡμῶν τὰ λήμματα καὶ συνημμένον ποιησάντων τὸ ἀρχόμενον μὲν ἀπὸ τῆς διὰ τῶν λημμάτων συμπλοκῆς λῆγον δ’ εἰς τὸ συμπέρασμα , εὑρίσκηται τοῦτο αὐτὸ συνημμένον ἀληθές .
Lemmas: οὐκοῦν ὁ μέν συνακτικός τότε εἰμί ὑγιής , ὅταν συμπλέκω ἐγώ ὁ λῆμμα καί συνάπτω ποιέω ὁ ἄρχω μέν ἀπό ὁ διά ὁ λῆμμα συμπλοκή λήγω δέ εἰς ὁ συμπέρασμα , εὑρίσκω οὗτος αὐτός συνάπτω ἀληθής .
sextus-empiricus.adversus-mathematicos 8.418
ὁ δ’ ἀληθὴς λόγος κρίνεται ὅτι ἔστιν ἀληθὴς οὐκ ἐκ τοῦ μόνον τὸ συἔχον νημμένον τὸ ἀρχόμενον ἀπὸ τῆς διὰ τῶν λημμάτων συμπλοκῆς καὶ λῆγον εἰς τὸ συμπέρασμα εἷναι ἀληθές , ἀλλὰ καὶ ἐκ τοῦ διὰ τῶν λημμάτων τὸ συμπεπλεγμένον ὑπάρχειν ὑγιές , ὡς ἂν τὸ ἕτερον τούτων εὑρίσκηται ψεῦδος , καὶ τὸν λόγον ἐξ ἀνάγκης γίνεσθαι ψευδῆ , ὧς ὁ τοιοῦτος νυκτὸς οὔσης ‟ εἰ ἡμέρα ἔστιν , φῶς ἔστιν · ἀλλὰ μὴν ἡμέρα ἔστιν · φῶς ἄρα ἔστιν ” διὰ τὸ λῆμμα ἔχειν ψεῦδος τὸ ‘‘ἡμέρα ἔστιν ” , ψευδής ἐστιν .
Lemmas: ὁ δέ ἀληθής λόγος κρίνω ὅτι εἰμί ἀληθής οὐ ἐκ ὁ μόνος ὁ συεχω νημμένον ὁ ἄρχω ἀπό ὁ διά ὁ λῆμμα συμπλοκή καί λήγω εἰς ὁ συμπέρασμα ἵημι ἀληθής , ἀλλά καί ἐκ ὁ διά ὁ λῆμμα ὁ συμπλέκω ὑπάρχω ὑγιής , ὡς εἄν ὁ ἕτερος οὗτος εὑρίσκω ψεῦδος , καί ὁ λόγος ἐκ ἀνάγκη γίγνομαι ψευδής , ὅς ὁ τοιοῦτος νύξ εἰμί ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί · ἀλλά μήv ἡμέρα εἰμί · φάος ἄρα εἰμί ” διά ὁ λῆμμα ἔχω ψεῦδος ὁ ἡμέρα εἰμί ” , ψευδής εἰμί .
sextus-empiricus.adversus-mathematicos 8.419
ἀλλὰ τὸ μὲν συμπεπλεγμένον διὰ τῶν λημμάτων ‘ὲν ἔχον τῶν λημμάτων ψεῦδος τὸ ‘‘ἡμέρα ἔστιν ” , ψεῦδός ἐστιν · τὸ δὲ συνημμένον τὸ ἀρχόμενον ἀπὸ τῆς διὰ τῶν λημμάτων συμπλοκῆς καὶ λῆγον εἰς τὸ συμπέρασμα ἀληθὲς ἔσται . οὐδέποτε γὰρ ἀρχόμενον ἀπὸ ἀληθοῦς λήγει ἐπὶ ψεῦδος , ἀλλὰ νυκτὸς μὲν ἀπὸ ψεύδους ἄρχεται τῆς συμπλοκῆς , ἡμέρας δέ , ὥσπερ ἄΝ ἀληθοῦς ἄρχεται , οὕτω καὶ εἰς ἀληθὲς λήγει .
Lemmas: ἀλλά ὁ μέν συμπλέκω διά ὁ λῆμμα εἶμι ἔχω ὁ λῆμμα ψεῦδος ὁ ἡμέρα εἰμί ” , ψεῦδος εἰμί · ὁ δέ συνάπτω ὁ ἄρχω ἀπό ὁ διά ὁ λῆμμα συμπλοκή καί λήγω εἰς ὁ συμπέρασμα ἀληθής εἰμί . οὐδέποτε γάρ ἄρχω ἀπό ἀληθής λήγω ἐπί ψεῦδος , ἀλλά νύξ μέν ἀπό ψεῦδος ἄρχω ὁ συμπλοκή , ἡμέρα δέ , ὥσπερ ἄν ἀληθής ἄρχω , οὗτος καί εἰς ἀληθής λήγω .
sextus-empiricus.adversus-mathematicos 8.420
καὶ πάλιν ὁ τοιοῦτος ‟ εἰ ἡμέρα ἔστι , φῶς ἔστιν · φῶς δέ γε ἔστιν · ἡμέρα ἄρα ἔστιν ” ψευδής ἐστιν , δυνάμενος ἡμᾶς δι’ ἀληθῶν λημμάτων ἄγειν ἐπὶ ψεῦδος .
Lemmas: καί πάλιν ὁ τοιοῦτος ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί · φάος δέ γε εἰμί · ἡμέρα ἄρα εἰμί ” ψευδής εἰμί , δύναμαι ἐγώ διά ἀληθής λῆμμα ἄγω ἐπί ψεῦδος .
sextus-empiricus.adversus-mathematicos 8.421
ἀλλὰ δὴ ἂν ἐξετάζωμεν , δύναται τὸ μὲν διὰ τῶν λημμάτων συμπεπλεγμένον ἀληθὲς εἶναι ἡμέρας οὔσης , οἷον τὸ τοιοῦτο ῾φῶς ἔστιν , καὶ εἰ ἡμέρα ἔστι , φῶς ἔστιν ” , τὸ δὲ συνημμένον τὸ ἀρχόμενον ἀπὸ τῆς διὰ τῶν λημμάτων συμπλοκῆς καὶ λῆγον ἐπὶ τὸ συμπέρασμα ψεῦδός <ἐστιν> , οἷον τὸ τοιοῦτον ‟ εἰ φῶς ἔστι , καὶ εἰ ἡμέρα ἔστι , φῶς ἔστιν ” . δύναται γὰρ τὸ συνημμένον τοῦτο νυκτὸς οὔσης ἀπὸ ἀληθοῦς ἄρχεσθαι τῆς συμπλοκῆς , λήγειν δ’ ἐπὶ ψεῦδος τὸ ‘‘ἡμέρα ἔστιν ” , καὶ διὰ τοῦτο εἶναι ψεῦδος . ὥστε γίνεται ἀληθὴς ὁ λόγος , οὔτε ὅταν τὸ συμπεπλεγμένον μόνον ᾖ ἀληθές . οὔτε ὅταν τὸ συνημμένον , ἀλλ’ ὅταν ἀμφότερα ἀληθῆ .
Lemmas: ἀλλά δή εἄν ἐξετάζω , δύναμαι ὁ μέν διά ὁ λῆμμα συμπλέκω ἀληθής εἰμί ἡμέρα εἰμί , οἷος ὁ τοιοῦτος φῦς εἰμί , καί εἰμί ἡμέρα εἰμί , φάος εἰμί ” , ὁ δέ συνάπτω ὁ ἄρχω ἀπό ὁ διά ὁ λῆμμα συμπλοκή καί λήγω ἐπί ὁ συμπέρασμα ψεῦδος <ἐστιν> , οἷος ὁ τοιοῦτος ‟ εἰμί φάος εἰμί , καί εἰμί ἡμέρα εἰμί , φάος εἰμί ” . δύναμαι γάρ ὁ συνάπτω οὗτος νύξ εἰμί ἀπό ἀληθής ἄρχω ὁ συμπλοκή , λήγω δέ ἐπί ψεῦδος ὁ ἡμέρα εἰμί ” , καί διά οὗτος εἰμί ψεῦδος . ὥστε γίγνομαι ἀληθής ὁ λόγος , οὔτε ὅταν ὁ συμπλέκω μόνος εἰμί ἀληθής . οὔτε ὅταν ὁ συνάπτω , ἀλλά ὅταν ἀμφότερος ἀληθής .
sextus-empiricus.adversus-mathematicos 8.422
ὁ δ’ ἑ ἀποδεικτικὸς τοῦ ἀληθοῦς διαφέρει . ὅτι ὁ μὲν ἀληθὴς δύναται ἐναργῆ ἔχειν πάντα , φημὶ δὲ τά τε λήμματα καὶ τὴν ἐπιφοράν , ὁ δὲ ἀποδεικτικὸς πλέον τι ἔχειν βούλεται , λέγω δὲ τὸ τὴν ἐπιφορὰν ἄδηλον οὖσαν ἐκκαλύπτεσθαι ὑπὸ τῶν λημμάτων .
Lemmas: ὁ δέ ὅς ἀποδεικτικός ὁ ἀληθής διαφέρω . ὅτι ὁ μέν ἀληθής δύναμαι ἐναργής ἔχω πᾶς , φημί δέ ὁ τε λῆμμα καί ὁ ἐπιφορά , ὁ δέ ἀποδεικτικός πλέω τίς ἔχω βούλομαι , λέγω δέ ὁ ὁ ἐπιφορά ἄδηλος εἰμί ἐκκαλύπτω ὑπό ὁ λῆμμα .
sextus-empiricus.adversus-mathematicos 8.423
ὅθεν ὁ μὲν τοιοῦτος ‟ εἰ ἡμέρα ἔστι , φῶς ἔστιν · ἀλλὰ μὴν ἡμέρα ἔστιν · φῶς ἄρα ἔστιν ” ἐναργῆ ἔχων τὰ λήμματα καὶ τὴν ἐπιφορὰν ἀληθής ἐστι καὶ οὐκ ἀποδεικτικός , ὁ δὲ τοιοῦτος ‟ εἰ γάλα ἔχει ἐν μαστοῖς ἥδε , κεκύηκεν ἥδε · ἀλλά μὴν γάλα ἔχει ἐν μαστοῖς ἥδε · κεκύηκεν ἄρα ᾔδε’ σὺν τῷ ἀληθὴς εἶναι ἔτι καὶ ἀποδεικτικός ἐστιν · ἄδηλον γὰρ ἔχων τὸ συμπέρασμα τὸ ‘‘κεκύηκεν ἄρα ἥδε ” , τοῦτο διὰ τῶν λημμάτων ἐκκαλύπτει .
Lemmas: ὅθεν ὁ μέν τοιοῦτος ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί · ἀλλά μήv ἡμέρα εἰμί · φάος ἄρα εἰμί ” ἐναργής ἔχω ὁ λῆμμα καί ὁ ἐπιφορά ἀληθής εἰμί καί οὐ ἀποδεικτικός , ὁ δέ τοιοῦτος ‟ εἰμί γάλα ἔχω ἐν μαστός ὅδε , κύω ὅδε · ἀλλά μήv γάλα ἔχω ἐν μαστός ὅδε · κύω ἄρα οἶδα σύν ὁ ἀληθής εἰμί ἔτι καί ἀποδεικτικός εἰμί · ἄδηλος γάρ ἔχω ὁ συμπέρασμα ὁ ἀκούω ἄρα ὅδε ” , οὗτος διά ὁ λῆμμα ἐκκαλύπτω .
sextus-empiricus.adversus-mathematicos 8.424
Τριῶν οὖν ὄντων λόγων , τοῦ τε συνακτικοῦ καὶ τοῦ ἀληθοῦς καὶ τοῦ ἀποδεικτικοῦ , εἰ μέν τίς ἐστιν ἀποδεικτικός , οὗτος πολύ πρότερόν ἐστιν ἀληθὴς καὶ συνακτικός · εἰ δέ τις ἀληθής , οὐκ ἐξ ἀνάγκης ἀποδεικτικός , πάντως δὲ συνακτικός ·
Lemmas: τρεῖς οὖν εἰμί λόγος , ὁ τε συνακτικός καί ὁ ἀληθής καί ὁ ἀποδεικτικός , εἰμί μέν τίς εἰμί ἀποδεικτικός , οὗτος πολύς πρότερος εἰμί ἀληθής καί συνακτικός · εἰμί δέ τις ἀληθής , οὐ ἐκ ἀνάγκη ἀποδεικτικός , πάντως δέ συνακτικός ·
sextus-empiricus.adversus-mathematicos 8.425
εἰ δέ τις συνακτικός , οὐ πάντως ἀληθὴς ὡς οὐδὲ πάντως ἀποδεικτικός κοινῶς οὖν ὀφείλοντος πᾶσιν αὐτοῖς συμβεβηκέναι τοῦ συνακτικοῦ ἰδιώματος , ἐὰν παραστήσωμεν , ὅτι ἀνεύρετός ἐστι τοῖς ἀπὸ τῆς Στοᾶς ὁ συνακτικὸς λόγος , ἐσόμεθα παρεστακότες , ὅτι οὐδὲ ἀληθὴς οὐδὲ ἀποδεικτικὸς δύναται εὑρεθῆναι .
Lemmas: εἰμί δέ τις συνακτικός , οὖον πάντως ἀληθής ὡς οὐδέ πάντως ἀποδεικτικός κοινῶς οὖν ὀφείλω πᾶς αὐτός συμβαίνω ὁ συνακτικός ἰδίωμα , ἐάν παρίστημι , ὅτι ἀνεύρετος εἰμί ὁ ἀπό ὁ Στοά ὁ συνακτικός λόγος , εἰμί παρίστημι , ὅτι οὐδέ ἀληθής οὐδέ ἀποδεικτικός δύναμαι εὑρίσκω .
sextus-empiricus.adversus-mathematicos 8.426
ὅτι δὲ οὐκ ἔστι συνακτικὸς λόγος τις , ῥᾴδιον γνῶναι . εἰ γὰρ συνακτικὸν εἶναι λέγουσι λόγον , ὅταν ἀληθὲς ἡ συνημμένον τὸ ἀρχόμενον μὲν ἀπὸ τῆς <διὰ> τῶν λημμάτων αὐτοῦ ἁ λῆγον δὲ εἰς τὴν ἐπιφοράν , δεήσει προεπικεκρίσθαι τὸ ἀληθὲς συνημμένον καὶ τότε βεβαίως λαμβάνεσθαι τὸν ἐκ τούτου ἠρτῆσθαι δοκοῦντα συνακτικὸν λόγον .
Lemmas: ὅτι δέ οὐ εἰμί συνακτικός λόγος τις , ῥᾴδιος γιγνώσκω . εἰμί γάρ συνακτικός εἰμί λέγω λόγος , ὅταν ἀληθής ὁ συνάπτω ὁ ἄρχω μέν ἀπό ὁ <διὰ> ὁ λῆμμα αὐτός ὅς λήγω δέ εἰς ὁ ἐπιφορά , δήω προεπικρίνω ὁ ἀληθής συνάπτω καί τότε βεβαίως λαμβάνω ὁ ἐκ οὗτος ἀρτάω δοκέω συνακτικός λόγος .
sextus-empiricus.adversus-mathematicos 8.427
ἀνεπίκριτον δέ γέ ἐστι μέχρι τοῦ νῦν τὸ ὑγιὲς συνημμένον · τοίνυν οὐδὲ ὁ συνακτικὸς λόγος δύναται γνώριμος ὑπάρχειν . ὥσπερ γὰρ μέτρου μὴ ἑστῶτος ἀλλ’ ἄλλοτ’ ἄλλως μεταβαλλομένου οὐδὲ τὸ μετρούμενον ἕστηκεν , οὕτως ἐπεὶ οἱονεὶ μέτρον ἐστὶ τοῦ συνάγειν τὸν λόγον τὸ ὑγιὲς συἐκκαλύπτεσθαι νημμένον , ἀκολουθήσει τούτου ἀνεπικρίτου καθεστῶτος μηδὲ ἐκεῖνον εἶναι σαφῆ .
Lemmas: ἀνεπίκριτος δέ γε εἰμί μέχρι ὁ νῦν ὁ ὑγιής συνάπτω · τοίνυν οὐδέ ὁ συνακτικός λόγος δύναμαι γνώριμος ὑπάρχω . ὥσπερ γάρ μέτρον μή ἵστημι ἀλλά ἄλλοτε ἄλλως μεταβάλλω οὐδέ ὁ μετρέω ἵστημι , οὕτως ἐπεί οἱονεί μέτρον εἰμί ὁ συνάγω ὁ λόγος ὁ ὑγιής συγκαλύπτω νημμένον , ἀκολουθέω οὗτος ἀνεπίκριτος καθίστημι μηδέ ἐκεῖνος εἰμί σαφής .
sextus-empiricus.adversus-mathematicos 8.428
ὅτι δ’ ἀνεπίκριτόν ἐστι τὸ ὑγιὲς συνημμένον , αἱ εἰσαγωγαὶ τῶν Στωικῶν διδάσκουσιν , ἐν αἷς πολλὰς καὶ διαφώνους καὶ μέχρι τοῦ νῦν ἀνεπικρίτους ἐκτίθενται τούτου κρίσεις . ὅθεν τοῦ συνακτικοῦ τοιούτου τυγχάνοντος πάντως καὶ ὁ ἀληθής , διὰ δὲ τοῦτο καὶ ὁ ἀποδεικτικὸς ὀφείλει ἐν ἐποχῇ φυλάττεσθαι . Κἂν ἀποστάντες δὲ ταύτης τῆς ἐνστάσεως ἐπὶ τὴν τῶν περαινόντων καὶ ἀπεράντων χωρῶμεν τεχνολογίαν , ἀδύνατος εὑρεθήσεται ἡ τοῦ ἀποδεικτικοῦ λόγου σύστασις .
Lemmas: ὅτι δέ ἀνεπίκριτος εἰμί ὁ ὑγιής συνάπτω , ὁ εἰσαγωγή ὁ στωικός διδάσκω , ἐν ὅς πολύς καί διάφωνος καί μέχρι ὁ νῦν ἀνεπίκριτος ἐκτίθημι οὗτος κρίσις . ὅθεν ὁ συνακτικός τοιοῦτος τυγχάνω πάντως καί ὁ ἀληθής , διά δέ οὗτος καί ὁ ἀποδεικτικός ὀφείλω ἐν ἐποχή φυλάσσω . κἀν ἀφίστημι δέ οὗτος ὁ ἔνστασις ἐπί ὁ ὁ περαίνω καί ἀπέραντος χωρέω τεχνολογία , ἀδύνατος εὑρίσκω ὁ ὁ ἀποδεικτικός λόγος σύστασις .
sextus-empiricus.adversus-mathematicos 8.429
περὶ μὲν οὖν τῶν περαινόντων πολλῆς καὶ ἀκριβοῦς οὔσης ζητήσεως οὐκ ἀνάγκη νῦν διεξελθεῖν , περὶ δὲ τῶν ἀπεράντων λόγων ἐπὶ ποσὸν ὑποδεικτέον . τοίνυν φασὶ ( Stoic . fr . II 240 Arn . ) τετραχῶς γίγνεσθαι τὸν ἀπέραντον λόγον , ἤτοι κατὰ διάρτησιν ἢ κατὰ παρολκὴν ἢ κατὰ τὸ ἐν μοχθηρῷ ἠρωτῆσθαι σχήματι ἢ κατὰ ἔλλειψιν .
Lemmas: περί μέν οὖν ὁ περαίνω πολύς καί ἀκριβής εἰμί ζήτησις οὐ ἀνάγκη νῦν διεξέρχομαι , περί δέ ὁ ἀπέραντος λόγος ἐπί ποσός ὑποδείκνυμι . τοίνυν φημί ( Stoic . fr . II 240 Arn . ) τετραχῶς γίγνομαι ὁ ἀπέραντος λόγος , ἤτοι κατά διάρτησις ἢ κατά παρολκή ἢ κατά ὁ ἐν μοχθηρός ἐρωτάω σχῆμα ἢ κατά ἔλλειψις .
sextus-empiricus.adversus-mathematicos 8.430
ἀλλὰ κατὰ διάρτησιν μέν , ὅταν μηδεμίαν ἔχῃ κοινωνίαν καὶ συνάρτησιν τὰ λήμματα πρὸς ἄλληλά τε καὶ πρὸς τὴν ἐπιφοράν , οἷον ἐπὶ τοῦ τοιούτου λόγου ‟ εἰ ἡμέρα ἔστι , φῶς ἔστιν · ἀλλὰ μὴν πυροὶ ἐν ἀγορᾷ πωλοῦνται · φῶς ἄρα ἔστιν ” . ὁρῶμεν γὰρ ὧς ἐπὶ τούτου οὔτε τὸ ‟ εἰ εἰ ἡμέρα ἔστιν ” ἔχει τινὰ σύμπνοιαν καὶ συμπλοκὴν πρὸς τὸ ‘‘πυροὶ ἐν ἀγορᾷ πωλοῦνται ” , οὔτε ἑκάτερον αὐτῶν πρὸς τὸ ‟ φῶς ἄρα ἔστιν ” , ἀλλ’ ἕκαστον ἀπὸ τῶν ἄλλων διήρτηται .
Lemmas: ἀλλά κατά διάρτησις μέν , ὅταν μηδείς ἔχω κοινωνία καί συνάρτησις ὁ λῆμμα πρός ἀλλήλων τε καί πρός ὁ ἐπιφορά , οἷος ἐπί ὁ τοιοῦτος λόγος ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί · ἀλλά μήv πυρός ἐν ἀγορά πωλέω · φάος ἄρα εἰμί ” . ὁράω γάρ ὅς ἐπί οὗτος οὔτε ὁ ‟ εἰμί εἰμί ἡμέρα εἰμί ” ἔχω τις σύμπνοια καί συμπλοκή πρός ὁ πυρός ἐν ἀγορά πωλέω ” , οὔτε ἑκάτερος αὐτός πρός ὁ ‟ φάος ἄρα εἰμί ” , ἀλλά ἕκαστος ἀπό ὁ ἄλλος διαρτάω .
sextus-empiricus.adversus-mathematicos 8.431
κατὰ δὲ παρολκὴν ἀπέραντος γίνεται ὁ λόγος , ὅταν ἔξωθέν τι καὶ περισσῶς παραλαμβάνηται τοῖς λήμμασι , καθάπερ ἐπὶ τοῦ οὕτως ἔχοντος ‟ εἰ ἡμέρα ἔστι , φῶς ἔστιν · ἀλλὰ μὴν ἡμέρα ἔστιν , ἀλλὰ καὶ ἡ ἀρετὴ ὠφελεῖ · φῶς ἄρα ἔστιν ” . τὸ γὰρ τὴν ἀρετὴν ὠφελεῖν περισσῶς συμπαρείληπται τοῖς ἄλλοις λήμμασιν , εἴγε δυνατόν ἐστιν ἐξαιρεθέντος αὐτοῦ διὰ τῶν περιλειπομένων , τοῦ τε ‟ εἰ ἡμέρα ἔστι , φῶς ἔστιν ” καὶ τοῦ ‟ ἀλλὰ μὴν ἡμέρα ἔστιν ” , συνάγεσθαι τὴν ἐπιφορὰν τὸ ‟ φῶς ἄρα ἔστιν ” .
Lemmas: κατά δέ παρολκή ἀπέραντος γίγνομαι ὁ λόγος , ὅταν ἔξωθεν τίς καί περισσός παραλαμβάνω ὁ λῆμμα , καθάπερ ἐπί ὁ οὕτως ἔχω ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί · ἀλλά μήv ἡμέρα εἰμί , ἀλλά καί ὁ ἀρετή ὠφελέω · φάος ἄρα εἰμί ” . ὁ γάρ ὁ ἀρετή ὠφελέω περισσός συμπαραλαμβάνω ὁ ἄλλος λῆμμα , εἰ δυνατός εἰμί ἐξαιρέω αὐτός διά ὁ περιλείπομαι , ὁ τε ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί ” καί ὁ ‟ ἀλλά μήv ἡμέρα εἰμί ” , συνάγω ὁ ἐπιφορά ὁ ‟ φάος ἄρα εἰμί ” .
sextus-empiricus.adversus-mathematicos 8.432
διὰ δὲ τὸ ἐν μοχθηρῷ ἠρωτῆσθαι σχήματι ἀπέραντος γίνεται <ὁ> λόγος , ὅταν ἔν τινι τῶν παρὰ τὰ ὑγιῆ θεωρουμένων ἐρωτηθῇ σχήματι · οἷον ὄντος ὑγιοῦς σχήματος τοῦ τοιούτου ‟ εἰ τὸ πρῶτον , τὸ δεύτερον , τὸ δέ γε πρῶτον , τὸ ἄρα δεύτερον ” ,
Lemmas: διά δέ ὁ ἐν μοχθηρός ἐρωτάω σχῆμα ἀπέραντος γίγνομαι ὅς λόγος , ὅταν ἐν τις ὁ παρά ὁ ὑγιής θεωρέω ἐρωτάω σχῆμα · οἷος εἰμί ὑγιής σχῆμα ὁ τοιοῦτος ‟ εἰμί ὁ πρῶτος , ὁ δύο , ὁ δέ γε πρῶτος , ὁ ἄρα δύο ” ,
sextus-empiricus.adversus-mathematicos 8.433
ὄντος δὲ καὶ τοῦ ‟ εἰ τὸ πρῶτον , τὸ δεύτερον , οὐχὶ δέ γε τὸ δεύτερον , οὐκ ἄρα τὸ πρῶτον ” , φαμὲν τὸν ἐν τοιούτῳ σχήματι ἐρωτηθέντα ‟ εἰ τὸ πρῶτον , τὸ δεύτερον , οὐχὶ δέ γε τὸ πρῶτον , οὐκ ἄρα τὸ δεύτερον ” ἀπέραντον εἶναι , οὐχ ὅτι ἀδύνατόν ἐστιν ἐν τῷ τοιούτῳ σχήματι λόγον συνερωτᾶσθαι δι’ ἀληθῶν ἀληθὲς συνάγοντα ( δύναται γάρ , οἷον ὁ τοιοῦτος ‟ εἰ τρία τέσσαρά ἐστιν , τὰ ἐξ ὀκτώ ἐστιν · οὐχὶ δέ γε τὰ τρία τέσσαρά ἐστιν , οὐκ ἄρα τὰ ἐξ ὀκτώ ἐστιν ” ) , τῷ δὲ δύνασθαί τινας λόγους ἐν αὐτῷ τάττεσθαι μοχθηρούς , καθάπερ καὶ τὸν τοιοῦτον ‟ εἰ ἡμέρα ἔστι , φῶς ἔστιν · ἀλλὰ μὴν οὐκ ἔστιν ἡμέρα · οὐκ ἄρα ἔστι φῶς ” .
Lemmas: εἰμί δέ καί ὁ ‟ εἰμί ὁ πρῶτος , ὁ δύο , οὐ δέ γε ὁ δύο , οὐ ἄρα ὁ πρῶτος ” , φημί ὁ ἐν τοιοῦτος σχῆμα ἐρωτάω ‟ εἰμί ὁ πρῶτος , ὁ δύο , οὐ δέ γε ὁ πρῶτος , οὐ ἄρα ὁ δύο ” ἀπέραντος εἰμί , οὐ ὅτι ἀδύνατος εἰμί ἐν ὁ τοιοῦτος σχῆμα λόγος συνερωτάω διά ἀληθής ἀληθής συνάγω ( δύναμαι γάρ , οἷος ὁ τοιοῦτος ‟ εἰμί τρεῖς τέσσαρες εἰμί , ὁ ἐκ ὀκτώ εἰμί · οὐ δέ γε ὁ τρεῖς τέσσαρες εἰμί , οὐ ἄρα ὁ ἐκ ὀκτώ εἰμί ” ) , ὁ δέ δύναμαι τις λόγος ἐν αὐτός τάσσω μοχθηρός , καθάπερ καί ὁ τοιοῦτος ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί · ἀλλά μήv οὐ εἰμί ἡμέρα · οὐ ἄρα εἰμί φάος ” .
sextus-empiricus.adversus-mathematicos 8.434
κατ’ ἔλλειψιν δὲ ἀπέραντος γίνεται ὁ λόγος , ὅταν ἐλλείπῃ τι τῶν συνακτικῶν λημμάτων . οἷον ‟ ἤτοι ἤτοι κακόν ἐστιν ὁ πλοῦτος ἤ ἀγαθόν ἐστιν ὁ πλοῦτος · οὐχὶ δέ γε κακόν ἐστιν ὁ πλοῦτος · ἀγαθὸν ἄρα ἐστὶν ὁ πλοῦτος ” . ἐλλείπει γὰρ ἐν τῷ διεζευγμένῳ τὸ ἀδιάφορον εἶναι τὸν πλοῦτον , ὥστε τὴν ὑγιῆ συνερώτησιν τοιαύτην μᾶλλον ὑπάρχειν ‘‘ἤτοι ἀγαθόν ἐστιν ὁ πλοῦτος ἤ κακόν ἐστιν ἢ ἀδιάφορον · οὔτε δὲ ἀγαθόν ἐστιν ὁ πλοῦτος οὔτε κακόν · ἀδιάφορον ἄρα ἐστίν .
Lemmas: κατά ἔλλειψις δέ ἀπέραντος γίγνομαι ὁ λόγος , ὅταν ἐλλείπω τίς ὁ συνακτικός λῆμμα . οἷος ‟ ἤτοι ἤτοι κακός εἰμί ὁ πλοῦτος ἤ ἀγαθός εἰμί ὁ πλοῦτος · οὐ δέ γε κακός εἰμί ὁ πλοῦτος · ἀγαθός ἄρα εἰμί ὁ πλοῦτος ” . ἐλλείπω γάρ ἐν ὁ διαζεύγνυμαι ὁ ἀδιάφορος εἰμί ὁ πλοῦτος , ὥστε ὁ ὑγιής συνερώτησις τοιοῦτος μᾶλλον ὑπάρχω ἄητος ἀγαθός εἰμί ὁ πλοῦτος ἤ κακός εἰμί ἢ ἀδιάφορος · οὔτε δέ ἀγαθός εἰμί ὁ πλοῦτος οὔτε κακός · ἀδιάφορος ἄρα εἰμί .
sextus-empiricus.adversus-mathematicos 8.435
Τοιαύτης δὴ παρὰ τοῖς Στωικοῖς κειμένης τεχνολογίας μήποτε τὸ ὅσον ἐπ’ αὐτῇ οὐ δύναται ἀπέραντος ἐπικριθῆναι λόγος , καί γε εὐθέως ὁ κατὰ διάρτησιν καὶ οὕτως ἔχων ‟ εἰ ἡμέρα ἔστι , φῶς ἔστιν · ἀλλὰ μὴν ἐν ἀγορᾷ πυροὶ πωλοῦνται · φῶς ἄρα ἔστιν ” . τὸ γὰρ διηρτῆσθαι τὰ λήμματα , καὶ μήτε πρὸς ἄλληλα μήτε πρὸς τὴν ἐπιφορὰν ἔχειν τινὰ κοινωνίαν , ἤτοι ψιλῇ λέγουσι φάσει ἢ διά τινος τεχνικῆς καὶ διδασκαλικῆς ἐφόδου τὸ τοιοῦτο παριστάντες .
Lemmas: τοιοῦτος δή παρά ὁ στωϊκός κεῖμαι τεχνολογία μήποτε ὁ ὅσος ἐπί αὐτός οὖον δύναμαι ἀπέραντος ἐπικρίνω λόγος , καί γε εὐθύς ὁ κατά διάρτησις καί οὕτως ἔχω ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί · ἀλλά μήv ἐν ἀγορά πυρός πωλέω · φάος ἄρα εἰμί ” . ὁ γάρ διαρτάω ὁ λῆμμα , καί μήτε πρός ἀλλήλων μήτε πρός ὁ ἐπιφορά ἔχω τις κοινωνία , ἤτοι ψιλός λέγω φάσις ἢ διά τις τεχνικός καί διδασκαλικός ἔφοδος ὁ τοιοῦτος παρίστημι .
sextus-empiricus.adversus-mathematicos 8.436
ἀλλ᾿ εἰ μὲν ἀναποδείκτῳ χρώμενοι φάσει , ῥᾴδιον φάσιν αὐτοῖς ἀντιθεῖναι , πάντα τὸν λεγόμενον κατὰ διάρτησιν ἀπέραντον λόγον φάσκουσαν περαίνειν · εἰ γὰρ ἐκ ψιλῆς φάσεως ἐκεῖνοι δύνανται πιστεύεσθαι , δυνήσονται καὶ οἱ τοὐναντίον λέγοντες εἶναι πιστοί · τὴν ἰσοσθενῆ γὰρ προφέρονται φάσιν . εἰ δὲ μεθόδῳ τοῦτο διδάσκοντες , ἐπιζητήσομεν , τίς ποτέ ἐστιν ἡ τοιαύτη μέθοδος .
Lemmas: ἀλλά εἰμί μέν ἀναπόδεικτος χράω φάσις , ῥᾴδιος φάσις αὐτός ἀντιτίθημι , πᾶς ὁ λέγω κατά διάρτησις ἀπέραντος λόγος φάσκω περαίνω · εἰμί γάρ ἐκ ψιλός φάσις ἐκεῖνος δύναμαι πιστεύω , δύναμαι καί ὁ ἐναντίος λέγω εἰμί πιστός · ὁ ἰσοσθενής γάρ προφέρω φάσις . εἰμί δέ μέθοδος οὗτος διδάσκω , ἐπιζητέω , τίς ποτός εἰμί ὁ τοιοῦτος μέθοδος .
sextus-empiricus.adversus-mathematicos 8.437
κἂν λέγωσιν , ὅτι τοῦ κατὰ διάρτησιν ἀπεράντου λόγου τεκμήριόν ἐστι τὸ μὴ πάντως ἀκολουθεῖν αὐτοῦ τῇ διὰ τῶν λημμάτων συμπλοκῇ τὸ συμπέρασμα , μηδέ ὑγιὲς εἶναι <τὸ> συνημμένον τὸ ἀρχόμενον ἀπὸ τῆς διὰ τῶν λημμάτων συμπλοκῆς καὶ λῆγον εἰς τὸ συμπέρασμα , πάλιν εἰς τὴν ἀρχῆθεν φήσομεν αὐτοὺς ἀπορίαν ἐμπίπτειν · εἰ γὰρ ἴνα τὸν κατὰ διάρτησιν ἀπέραντον λόγον μάθωμεν , δεῖ ἔχειν ἐπικεκριμένον τὸ ὑγιὲς συνημμένον , τοῦτο δ᾿ οὐκ ἔχομεν μέχρι τοῦ νῦν ἐπικεκριμένον , πάντως οὐδὲ τὸν κατὰ διάρτησιν ἀπέραντον λόγον δυνάμεθα γιγνώσκειν .
Lemmas: κἀν λέγω , ὅτι ὁ κατά διάρτησις ἀπέραντος λόγος τεκμήριον εἰμί ὁ μή πάντως ἀκολουθέω αὐτός ὁ διά ὁ λῆμμα συμπλοκή ὁ συμπέρασμα , μηδέ ὑγιής εἰμί ὅς συνάπτω ὁ ἄρχω ἀπό ὁ διά ὁ λῆμμα συμπλοκή καί λήγω εἰς ὁ συμπέρασμα , πάλιν εἰς ὁ ἀρχῆθεν φημί αὐτός ἀπορία ἐμπίπτω · εἰμί γάρ ἵνα ὁ κατά διάρτησις ἀπέραντος λόγος μανθάνω , δεῖ ἔχω ἐπικρίνω ὁ ὑγιής συνάπτω , οὗτος δέ οὐ ἔχω μέχρι ὁ νῦν ἐπικρίνω , πάντως οὐδέ ὁ κατά διάρτησις ἀπέραντος λόγος δύναμαι γιγνώσκω .
sextus-empiricus.adversus-mathematicos 8.438
ἀλλὰ καὶ δεύτερος ἦν τρόπος ἀπεράντων ὁ κατὰ παρολκήν , ὅταν ἔξωθεν παραλαμβάνηταί τι τοῖς λήμμασι παρέλκον ὡς πρὸς τὴν τοῦ συμπεράσματος κατασκευήν . ὅσον᾿ ἐπὶ τούτῳ δεήσει τὸν ἐν τῷ πρώτῳ [ καὶ τῷ δευτέρῳ ] τρόπῳ συνερωτώμενον λόγον κατὰ παρολκὴν εἶναι ἀπέραντον , ἐπεὶ παρέλκει ἐν αὐτῷ <τὸ> τροπικόν . καὶ τοῦτ᾿ εἰσόμεθα παρατεθέντων ἡμῖν τῶν λόγων .
Lemmas: ἀλλά καί δύο εἰμί τρόπος ἀπέραντος ὁ κατά παρολκή , ὅταν ἔξωθεν παραλαμβάνω τίς ὁ λῆμμα παρέλκω ὡς πρός ὁ ὁ συμπέρασμα κατασκευή . ὅσος ἐπί οὗτος δήω ὁ ἐν ὁ πρῶτος [ καί ὁ δύο ] τρόπος συνερωτάω λόγος κατά παρολκή εἰμί ἀπέραντος , ἐπεί παρέλκω ἐν αὐτός ὅς τροπικός . καί οὗτος εἶμι παρατίθημι ἐγώ ὁ λόγος .
sextus-empiricus.adversus-mathematicos 8.439
τὸν γὰρ δὴ τοιοῦτόν φασιν ἀπέραντον ‟ εἰ ἡμέρα ἔστι , φῶς ἔστιν · ἀλλὰ μὴν ἡμέρα ἔστιν , ἀλλὰ καὶ ἡ ἀρετὴ ὠφελεῖ · φῶς ἄρα ἔστιν ” . παρέλκει γὰρ ἐπ’ αὐτοῦ τὸ ‟ ἡ ἀρετὴ ὠφελεῖ ” πρὸς τὴν κατασκευὴν τοῦ συμπεράσματος , διὰ τὸ ἀρθέντος αὐτοῦ δύνασθαι ἐκ τῶν περιλειπομένων δυεῖν λημμάτων ἀνελλιπῶς συνάγεσθαι τὴν ἐπιφοράν .
Lemmas: ὁ γάρ δή τοιοῦτος φημί ἀπέραντος ‟ εἰμί ἡμέρα εἰμί , φάος εἰμί · ἀλλά μήv ἡμέρα εἰμί , ἀλλά καί ὁ ἀρετή ὠφελέω · φάος ἄρα εἰμί ” . παρέλκω γάρ ἐπί αὐτός ὁ ‟ ὁ ἀρετή ὠφελέω ” πρός ὁ κατασκευή ὁ συμπέρασμα , διά ὁ αἴρω αὐτός δύναμαι ἐκ ὁ περιλείπομαι δύο λῆμμα ἀνελλιπῶς συνάγω ὁ ἐπιφορά .
sextus-empiricus.adversus-mathematicos 8.440
τοίνυν ὑποτυγχάνοντες οἱ ἀπὸ τῆς σκέψεως ἐροῦσιν ὧς , εἴπερ ἀπέραντός ἐστιν ὁ λόγος κατὰ παρολκήν , ἐφ’ οὗ ἀρθέντος τινὸς λήμματος ἐκ τῶν περιλειπομένων συνάγεται ἡ ἐπιφορά , ῥητέον ἀπέραντον εἶναι καὶ τὸν ἐν τῷ πρώτῳ τρόπῳ ἐρωτώμενον , ἔχοντα δὲ οὕτως ‟ εἰ εἰ ἡμέρα ἔστι , φῶς ἔστιν · ἀλλὰ μὴν ἡμέρα ἔστιν · φῶς ἄρα ἔστιν ” . παρέλκει γὰρ ἐν αὐτῷ πρὸς τὴν τοῦ συμπεράσματος κατασκευὴν τὸ τροπικὸν τὸ ‟ εἰ ἡμέρα ἔστι , <φῶς ἔστι”> , καὶ δύναται ἐκ τοῦ ‟ ἡμέρα ἔστι ” μόνου συνάγεσθαι τὸ “ φῶς ἄρα ἔστιν ” .
Lemmas: τοίνυν ὑποτυγχάνω ὁ ἀπό ὁ σκέψις εἴρω ὅς , εἴπερ ἀπέραντος εἰμί ὁ λόγος κατά παρολκή , ἐπί ὅς αἴρω τις λῆμμα ἐκ ὁ περιλείπομαι συνάγω ὁ ἐπιφορά , ῥητέος ἀπέραντος εἰμί καί ὁ ἐν ὁ πρῶτος τρόπος ἐρωτάω , ἔχω δέ οὕτως ‟ εἰμί εἰμί ἡμέρα εἰμί , φάος εἰμί · ἀλλά μήv ἡμέρα εἰμί · φάος ἄρα εἰμί ” . παρέλκω γάρ ἐν αὐτός πρός ὁ ὁ συμπέρασμα κατασκευή ὁ τροπικός ὁ ‟ εἰμί ἡμέρα εἰμί , <φῶς εἰμί , καί δύναμαι ἐκ ὁ ‟ ἡμέρα εἰμί ” μόνος συνάγω ὁ “ φάος ἄρα εἰμί ” .