Digital Corpus for Graeco-Arabic Studies

Aristotle: Analytica Priora (Prior Analytics)

تأليف الممكن والوجودى فى الشكل الثانى

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

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

وكذلك يعرض فى المقاييس الجزئية، لأنه إذا كانت الموجبة مطلقة: كلية كانت أم جزئية، 〈فـ〉ـليس يكون قياس ألبتة. وذلك يتبين كما يتبين فى المقاييس التى قبل هذه وبتلك الحدود.

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

Εἰ δ᾿ ἡ μὲν ὑπάρχειν ἡ δ᾿ ἐνδέχεσθαι σημαίνει, τῆς μὲν κατηγορικῆς ὑπάρχειν τεθείσης τῆς δὲ στερητικῆς ἐνδέχεσθαι οὐδέποτ᾿ ἔσται συλλογισμός, οὔτε καθόλου τῶν ὅρων οὔτ᾿ ἐν μέρει λαμβανομένων. Ἀπόδειξις δ᾿ ἡ αὐτὴ καὶ διὰ τῶν αὐτῶν ὅρων. Ὅταν δ᾿ ἡ μὲν καταφατικὴ ἐνδέχεσθαι ἡ δὲ στερητικὴ ὑπάρχειν, ἔσται συλλογισμός. Εἰλήφθω γὰρ τὸ Α τῷ μὲν Β μηδενὶ ὑπάρχειν, τῷ δὲ Γ παντὶ ἐνδέχεσθαι. Ἀντιστραφέντος οὖν τοῦ στερητικοῦ τὸ Β τῷ Α οὐδενὶ ὑπάρξει· τὸ δὲ Α παντὶ τῷ Γ ἐνεδέχετο· γίνεται δὴ συλλογισμὸς ὅτι ἐνδέχεται τὸ Β μηδενὶ τῷ Γ διὰ τοῦ πρώτου σχήματος. Ὁμοίως δὲ καὶ εἰ πρὸς τῷ Γ τεθείη τὸ στερητικόν. Ἐὰν δ᾿ ἀμφότεραι μὲν ὦσι στερητικαί, σημαίνῃ δ᾿ ἡ μὲν μὴ ὑπάρχειν ἡ δ᾿ ἐνδέχεσθαι μὴ ὑπάρχειν, δι᾿ αὐτῶν μὲν τῶν εἰλημμένων οὐδὲν συμβαίνει ἀναγκαῖον, ἀντιστραφείσης δὲ τῆς κατὰ τὸ ἐνδέχεσθαι προτάσεως γίνεται συλλογισμὸς ὅτι τὸ Β τῷ Γ ἐνδέχεται μηδενὶ ὑπάρχειν, καθάπερ ἐν τοῖς πρότερον· ἔσται γὰρ πάλιν τὸ πρῶτον σχῆμα. Ἐὰν δ᾿ ἀμφότεραι τεθῶσι κατηγορικαί, οὐκ ἔσται συλλογισμός. Ὅροι τοῦ μὲν ὑπάρχειν ὑγίεια—ζῷον—ἄνθρωπος, τοῦ δὲ μὴ ὑπάρχειν ὑγίεια—ἵππος—ἄνθρωπος.

Τὸν αὐτὸν δὲ τρόπον ἕξει κἀπὶ τῶν ἐν μέρει συλλογισμῶν. Ὅταν μὲν γὰρ ᾖ τὸ καταφατικὸν ὑπάρχον, εἴτε καθόλου εἴτ᾿ ἐν μέρει ληφθέν, οὐδεὶς ἔσται συλλογισμός (τοῦτο δ᾿ ὁμοίως καὶ διὰ τῶν αὐτῶν ὅρων δείκνυται τοῖς πρότερον), ὅταν δὲ τὸ στερητικόν, ἔσται διὰ τῆς ἀντιστροφῆς, καθάπερ ἐν τοῖς πρότερον. Πάλιν ἐὰν ἄμφω μὲν τὰ διαστήματα στερητικὰ ληφθῇ, καθόλου δὲ τὸ μὴ ὑπάρχειν, ἐξ αὐτῶν μὲν τῶν προτάσεων οὐκ ἔσται τὸ ἀναγκαῖον, ἀντιστραφέντος δὲ τοῦ ἐνδέχεσθαι, καθάπερ ἐν τοῖς πρότερον, ἔσται συλλογισμός. Ἐὰν δὲ ὑπάρχον μὲν ᾖ τὸ στερητικόν, ἐν μέρει δὲ ληφθῇ, οὐκ ἔσται συλλογισμός, οὔτε καταφατικῆς οὔτε στερητικῆς οὔσης τῆς ἑτέρας προτάσεως. Οὐδ᾿ ὅταν ἀμφότεραι ληφθῶσιν ἀδιόριστοι ἢ καταφατικαὶ ἢ ἀποφατικαὶ ἢ κατὰ μέρος. Ἀπόδειξις δ᾿ ἡ αὐτὴ καὶ διὰ τῶν αὐτῶν ὅρων.