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