galenus.institutio-logica 10
Τῶν 〈 δ’ 〉 ἐν τῷ { γ } σχήματι συλλογισμῶν ὁ μὲν { α } ἐκ δυοῖν προτάσεων καθόλου καταφατικῶν 〈 ἐν μέρει καταφατικὸν 〉 ἔχει συμπέρασμα , δι’ ἀντιστροφῆς τῆς πρὸς τῷ ἐλάττονι τῶν ὅρων προτάσεως ἀναγόμενος εἰς τὸν ἐν τῷ πρώτῳ σχήματι τρίτον . ὁ δὲ δεύτερος ἐκ στερητικῆς καθόλου πρὸς τῷ μείζονι τῶν ὅρων , τῆς 〈 δ’ 〉 ὑπολοίπου καθόλου καταφατικῆς , ἐπὶ μέρους ἀποφατικὸν ἴσχει συμπέρασμα , δι’ ἀντιστροφῆς τῆς πρὸς τῷ ἐλάττονι προτάσεως 〈 εἰς 〉 τὸν ἐν τῷ 〈 πρώτῳ 〉 σχήματι τέταρτον ἔχων τὴν ἀνάλυσιν . ὁ δὲ τρίτος ἐξ ἐπὶ μέρους καταφατικῆς καὶ καθόλου καταφατικῆς ἐν μέρει καταφατικὸν ἴσχει συμπέρασμα † ἀπὸ τῆς ἐν μέρει προτάσεως ἀντιστραφείσης καὶ προσέτι τοῦ συμπεράσματος . ὁ δὲ τέταρτος ἐκ καθόλου καταφατικῆς 〈 καὶ ἐπὶ μέρους καταφατικῆς 〉 ἐπὶ μέρους καταφατικὸν σημαίνει τῆς ἐλάττονος προτάσεως ἀντιστραφείσης . ὁ δὲ πέμπτος ἐκ καθόλου στερητικῆς καὶ ἐπὶ μέρους καταφατικῆς ἀντιστραφείσης τῆς ἐν μέρει τὴν ἀναγωγὴν εἰς τὸν ἐν τῷ πρώτῳ σχήματι τέταρτον ἴσχει , συμπέρασμα ποιούμενος ἀποφατικὸν ἐν μέρει . λοιπὸς δὲ ὁ ἕκτος ἐξ ἐπὶ μέρους ἀποφατικῆς καὶ καθόλου καταφατικῆς ἐπὶ μέρους ἀποφατικὸν περαίνει διὰ τῆς εἰς ἀδύνατον ἀπαγωγῆς καὶ διὰ τῆς ἐκθέσεως ἀποδεικνύμενος , 〈 ὡς 〉 κἀπὶ τοῦ { δ } [ κἀπὶ ] τοῦ δευτέρου ἀπεδείχθη σχήματος . ( διὰ ) μὲν τῆς εἰς ἀδύνατον ἀπαγωγῆς οὕτως · τὸ πρῶτον τοῦ τρίτου κατά τινος μὴ λεγέσθω · τὸ 〈 δὲ 〉 δεύτερον κατηγορείσθω παντὸς τοῦ τρίτου · λέγω ὅτι τὸ πρῶτον κατά τινος οὐ κατηγορηθήσεται τοῦ δευτέρου · μὴ γὰρ ἀλλ’ εἰ δυνατόν ἐστιν , ἅπαντος κατηγορείσθω · ἀλλὰ καὶ τὸ δεύτερον κατηγορεῖτο τοῦ τρίτου παντός · 〈 ὥστε καὶ τὸ πρῶτον τοῦ τρίτου παντὸς 〉 κατηγορηθήσεται · ἀλλ’ ὑπέκειτο τινὸς μὴ κατηγορεῖσθαι · οὐκ ἄρα παντὸς τοῦ δευτέρου κατηγορεῖται , ἀποφάσκεται ἄρα τινός . διὰ δὲ τῆς ἐκθέσεως οὕτω δειχθήσεται ταὐτόν · ἐπεὶ μὴ κατηγορεῖταί τινος τοῦ τρίτου τὸ { α } , εἰλήφθω οὗ μὴ κατηγορεῖται καὶ ἔστω τὸ { δ · } κατ’ οὐδενὸς ἄρα τοῦ { δ } τὸ { α } λεχθήσεται · ἀλλ’ ἐπεὶ τὸ { δ } τοῦ { γ } τί ἐστι , κατὰ παντὸς αὐτοῦ τὸ { γ } κατηγορηθήσεται · ἀλλὰ καὶ τὸ { β } τοῦ { γ } κατὰ παντὸς κατηγορεῖται , ὥστε καὶ τοῦ { δ } κατηγορηθήσεται παντός · ἀλλὰ καὶ τὸ { α } [ πρῶτον ] κατ’ οὐδενὸς τοῦ { δ } κατηγορεῖται · τὸ ἄρα { α } κατά τινος οὐ λεχθήσεται τοῦ { β } .
Lemmas: ὁ 〈 δέ 〉 ἐν ὁ { γ } σχῆμα συλλογισμός ὁ μέν { α } ἐκ δύο πρότασις καθόλου καταφατικός 〈 ἐν μέρος καταφατικός 〉 ἔχω συμπέρασμα , διά ἀντιστροφή ὁ πρός ὁ ἐλαχύς ὁ ὅρος πρότασις ἀνάγω εἰς ὁ ἐν ὁ πρῶτος σχῆμα τρίτος . ὁ δέ δεύτερος ἐκ στερητικός καθόλου πρός ὁ μέγας ὁ ὅρος , ὁ 〈 δέ 〉 ὑπόλοιπος καθόλου καταφατικός , ἐπί μέρος ἀποφατικός ἴσχω συμπέρασμα , διά ἀντιστροφή ὁ πρός ὁ ἐλαχύς πρότασις 〈 εἰς 〉 ὁ ἐν ὁ 〈 πρῶτος 〉 σχῆμα τέταρτος ἔχω ὁ ἀνάλυσις . ὁ δέ τρίτος ἐκ ἐπί μέρος καταφατικός καί καθόλου καταφατικός ἐν μέρος καταφατικός ἴσχω συμπέρασμα † ἀπό ὁ ἐν μέρος πρότασις ἀντιστρέφω καί προσέτι ὁ συμπέρασμα . ὁ δέ τέταρτος ἐκ καθόλου καταφατικός 〈 καί ἐπί μέρος καταφατικός 〉 ἐπί μέρος καταφατικός σημαίνω ὁ ἐλαχύς πρότασις ἀντιστρέφω . ὁ δέ πέμπτος ἐκ καθόλου στερητικός καί ἐπί μέρος καταφατικός ἀντιστρέφω ὁ ἐν μέρος ὁ ἀναγωγή εἰς ὁ ἐν ὁ πρῶτος σχῆμα τέταρτος ἴσχω , συμπέρασμα ποιέω ἀποφατικός ἐν μέρος . λοιπός δέ ὁ ἕκτος ἐκ ἐπί μέρος ἀποφατικός καί καθόλου καταφατικός ἐπί μέρος ἀποφατικός περαίνω διά ὁ εἰς ἀδύνατος ἀπαγωγή καί διά ὁ ἔκθεσις ἀποδείκνυμι , 〈 ὡς 〉 ἐπί ὁ { δ } [ ἐπί ] ὁ δεύτερος ἀποδείκνυμι σχῆμα . ( διά ) μέν ὁ εἰς ἀδύνατος ἀπαγωγή οὕτως · ὁ πρῶτος ὁ τρίτος κατά τις μή λέγω · ὁ 〈 δέ 〉 δεύτερος κατηγορέω πᾶς ὁ τρίτος · λέγω ὅτι ὁ πρῶτος κατά τις οὐ κατηγορέω ὁ δεύτερος · μή γάρ ἀλλά εἰ δυνατός εἰμί , ἅπας κατηγορέω · ἀλλά καί ὁ δεύτερος κατηγορέω ὁ τρίτος πᾶς · 〈 ὥστε καί ὁ πρῶτος ὁ τρίτος πᾶς 〉 κατηγορέω · ἀλλά ὑπόκειμαι τις μή κατηγορέω · οὐ ἄρα πᾶς ὁ δεύτερος κατηγορέω , ἀποφάσκω ἄρα τις . διά δέ ὁ ἔκθεσις οὕτως δείκνυμι αὐτός · ἐπεί μή κατηγορέω τις ὁ τρίτος ὁ { α } , λαμβάνω ὅς μή κατηγορέω καί εἰμί ὁ { δ · } κατά οὐδείς ἄρα ὁ { δ } ὁ { α } λέγω · ἀλλά ἐπεί ὁ { δ } ὁ { γ } τίς εἰμί , κατά πᾶς αὐτός ὁ { γ } κατηγορέω · ἀλλά καί ὁ { β } ὁ { γ } κατά πᾶς κατηγορέω , ὥστε καί ὁ { δ } κατηγορέω πᾶς · ἀλλά καί ὁ { α } [ πρῶτος ] κατά οὐδείς ὁ { δ } κατηγορέω · ὁ ἄρα { α } κατά τις οὐ λέγω ὁ { β } .