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