كتاب شفاء الغليل في بيان الشبه والمخيل ومسالك التعليل

ومثاله قولنا: بيع لا يفيد الملك، فلا ينعقد، أو نكاح لا يفيد الحل، فلا ينعقد. وقولنا: المقارض لو ملك الربح: لملك ربح الربح. فإنه نتيجته، فانتفاؤه يدل على انتفاء الملك. وقولنا: لو ملكه كاملا: لملكه ناقصا، ولما انحصر الخسران فيه. فلما انحصر فيه، دل أنه لم يملكه.

وكل ذلك راجع إلى الاستدلال على انتفاء الشيء بانتفاء نتيجته. وهو -بعد تسليم كونه نتيجة -لا خفاء بوجه دلالته.

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

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