Analytica priora

Ἐπὶ δὲ τοῦ τρίτου σχήματος ὅταν μὲν ἀμφότεραι αἰ προτάσεις καθόλου ληφθῶσιν, οὐκ ἐνδέχεται δεῖξαι διʼ ἀλλήλων· τὸ μὲν γὰρ καθόλου δείκνυται διὰ τῶν καθόλου, τὸ a δʼ ἐν τούτῳ συμπέρασμα ἀεὶ κατὰ μέρος, ὥστε φανερόν ὅτι ὅλως οὐκ ἐνδέχεται δεῖξαι διὰ τούτου τοῦ σχήματος τὴν καθόλου πρότασιν.

Ἐὰν δʼ ἡ μὲν ἦ καθόλου ἡ δʼ ἐν μέρει. ποτὲ μὲν ἔσται ποτὲ δʼ οὐκ ἔσται. ὅταν μὲν οὖν ἀμφότεραι κατηγορικαὶ ληφθῶσι καὶ τὸ καθόλου γένηται πρὸς τῷ ἐλάττονι ἄκρῳ, ἔσται, ὅταν δὲ πρὸς θατέρῳ, οὐκ ἔσται. ὑπαρχέτω γὰρ τὸ Α παντὶ τῷ Γ, τὸ δὲ Β τινί· συμπέρασμα

Φανερὸν οὖν ὅτι ἐν μὲν τῷ πρώτῳ σχήματι ἡ διʼ ἀλλήλων δεῖξις διά τε τοῦ τρίτου καὶ διὰ τοῦ πρώτου γίνεται σχήματος. κατηγορικοῦ μὲν γὰρ ὄντος τοῦ συμπεράσματος διὰ τοῦ πρώτου, στερητικοῦ δὲ διὰ τοῦ ἐσχάτου· λαμβάνεται γάρ, ᾧ τοῦτο μηδενί, θάτερον παντὶ ὑπάρχειν. ἐν δὲ τῷ μέσῳ καθόλου μὲν ὄντος τοῦ συλλογισμοῦ διʼ αὐτοῦ τε καὶ διὰ τοῦ πρώτου σχήματος, ὅταν δʼ ἐν μέρει, διʼ αὐτοῦ τε καὶ τοῦ ἐσχάτου. ἐν δὲ τῷ τρίτῳ διʼ αὐτοῦ πόντες. φανερὸν δὲ καὶ ὅτι ἐν τῷ τρίτῳ καὶ τῷ μέσῳ οἱ μὴ διʼ αὐτῶν γινόμενοι συλλογισμοὶ ἢ οὐκ εἰσὶ κατὰ τὴν κύκλῳ δεῖξιν ἢ ἀτελεῖς.

Τὸ δʼ ἀντιστρέφειν ἐστὶ τὸ μετατιθέντα τό συμπέρασμα ποιεῖν τὸν συλλογισμόν ὅτι ἢ τὸ ἄκρον τῷ μέσῳ οὐχ ὑπάρξει ἢ τοῦτο τῷ τελευταίῳ. ἀνάγκη γὰρ τοῦ συμπεράσματος ἀντιστραφέντος καὶ τῆς ἑτέρας μενούσης προτάσεως ἀναιρεῖσθαι τὴν λοιπήν· εἰ γὰρ ἔσται, καὶ τὸ συμπέρασμα ἔσται. διαφέρει δὲ τὸ ἀντικειμένως ἢ ἐναντίως ἀντιστρέφειν τὸ συμπέρασμα· οὐ γὰρ ὁ αὐτὸς γίνεται συλλογισμός ἑκατέρως ἀντιστραφέντος· δῆλον δὲ τοῦτʼ ἔσται διὰ τῶν ἑπομένων. λέγω δʼ ἀντικεῖσθαι μὲν τὸ παντὶ τῷ οὐ παντὶ καὶ τὸ τινὶ τῷ οὐδενί, ἐναντίως δὲ τὸ παντὶ τῷ οὐδενὶ καὶ τὸ τινὶ τῷ οὐ τινὶ ὑπάρχειν. ἔστω γὰρ δεδειγμένον τὸ Α κατὰ τοῦ Γ διὰ μέσου τοῦ Β. εἰ δὴ τὸ Α ληφθείη μηδενὶ τῷ Γ ὑπάρχειν, τῷ δὲ Β παντί, οὐδενὶ τῷ Γ ὑπάρξει τὸ Β. καὶ εἰ τὸ μὲν Α μηδενὶ τῷ Γ, τὸ δὲ Β παντὶ τῷ Γ, τὸ Α οὐ παντὶ τῷ Β καὶ οὐχ ἀπλῶς οὐδενί· οὐ γὰρ ἐδείκνυτο τὸ καθόλου διὰ τοῦ ἐσχάτου σχήματος. ὅλως δὲ τὴν πρὸς τῷ μείζονι ἄκρῳ πρότασιν οὐκ ἔστιν ἀνασκευάσαι καθόλου διὰ τῆς ἀντιστροφῆς· ἀεὶ γὰρ ἀναιρεῖται διὰ τοῦ τρίτου σχήματος· ἀνάγκη γὰρ πρὸς τὸ ἔσχατον ἄκρον ἀμφοτέρας λαβεῖν τὰς προτάσεις. καὶ εἰ στερητικὸς ὁ συλλογισμός, ὡσαύτως. δεδείχθω γὰρ τὸ μηδενὶ τῷ Γ ὑπάρχον διὰ τοῦ Β. οὐκοῦν ἂν ληφθῇ τὸ τῷ Γ παντὶ ὑπάρχειν, τῷ δὲ Β μηδενί, οὐδενὶ τῷ Γ τὸ Β ὑπάρξει. καὶ εἰ τὸ Α καὶ τὸ Β παντὶ τῷ Γ, τὸ τινὶ τῷ Β· ἀλλʼ οὐδενὶ ὑπῆρχεν.

Ἐὰν δʼ ἀντικειμένως ἀντιστραφῇ τὸ συμπέρασμα, καὶ· οἱ συλλογισμοὶ ἀντικείμενοι καὶ οὐ καθόλου ἔσονται. γίνεται γὰρ ἡ ἑτέρα πρότασις ἐν μέρει, ὥστε καὶ τὸ συμπέρασμα ἔσται κατά μέρος. ἔστω γὰρ κατηγορικὸς ὁ συλλογισμός, καὶ ἀντιστρεφέσθω οὕτως. οὐκοῦν εἰ τὸ Α οὐ παντὶ τῷ Γ, τῷ δὲ Β παντί, τὸ Β οὐ παντὶ τῷ Γ· καὶ εἰ τὸ μὲν Α μὴ παντὶ τῷ Γ, τὸ δὲ Β παντί, τὸ Α οὐ παντὶ τῷ Β. ὁμοίως δὲ καὶ εἰ στερητικὸς ὁ συλλογισμός. εἰ γὰρ τὸ Α τινὶ τῷ Γ ὑπάρχει, τῷ δὲ Β μηδενί, τὸ Β τινὶ τῷ Γ οὐχ ὑπάρξει, οὐχ ἁπλῶς οὐδενί· καὶ εἰ τὸ μὲν Α τῷ Γ τινί, τὸ δὲ Β παντί, ὥσπερ ἐν ἀρχῇ ἐλήφθη, τὸ τινὶ τῷ Β ὑπάρξει.

Ἐπὶ δὲ τῶν ἐν μέρει συλλογισμῶν ὅταν μὲν ἀντικειμένως ἀντιστρέφηται τὸ συμπέρασμα, ἀναιροῦνται ἀμφότεραι αἱ προτάσεις, ὅταν δʼ ἐναντίως, οὐδετέρα. οὐ γὰρ ἔτι συμβαίνει, καθάπερ ἐν τοῖς καθόλου, ἀναιρεῖν ἐλλείποντος τοῦ συμπεράσματος κατὰ τὴν ἀντιστροφήν, ἀλλʼ οὐδʼ ὅλως ἀναιρεῖν. δεδείχθω γὰρ τὸ Α κατὰ τινὸς τοῦ Γ. οὐκοῦν ἂν [*](60a) ληφθῇ τὸ Α μηδενὶ τῷ Γ ὑπάρχειν, τὸ δὲ Β τινί, τὸ Α τῷ Β τινὶ οὐχ ὑπάρξει· καὶ εἰ τὸ Α μηδενὶ τῷ Γ, τῷ δὲ Β παντί, οὐδενὶ τῷ Γ τὸ Β. ὥστʼ ἀναιροῦνται ἀμφότεραι. ἐὰν δʼ ἐναντίως ἀντιστραφῇ, οὐδετέρα. εἰ γὰρ τὸ τινὶ τῷ Γ μὴ ὑπάρχει, τῷ δὲ Β παντί, τὸ Β τινὶ τῷ Γ οὐχ ὑπάρξει, ἀλλʼ οὔπω ἀναιρεῖται τὸ ἐξ ἀρχῆς· ἐνδέχεται γὰρ τινὶ ὑπάρχειν καὶ τινὶ μὴ ὑπάρχειν. τῆς δὲ καθόλου, τῆς Β, ὅλως οὐδὲ γίνεται συλλογισμός· εἰ γὰρ τὸ μὲν Α τινὶ τῷ Γ μὴ ὑπάρχει, τὸ δὲ Β τινὶ ὑπάρχει, οὐδετέρα καθόλου τῶν προτάσεων. ὁμοίως δὲ καὶ εἰ στερητικὸς ὁ συλλογισμός· εἰ μὲν γὰρ ληφθείη τὸ Α παντὶ τῷ Γ ὑπάρχειν, ἀναιροῦνται ἀμφότεραι, εἰ δὲ τινί, οὐδετέρα. ἀπόδειξις δʼ ἡ αὐτή.

Ἐν δὲ τῷ δευτέρῳ σχήματι τὴν μὲν πρὸς τῷ μείζονι ἄκρῳ πρότασιν οὐκ ἔστιν ἀνελεῖν ἐναντίως, ὁποτερωσοῦν τῆς ἀντιστροφῆς γινομένης· ἀεὶ γὰρ ἔσται τὸ συμπέρασμα ἐν τῷ τρίτῳ σχήματι, καθόλου δʼ οὐκ ἦν ἐν τούτῳ συλλογισμός. τὴν δʼ ἑτέραν ὁμοίως ἀναιρήσομεν τῇ ἀντιστροφῇ. λέγω δὲ τὸ ὁμοίως, εἰ μὲν ἐναντίως ἀντιστρέφεται, ἐναντίως, εἰ δʼ ἀντικειμένως, ἀντικειμένως. ὑπαρχέτω γὰρ τὸ Α παντὶ τῷ Β, τῷ δὲ Γ μηδενί· συμπέρασμα Γ. ἐὰν οὖν ληφθῇ τὸ Β παντὶ τῷ Γ ὑπάρχειν καὶ τὸ. Α Β μένῃ, τὸ Α παντὶ τῷ Γ ὑπάρξει· γίνεται γὰρ τὸ πρῶτον σχῆμα. εἰ δὲ τὸ Β παντὶ τῷ Γ, τὸ δὲ Α μηδενὶ τῷ Γ, τὸ οὐ παντὶ τῷ Β· σχῆμα τὸ ἔσχατον. ἐὰν δʼ ἀντικειμένως ἀντιστραφῇ τὸ Β Γ, ἡ μὲν Β ὁμοίως δειχθήσεται, ἡ δὲ Γ ἀντικειμένως. εἰ γὰρ τὸ Β τινὶ τῷ Γ, τὸ δὲ μηδενὶ τῷ Γ, τὸ τινὶ τῷ Β οὐχ ὑπάρξει. πάλιν εἰ τὸ Β τινὶ τῷ Γ, τὸ δὲ Α παντὶ

Ἐπὶ δὲ τοῦ τρίτου σχήματος ὅταν μὲν ἐναντίως ἀντιστρέφηται τὸ συμπέρασμα, οὐδετέρα τῶν προτάσεων ἀναιρεῖται κατʼ οὐδένα τῶν συλλογισμῶν ὅταν δʼ ἀντικειμένως, ἀμφότεραι καὶ ἐν ἅποσιν. δεδείχθω γὰρ τὸ Α τινὶ τῷ Β ὑπάρχον, μέσον δʼ εἰλήφθω τὸ Γ, ἔστωσαν δὲ καθόλου αἰ προτάσεις. οὐκοῦν ἐὰν ληφθῇ τὸ Α τινὶ τῷ Β μὴ ὑπάρχειν, τὸ δὲ Β παντὶ τῷ Γ οὐ γίνεται συλλογισμὸς τοῦ Α καίτοῦ Γ. οὐδʼ εἰ τὸ Α τῷ μὲν Β τινὶ μὴ ὑπάρχει, τῷ δὲ Γ παντί, οὐκ ἔσται τοῦ Β καὶ τοῦ Γ συλλογισμός. ὁμοίως δὲ δειχθήσεται καὶ εἰ μὴ καθόλου αἰ προτάσεις. ἢ γὰρ ἀμφοτέρας ἀνάγκη κατὰ μέρος εἶναι διὰ τῆς ἀντιστροφῆς, ἢ τὸ καθόλου πρὸς τῷ ἐλάττονι ἄκρῳ γίνεσθαι· οὕτω δʼ οὐκ ἦν συλλογισμὸς οὔτʼ ἐν τῷ πρώτῳ σχήματι οὔτʼ ἐν τῷ μέσῳ. ἐὰν δʼ ἀντικειμένως ἀντιστρέφηται, αἰ προτάσεις ἀναιροῦνται ἀμφότεραι. εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Γ, τὸ Α οὐδενὶ τῷ πάλιν εἰ τὸ Α τῷ μὲν Β μηδενί, τῷ δὲ Γ παντί, τὸ Β οὐδενὶ τῷ Γ. καὶ εἰ ἡ ἑτέρα μὴ καθόλου, ὡσαύτως. εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β

Ὁμοίως δὲ καὶ εἰ στερητικὸς ὁ συλλογισμός. δεδείχθω γὰρ τὸ Α τινὶ τῷ Β μὴ ὑπάρχον, ἔστω δὲ κατηγορικὸν μὲν τὸ Β Γ, ἀποφατικὸν δὲ τὸ Α Γ· οὕτω γὰρ ἐγίνετο ὁ συλλογισμός. ὅταν μὲν οὖν τὸ ἐναντίον ληφθῇ τῷ συμπεράσματι, οὐκ ἔσται συλλογισμός. εἰ γὰρ τὸ Α τινὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Γ, οὐκ ἦν συλλογισμὸς τοῦ καὶ τοῦ Γ. οὐδʼ εἰ τὸ τινὶ τῷ Β, τῷ δὲ Γ μηδενί, οὐκ ἦν τοῦ Β καὶ τοῦ Γ συλλογισμός. ὥστε οὐκ ἀναιροῦνται αἱ προτάσεις. ὅταν δὲ τὸ ἀντικείμενον, ἀναιροῦνται. εἰ γὰρ τὸ Α παντὶ τῷ Β καὶ τὸ Β τῷ Γ, τὸ Α παντὶ τῷ Γ· ἀλλʼ οὐδενὶ ὑπῆρχεν. πάλιν εἰ τὸ παντὶ τῷ Β, τῷ δὲ Γ μηδενί, τὸ Β οὐδενὶ τῷ Γ· ἀλλὰ παντὶ ὑπῆρχεν. ὁμοίως δὲ δείκνυται καὶ εἰ μὴ καθόλου εἰσὶν αἰ προτάσεις. γίνεται γὰρ τὸ Γ καθόλου τε καὶ στερητικόν, θάτερον δʼ ἐπὶ μέρους καὶ κατηγορικόν. εἰ μὲν οὖν τὸ Α παντὶ τῷ Β, τὸ δὲ Β τινὶ τῷ Γ, τὸ Α τινὶ τῷ Γ συμβαίνει· ἀλλʼ οὐδενὶ ὑπῆρχεν. πάλιν εἰ τὸ παντὶ τῷ Β, τῷ δὲ Γ μηδενί, τὸ Β οὐδενὶ τῷ Γ· ἔκειτο δὲ τινί. εἰ δὲ τὸ τινὶ [*](61a) τῷ Β καὶ τὸ Β τινὶ τῷ Γ, οὐ γίνεται συλλογισμός· οὐδʼ εἰ τὸ τινὶ τῷ Β, τῷ δὲ Γ μηδενί, οὐδʼ οὕτως. ὥστʼ ἐκείνως μὲν ἀναιροῦνται, οὕτω δʼ οὐκ ἀναιροῦνται αἱ προτάσεις.

Φανερὸν οὖν διὰ τῶν εἰρημένων πῶς ἀντιστρεφομένου τοῦ συμπεράσματος ἐν ἑκάστῳ σχήματι γίνεται συλλογισμός, καὶ πότʼ ἐναντίος τῇ προτάσει καὶ πότʼ ἀντικείμενος, καὶ ὅτι ἐν μὲν τῷ πρώτῳ σχήματι διὰ τοῦ μέσου καὶ τοῦ ἐσχάτου γίνονται οἱ συλλογισμοί, καὶ ἡ μὲν πρὸς τῷ ἐλάττονι ἄκρῳ ἀεὶ διὰ τοῦ μέσου ἀναιρεῖται, ἡ δὲ πρὸς τῷ μείζονι διὰ τοῦ ἐσχάτου· ἐν δὲ τῷ δευτέρῳ διὰ τοῦ πρώτου καὶ τοῦ ἐσχάτου, ἡ μὲν πρὸς τῷ ἐλάττονι ἄκρῳ ἀεὶ διὰ τοῦ πρώτου σχήματος, ἡ δὲ πρὸς τῷ μείζονι διὰ τοῦ ἐσχάτου· ἐν δὲ τῷ τρίτῳ διὰ τοῦ πρώτου καὶ διὰ τοῦ μέσου, καὶ ἡ μὲν πρὸς τῷ μείζονι διὰ τοῦ πρώτου ἀεί, ἡ δὲ πρὸς τῷ ἐλάττονι διὰ τοῦ μέσου.

Τἱ μὲν οὖν ἐστὶ τὸ ἀντιστρέφειν καὶ πῶς ἐν ἐκάστῳ σχήματι καὶ τίς γίνεται συλλογισμός, φανερόν. ὁ δὲ διὰ τοῦ ἀδυνάτου συλλογισμὸς δείκνυται μὲν ὅταν ἡ ἀντίφασις τεθῇ τοῦ συμπεράσματος καὶ προσληφθῇ ἄλλη πρότασις, γίνεται δʼ ἐν ἅπασι τοῖς σχήμασιν· ὅμοιον γάρ ἐστι τῇ ἀντιστροφῇ, πλὴν διαφέρει τοσοῦτον ὅτι ἀντιστρέφεται μὲν γεγενημένου συλλογισμοῦ καὶ εἰλημμένων ἀμφοῖν τῶν προτάσεων, ἀπάγεται δʼ εἰς ἀδύνατον οὐ προομολογηθέντος τοῦ ἀντικειμένου πρότερον, ἀλλὰ φανεροῦ ὄντος ὅτι ἀληθές. οἱ δʼ ὅροι ὁμοίως ἔχουσιν ἐν ἀμφοῖν, καὶ ἡ αὐτὴ λῆψις ἀμφοτέρων. οἷον εἰ τὸ Α τῷ Β παντὶ ὑπάρχει, μέσον δὲ τὸ Γ, ἐὰν ὑποτεθῇ τὸ Α ἢ μὴ παντὶ ἢ μηδενὶ τῷ Β ὑπάρχειν, τῷ δὲ Γ παντί, ὅπερ ἦν ἀληθές, ἀνάγκη τὸ Γ τῷ Β ἢ μηδενὶ ἢ μὴ παντὶ ὑπάρχειν. τοῦτο δʼ ἀδύνατον, ὥστε ψεῦδος τὸ ὑποτεθέν· ἀληθὲς ἄρα τὸ ἀντικείμενον. ὁμοίως δὲ καὶ ἐπὶ τῶν ἄλλων σχημάτων· ὅσα γὰρ ἀντιστροφὴν δέχεται, καὶ τὸν διὰ τοῦ ἀδυνάτου συλλογισμόν.

Τὰ μὲν οὖν ἄλλα προβλήματα πάντα δείκνυται διὰ τοῦ ἀδυνάτου ἐν ἅπασι τοῖς σχήμασι, τὸ δὲ καθόλου κατηγορικὸν ἐν μὲν τῷ μέσῳ καὶ τῷ τρίτῳ δείκνυται, ἐν δὲ τῷ πρώτῳ οὐ δείκνυται. ὑποκείσθω γὰρ τὸ τῷ Β μὴ παντὶ ἢ μηδενὶ ὑπάρχειν, καὶ προσειλήφθω ἄλὺλτη πρότασις ὁποτερωθενοῦν, εἴτε τῷ Α παντὶ ὑπάρχειν τὸ Γ εἴτε τὸ Β παντὶ τῷ Δ· οὕτω γὰρ ἂν εἴη τὸ πρῶτον σχῆμα. εἰ μὲν οὖν ὑπόκειται μὴ παντὶ ὑπάρχειν τὸ τῷ Β, οὐ γίνεται συλλογισμὸς [*](61b) ὁποτερωθενοῦν τῆς προτάσεως λαμβανομένης, εἰ δὲ μηδενί, ὅταν μὲν ἡ Β Δ προσληφθῇ, συλλογισμός μὲν ἔσται τοῦ ψεύδους, οὐ δείκνυται δὲ τὸ προκείμενον. εἰ γὰρ τὸ Α μηδενὶ τῷ Β, τὸ δὲ Β παντὶ τῷ Δ, τὸ οὐδενὶ τῷ Δ. τοῦτο δʼ ἔστω ἀδύνατον· ψεῦδος ἄρα τὸ μηδενὶ τῷ Β τὸ Α ὑπάρχειν. ἀλλʼ οὐκ εἰ τὸ μηδενὶ ψεῦδος, τὸ παντὶ ἀληθές. ἐὰν δʼ ἡ Γ προσληφθῇ, οὐ γίνεται συλλογισμός, οὐδʼ ὅταν ὑποτεθῇ μὴ παντὶ τῷ Β τὸ ὑπάρχειν. ὥστε φανερόν ὅτι τὸ παντὶ ὑπάρχειν οὐ δείκνυται ἐν τῷ πρώτῳ σχήματι διὰ τοῦ ἀδυνάτου.

Τὸ δέ γε τινὶ καὶ τὸ μηδενὶ καὶ μὴ παντὶ δείκνυται. ὑποκείσθω γὰρ τὸ Α μηδενὶ τῷ Β ὑπάρχειν, τὸ

Πάλιν ὑποκείσθω τὸ τινὶ τῷ Β ὑπάρχειν, εἰλήφθω δὲ τὸ Γ παντὶ τῷ Α. ἀνάγκη οὖν τὸ Γ τινὶ τῷ Β ὑπάρχειν. τοῦτο δʼ ἔστω ἀδύνατον, ὥστε ψεῦδος τὸ ὑποτεθέν. εἰ δʼ οὕτως, ἀληθὲς τὸ μηδενὶ ὑπάρχειν. ὁμοίως δὲ καὶ εἰ στερητικὸν ἐλήφθη τὸ Γ Α. εἰ δʼ ἡ πρὸς τῷ Β εἴληπται πρότασις, οὐκ ἔσται συλλογισμός. ἐὰν δὲ τὸ ἐναντίον ὑποτεθῇ, συλλογισμὸς μὲν ἔσται καὶ τὸ ἀδύνατον, οὐ δείκνυται δὲ τὸ προτεθέν. ὑποκείσθω γὰρ παντὶ τῷ Β τὸ ὑπάρχειν, καὶ τὸ Γ τῷ Α εἰλήφθω παντί. οὐκοῦν ἀνάγκη τὸ Γ παντὶ τῷ Β ὑπάρχειν. τοῦτο δʼ ἀδύνατον, ὥστε ψεῦδος τὸ παντὶ τῷ Β τὸ ὑπάρχειν. ἀλλʼ οὔπω γε ἀναγκαῖον, εἰ μὴ παντί, μηδενὶ ὑπάρχειν. ὁμοίως δὲ καὶ εἰ πρὸς τῷ Β ληφθείη ἡ ἑτέρα πρότασις· συλλογισμὸς μὲν γὰρ ἔσται καὶ τὸ ἀδύνατον, οὐκ ἀναιρεῖται δʼ ἡ ὑπόθεσις· ὥστε τὸ ἀντικείμενον ὑποθετέον.

Πρὸς δὲ τὸ μὴ παντὶ δείξαι ὑπάρχον τῷ Β τὸ Α, ὑποθετέον παντὶ ὑπάρχειν· εἰ γὰρ τὸ Α παντὶ τῷ Β καὶ τὸ παντὶ τῷ Α, τὸ Γ παντὶ τῷ Β, ὥστ’ εἰ τοῦτο ἀδύνατον, ψεῦδος τὸ ὑποτεθέν. ὁμοίως δὲ καὶ εἰ πρὸς τῷ Β ἐλήφθη ἡ ἑτέρα πρότασις. καὶ εἰ στερητικὸν ἦν τὸ Γ Α, ὡσαύτως· καὶ γὰρ οὕτω γίνεται συλλογισμός. ἐὰν δὲ πρὸς τῷ Β ᾖ τὸ στερητικόν, οὐδὲν δείκνυται. ἐὰν δὲ μὴ παντὶ ἀλλὰ τινὶ ὑπάρχειν ὑποτεθῇ, οὐ δείκνυται ὅτι οὐ παντὶ ἀλλʼ ὅτι οὐδενί. εἰ γὰρ τὸ Α τινὶ τῷ Β, τὸ δὲ Γ παντὶ τῷ Α, τινὶ τῷ Β τὸ Γ ὑπάρξει. εἰ οὖν τοῦτʼ ἀδύνατον, ψεῦδος τὸ τινὶ [*](62a) ὑπάρχειν τῷ Β τὸ Α, ὥστ’ ἀληθὲς τὸ μηδενί. τούτου δὲ δειχθέντος προσαναιρεῖται τὸ ἀληθές· τὸ γὰρ Α τῷ Β τινὶ

Φανερὸν οὖν ὅτι οὐ τὸ ἐναντίον ἀλλὰ τὸ ἀντικείμενον ὑποθετέον ἐν ἅπασι τοῖς συλλογισμοῖς. οὕτω γὰρ τό τε ἀναγκαῖον ἔσται καὶ τὸ ἀξίωμα ἔνδοξον. εἰ γὰρ κατὰ παντὸς ἡ' φάσις ἢ ἡ ἀπόφασις, δειχθέντος ὅτι οὐχ ἡ ἀπόφασις, ἀνάγκη τὴν κατάφασιν ἀληθεύεσθαι. πάλιν εἰ μὴ τίθησιν ἀληθεύεσθαι τὴν κατάφασιν, ἔνδοξον τὸ ἀξιῶσαι τὴν ἀπόφασιν. τὸ δʼ ἐναντίον οὐδετέρως ἁρμόττει ἀξιοῦν· οὔτε γὰρ ἀναγκαῖον, εἰ τὸ μηδενὶ ψεῦδος, τὸ παντὶ ἀληθές, οὔτʼ ἔνδοξον ὡς εἰ θάτερον ψεῦδος, ὅτι θάτερον ἀληθές.

Φανερὸν οὖν ὅτι ἐν τῷ πρώτῳ σχήματι τὰ μὲν ἄλλα προβλήματα πάντα δείκνυται διὰ τοῦ ἀδυνάτου, τὸ δὲ καθόλου καταφατικὸν οὐ δείκνυται. ἐν δὲ τῷ μέσῳ καὶ τῷ ἐσχάτῳ καὶ τοῦτο δείκνυται. κείσθω γὰρ τὸ Α μὴ παντὶ τῷ Β ὑπάρχειν, εἰλήφθω δὲ τῷ Γ παντὶ ὑπάρχειν τὸ Α. οὐκοῦν εἰ τῷ μὲν Β μὴ παντί, τῷ δὲ Γ παντί, οὐ παντὶ τῷ Β τὸ Γ. τοῦτο δʼ ἀδύνατον· ἔστω γὰρ φανερὸν ὅτι παντὶ τῷ Β ὑπάρχει τὸ Γ, ὥστε ψεῦδος τὸ ὑποκείμενον. ἀληθὲς ἄρα τὸ παντὶ ὑπάρχειν. ἐὰν δὲ τὸ ἐναντίον ὑποτεθῇ, συλἀογισμός μὲν ἔσται καὶ τὸ δύνατον, οὐ μὴν δείκνυται τὸ προτεθέν. εἰ γὰρ τὸ μηδενὶ τῷ Β, τῷ δὲ Γ παντί, οὐδενὶ τῷ Β τὸ Γ. τοῦτο δʼ ἀδύνατον, ὥστε ψεῦδος τὸ μηδενὶ ὑπάρχειν. ἀλλʼ οὐκ εἰ τοῦτο ψεῦδος, τὸ παντὶ ἀληθές. ὅτι δὲ τινὶ τῷ Β ὑπάρχει τὸ Α, ὑποκείσθω τὸ Α μηδενὶ τῷ ὑπάρχειν, τῷ δὲ Γ παντὶ ὑπαρχέτω. ἀνάγκη οὖν τὸ Γ μηδενὶ τῷ Β. ὥστʼ εἰ τοῦτʼ ἀδύνατον, ἀνάγκη τὸ Α τινὶ τῷ Β ὑπάρχειν. ἐὰν δʼ ὑποτεθῇ τινὶ μὴ ὑπάρχειν, ταὐτʼ ἔσται· ἅπερ ἐπὶ τοῦ πρώτου σχήματος. πάλιν ὑποκείσθω τὸ Α τινὶτῷ

Ὁμοίως δὲ καὶ διὰ τοῦ ἐσχάτου. κείσθω γὰρ τὸ Α τινὶ τῷ Β μὴ ὑπάρχειν, τὸ δὲ Γ παντί· τὸ ἄρα Α τινὶ τῷ Γ οὐχ ὑπάρχει. εἰ οὖν τοῦτʼ ἀδύνατον, ψεῦδος τὸ τινὶ μὴ ὑπάρχειν, ὥστʼ ἀληθὲς τὸ παντί. ἐὰν δʼ ὑποτεθῇ μηδενὶ ὑπάρχειν, συλλογισμὸς μὲν ἔσται καὶ τὸ ἀδύνατον, οὐ δείκνυται δὲ τὸ προτεθέν· ἐὰν γὰρ τὸ ἐναντίον ὑποτεθῇ, ταὐτʼ ἔσται ἅπερ ἐπὶ τῶν πρότερον. ἀλλὰ πρὸς τὸ τινὶ ὑπάρχειν αὕτη ληπτέα ἡ ὑπόθεσις. εἰ γὰρ τὸ μηδενὶ τῷ Β, τὸ δὲ Γ τινὶ τῷ Β, τὸ Α οὐ παντὶ τῷ Γ. εἰ οὖν τοῦτο ψεῦδος ἀληθὲς τὸ Α τινὶ τῷ Β ὑπάρχειν. ὅτι δʼ οὐδενὶ τῷ Β ὑπάρχει τὸ Α, ὑποκείσθω τινὶ ὑπάρχειν, εἰλήφθω δὲ καὶ τὸ Γ παντὶ τῷ Β ὑπάρχον. οὐκοῦν ἀνάγκη τῷ Γ τινὶ τὸ Α ὑπάρχειν. ἀλλʼ οὐδενὶ ὑπῆρχεν, ὥστε ψεῦδος τὸ τινὶ τῷ Β ὑπάρχειν τὸ Α. ἐὰν δʼ ὑποτεθῇ παντὶ τῷ Β ὑπάρχειν τὸ Α οὐ δείκνυται τὸ προτεθέν, ἀλλὰ πρὸς τὸ μὴ παντὶ ὑπάρχειν αὕτη ληπτέα ἡ ὑπόθεσις. εἰ γὰρ τὸ Α παντὶ τῷ Β καὶ τὸ Γ παντὶ τῷ Β, τὸ ὑπάρχει τινὶ τῷ Γ. τοῦτο δὲ οὐκ ἦν, ὥστε ψεῦδος τὸ παντὶ ὑπάρχειν. εἰ δʼ οὕτως, ἀληθὲς τὸ μὴ παντί. ἐὰν δʼ ὑποτεθῇ τινὶ ὑπάρχειν, ταὐτʼ ἔσται ἃ καὶ ἐπὶ τῶν προειρημένων.

Φανερὸν οὖν ὅτι ἐν ἅπασι τοῖς διὰ τοῦ ἀδυνάτου λογισμοῖς τὸ ἀντικείμενον ὑποθετέον. δῆλον δὲ καὶ ὅτι ἐν τῷ μέσῳ σχήματι δείκνυταί πως τὸ καταφατικὸν καὶ ἐν τῷ ἐσχάτῳ τὸ καθόλου.