Digital Corpus for Graeco-Arabic Studies

Aristotle: Analytica Priora (Prior Analytics)

〈الرفع إلى المحال فى الشكل الثالث〉

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

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

فهو بين فى جميع المقاييس التى بالخلف أنه ينبغى أن توضع أبداً نقيضة ما نريد بيانه. وهو بين أيضا أن فى الشكل الثانى قد تبين الموجبة من جهة؛ وفى الشكل الثالث قد تبين الكلية.

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

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