Analytica Posteriora (Posterior Analytics)
Τὸ δ᾿ ὅτι διαφέρει καὶ τὸ διότι ἐπίστασθαι, πρῶτον μὲν ἐν τῇ αὐτῇ ἐπιστήμῃ, καὶ ἐν ταύτῃ διχῶς, ἕνα μὲν τρόπον ἐὰν μὴ δι᾿ ἀμέσων γίνηται ὁ συλλογισμός (οὐ γὰρ λαμβάνεται τὸ πρῶτον αἴτιον, ἡ δὲ τοῦ διότι ἐπιστήμη κατὰ τὸ πρῶτον αἴτιον), ἄλλον δὲ εἰ δι᾿ ἀμέσων μέν, ἀλλὰ μὴ διὰ τοῦ αἰτίου ἀλλὰ τῶν ἀντιστρεφόντων διὰ τοῦ γνωριμωτέρου. κωλύει γὰρ οὐδὲν τῶν ἀντικατηγορουμένων γνωριμώτερον εἶναι ἐνίοτε τὸ μὴ αἴτιον, ὥστ᾿ ἔσται διὰ τούτου ἡ ἀπόδειξις, οἷον ὅτι ἐγγὺς οἱ πλάνητες διὰ τοῦ μὴ στίλβειν. Ἔστω ἐφ᾿ ᾧ Γ πλάνητες, ἐφ᾿ ᾧ Β τὸ μὴ στίλβειν, ἐφ᾿ ᾧ Α τὸ ἐγγὺς εἶναι. Ἀληθὲς δὴ τὸ Β κατὰ τοῦ Γ εἰπεῖν· οἱ γὰρ πλάνητες οὐ στίλβουσιν. Ἀλλὰ καὶ τὸ Α κατὰ τοῦ Β· τὸ γὰρ μὴ στίλβον ἐγγύς ἐστι· τοῦτο δ᾿ εἰλήφθω δι᾿ ἐπαγωγῆς ἢ δι᾿ αἰσθήσεως. Ἀνάγκη οὖν τὸ Α τῷ Γ ὑπάρχειν, ὥστ᾿ ἀποδέδεικται ὅτι οἱ πλάνητες ἐγγύς εἰσιν. Οὗτος οὖν ὁ συλλογισμὸς οὐ τοῦ διότι ἀλλὰ τοῦ ὅτι ἐστίν· οὐ γὰρ διὰ τὸ μὴ στίλβειν ἐγγύς εἰσιν, ἀλλὰ διὰ τὸ ἐγγὺς εἶναι οὐ στίλβουσιν. Ἐγχωρεῖ δὲ καὶ διὰ θατέρου θάτερον δειχθῆναι, καὶ ἔσται τοῦ διότι ἡ ἀπόδειξις, οἷον ἔστω τὸ Γ πλάνητες, ἐφ᾿ ᾧ Β τὸ ἐγγὺς εἶναι, τὸ Α τὸ μὴ στίλβειν· ὑπάρχει δὴ καὶ τὸ Β τῷ Γ, καὶ τὸ Α τῷ Β τὸ μὴ στίλβειν, ὥστε καὶ τῷ Γ τὸ Α. Καὶ ἔστι τοῦ διότι ὁ συλλογισμός· εἴληπται γὰρ τὸ πρῶτον αἴτιον. Πάλιν ὡς τὴν σελήνην δεικνύουσιν, ὅτι σφαιροειδής, διὰ τῶν αὐξήσεων· εἰ γὰρ τὸ αὐξανόμενον οὕτω σφαιροειδές, αὐξάνει δ᾿ ἡ σελήνη, φανερὸν ὅτι σφαιροειδής. Οὕτω μὲν οὖν τοῦ ὅτι γέγονεν ὁ συλλογισμός, ἀνάπαλιν δὲ τεθέντος τοῦ μέσου τοῦ διότι· οὐ γὰρ διὰ τὰς αὐξήσεις σφαιροειδής ἐστιν, ἀλλὰ διὰ τὸ σφαιροειδὴς εἶναι λαμβάνει τὰς αὐξήσεις τοιαύτας. Σελήνη ἐφ᾿ ᾧ Γ, σφαιροειδὴς ἐφ᾿ ᾧ Β, αὔξησις ἐφ᾿ ᾧ Α. Ἐφ᾿ ὧν δὲ τὰ μέσα μὴ ἀντιστρέφει καὶ ἔστι γνωριμώτερον τὸ ἀναίτιον, τὸ ὅτι μὲν δείκνυται, τὸ διότι δ᾿ οὔ. Ἔτι ἐφ᾿ ὧν τὸ μέσον ἔξω τίθεται. Καὶ γὰρ ἐν τούτοις τοῦ ὅτι καὶ οὐ τοῦ διότι ἡ ἀπόδειξις· οὐ γὰρ λέγεται τὸ αἴτιον. Οἷον διὰ τί οὐκ ἀναπνέει ὁ τοῖχος; ὅτι οὐ ζῷον. Εἰ γὰρ τοῦτο τοῦ μὴ ἀναπνέειν αἴτιον, ἔδει τὸ ζῷον εἶναι αἴτιον τοῦ ἀναπνεῖν, οἷον εἰ ἡ ἀπόφασις αἰτία τοῦ μὴ ὑπάρχειν, ἡ κατάφασις τοῦ ὑπάρχειν, ὥσπερ εἰ τὸ ἀσύμμετρα εἶναι τὰ θερμὰ καὶ ψυχρὰ τοῦ μὴ ὑγιαίνειν, τὸ σύμμετρα εἶναι τοῦ ὑγιαίνειν. Ὁμοίως δὲ καὶ εἰ ἡ κατάφασις τοῦ ὑπάρχειν, ἡ ἀπόφασις τοῦ μὴ ὑπάρχειν. Ἐπὶ δὲ τῶν οὕτως ἀποδεδομένων οὐ συμβαίνει τὸ λεχθέν· οὐ γὰρ ἅπαν ἀναπνεῖ ζῷον. Ὁ δὲ συλλογισμὸς γίνεται τῆς τοιαύτης αἰτίας ἐν τῷ μέσῳ σχήματι. Οἷον ἔστω τὸ Α ζῷον, ἐφ᾿ οὗ τὸ Β τὸ ἀναπνεῖν, ἐφ᾿ ᾧ Γ τοῖχος. Τῷ μὲν οὖν Β παντὶ ὑπάρχει τὸ Α (πᾶν γὰρ τὸ ἀναπνέον ζῷον), τῷ δὲ Γ οὐθενί, ὥστε οὐδὲ τὸ Β τῷ Γ οὐθενί· οὐκ ἄρα ἀναπνεῖ ὁ τοῖχος. Ἐοίκασι δ᾿ αἱ τοιαῦται τῶν αἰτιῶν τοῖς καθ᾿ ὑπερβολὴν εἰρημένοις· τοῦτο δ᾿ ἔστι τὸ πλέον ἀποστήσαντα τὸ μέσον εἰπεῖν, οἷον τὸ τοῦ Ἀναχάρσιος, ὅτι ἐν Σκύθαις οὐκ εἰσὶν αὐληταί, οὐδὲ γὰρ ἄμπελοι.
Κατὰ μὲν δὴ τὴν αὐτὴν ἐπιστήμην καὶ κατὰ τὴν τῶν μέσων θέσιν αὗται διαφοραί εἰσι τοῦ ὅτι πρὸς τὸν τοῦ διότι συλλογισμόν· ἄλλον δὲ τρόπον διαφέρει τὸ διότι τοῦ ὅτι τὸ δι᾿ ἄλλης ἐπιστήμης ἑκάτερον θεωρεῖν. τοιαῦτα δ᾿ ἐστὶν ὅσα οὕτως ἔχει πρὸς ἄλληλα ὥστ᾿ εἶναι θάτερον ὑπὸ θάτερον, οἷον τὰ ὀπτικὰ πρὸς γεωμετρίαν καὶ τὰ μηχανικὰ πρὸς στερεομετρίαν καὶ τὰ ἁρμονικὰ πρὸς ἀριθμητικὴν καὶ τὰ φαινόμενα πρὸς ἀστρολογικήν. Σχεδὸν δὲ συνώνυμοί εἰσιν ἔνιαι τούτων τῶν ἐπιστημῶν, οἷον ἀστρολογία ἥ τε μαθηματικὴ καὶ ἡ ναυτική, καὶ ἁρμονικὴ ἥ τε μαθηματικὴ καὶ ἡ κατὰ τὴν ἀκοήν. Ἐνταῦθα γὰρ τὸ μὲν ὅτι τῶν αἰσθητικῶν εἰδέναι, τὸ δὲ διότι τῶν μαθηματικῶν· οὗτοι γὰρ ἔχουσι τῶν αἰτίων τὰς ἀποδείξεις, καὶ πολλάκις οὐκ ἴσασι τὸ ὅτι, καθάπερ οἱ τὸ καθόλου θεωροῦντες πολλάκις ἔνια τῶν καθ᾿ ἕκαστον οὐκ ἴσασι δι᾿ ἀνεπισκεψίαν. Ἔστι δὲ ταῦτα ὅσα ἕτερόν τι ὄντα τὴν οὐσίαν κέχρηται τοῖς εἴδεσιν. Τὰ γὰρ μαθήματα περὶ εἴδη ἐστίν· οὐ γὰρ καθ᾿ ὑποκειμένου τινός· εἰ γὰρ καὶ καθ᾿ ὑποκειμένου τινὸς τὰ γεωμετρικά ἐστιν, ἀλλ᾿ οὐχ ᾗ γε καθ᾿ ὑποκειμένου. Ἔχει δὲ καὶ πρὸς τὴν ὀπτικήν, ὡς αὕτη πρὸς τὴν γεωμετρίαν, ἄλλη πρὸς ταύτην, οἷον τὸ περὶ τῆς ἴριδος· τὸ μὲν γὰρ ὅτι φυσικοῦ εἰδέναι, τὸ δὲ διότι ὀπτικοῦ, ἢ ἁπλῶς ἢ κατὰ τὸ μάθημα. Πολλαὶ δὲ καὶ τῶν μὴ ὑπ᾿ ἀλλήλας ἐπιστημῶν ἔχουσιν οὕτως, οἷον ἰατρικὴ πρὸς γεωμετρίαν· ὅτι μὲν γὰρ τὰ ἕλκη τὰ περιφερῆ βραδύτερον ὑγιάζεται, τοῦ ἰατροῦ εἰδέναι, διότι δὲ τοῦ γεωμέτρου.
〈العلم بأن الشىء موجود والعلم بالعلة〉
والعلم بأن الشىء موجود، والعلم«بلم هو» قد يخالف بعضهما بعضا: أما أولا ففى علم واحد بعينه؛ وفى هذا يكون على ضربين: أحدهما متى كان كون القياس لا بغير ذوات الأوساط (وذلك أنه ليس توجد العلة الأولى، والعلم بلم هو إنما يكون بالعلة الأولى)؛ والنحو الآخر متى كان القياس بغير ذوات أوساط، لكن ليس العلة نفسها، بل بالتى تعكس بالتساوى، أو بأشياء هى أعرف: وذلك أنه لا مانع يمنع أن يكون ما ليس هوعلة من التى تحمل بالتساوى أعرف من العلة؛ ولذلك قد يوجد بتوسط هذا برهان: بمنزلة البرهان على أن الكواكب المتحيرة قريبة منا من قبل أنها تلمع. — ليكن الذى عليه حـ المتحيرة، والذى عليه ٮ أنها لا تلمع، والذى عليه ا أنها قريبة منا؛ فالقول بأن ٮ على حـ حق، وذلك أن المتحيرة لا تلمع. وكذلك ا على ٮ، فإن الذى يلمع هو قريب منا. وهذه فلتوجد بلاستقراء أو بالحس. فـ ا إذن موجودة لـ حـ من الاضطرار. فقد تبين إذن أن الكواكب المتحيرة قريبة منا.
فهذا القياس ليس هوعلى «لم الشىء»، لكن على أنه إذا كان ليس سبب قربها منا أنها لا تلمع، لكن من أجل أنها قريبة منا لا تلمع. وقد يمكن أن يتبين هذا بدال الأخر منها فيكون عند ذلك البرهان على «لم هو». مثال ذلك: لتكن حـ المتحيرة، وليكن ما عليه ٮ قربها منا، وليكن أنها لا تلمع ما عليه ا — فـ ٮ موجودة لـ حـ، وتكون أيضا ا لـ حـ و ا أيضا — وهى أنها لا تلمع — لـ ٮ؛ ويكون هذا القياس على «لم هو»، إذ كان قد أخذت فيه العلة الأولى. وأيضا كما يبينون أن القمر كرى نير بذاته، وذلك أن الذى يقبل التزيد بهذا الضرب من القبول هو كرى يتزيد أنه، وذلك أن الذى يقبل التزيد بهذا الضرب من القبول هو كرى؛ والقمر يقبل هذا التزيد؛ فمن البين أنه كرى. فعلى هذا النحو يكون قياس أنه. وأما إذا وضع الأوسط بالعكس فيكون القياس على «لم هو»، وذلك أنه ليس إنما هو كرى بسبب تزيده هذا الضرب من التزيد، لكن من قبل أنه كرى يقبل مثل هذه التزيدات. فليكن القمر الذى عليه حـ، واللكرى ما عليه ٮ؛ وليكن التزيدات ما عليه ا.
وأما الأشياء التى لا يرجع الأوسط فيها بالتساوى، وكان الذى ليس هو علة أعرف من العلة؛ أما أن الشىء فقد يتبين، وأما لم هو فلا. — وأيضا فى الأشياء التى توضع الأوساط فيها خارجا فإن فى هذه أيضا إنما يكون البرهان على أن الشى لا على « لم هو» إذ كان لا يخبر بالعلة نفسها — مثال ذلك: لم لا يتنفس الحائط؟ فيقال: لأنه ليس بحيوان. فلو كان هذا هو السبب فى أنه لا يتنفس لقد كان يجب أن يكون الحيوان هو السبب فى التنفس — مثال ذلك إن كان السبب هو السبب فى ألا يكون الشىء موجودا، مثل أنه كان وجود الحار والبارد على غير اعتدال هو السبب فى ألا يكون صحيحا، فوجودها معتدلة هوالسبب فى أن يكون صحيحا. وكذلك أيضا إن كان الإيجاب سببا فى أن يكون الشىء موجودا، فالسلب فى ألا يكون موجودا.
وأما فى الأشياء التى وفيت على هذا النحو فليس ماقيل لازما، وذلك أنه ليس كل الحيوان يتنفس. والقياس الكائن بمثل هذه العلة يكون فى الشكل الثانى — مثال ذلك: ليكن ا حيوانا، وما عليه ٮ أنه يتنفس، وما عليه حـ الحائط. فـ ا موجود لكل ٮ إذ كان كل ما يتنفس هو الحيوان؛ وا ولا على شى من حـ ؛ فإذن ٮ غير موجودة لشىء من حـ. فاحائط إذن لا يتنفس.
وقد يشبه أن تكون أمثال هذه الأسباب يحتويها على جهة الغنى والغزارة، وهذا هو أن يخبر بالأوسط بعد أن يبعد بعدا كثيراً. مثال ذلك قول أنا خرسس إنه ليس فى بلد الصقالبة الغناء وآلاته، إذ كان ليس قبلهم كروم. أما الخلافات بين القياس على «أن» الشىء، وبين القياس على «لم» الشىء فى علم واحد بعينه فهى هذه الخلافات. فأما فى علمين مختلفين فيكون على نحو آخر، وهذا أن يكون أحد العلمين ينظرفى أحدهما، والعلم الآخر فى الآخر منهما. وأمثال هذه العلوم هى جميع العلوم التى حال أحدهما عند الآخر هى هذه الحال التى أنا اوصفها، وهى أن يكون أحد العلمين تحت الآخر بمنزلة علوم المناظر عند الهندسة، وعلم الحيل عند علم المجسمات، وعلم تأليف اللحون عند علم العدد، والظاهرات عند علم النجوم. وذلك أنه كاد أن تكون هذه العلوم متواطئةً أسماؤها بمنزلة علم النجوم التعاليمى والذى تستعمله صناعة الملاحة، وبمنزلة تأليف اللحون، أعنى التعاليمى والسماعى. وذلك أن العلم بأن الشىء فى هذه هو لمن يحس بالأمر، وأما العلم بلم هوفهو لأصحاب التعاليم، إذ كان هؤلاء هم الذين عندهم العلم بالأسباب، وكثيرا ما لا يشعرون بأنه كالحال فى الذين يبحثون عن الأمر الكلى؛ فإنهم كثيرا ما لا يشعرون ببعض الأوحاد لقلة تأملهم لها. وهؤلاء هم جميع الذين يستعملون الصور، وهى شىء آخر فى الجوهر. وذلك أن أصحاب التعاليم إنما يستعملون الصور: وهى لا على شىء موضوع، وذلك أنه وإن كانت المقادير على شىء موضوع، غيرأنه ليس يستعملها من حيث هى على ذلك الأمر الموضوع.
وقد يوجد علم آخرحاله عند علم المناظرة كحال هذا عندعلم الهندسة، مثال ذلك أمر القوس الحادثة فى السحاب: أما أنها موجودة فهو إلى الطبيعى، وأما لم هى فالنظرفى ذلك إلى صاحب علم المناظر: إما على الإطلاق وإما الذى هوفى التعاليم. — وكثير من العلوم التى ليس بعضها تحت بعض هذه حالها بمنزلة حال علم الطب عند الهندسة، وذلك أن الجرح المستدير: أما أنه عسير البرء فعلمه إلى الطبيب، وأما لم ذلك فإلى المهندس.