نفائس الأصول في شرح المحصول

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