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