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