القياسُ: قَول مؤلف من قضايا إِذا سلمت لزم عَنهُ لذاته قَول آخر.

القياسُ الاسْتِثْنائيُّ: مَا كَانَ عين النتيجة، أَو نقيضها مَذْكُورا فِيهِ بِالْفِعْلِ.

القياسُ الاقْتِرانيُّ: مَا لم يكن عين النتيجة، أَو نقيضها مَذْكُورا فِيهِ بِالْفِعْلِ.الأَصْغَرُ: مَوْضُوع الْمَطْلُوب فِي الْقيَاس.

الأَكْبَرُ: مَحْمُول الْمَطْلُوب فِي الْقيَاس.

الصُّغْرَى: هِيَ الْقَضِيَّة الَّتِي فِيهَا الْأَصْغَر.

الكُبرَى: هِيَ الَّتِي فِيهَا الْأَكْبَر.

الحَدُّ الأوسَط: مَا يكون مكررا بَين الصُّغْرَى والكبرى.

القرينةُ: اقتران الصُّغْرَى والكبرى.

الضَّرْبُ: يرادفه.

الشَّكْل: الْهَيْئَة الْحَاصِلَة من كَيْفيَّة وضع الْحَد الْأَوْسَط عِنْد الحدين الآخرين.

الشَّكْل الأولُ: مَا كَانَ الْأَوْسَط مَحْمُولا فِي الصُّغْرَى، مَوْضُوعا فِي الْكُبْرَى.

الشَّكْل الثَّانِي: مَا كَانَ الْحَد الْأَوْسَط مَحْمُولا فيهمَا.الشَّكلُ الثَّالثُ: مَا كَانَ الْأَوْسَط مَوْضُوعا فِي الصُّغْرَى والكبرى.

الشكلُ الرابعُ: مَا كَانَ الْأَوْسَط مَوْضُوعا فِي الصُّغْرَى مَحْمُولا فِي الْكُبْرَى.

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