Aristotle: Analytica Priora (Prior Analytics)

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

فهو بين أنه ليس المثال كجزء إلى كل، ولا ككل إلى جزء، وكنحو ما يكون فى القياس، ولكن، كجزء إلى جزء — و〈ذلك حينما تكون الحالتان الجزئيتان تابعتين لحد واحد، وإحداهما معروفة〉. فبين المثال وبين الاستقراءات 〈فرق، هو أن الاستقراء بابتدائه〉 من جميع الجزئيات يبين أن الطرف الأكبر موجود فى الواسطة 〈ولا يطبق القياس على الطرف الأصغر〉، وأما 〈فى المثال — وهو يطبق القياس —〉 فليس من جميع الجزئيات تبين وجود الطرف الأكبر فى الواسطة.

〈نظرية البرهان الأباغوجى〉

وأما الاستقراء فيكون إذا كان وجود الطرف الأكبر فى الواسطة بينا، وكان وجود الواسطة فى الأصغر 〈خافيا، و〉كان خفاؤه إما مثل النتيجة وإما