فكل واحد [منهما] (¬١) يتوقف إدراكه على إدراك الآخر، فيستحيل فهم المعنى لو فرض أنه لا طريق له يُعرف بها إلا ما قاله المعلِّل في دليله، ولا يخفى ما في هذا المثال.
وقد مثلنا للدور السبقي في المعرِّفات في المقدمة المنطقية (¬٢).
وقد قدّمنا أن المثال لا يُعترض؛ لأنه يكفي فيه الفرض والاحتمال.
واعلم أن النقض في اصطلاحهم ينقسم إلى قسمين: الأول النقض الحقيقي، والثاني النقض الشبيهي، والأول الذي هو النقض الحقيقي ينقسم إلى قسمين: أحدهما النقض المشهور، والثاني النقض المكسور، فتحصل أن أقسام النقض ثلاثة:
الأول نقض مشهور، الثاني نقض مكسور، الثالث نقض شبيهي.
أما النقض الحقيقي المشهور فهو ما عرّفناه آنفا ومثلنا له، وضابطه أن السائل إذا أَراد الاعتراض على دليل المعلل بالنقض جاء بدليل المعلل على نفس الهيئة التي أورده عليها صاحبه، ولم يحذف منه شيئًا؛ فإنْ حذف بعضَ الأوصاف وأجرى النقض على دليل المعلل في حال كونه حاذفًا بعض الأوصاف فهو النقض المكسور، وتارة يكون الوصف المحذوف له فائدةُ بحيث أنه لو لم يحذفْه لما صح له النقض،