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

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

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

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

قياس المواساة: هو الذي يكون متعلق محمول صغراه موضوعًا في الكبرى؛ فإن استلزامه لا بالذات بل بواسطة مقدمة أجنبية، حيث تصدق بتحقيق الاستلزام، كما في قولنا: "أ" مساو "ب"، و "ب" مساوٍ "ج"، و "أ" مساوٍ "ج" إذ المساوي للمساوي للشيء مساوٍ لذلك الشيء، وحيث لا يصدق ولا يتحقق، كما في قولنا: "أ" نصف "ب" و "ب" نصف لـ "ج" فلا يصدق "أ" نصف لـ "ج"؛ لأن نصف النصف ليس بنصف بل بربع.

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