القياس ونتيجة الشيء لا تكون هي نفس ذلك الشيء فكان الأولى أن يقول القياس هو اشتباه الفرع والأصل في علة حكم الأصل في نظر المجتهد على وجه يستلزم تحصيل الحكم في الفرع

وقال القاضي أبو بكر القياس حمل معلوم على معلوم في إثبات حكم لهما أو نفيه عنهما بأمر جامع بينهما وقد وافقه عليه أكثر أصحابنا وهو مشتمل على خمسة قيود الأول قوله حمل معلوم على معلوم

الثاني قوله في إثبات حكم لهما أو نفيه عنهما

الثالث قوله بناء على جامع بينهما

الرابع قوله من إثبات حكم أو صفة لهما

الخامس قوله أو نفيه عنهما

أما القيد الأول فيستدعي بيان معنى الحمل وبيان فائدة إطلاق لفظ المعلوم وفائدة حمل المعلوم على المعلوم

أما الحمل فمعناه مشاركة أحد المعلومين للآخر في حكمه وإنما أطلق لفظ المعلوم لأنه ربما كانت صورة المحمول والمحمول عليه عدمية وربما كانت وجودية فلفظ المعلوم يكون شاملا لهما فإنه لو أطلق لفظ الموجود لخرج منه المعدوم ولو أطلق لفظ الشيء لاختص أيضا بالموجود على رأي أهل الحق ولو قال حمل فرع على أصل ربما أوهم اختصاصه بالموجود من جهة أن وصف أحدهما بكونه فرعا والآخر بكونه أصلا قد يظن أنه صفة وجودية والصفات الوجودية لا تكون صفة للمعدوم وإن لم يكن حقا فكان استعمال لفظ المعلوم أجمع وأمنع وأبعد عن الوهم الفاسد وإنما قال حمل معلوم