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