Galen: Institutio Logica (Introduction to Logic)

τέταρτον τῶν ἐν αὐτῷ συλλογισμῶν, ὃς ἐκ καθόλου στερητικῆς προτάσεως καὶ ἐπὶ μέρους καταφατικῆς ἐπὶ μέρους ἀποφατικὸν ἔχει συμπέρασμα. κατὰ δὲ τὸ {β} σχῆμα καὶ {γ} οὐδὲν γίγνεται τοιοῦτον ἐξ ἀντιστροφῆς τῶν προτάσεων, ἐκ μέντοι τῆς τοῦ συμπεράσματος ἀντιστροφῆς ἐν τῷ τρίτῳ σχήματι κατὰ τὸν τρίτον συλλογισμὸν γίγνεται μόνον· οἱ μὲν γὰρ ἐν τῷ {β} σχήματι πρῶτοι δύο πρὸς ἀλλήλους ἀντιστρέφουσι τῷ συμπεράσματι, οἱ δὲ 〈ἐν〉 τῷ τρίτῳ δύο τρίτος τε καὶ τέταρτος· ἐμπεριέχονταί γε μὴν 〈οἱ〉 ἐπὶ μέρους, ὡς ἐν τοῖς κατὰ τὸ {α} καὶ τὸ {β} σχῆμα πρώτοις δύο συλλογισμοῖς, οὕτως τοῖς κατὰ τοῦτο.

Οὗτοι μὲν οἱ συλλογισμοὶ κατηγορικοὶ καλοῦνται, καθάπερ ἔφην, οὔτε κατὰ πλείω σχήματα δυνάμενοι συστῆναι τῶν εἰρημένων τριῶν οὔτε κατ’ ἄλλον ἀριθμὸν 〈ἐν〉 ἑκάστῳ· δέδεικται γὰρ τοῦτο ἐν τοῖς Περὶ ἀποδείξεως ὑπομνήμασι· χρώμεθα δ’ αὐτοῖς ἐν ταῖς ἀποδείξεσιν ἐν αἷς ὑπὲρ ἑνὸς τῶν ὄντων ἐστὶ ζήτησις ὁπηλίκον ἐστὶν ἢ ὁποῖον ἢ ποῦ κείμενόν (ἐστιν ἤ) τι τοιοῦτον τῶν κατὰ τὰς ἄλλας κατηγορίας. ἐν μὲν γὰρ τῷ ζητεῖν εἰ ὀρθῶς Ἐρατοσθένης ἔδειξε τὸν μέγιστον ἐν τῇ γ(ῇ κύκλον ἔχειν σταδίων) μυριάδ(ας)