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