والقياس مؤلف من مقدمتين والمقدمة قضية أما موجبة وأما سالبة وكل منهما أما كلية وأما جزئية فلا بد من الكلام في القضايا وأنواعها وجهاتها.

وقد يستدل عليها ب نقيضها وبعكسها وبعكس نقيضها فإنها إذا صحت بطل نقيضها وصح عكسها وعكس نقيضها فتكلم في تناقض القضايا وعكسها المستوى وعكس نقيضها.

والقضية أما حملية وأما شرطية متصلة وأما شرطية منفصلة فانقسم القياس باعتبار صورته إلى قياس تداخل وهو الحملي وقياس تلازم وهو الشرطي المتصل وقياس تعاند وهو التقسيم والترديد وهو الشرطي المنفصل هذا باعتبار صورته وباعتبار مادته إلى الأصناف الخمسة المتقدمة.

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

مع أنا قد بسطنا في غير هذا الموضع الكلام على أن كل قياس شمول فانه يعود إلى التمثيل كما أن كل قياس تمثيل فانه يعود إلى شمول وأن جعلهم قياس الشمول يفيد اليقين دون قياس التمثيل خطأ.

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