القياس وقواعده وشكله الأول

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