Digital Corpus for Graeco-Arabic Studies

Aristotle: Analytica Priora (Prior Analytics)

Φανερὸν οὖν ὅτι τοῦ μὲν ὑπάρχειν οὐκ ἔστι συλλογισμός, ἐὰν μὴ ἀμφότεραι ὦσιν αἱ προτάσεις ἐν τῷ ὑπάρχειν, τοῦ δ᾿ ἀναγκαίου ἔστι καὶ τῆς ἑτέρας μόνον ἀναγκαίας οὔσης. Ἐν ἀμφοτέροις δέ, καὶ καταφατικῶν καὶ στερητικῶν ὄντων τῶν συλλογισμῶν, ἀνάγκη τὴν ἑτέραν πρότασιν ὁμοίαν εἶναι τῷ συμπεράσματι. Λέγω δὲ τὸ ὁμοίαν, εἰ μὲν ὑπάρχον, ὑπάρχουσαν, εἰ δ᾿ ἀναγκαῖον, ἀναγκαίαν. Ὥστε καὶ τοῦτο δῆλον, ὅτι οὐκ ἔσται τὸ συμπέρασμα οὔτ᾿ ἀναγκαῖον οὔθ᾿ ὑπάρχον εἶναι μὴ ληφθείσης ἀναγκαίας ἢ ὑπαρχούσης προτάσεως.

〈مقارنة بين الأقيسة الحملية وبين الأقيسة ذات الجهة الاضطراربة〉

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