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