Folio 232r

ἀντιστρεφούσῃ ἕπεται τὸ συμπέρασμα· αὕτη γὰρ γίνεται μείζων ἐν τῇ εἰς τὸ πρῶτον σχῆμα ἀναγωγῆ· δύναται δὲ ἡ μὴ ἀντιστρεφομένη ἀναγκαία εἶναι. ἀλλ’ ὅσον ἐπὶ τούτῳ, φησὶν ὁ φιλόσοφος Πρόκλος ἐν τῷ σχολικῷ ὑπομνήματι τοῦ πρώτου τῶν Προτέρων ἀναλυτικῶν, δύναται ὁ προκείμενος τρόπος καὶ ὑπάρχον ἀεὶ συνάγειν τῷ δύνασθαι τὴν μὴ ἀντιστρεφομένην ὑπάρχουσαν εἶναι. πῶς οὖν ὁ αὐτὸς τρόπος δύο συμπεράσματα συνάγει, ποτὲ μὲν ἀεὶ ἀναγκαῖον, ποτὲ δὲ ἀεὶ ὑπάρχον; ἢ ἄλυτος ἦν ὁ λόγος, εἰ καθόλου ἦν τὸ συναγόμενον· νῦν δὲ δύναται τὸ μερικὸν καὶ ἀναγκαῖον εἶναι καὶ ὑπάρχον· ζῷον γὰρ τινὶ λευκῷ καὶ ἐξ ἀνάγκης διὰ τὸν κύκνον καὶ ὑπαρχόντως διά τινα ἄνθρωπον. ἐν δὲ τῷ δευτέρῳ τρόπῳ τῇ καθόλου ἀποφατικῇ βούλεται ἕπεσθαι τὸ συμπέρασμα· αὕτη γὰρ πάντως ἐστὶν ἡ μὴ ἀντιστρέφουσα ἐν τῇ εἰς τὸ πρῶτον σχῆμα ἀναγωγῆ· καὶ εἰ μὲν ἀναγκαία ἢ ἡ καθόλου ἀποφατική. καὶ τὸ συμπέρασμα ἀναγκαῖον εἶναι, εἰ δ’ ὑπάρχουσα, ὑπάρχον. καὶ δείκνυσιν ἑκάτερον μὲν διὰ τοῦ πρώτου σχήματος, μόνον δὲ τὸ ὑπάρχον καὶ δι’ ὅρων· κενεμβατεῖ γὰρ πανταχοῦ τὸ ψεῦδος μὴ ἐποχούμενον πράγμασιν. καὶ εἰσὶν οἱ ὅροι· ἀγαθὸν οὐδενὶ ἵππῳ ὑπαρχόντως· ζῷον παντὶ ἵππῳ ἀναγκαίως· καὶ ἀγαθὸν οὐ παντὶ ζῴῳ ὑπαρχόντως. καὶ ἐπιλαμβάνεται τῶν ὅρων διὰ τὴν μείζονα πρότασιν· ἐὰν γὰρ ὁ μέσος ὅρος μὴ τύχῃ ἵππος ἀλλ’ ἰοβόλον θηρίον, ψεύδεται ἡ λέγουσα ἀγαθὸν οὐδενὶ ἰοβόλῳ ὑπαρχόντως· τοῦ γὰρ ἰοβόλου τὸ ἀγαθὸν οὐκ ἐνδεχομένως κεχώρισται ἀλλ’ ἀναγκαίως. καὶ διορθοῦται τοὺς ὅρους τὸν μείζονα κινῶν· τὸ καθεύδειν γὰρ καὶ τὸ ἐγρηγορέναι οὐδενὶ ἵππῳ ὑπαρχόντως· ζῷον δὲ παντὶ ἵππῳ ἀναγκαίως· καὶ τὸ καθεύδειν οὐ παντὶ ζώῳ ὑπαρχόντως. ἐν δὲ τῷ τρίτῳ καὶ τετάρτῳ καὶ ἕκτῳ τρόπῳ τῇ καθόλου βούλεται ἕπεσθαι τὸ συμπέρασμα, εἴτε καταφατικὴ ᾖ, ὡς ἐν τῷ τρίτῳ καὶ τετάρτῳ, εἴτε ἀποφατική, ὡς ἐν τῷ ἕκτῳ·