في الأصغر ولا معلولا له ، بل أمرا مضايفا له أو مساويا له في النسبة إلى علّته عارضا معه أو غير ذلك مما هو معه في الطبع معا . وقد يتفق أن يكون في الوجود معلولا لوجود الأكبر في الأصغر . فالأول يسمّى برهان الأنّ على الإطلاق ، والثاني يسمّى دليلا . ( شبر ، 32 ، 7 ) - إذا كان الحدّ الأوسط معلولا للأكبر في وجوده في الأصغر حتى يكون ذلك علّة فيه ، فهو الذي يكون البرهان من مثله « برهان أنّ » . ( شبر ، 36 ، 18 ) - « برهان أنّ » ليس « برهان لم » . وإنّما كان يقينيا لأنّ المقدّمتين كليّتان واجبتان ليس فيهما شك . ( شبر ، 38 ، 17 ) - إنّ « برهان الأنّ » قد يعطي في مواضع يقينا دائما . وأمّا فيما له سبب فلا يعطي اليقين الدائم ، بل فيما لا سبب له . ( شبر ، 39 ، 12 ) - أما برهان الأنّ فهو الذي إنما يعطيك علّة اجتماع طرفي النتيجة عند الذهن والتصديق فيعتقد أن القول لم يجب التصديق به ، ولا يعطيك أن الأمر في نفسه لم هو كذلك لأن الحدّ الأوسط فيه ليس هو علّة للأكبر في ذاته بوجه ولا علّة لوجود الحدّ الأكبر في الأصغر وربما كان معلولا له ، كقولنا هذه الخشبة محترقة فإذا قد أحالها شيء حار والاحتراق معلول لوجود الحدّ الأكبر في الأصغر . وما كان هكذا فليسمّ دليلا . ( كنج ، 67 ، 4 ) برهان الأنّ واللمّ - اختلاف برهان الأنّ واللمّ في علم واحد يمكن على وجهين : أحدهما أن يكون أحد القياسين قد أعطي علّة بعيدة وقد بقي بعدها اللمّ فيكون إعطاء اللمّ لم يستكمل بعد . وقد يكون هذا في المطلوب الموجب كمن يضع العلّة في أن فلانا حمّ أنه انسدّ مسامه لا أنه عفن خلطه ، ويكون في السالب كمن يضع العلّة في جواب من يسأله إن الحائط لم يتنفّس إنه ليس بحيوان لا إنه ليس بذي رئة وهو الجواب الصواب ، فإن وجود الرئة علّة معاكسة للتنفّس وسلبها يسلب التنفّس . والوجه الثاني أن يكون أحد القياسين فيه علّة دون الآخر وذلك مثل قياس من يقول إن الكواكب الثابتة بعيدة جدّا لأنها تلمع وكل بعيد يلمع فهو بعيد جدّا . ثم نقول إن المتحيّرات قريبة وكل قريب جدّا فإنه لا يلمع فالمتحيّرات لا تلمع . ( كنج ، 76 ، 6 ) برهان تام - إنّ البرهان إنّما يكون برهانا تامّا إذ أعطى العلّة القريبة الخاصّة التي بالذات وبالفعل . فالحدّ التام هو الذي يشتمل على مثل هذه العلل فيما له علل الماهيّة فيوردها بتمامها لا يخلى منها شيئا إن كانت ذاتيّة . ( شبر ، 226 ، 21 ) برهان الخلف - البرهان المستقيم أفضل من الخلف . . .