وأما المعلوم: فلسنا نعني به مطلق متعلق العلم فقط، بل: ومتعلق الاعتقاد، والظن؛ لأن الفقهاء يطلقون لفظ المعلوم على هذه الأمور.
وأما العلة: فسيأتي تفسيرها، إن شاء الله تعالى.
وقولنا: (عند المثبت) ذكرناه؛ ليدخل فيه القياس الصحيح والفاسد.
فإن قيل: هذا التعريف ينتقض بقياس العكس، و (قياس التلازم) ، والمقدمتين والنتيجة.
أما قياس العكس: فكقولنا: (لو لم يكن الصوم شرطًا لصحة الاعتكاف، لما كان شرطًا له بالنذر؛ قياسًا على الصلاة؛ فإنها لما لم تكن شرطًا لصحة الاعتكاف، لم تكن شرطًا له بالنذر، فالمطلوب في الفرع: إثبات كون الصوم شرطًا لصحة الاعتكاف، والثابت في الأصل: نفى كون الصلاة شرطًا له، فحكم الفرع ليس حكم الأصل، بل نقيضه) .
وأما قياس التلازم: فكقولنا: (إن كان هذا إنسانًا، فهو حيوان، لكنه إنسان، فهو حيوان، لكنه ليس بحيوان؛ فليس بإنسان) .
وأما المقدمتان: فكقولنا: (كل جسم مؤلف، وكل مؤلف محدث؛ فكل جسم محدث) .
فإن قلت: لا أسمي هاتين الصورتين قياسًا؛ لأن القياس عبارة عن التسوية وهي لا تحصل إلا عند تشبيه صورة بصورة، وليس الأمر كذلك في التلازم، وفي المقدمتين والنتيجة.
قلت: بل التسوية حاصلة في هذين الموضعين؛ لأن الحكم في كل واحدة