Galen: Institutio Logica (Introduction to Logic)

λόγον τοιόνδε ‘Σωκράτης οὐ περιπατεῖ’· τῆς δὲ καθόλου στερητικῆς οὐ δεησόμεθα προτάττειν ἀπόφασιν, ἀντικειμένην ἔχοντες αὐ〈τῇ〉 τὴν ἐν μέρει καταφατικήν, ὥσπερ γε καὶ τῇ τοιαύτῃ καταφατικῇ τὴν καθόλου στερητικήν, ὥστε 〈οὐδὲ〉 ταύτης ἀπόφασιν προτάξομεν. ὀνομάζονται δὲ αἱ τοιαῦται προτάσεις ἅπασαι σύνοροι, διότι κοινωνοῦσι τοῖς ὅροις †ἀτοκίας· 〈ἀνα〉στρέφουσαι μὲν αὐτῶν πρὸς ἀλλήλας κατὰ τὴν ἐνάλλαξιν τῆς λέξεως τῶν ὅρων, τουτέστιν ὅταν ὁ μὲν ὑποκείμενος γένηται κατηγορούμενος, ὁ κατηγορούμενος δὲ ὑποκείμενος· ἀντιστρέφουσι δὲ μετὰ τῆς τοιαύτης ἐναλλάξεως συναληθευόμεναι, ἡ μὲν καθόλου στερητικὴ πρὸς ἑαυτήν, ὥσπερ γε καὶ ἡ κατὰ μέρος καταφατικὴ πρὸς τὴν ἐν μέρει, λοιπὴ δὲ ἡ κατὰ μέρος ἀποφατικὴ πρὸς οὐδεμίαν ἀντιστρέφει. κατὰ μέντοι τὰς ὑποθετικὰς προτάσεις ἡ μὲν ἀναστροφὴ γίγνεται τῆς λέξεως τῶν ὅρων ὑπαλλαττομένης, ἡ δὲ ἀντιστροφὴ μετὰ ἀντιθέσεως αὐτῶν· τὸ γὰρ ‘εἰ ἡμέρα ἐστί, φῶς ἐστιν’ ἀναστρέφει 〈μὲν πρὸς τὸ〉 ‘εἰ φῶς ἐστιν, ἡμέρα ἐστίν’, 〈ἀντιστρέφει δὲ πρὸς τὸ ‘εἰ μὴ φῶς ἐστιν, οὐδὲ ἡμέρα ἐστί’.〉 τοιαύτη μὲν ἐν ταῖς προτάσεσιν ἡ ἀντιστροφή· συλλογισμοὶ δὲ ἀλλήλοις ἀντιστρέφουσιν οἱ διλήμματοι