Analytica Priora (Prior Analytics)
〈عكس القضايا ذوات الجهة〉
وكذلك يعرض فى المقدمات الاضطرارية، لأن الكلية السالبة تنعكس كلية. فأما الموجبتان فكل واحدة منهما تنعكس جزئية، لأنه إن كان باضطرار: لا شىء من ٮ ا فباضطرار: لا شىء من ا ٮ — لأنه إن جاز أن يكون بعض ا ٮ فقد يجوز أن يكون بعض ٮ ا. وإن كان باضطرار أن كل ٮ ا أو بعضها ا، فباضطرار بعض ا ٮ، لأنه إن كان بعض ا ٮ بلا اضطرار، فإن بعض ٮ ا بلا اضطرار.
وأما السالبة الجزئية فلا تنعكس للعلة التى ذكرنا فيما تقدم.
فأما المقدمات الممكنة فلأن الممكن يقال على ضروب كثيرة: على الاضطرارى وعلى المطلق. وما هو فى باب الإمكان تكون المقدمات الموجبة فى جميع هذه الضروب التى يقال عليها الممكن تنعكس انعكاسا واحدا على مثال ما وصفنا، لأنه إن كان كل ٮ 〈هو〉 ا أو بعض ٮ 〈هو〉 ا بالإمكان، فإن بعض ا ٮ بإمكان، لأنه إن كان لا شىء من ا 〈هو〉 ٮ، ولا شىء من ٮ 〈هو〉 ا: وقد تبين ذلك فيما تقدم.
فأما السالبات فليس انعكاسها على مثال ما تقدم. ولكن كل ما يقال إنه ممكن — مما هو باضطرار ليس بموجود أو مما هو بالإطلاق ليس بموجود — فإنه ينعكس على ما تقدم؛ مثل أنه إن قال قائل: ممكن ألا يكون أحد من الناس فرساً؛ أو قال: يمكن ألا يكون شىء من الثياب أبيض — فإن أحد هذين القولين باضطرار ليس بموجود. وأما الآخر فبالاضطرار وعلى نحو ما تقدم تنعكس المقدمة، لأنه إن كان يمكن ألا يكون واحد من الناس فرسا فممكن ألا يكون واحد من الخيل إنسانا. وإن كان يمكن ألا يكون شىء من البيض ثوبا، فإنه بالضرورة يكون بعض الثياب أبيض: وقد تبين ذلك مما تقدم.
فأما الجزئية السالبة فإن حالها فى الانعكاس على نحو ما وصف فيما تقدم. وأما ما يقال من الممكن على جهة الأكثر فى الأشياء الطبيعية على نحو تحديد الممكن فإنه لا ينعكس فى المقدمات السالبة على نحو ما تقدم، ولكن المقدمة الكلية لا تنعكس. وأما الجزئية فتنعكس. وسيتبين ذلك إذا نحن تكلمنا فى الممكن. وأما الآن فليكن الذى نبين مع ما قد قيل: إن قول القائل ممكن ألا يكون هذا فى شىء من ذلك ويمكن ألا يكون فى بعضه هو قول موجب. وذلك لأن قولك «ممكن» فى شكل قولك: «يوجد». وكل قول يضاف إليه: «يوجد»، فإنه موجب لا محالة: كقولك يوجد ليس بخير أو يوجد ليس بأبيض، وفى الجملة يوجد لا هذا. ونبين ذلك فيما نستأنف. وأما فى الانعكاس فهن شبيهات بتلك الأخر.
Τὸν αὐτὸν δὲ τρόπον ἕξει καὶ ἐπὶ τῶν ἀναγκαίων προτάσεων. Ἡ μὲν γὰρ καθόλου στερητικὴ καθόλου ἀντιστρέφει, τῶν δὲ καταφατικῶν ἑκατέρα κατὰ μέρος. Εἰ μὲν γὰρ ἀνάγκη τὸ Α τῷ Β μηδενὶ ὑπάρχειν, ἀνάγκη καὶ τὸ Β τῷ Α μηδενὶ ὑπάρχειν· εἰ γὰρ τινὶ ἐνδέχεται, καὶ τὸ Α τῷ Β τινὶ ἐνδέχοιτο ἄν. Εἰ δὲ ἐξ ἀνάγκης τὸ Α παντὶ ἢ τινὶ τῷ Β ὑπάρχει, καὶ τὸ Β τινὶ τῷ Α ἀνάγκη ὑπάρχειν· εἰ γὰρ μὴ ἀνάγκη, οὐδ᾿ ἂν τὸ Α τινὶ τῶν Β ἐξ ἀνάγκης ὑπάρχοι. Τὸ δ᾿ ἐν μέρει στερητικὸν οὐκ ἀντιστρέφει διὰ τὴν αὐτὴν αἰτίαν δι᾿ ἣν καὶ πρότερον ἔφαμεν.
Ἐπὶ δὲ τῶν ἐνδεχομένων, ἐπειδὴ πολλαχῶς λέγεται τὸ ἐνδέχεσθαι (καὶ γὰρ τὸ ἀναγκαῖον καὶ τὸ μὴ ἀναγκαῖον καὶ τὸ δυνατὸν ἐνδέχεσθαι λέγομεν), ἐν μὲν τοῖς καταφατικοῖς ὁμοίως ἕξει κατὰ τὴν ἀντιστροφὴν ἐν ἅπασιν. Εἰ γὰρ τὸ Α παντὶ ἢ τινὶ τῷ Β ἐνδέχεται, καὶ τὸ Β τινὶ τῷ Α ἐνδέχοιτο ἄν· εἰ γὰρ μηδενί, οὐδ᾿ ἂν τὸ Α οὐδενὶ τῷ Β· δέδεικται γὰρ τοῦτο πρότερον. Ἐν δὲ τοῖς ἀποφατικοῖς οὐχ ὡσαύτως, ἀλλ᾿ ὅσα μὲν ἐνδέχεσθαι λέγεται ἢ τῷ ἐξ ἀνάγκης μὴ ὑπάρχειν ἢ τῷ μὴ ἐξ ἀνάγκης ὑπάρχειν, ὁμοίως, οἷον εἴ τις φαίη τὸν ἄνθρωπον ἐνδέχεσθαι μὴ εἶναι ἵππον ἢ τὸ λευκὸν μηδενὶ ἱματίῳ ὑπάρχειν. Τούτων γὰρ τὸ μὲν ἐξ ἀνάγκης οὐχ ὑπάρχει, τὸ δὲ οὐκ ἀνάγκη ὑπάρχειν, καὶ ὁμοίως ἀντιστρέφει ἡ πρότασις· εἰ γὰρ ἐνδέχεται μηδενὶ ἀνθρώπῳ ἵππον, καὶ ἄνθρωπον ἐγχωρεῖ μηδενὶ ἵππῳ· καὶ εἰ τὸ λευκὸν ἐγχωρεῖ μηδενὶ ἱματίῳ, καὶ τὸ ἱμάτιον ἐγχωρεῖ μηδενὶ λευκῷ· εἰ γάρ τινι ἀνάγκη, καὶ τὸ λευκὸν ἱματίῳ τινὶ ἔσται ἐξ ἀνάγκης· τοῦτο γὰρ δέδεικται πρότερον. Ὁμοίως δὲ καὶ ἐπὶ τῆς ἐν μέρει ἀποφατικῆς. Ὅσα δὲ τῷ ὡς ἐπὶ πολὺ καὶ τῷ πεφυκέναι λέγεται ἐνδέχεσθαι, καθ᾿ ὃν τρόπον διορίζομεν τὸ ἐνδεχόμενον, οὐχ ὁμοίως ἕξει ἐν ταῖς στερητικαῖς ἀντιστροφαῖς, ἀλλ᾿ ἡ μὲν καθόλου στερητικὴ πρότασις οὐκ ἀντιστρέφει, ἡ δὲ ἐν μέρει ἀντιστρέφει. Τοῦτο δὲ ἔσται φανερόν, ὅταν περὶ τοῦ ἐνδεχομένου λέγωμεν. Νῦν δὲ τοσοῦτον ἡμῖν ἔστω πρὸς τοῖς εἰρημένοις δῆλον, ὅτι τὸ ἐνδέχεσθαι μηδενὶ ἢ τινὶ μὴ ὑπάρχειν καταφατικὸν ἔχει τὸ σχῆμα· τὸ γὰρ ἐνδέχεται τῷ ἔστιν ὁμοίως τάττεται, τὸ δὲ ἔστιν, οἷς ἂν προσκατηγορῆται, κατάφασιν ἀεὶ ποιεῖ καὶ πάντως, οἷον τὸ ἔστιν οὐκ ἀγαθόν ἢ ἔστιν οὐ λευκόν ἢ ἁπλῶς τὸ ἔστιν οὐ τοῦτο. Δειχθήσεται δὲ καὶ τοῦτο διὰ τῶν ἑπομένων. Κατὰ δὲ τὰς ἀντιστροφὰς ὁμοίως ἕξουσι ταῖς ἄλλαις.