Digital Corpus for Graeco-Arabic Studies

Aristotle: Analytica Priora (Prior Analytics)

〈انعكاس القياس فى الشكل الأول〉

وأما انعكاس القياس فهو أن نبين بانعكاس نتيجة القياس: إما على أن الحد الأكبر ليس بموجود فى الأوسط، وإما أن الأوسط ليس بموجود فى الأصغر. لأنه يجب ضرورة إذا عكست النتيجة وأخذ معها إحدى المقدمتين أن تبطل الأخرى، لأنها إن لم تبطل، ولا النتيجة تبطل.

وانعكاس النتيجة بالتناقض والتضاد مختلف، لأنه ليس قياس واحد يكون بكلا الانعكاسين؛ وذلك يتبين فيما يتلو من القول. والمتناقضات هى: كل ولا كل، وبعض ولا واحد؛ والمتضادات هى: كل ولا واحد، وبعض ولا بعض. فليكن بينا أن ا مقولة على كل حـ بتوسط ٮ، فإن أخذ أن ا غير مقولة على شىء من من حـ ومقولة على كل ٮ تكون غير مقولة على شىء من حـ. فإن كانت ا غير مقولة على شىء من حـ، وٮ مقولة على كل حـ، فإن ا غير مقولة على بعض ٮ وليس غير مقولة على شىء منه، لأنه لا يمكن تبيين العامى بالشكل الثالث. وفى الجملة، ليس يكون أن تنقض المقدمة الكبرى نقضا عاميا بانعكاس النتيجة، لأنها أبداً تنقض بالشكل الثالث، وذلك أنا بينا 〈أن〉 كلتا المقدمتين لا محالة تكون على الطرف الأصغر. — وكذلك يعرض فى المقاييس السالبة: فليكن بينا أن ا غير موجودة فى شىء من حـ بتوسط ٮ، فإن أخذت ا موجودة فى كل حـ وغير موجودة فى شىء من ٮ، فإن ٮ غير موجودة فى شىء من حـ. وإن كانت ا وٮ فى كل حـ، فإن ا فى بعض ٮ، ولكن لم تكن فى شىء منها.

فإن انعكست النتيجة بالتناقض، فإن المقاييس تكون متناقضة وليست بعامية، لأن إحدى المقدمتين تكون جزئية، فإذن فالنتيجة تكون جزئية. فليكن قياس موجب، وليرتجع هكذا. فإذن إن كانت ا غير موجودة فى كل حـ وموجودة فى كل ٮ، فإن ٮ غير موجودة فى كل حـ. وإن كانت ا غير موجودة فى كل حـ، فإن ا غير موجودة فى كل ٮ. — وكذلك يعرض فى القياس السالب أنه إذا كانت ا موجودة فى بعض حـ وغير موجودة فى شىء من ٮ، فإن ٮ غير موجودة فى بعض حـ، ليس ولا فى شىء منها. وأيضا إن كانت ا فى بعض حـ وٮ فى كل حـ كما أخذت فى القياس الأول، فإن ا تكون فى بعض ٮ.

وأما فى المقاييس الجزئية إذا ارتجعت النتيجة بالتناقض، فإن كلتا المقدمتين تبطلان. وأما إذا ارتجعت بالتضاد فإنه ولا واحدة منهما تبطل، ا لأنه ليس يعرض فيها كنحو ما يعرض فى المقاييس العامية من إبطال المقدمات بانعكاس النتيجة. فليكن منتجاً أن ا مقولة على بعض حـ، فإن أخذ أن ا غير موجودة فى شىء من حـ وٮ فى بعض حـ، فإن ا غير موجودة فى بعض ٮ. وإن كانت ا غير موجودة فى شىء من حـ، وموجودة فى كل ٮ، فإن ٮ غير موجودة فى شىء من حـ. فإذن كلتا المقدمتين تبطلان. فإن انعكست النتيجة بالتضاد فليس تبطل ولا واحدة من المقدمتين، لأنه إن كانت ا غير موجودة فى بعض حـ وموجودة فى كل ٮ، فإن ٮ غير موجودة فى بعض حـ، ولكن ليس تبطل المقدمة الأولى، لأنه يمكن أن تكون ٮ فى بعض حـ، ويمكن ألا تكون. وأما على مقدمة ا ٮ فليس يكون قياس بتة، لأنه إن كانت ا غير موجودة فى بعض حـ، و ٮ موجودة فى بعضها، فإنه ولا واحدة من المقدمات تبطل. — وكذلك إن كان القياس سالبا، لأنه إن أخذت ا موجودة فى كل حـ تبطل كلتا المقدمتين. فإن كانت ا موجودة فى بعض حـ، فإنه ولا واحدة منهما تبطل. والبرهان على ذلك قد تقدم.

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

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

Ἐπὶ δὲ τῶν ἐν μέρει συλλογισμῶν ὅταν μὲν ἀντικειμένως ἀντιστρέφηται τὸ συμπέρασμα, ἀναιροῦνται ἀμφότεραι αἱ προτάσεις, ὅταν δ᾿ ἐναντίως, οὐδετέρα. Οὐ γὰρ ἔτι συμβαίνει, καθάπερ ἐν τοῖς καθόλου, ἀναιρεῖν ἐλλείποντος τοῦ συμπεράσματος κατὰ τὴν ἀντιστροφήν, ἀλλ᾿ οὐδ᾿ ὅλως ἀναιρεῖν. Δεδείχθω γὰρ τὸ Α κατὰ τινὸς τοῦ Γ. Οὐκοῦν ἂν ληφθῇ τὸ Α μηδενὶ τῷ Γ ὑπάρχειν, τὸ δὲ Β τινί, τὸ Α τῷ Β τινὶ οὐχ ὑπάρξει· καὶ εἰ τὸ Α μηδενὶ τῷ Γ, τῷ δὲ Β παντί, οὐδενὶ τῷ Γ τὸ Β. Ὤστ᾿ ἀναιροῦνται ἀμφότεραι. Ἐὰν δ᾿ ἐναντίως ἀντιστραφῇ, οὐδετέρα. Εἰ γὰρ τὸ Α τινὶ τῷ Γ μὴ ὑπάρχει, τῷ δὲ Β παντί, τὸ Β τινὶ τῷ Γ οὐχ ὑπάρξει. Ἀλλ᾿ οὔπω ἀναιρεῖται τὸ ἐξ ἀρχῆς· ἐνδέχεται γὰρ τινὶ ὑπάρχειν καὶ τινὶ μὴ ὑπάρχειν. Τῆς δὲ καθόλου, τῆς Α Β, ὅλως οὐδὲ γίνεται συλλογισμός· εἰ γὰρ τὸ μὲν Α τινὶ τῶν Γ μὴ ὑπάρχει, τὸ δὲ Β τινὶ ὑπάρχει, οὐδετέρα καθόλου τῶν προτάσεων. Ὁμοίως δὲ καὶ εἰ στερητικὸς ὁ συλλογισμός· εἰ μὲν γὰρ ληφθείη τὸ Α παντὶ τῷ Γ ὑπάρχειν, ἀναιροῦνται ἀμφότεραι, εἰ δὲ τινί, οὐδετέρα. Ἀπόδειξις δ᾿ ἡ αὐτή.