Galen: Institutio Logica (Introduction to Logic)

διεζευγμένου καὶ ἑνὸς τῶν ἐν αὐτῷ τοῦ λοιποῦ τὸ ἀντικείμενον ἐπιφέρει, τοιοῦτός τις ὁ τρόπος ἐστίν ‘ἤτοι τὸ {α} ἢ τὸ {β}· τὸ δὲ [{ε}] {α}· οὐκ ἄρα τὸ {β}’· καὶ τοίνυν κἀπὶ τοῦ πέμπτου, ὃς 〈ἐκ〉 διεζευγμένου καὶ τοῦ ἀντικειμένου ἑνὸς τῶν ἐν αὐτῷ τὸ λοιπὸν ἐπιφέρει, τοιοῦτός [δέ] ἐστιν ὁ τρόπος ‘ἤτοι τὸ {α} ἢ τὸ {β}· 〈οὐχὶ δὲ τὸ {α}· τὸ ἄρα {β}〉’· καὶ τοίνυν ὥσπερ τὰ λήμματα συναληθεύεται κατὰ τὴν ἀντιστροφήν, οὕτω καὶ τοῖς ἀληθέσι λόγοις καὶ τρόποις ὑπάρχει συλλογιστικοῖς εἶναι, ὥστε τὸν ἀντιστρέφοντα τῷ συλλογιστικῷ τρόπῳ συλλογιστικὸν εἶναι καὶ αὐτόν. ὑπὸ μὲν οὖν τῶν ὑποθετικῶν προτάσεων ὅνπερ τρόπον οἱ συλλογισμοὶ γίγνονται, δέδεικται πλὴν ἑνὸς τρόπου τοῦ κατὰ τὸ παραδιεζευγμένον, ἐφ’ οὗ διττὴ τῶν προσλήψεών ἐστιν ἡ διαφορά· ἤτοι γὰρ οὐχ ὑπάρχειν ἅπαντα πλὴν ἑνὸς προσλαβόντες ὑπάρχειν ἐροῦμεν ἐκεῖνο τὸ ἓν 〈ἢ εἰ προσλάβοι τις οὐχ ὑπάρχειν τὸ ἕν,〉 πλείω καταλίποιτ’ ἄρα, διεζευγμένον ἐξ αὐτῶν ἔσται συμπέρασμα.

Κατὰ μὲν δὴ τοὺς τοιούτους συλλογισμοὺς αἱ προτάσεις ἡγεμονικαὶ τῶν προσλήψεων· οὔτε γὰρ ἐν τῷ διεζευγμένῳ 〈πλείους ἢ δύο γίγνονται προσλήψεις οὔτ’ ἐν τῷ παραδιεζευγμένῳ〉, κατὰ δὲ τὴν ἐλλιπῆ μάχην ἓν μόνον οἷόν τε προσλαμβάνειν· ὅπερ οἱ περὶ