النوع من النقض في تطبيقه على القادح المعروف في الأصول بالنقض.

ومثال النوع الثاني من نوعي النقض وهو استلزام دليل المعلل المحال: فقد مثل له بعضهم بأن يقول المعلل: الحد له تعريف، ثم يقيم الدليل على ذلك فيقول: لأنه تعريف، وكل تعريف له تعريف، ينتج من الشكل الأول: الحد له تعريف.

فيقول السائل هذا الدليل منقوض؛ لاستلزامه المحال وهو التسلسل إلى غير نهاية؛ لأن قولك (وكل تعريف له تعريف) يقتضي أنه كلما أتى بتعريف لزمه تعريفه بتعريف آخر إلى غير نهاية، وهذا محال.

ووجه [النقض] (^١) باستلزامه المحال أن الأمور المتحققة في الواقع لا تستلزم المحال، فاستلزام الدليل للمحال لا يكون إلا لعدم صحته في الواقع.

ووجه استحالة التسلسل فيما ذكر أن كل تعريف من حيث هو معرَّف -باسم المفعول- محتاج إلى تعريف، وهذا محتاج أيضًا إليه إلى ما لا نهاية، فلا تُعقل معرفة تعريف منها بحال.

ومثّل بعضهم لاستحالته بالدور السبقي بأن يقول المعلل: الإنسان ابن بشر، وكل ابن بشر بشر، ينتج: الإنسان بشر.

فيقول السائل: هذا منقوض باستلزامه المحال؛ لأن لفظة (بشر) في الصغرى يتوقف إدراكها على لفظة (بشر) في الكبرى، كعكسه،

(^١) في المطبوع: (النقيض)، والصواب ما أثبته.