باب القياس هو لغة: التقدير. واصطلاحًا: إبانة مثل حكم أحد المعلومين بمثل علته في الآخر؛ لأن القياس مظهر ومثبت ظاهرًا دليل الأصل، وحقيقةً «هو الله تعالى»، والمثل لئلا يلزم القول بانتقال الأوصاف، ولأن المعنى الشخصي لا يقوم بمحلين، وحكم المعلومين يشمل الموجود والمعدوم. (وشرطه): أي شرط القياس: (أن لا يكون المقيس عليه مخصوصًا): أي منفردًا (بحكمه): أي مع حكمه (بنص): أي بسبب نص (آخر)