alexander-philosophy.in-aristotelis-analyticorum-priorum-librum-i-commentarium 26a14
Καὶ ὅτι ὄντος τε συλλογισμοῦ τοὺς ὅρους ἀναγκαῖον ἔχειν , ὡς εἴπομεν . Ἀντιστρέψας εἶπε · καὶ γὰρ συλλογισμοῦ ὄντος ἐν πρώτῳ σχήματι ἐκ καθόλου προτάσεων ἀνάγκη τὴν εἰρημένην θέσιν καὶ τάξιν ἔχειν τοὺς ὅρους πρὸς ἀλλήλους , καὶ τῶν ὅρων οὕτως ἐχόντων καὶ κειμένων ἀνάγκη συλλογισμὸν εἶναι . ὅτι μὲν οὖν , εἰ καθόλου καταφατικὸν εἴη συμπέρασμα , ἀνάγκη ἐκ προτάσεων τοιούτων καὶ οὕτως κειμένων , ὡς ἐδείξαμεν , ἐν πρώτῳ σχήματι γίνεσθαι αὐτόν , δῆλον · ἐν ἄλλῳ γὰρ σχήματι οὐδὲν καθόλου συνάγεται καταφατικόν . πῶς δὲ ἔτι ἀληθὲς ἐπὶ τοῦ ἀποφατικοῦ καθόλου συμπεράσματος ; δόξει γὰρ οὐκ ἀναγκαῖον εἶναι , εἰ ἔστι καθόλου ἀποφατικὸν συμπέρασμα συλλογιστικῶς γεγονός , καὶ τοὺς ὅρους οὕτως ἔχειν , ὡς εἰρήκαμεν , ἐν τῇ δευτέρᾳ συζυγίᾳ τῶν ἐν πρώτῳ σχήματι · δύναται γὰρ ταὐτὸν συμπέρασμα συλλογιστικῶς δειχθῆναι καὶ ἄλλως ἐχόντων τῶν ὅρων · καὶ γὰρ ἐν δευτέρῳ σχήματι τὸ καθόλου ἀποφατικὸν δείκνυται καὶ διχῶς γε · ὥστ᾿ οὐκ ἀληθὲς δόξει τὸ ὄντος τε συλλογισμοῦ τοὺς ὅρους ἀναγκαῖον ἔχειν , ὡς εἴπομεν . δεῖ οὖν προσυπακούειν , ἵν’ ἀληθὲς ᾖ τὸ λεγόμενον , τὸ ‘ἐν τούτῳ τῷ σχήματι’ , ὡς προείρηκε διὰ τοῦ καθόλου μὲν οὖν ὄντων τῶν ὅρων δῆλον ἐν τούτῳ τῷ σχήματι · ὥστε καὶ ἅ ἐπιφέρει περὶ τῶν ἐν τούτῳ τῷ σχήματι λέγει . δύναται δέ τις καὶ ἐπὶ τῶν ἐν τῷ δευτέρῳ σχήματι συλλογισμῶν τῶν τὸ καθόλου ἀποφατικὸν συναγόντων λέγειν τὸ εἰρημένον ἁρμόζειν · καὶ γὰρ καὶ ἐκεῖ , εἰ καὶ <μὴ> ἡ τάξις προτάσεων οὕτως κεῖται , ὡς ἄλλως ἐχόντων πρὸς ἀλλήλους τῶν ὅρων καὶ οὐχ ὡς ἐν τῷ πρώτῳ σχήματι , ἀλλὰ καὶ τότε δυνάμει οὕτως ἔχουσι . κατὰ γοῦν τὴν εἰς τὸ πρῶτον σχῆμα διὰ τῶν | ἀντιστροφῶν τῶν προτάσεων ν ἀνάλυσιν δείκνυνται συλλογιστικαὶ οὖσαι αἱ συζυγίαι , ὥστε καὶ τότε οὕτως ἔχουσιν οἱ ὅροι πρὸς ἀλλήλους . ὡς εἴρηκεν ἐπὶ τῆς ἐν τῷ πρώτῳ σχήματι δευτέρας συζυγίας · εἰς γὰρ ταύτην ἀνάγονται οἱ καθόλου ἀποφατικὸν ἐν δευτέρῳ συνάγοντες σχήματι , ὡς προιὼν δείξει .
Lemmas: καί ὅτι εἰμί τε συλλογισμός ὁ ὅρος ἀναγκαῖος ἔχω , ὡς εἶπον . ἀντιστρέφω εἶπον · καί γάρ συλλογισμός εἰμί ἐν πρῶτος σχῆμα ἐκ καθόλου πρότασις ἀνάγκη ὁ εἴρω θέσις καί τάξις ἔχω ὁ ὅρος πρός ἀλλήλων , καί ὁ ὁράω οὕτως ἔχω καί κεῖμαι ἀνάγκη συλλογισμός εἰμί . ὅτι μέν οὖν , εἰμί καθόλου καταφατικός εἰμί συμπέρασμα , ἀνάγκη ἐκ πρότασις τοιοῦτος καί οὕτως κεῖμαι , ὡς δείκνυμι , ἐν πρῶτος σχῆμα γίγνομαι αὐτός , δῆλος · ἐν ἄλλος γάρ σχῆμα οὐδείς καθόλου συνάγω καταφατικός . πῶς δέ ἔτι ἀληθής ἐπί ὁ ἀποφατικός καθόλου συμπέρασμα ; δοκέω γάρ οὐ ἀναγκαῖος εἰμί , εἰμί εἰμί καθόλου ἀποφατικός συμπέρασμα συλλογιστικός γίγνομαι , καί ὁ ὅρος οὕτως ἔχω , ὡς εἴρω , ἐν ὁ δύο συζυγία ὁ ἐν πρῶτος σχῆμα · δύναμαι γάρ αὐτός συμπέρασμα συλλογιστικός δείκνυμι καί ἄλλως ἔχω ὁ ὁράω · καί γάρ ἐν δύο σχῆμα ὁ καθόλου ἀποφατικός δείκνυμι καί διχῶς γε · ὥστε οὐ ἀληθής δοκέω ὁ εἰμί τε συλλογισμός ὁ ὅρος ἀναγκαῖος ἔχω , ὡς εἶπον . δεῖ οὖν προσυπακούω , ἵνα ἀληθής εἰμί ὁ λέγω , ὁ ἐν οὗτος ὁ σχημάτιον , ὡς προαγορεύω διά ὁ καθόλου μέν οὖν εἰμί ὁ ὁράω δῆλος ἐν οὗτος ὁ σχῆμα · ὥστε καί ὅς ἐπιφέρω περί ὁ ἐν οὗτος ὁ σχῆμα λέγω . δύναμαι δέ τις καί ἐπί ὁ ἐν ὁ δύο σχῆμα συλλογισμός ὁ ὁ καθόλου ἀποφατικός συνάγω λέγω ὁ εἴρω ἁρμόζω · καί γάρ καί ἐκεῖ , εἰμί καί <μὴ> ὁ τάξις πρότασις οὕτως κεῖμαι , ὡς ἄλλως ἔχω πρός ἀλλήλων ὁ ὁράω καί οὐ ὡς ἐν ὁ πρῶτος σχῆμα , ἀλλά καί τότε δύναμις οὕτως ἔχω . κατά γοῦν ὁ εἰς ὁ πρῶτος σχῆμα διά ὁ | ἀντιστροφή ὁ πρότασις Ν ἀνάλυσις δείκνυμι συλλογιστική εἰμί ὁ συζυγία , ὥστε καί τότε οὕτως ἔχω ὁ ὅρος πρός ἀλλήλων . ὡς εἴρω ἐπί ὁ ἐν ὁ πρῶτος σχῆμα δύο συζυγία · εἰς γάρ οὗτος ἀνάγω ὁ καθόλου ἀποφατικός ἐν δύο συνάγω σχῆμα , ὡς προέρχομαι δείκνυμι .