Galen: Institutio Logica (Introduction to Logic)

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