وتبين من هذا أن المثال هو البيان الذي يكون المصير فيه من جزئي أعرف إلى جزئي أخفى لأن المتشابهين ليس أحدهما تحت الآخر، وأن الاستقراء هو مصير من جزئيات أعرف إلى كلى أخفى، والقياس من كل أعرف إلى جزئي أخفى- وهي النتيجة الداخلة تحت المقدمة الكبرى. والفرق بين المثال والاستقراء المذكور هاهنا أن الاستقراء من جميع الجزئيات الداخلة تحت الحد الأوسط يبين أن الحد الأكبر موجود للأوسط، وأما المثال فليس من جميع الجزئيات يبين وجود الطرف الأكبر في الواسطة.
وأما البيان الذي يكون بالاستقراء فإنما ينتفع به في أن يأخذ جزء قياس إذا جعلت المقدمة التي تبين بالاستقراء مقدمة صغرى في القياس من الشكل الأول وكانت الكبرى بينة بنفسها، وذلك أيضا إذا كان وجود الحد الأوسط أقل خفاء من النتيجة أو مساويا لها في الخفاء. أما كونه مقدمة صغرى فلأنه إذا استعمل في بيان المقدمة الكبرى واستوفيت جميع الجزئيات على الشرط المذكور فيه فقد تبينت النتيجة بنفس الاستقراء، فلم يكن ما نبين به ينتفع به في أن يحصل جزء قياس بل يكون ذلك بينا بالاستقراء وحده من غير أن يضاف إلى الاستقراء قياس. وأما كونها أقل خفاء من النتيجة أو مساوية لها في الخلفاء، فلأنه إذا كانت هي أخفى من النتيجة لم يمكن أن تبين إلا بحد أوسط باستقراء، وذلك أن خفاء ما يبين بالاستقراء واجب أن يكون دون خفاء ما يبين بالقياس وإلا كانت قوة القياس والاستقراء واحدة.
وإنما يعرض أن يكون خفاء المقدمة التي تبين بالاستقراء مساوية للتي تبين بالقياس- أعني النتيجة- إذا كانت النتيجة إنما يجهل منها المعنى الذي يجهل من المقدمة الصغرى- وهو كونها كلية. مثال ذلك أن يكون المطلوب هل كل فضيلة متعلمة فيروم بيان ذلك بمقدمتين، إحداهما أن كل فضيلة علم والثانية أن كل علم متعلم، فتكون الكبرى معلومة بنفسها- وهي قولنا أن كل علم متعلم- وتكون الصغرى مجهولة الكلية مثل جهل النتيجة لأن من المعلوم لنا أن بعض الفضائل- وهي الحكمة- علم ومتعلمة، وإنما المطلوب هل كل فضيلة علم ومتعلمة. فإذا صح لنا بالاستقراء أن جميع الفضائل علم فيكون قد صح لنا المقدمة الصغرى- وهي أن كل فضيلة علم- بعد أن كان جهلنا بهما على وتيرة- أعني بالمقدمة الصغرى وبالنتيجة- وذلك من جهة أن الوجود فيهما كان معلوما وإنما كان المجهول الكلية.
٩٩