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