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

النزاع في النتيجة بعد تسليم المقدمتين. وإذا وقع النزاع في المقدمات أثبت بطريقة. ولا تفارق الفقهيات العقليات [في ذلك]، إلا أن المسلك الذي [يثير ظنا] في المقدمتين -كاف في الفقه، ولا يكفي في العقليات.

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