فاستدرك عليه الإسنوي بقوله: "وعبر صاحب الحاصل (١) عن هذا بقوله: (وزعم عثمان البَتّي اشتراط قيام ما يدل على جواز القياس)، فتبعه المصنف على عبارته؛ ولكنه نسي لفظة (اشتراط) ولا بد منها" (٢).
• بيان الاستدراك:
بعد أن ذكر البيضاوي شروط الأصل المتفق عليها أردفها بالشروط المختلف فيها، وذكر زعم عثمان البتي أنه لا يقاس على أصل حتى يقوم دليل على جواز القياس على ذلك الأصل.
فاستدرك عليه الإسنوي إسقاط كلمة (اشتراط) الواردة في الحاصل بسبب النسيان وأنه لابد منها.
• المثال السادس:
ذكر محب الله بن عبدالشكور (٣) في مسألة (الزيادة على النص): "وأما رفع مفهوم مخالفة كـ (في المعلوفة زكاة) بعد (في السائمة) فنسبته إلى الحنفية سهو من ابن الحاجب (٤) إلا تقديرًا" (٥).
• بيان الاستدراك:
استدرك محب الله على ابن الحاجب ما نسبه إلى الحنفية من أن رفع مفهوم