فإن استلزامه لا بالذات، بل بواسطة مقدمة أجنبية حيث تصدق بتحقق الاستلزام كما في قولنا: «أ» مساو ل «ب»، و «ب» مساو ل «ج» ف «أ» مساو ل «ج» إذا المساوي للمساوي للشيء مساو لذلك الشيء، وحيث لا يصدق ولا يتحقق في قولنا: (أ) نصف ل (ب)، و (ب) نصف ل (ج) فلا يصدق (أ) نصف ل (ج) لأن نصف النصف ليس بنصف بل ربع.

  القياس العقلي:

  هو الذي كلتا مقدمتيه أو إحداهما من المتواترات أو مسموع من عدل.

  القياس الاستثنائي:

  ما يكون عين النتيجة أو نقيضها مذكورا فيه بالفعل، كقولنا:

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

  ونقيضه قولنا: إنه جسم مذكور في القياس.

  القياس الاقترانى:

  نقيض الاستثنائي، وهو ما لا يكون عين النتيجة ولا نقيضها مذكورا فيه بالعقل كقولنا: الجسم مؤلف، وكل مؤلف محدث ينتج الجسم محدث فليس هو ولا نقيضه مذكورا في القياس بالفعل.

  فائدة:

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