Analytica Posteriora (Posterior Analytics)
Ἀλλ᾿ ἆρα ἔστι καὶ ἀποδεῖξαι τὸ τί ἐστι κατ᾿ οὐσίαν, ἐξ ὑποθέσεως δέ, λαβόντα τὸ μὲν τί ἦν εἶναι τὸ ἐκ τῶν ἐν τῷ τί ἐστιν ἰδίων, ταδὶ δὲ ἐν τῷ τί ἐστι μόνα, καὶ ἴδιον τὸ πᾶν; τοῦτο γάρ ἐστι τὸ εἶναι ἐκείνῳ. Ἢ πάλιν εἴληφε τὸ τί ἦν εἶναι καὶ ἐν τούτῳ; ἀνάγκη γὰρ διὰ τοῦ μέσου δεῖξαι. Ἔτι ὥσπερ οὐδ᾿ ἐν συλλογισμῷ λαμβάνεται τί ἐστι τὸ συλλελογίσθαι (ἀεὶ γὰρ ὅλη ἢ μέρος ἡ πρότασις, ἐξ ὧν ὁ συλλογισμός), οὕτως οὐδὲ τὸ τί ἦν εἶναι δεῖ ἐνεῖναι ἐν τῷ συλλογισμῷ, ἀλλὰ χωρὶς τοῦτο τῶν κειμένων εἶναι, καὶ πρὸς τὸν ἀμφισβητοῦντα εἰ συλλελόγισται ἢ μὴ τοῦτο, ἀπαντᾶν ὅτι· τοῦτο γὰρ ἦν συλλογισμός. Καὶ πρὸς τὸν ὅτι οὐ τὸ τί ἦν εἶναι συλλελόγισται, ὅτι ναί· τοῦτο γὰρ ἔκειτο ἡμῖν τὸ τί ἦν εἶναι. Ὥστε ἀνάγκη καὶ ἄνευ τοῦ τί συλλογισμὸς ἢ τοῦ τί ἦν εἶναι συλλελογίσθαί τι.
Κἂν ἐξ ὑποθέσεως δὲ δεικνύῃ, οἷον εἰ τῷ κακῷ ἐστὶ τὸ διαιρετῷ εἶναι, τῷ δ᾿ ἐναντίῳ τὸ τῷ ἐναντίῳ εἶναι, ὅσοις ἔστι τι ἐναντίον· τὸ δ᾿ ἀγαθὸν τῷ κακῷ ἐναντίον καὶ τὸ ἀδιαίρετον τῷ διαιρετῷ· ἔστιν ἄρα τὸ ἀγαθῷ εἶναι τὸ ἀδιαιρέτῳ εἶναι. Καὶ γὰρ ἐνταῦθα λαβὼν τὸ τί ἦν εἶναι δείκνυσι· λαμβάνει δ᾿ εἰς τὸ δεῖξαι τὸ τί ἦν εἶναι. Ἕτερον μέντοι ἔστω· καὶ γὰρ ἐν ταῖς ἀποδείξεσιν, ὅτι ἐστὶ τόδε κατὰ τοῦδε, ἀλλὰ μὴ αὐτό, μηδὲ οὗ ὁ αὐτὸς λόγος, καὶ ἀντιστρέφει. Πρὸς ἀμφοτέρους δέ, τόν τε κατὰ διαίρεσιν δεικνύντα καὶ πρὸς τὸν οὕτω συλλογισμόν, τὸ αὐτὸ ἀπόρημα· διὰ τί ἔσται ὁ ἄνθρωπος ζῷον δίπουν πεζόν, ἀλλ᾿ οὐ ζῷον καὶ πεζόν; ἐκ γὰρ τῶν λαμβανομένων οὐδεμία ἀνάγκη ἐστὶν ἓν γίνεσθαι τὸ κατηγορούμενον, ἀλλ᾿ ὥσπερ ἂν ἄνθρωπος ὁ αὐτὸς εἴη μουσικὸς καὶ γραμματικός.
〈لا يمكن البرهنة على الماهية بالقياس الشرطى〉
أفترى قد يوجد البرهان على ما هو الجوهر عندما يأخد من الأصول الموضوعة أن معنى ما هو الشىء والوجود له فى ذاته هو الذى من خواص تحمل من طريق ما هو، وهذه الأشياء مثلا هى وحدها فقط من طريق ما هو، والكل هو خاصة؟ فهذه إذاً هى معنى الوجود لذاك. — فنقول: إن هذا القول أيضا قد يأخذ أخذاً معنى ما هو والوجود له بذاته، إذ كان قد يلزم ضرورة أن يبين بالمتوسط.
وأيضا كما أنه ولا فى القياس يؤخذ ماهو معنى القياس (إذ كانت المقدمات التى منها يكون القياس هى دائما كلا وجزءا)، كذلك ولا معنى ما هو والوجود له فى ذاته يجب أن يكون فى القياس، لكن يكون موجودا إذا كانت هذه موضوعة ناحية. ويعاند بهذا من تشكك وامترى أن الذى أتى به هو قياس أولا؛ ويقال إنه قد كان القياس هذا، فيناقض بذلك القائل بأنه لم نقس على ما هو الشىء وما الوجود له فى ذاته. ويقال: بلى لعمرى! وذلك أن هذا هو الذى كان موضوعنا أن معنى ماهو الشىء والوجود له فى نفسه. فإذاً قد يجب أن يقاس الشىء من غير أن يستعمل فيه ما هو القياس أو ما الوجود له فى نفسه. — لكن لعله أن يبين بالشريطة — أعنى بالأصل الموضوع، مثال ذلك: إن كان معنى الوجود للشىء هو أنه للنفس والمختلف، فالمعنى لضده هو أنه لضده. وهذا فى جميع الأشياء التى يوجد لها شىء مضاد. فالخير مضاد للشر، والمنقسم للامنقسم. فالوجود إذاً للخير هو أنه لغير المنقسم. فإن هاهنا أيضا إنما يبين الأمر عندما يأخذ معنى ما هو والوجود له فى نفسه، وأن يقتضب شيئا آخر فى البرهان على ما هو الشىء والوجود له فى نفسه. ليكن، إذ كان فى البرهان أيضا قد يؤخذ أن هذا على هذا. غير أنه ليس هو هو بعينه، ولا أيضا ذلك الأمر بعينه الذى القول عليه ومنعكس بالتساوى والشك نحو كليهما.
أعنى الذى يبين بطريق القسمة، والذى يقيس بهذا النحو هو الشك واحد بعينه، وهو أن يقال: لم يكن الإنسان حيوانا مشاءا ذا رجلين، لا حيوانا ومشاءا. وذلك أنه ليس ولا شىء واحدا من الأشياء المأخوذة يلزم ضرورةً أن يكون فيه ذلك المحمول، لكن كما أن الإنسان — وهو واحد بعينه — هو موسيقوس وغرماطيقوس.