galenus.institutio-logica 5
Ἀλλὰ νῦν γε τὰς προσηγορίας αὐτῶν διαιρώμεθα · καὶ τοίνυν ἕνεκα σαφοῦς τε ἅμα καὶ συντόμου διδασκαλίας οὐδὲν κωλύει τὰ μὲν τὴν τελείαν μάχην ἔχοντα διεζευγμένα καλεῖν , τὰ δὲ τὴν ἐλλιπῆ παραπλήσια διεζευγμένοις · παραπλήσια δὲ λέγειν ἢ ὅμοια διαφερέτω μηδέν · 〈 ἐν 〉 ἐνίοις δ’ ἀξιώμασιν ἐγχωρεῖ μὲν εἶναι καὶ πλείω καὶ πάντα , μὴ μόνον ἕν , ἀναγκαῖον δ’ ἐστὶ τὸ ἓν ὑπάρχειν · ὀνομάζουσι δὲ ἔνιοι τὰ τοιαῦτα παραδιεζευγμένα , τῶν διεζευγμένων ἓν μόνον ἐχόντων ἀληθές , ἄν τ’ ἐκ δυοῖν ἀξιωμάτων ἁπλῶν ἄν τ’ ἐκ πλειόνων συγκέηται . ἓν μὲν γὰρ ἁπλοῦν ἀξίωμα τὸ ‘Δίων περιπατεῖ’ , καθάπερ γε καὶ τὸ ‘κάθηται Δίων’ , ἓν δὲ ἀξίωμα καὶ τὸ ‘κατάκειται Δίων’ , ὥσπερ γε καὶ τὸ ‘τρέχει’ καὶ τὸ ‘ἕστηκεν’ , ἀλλ’ ἐξ ἁπάντων αὐτῶν διεζευγμένον ἀξίωμα γίγνεται τοιόνδε ‘Δίων ἤτοι περιπατεῖ ἢ κάθηται ἢ κατάκειται ἢ τρέχει ἢ ἕστηκεν’ · ὅταν δὲ οὕτως τι συγκείμενον ᾖ , ἓν μὲν ἐν αὐτοῖς ὁτιοῦν ἑκάστῳ τῶν ἄλλων μάχεται μάχην ἐλλιπῆ , τὰ πάντα δὲ ἀλλήλοις ἅμα τελείαν , ἐπειδήπερ ἀναγκαῖόν ἐστιν ἓν μὲν ὑπάρχειν [ τὸ ] ἐν αὐτοῖς , οὐχ ὑπάρχειν δὲ τὰ ἄλλα . κατὰ μὲν οὖν τὴν τελείαν μάχην δύο συστήσονται συλλογισμοὶ προσλαμβανόντων ἡμῶν ἤτοι γε ὑπάρχειν ἢ μὴ ὑπάρχειν τὸ ἕτερον αὐτῶν , ἐπιφερόντων δὲ θάτερον οὐχ ὑπάρχειν 〈 μὲν ὅταν ὑπάρχῃ τὸ ἕτερον , ὑπάρχειν 〉 δὲ ὅταν οὐχ ὑπάρχῃ · κατὰ δὲ τὴν ἐλλιπῆ μία μὲν ἡ πρόσληψις , ἕν τι τῶν μαχομένων ὑπάρχειν , ἓν δὲ καὶ τὸ συμπέρασμα 〈 μὴ 〉 ὑπάρχειν τὸ λοιπόν . οὕτω μὲν ὅταν ἐκ δυοῖν ἡ μάχη συνεστήκῃ · πλειόνων δὲ τῶν μαχομένων ὄντων ἐπὶ μὲν τῆς τελείας μάχης ἤτοι γε ἓν ὑπάρχειν εἰπόντες ἀποφήσομεν τὸ λοιπὸν ἅπαν ἢ ἐκεῖνο πᾶν ἀποφήσομεν , ὑπάρχειν ἐροῦντες τὸ ἕν , οὐ μὴν οὔτε ἀποφήσαντες τὸ ἓν ἐάσομεν ὑπάρχειν τὸ λοιπὸν οὔτε καταφήσαντες ἐκεῖνο τὸ ἓν 〈 ἀποφήσομεν 〉 ὑπάρχειν · ἐπὶ δὲ τῆς ἐλλιποῦς μάχης ὑπάρχειν εἰπόντες 〈 ἕν τι 〉 ἀποφήσομεν τὸ λοιπὸν πλῆθος , οὐ μὴν ἄλλην γέ τινα πρόσληψιν ἕξομεν ἐπιτηδείαν εἰς συλλογισμόν . ἐπὶ δὲ τῆς κατὰ συνέχειαν ὑποθετικῆς προτάσεως , ἣν οἱ περὶ τὸν Χρύσιππον ὀνομάζουσι συνημμένον ἀξίωμα , προσλαβόντες μὲν τὸ ἡγούμενον ἕξομεν τὸ λῆγον συμπέρασμα , προσλαβόντες δὲ τὸ τοῦ λήγοντος ἀντικείμενον ἕξομεν συμπέρασμα τὸ τοῦ ἡγουμένου ἀντικείμενον , οὐ μὴν οὔτε τὸ λῆγον προσλαβόντες οὔτε τὸ ἀντικείμενον τοῦ ἡγουμένου συμπέρασμα ἕξομεν .
Lemmas: ἀλλά νῦν γε ὁ προσηγορία αὐτός διαίρω · καί τοίνυν ἕνεκα σαφής τε ἅμα καί σύντομος διδασκαλία οὐδείς κωλύω ὁ μέν ὁ τέλειος μάχη ἔχω διαζεύγνυμαι καλέω , ὁ δέ ὁ ἐλλιπής παραπλήσιος διαζεύγνυμαι · παραπλήσιος δέ λέγω ἤ ὅμοιος διαφέρω μηδείς · 〈 ἐν 〉 ἔνιοι δέ ἀξίωμα ἐγχωρέω μέν εἰμί καί πολύς καί πᾶς , μή μόνος εἷς , ἀναγκαῖος δέ εἰμί ὁ εἷς ὑπάρχω · ὀνομάζω δέ ἔνιοι ὁ τοιοῦτος παραδιαζεύγνυμαι , ὁ διαζεύγνυμαι εἷς μόνος ἔχω ἀληθής , ἐάν τε ἐκ δύο ἀξίωμα ἁπλόος ἐάν τε ἐκ πολύς σύγκειμαι . εἷς μέν γάρ ἁπλόος ἀξίωμα ὁ Δίων περιπατέω , καθά γε καί ὁ καθίημι Δίων , εἷς δέ ἀξίωμα καί ὁ κατάκειμαι Δίων , ὥσπερ γε καί ὁ τρέχω καί ὁ ἕννυμι , ἀλλά ἐκ ἅπας αὐτός διαζεύγνυμαι ἀξίωμα γίγνομαι τοιόσδε Δίων ἤτοι περιπατέω ἤ κάθημαι ἤ κατάκειμαι ἤ τρέχω ἤ ἵστημι · ὅταν δέ οὕτως τις σύγκειμαι εἰμί , εἷς μέν ἐν αὐτός ὁστισοῦν ἕκαστος ὁ ἄλλος μάχομαι μάχη ἐλλιπής , ὁ πᾶς δέ ἀλλήλων ἅμα τέλειος , ἐπειδή ἀναγκαῖος εἰμί εἷς μέν ὑπάρχω [ ὁ ] ἐν αὐτός , οὐ ὑπάρχω δέ ὁ ἄλλος . κατά μέν οὖν ὁ τέλειος μάχη δύο συνίστημι συλλογισμός προσλαμβάνω ἐγώ ἤτοι γε ὑπάρχω ἤ μή ὑπάρχω ὁ ἕτερος αὐτός , ἐπιφέρω δέ ἕτερος οὐ ὑπάρχω 〈 μέν ὅταν ὑπάρχω ὁ ἕτερος , ὑπάρχω 〉 δέ ὅταν οὐ ὑπάρχω · κατά δέ ὁ ἐλλιπής εἷς μέν ὁ πρόσληψις , εἷς τις ὁ μάχομαι ὑπάρχω , εἷς δέ καί ὁ συμπέρασμα 〈 μή 〉 ὑπάρχω ὁ λοιπός . οὕτως μέν ὅταν ἐκ δύο ὁ μάχη συνίστημι · πολύς δέ ὁ μάχομαι εἰμί ἐπί μέν ὁ τέλειος μάχη ἤτοι γε εἷς ὑπάρχω λέγω ἀπόφημι ὁ λοιπός ἅπας ἤ ἐκεῖνος πᾶς ἀπόφημι , ὑπάρχω λέγω ὁ εἷς , οὐ μήν οὔτε ἀπόφημι ὁ εἷς ἐάω ὑπάρχω ὁ λοιπός οὔτε κατάφημι ἐκεῖνος ὁ εἷς 〈 ἀπόφημι 〉 ὑπάρχω · ἐπί δέ ὁ ἐλλιπής μάχη ὑπάρχω λέγω 〈 εἷς τις 〉 ἀπόφημι ὁ λοιπός πλῆθος , οὐ μήν ἄλλος γε τις πρόσληψις ἔχω ἐπιτήδειος εἰς συλλογισμός . ἐπί δέ ὁ κατά συνέχεια ὑποθετικός πρότασις , ὅς ὁ περί ὁ Χρύσιππος ὀνομάζω συνάπτω ἀξίωμα , προσλαμβάνω μέν ὁ ἡγέομαι ἔχω ὁ λήγω συμπέρασμα , προσλαμβάνω δέ ὁ ὁ λήγω ἀντίκειμαι ἔχω συμπέρασμα ὁ ὁ ἡγέομαι ἀντίκειμαι , οὐ μήν οὔτε ὁ λήγω προσλαμβάνω οὔτε ὁ ἀντίκειμαι ὁ ἡγέομαι συμπέρασμα ἔχω .