وأما المعلوم: فلسنا نعني به مطلق متعلق العلم فقط، بل: ومتعلق الاعتقاد، والظن؛ لأن الفقهاء يطلقون لفظ المعلوم على هذه الأمور.

وأما العلة: فسيأتي تفسيرها، إن شاء الله تعالى.

وقولنا: (عند المثبت) ذكرناه؛ ليدخل فيه القياس الصحيح والفاسد.

فإن قيل: هذا التعريف ينتقض بقياس العكس، و (قياس التلازم)، والمقدمتين والنتيجة.

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

وأما قياس التلازم: فكقولنا: (إن كان هذا إنسانًا، فهو حيوان، لكنه إنسان، فهو حيوان، لكنه ليس بحيوان؛ فليس بإنسان).

وأما المقدمتان: فكقولنا: (كل جسم مؤلف، وكل مؤلف محدث؛ فكل جسم محدث).

فإن قلت: لا أسمي هاتين الصورتين قياسًا؛ لأن القياس عبارة عن التسوية وهي لا تحصل إلا عند تشبيه صورة بصورة، وليس الأمر كذلك في التلازم، وفي المقدمتين والنتيجة.

قلت: بل التسوية حاصلة في هذين الموضعين؛ لأن الحكم في كل واحدة