الاستدراك الأصولي دراسة تأصيلية تطبيقية

وهو ينقسم إلى قسمين رئيسين:
القسم الأول: القياس الاقتراني (١). ويسمى أيضًا القياس الحملي (٢)، وقياس الشمول (٣)، ويكون في القضايا الحملية (٤)، والشرطيات المتصلة (٥).
القسم الثاني: القياس الاستثنائي، ويسمى أيضًا القياس الشرطي (٦)، ولا يكون إلا في القضايا الشرطية (٧).
فالقياس الاقتراني: هو القياس الذي يدل على النتيجة بمعناها؛ لا بصورتها.
مثاله: العالم متغير، وكل متغير حادث؛ فينتج: العالم حادث.
القياس الاستثنائي: هو القياس الذي يدل على النتيجة بصورتها ومادتها،
_________
(١) سمي اقترانيًا لا قتران حدوده الثلاثة -الحد الأكبر والأوسط والأصغر- من غير أن يتخللها حرف استثناء. يُنظر: حاشية الصبان على السلم (ص: ١٢١)؛ آداب البحث والمناظرة (١/ ١٠٥)، ضوابط المعرفة (ص: ٢٣٣).
(٢) سمي حمليًا لأن الحمليات تختص به. يُنظر: شرح الأخضري على السلم (ص: ٣٣)؛ آداب البحث والمناظرة (١/ ١٠٥).
(٣) سمي شموليًا لأن الحد الأصغر إذا اندرج في الحد الأوسط، واندرج الحد الأوسط في الحد الأكبر؛ لزم اندماج الأصغر في الأكبر، وشموله له. يُنظر: آداب البحث والمناظرة (١/ ١٠٥).
(٤) القضية الحملية: ما كان طرفاها مفردين أو في قوة المفردين. والمراد بالمفرد هنا ما يقابل الجملة؛ مثالها: زيد قائم؛ فإنه ينحل طرفاه إلى مفردين. يُنظر: آداب البحث والمناظرة (١/ ٦٥).
(٥) القضية الشرطية المتصلة: ما تركب من جزأين، ربط أحدهما بالآخر بأداة شرط. مثل: إن كانت الشمس طالعة؛ فالنهار موجود. يُنظر: السلم المنورق (ص: ١٠)؛ آداب البحث والمناظرة (١/ ٦٦).
(٦) سمي شرطيًا، لأنه مركب من قضايا شرطية. يُنظر: شرح الأخضري على السلم (ص: ٣٦).
(٧) القضية الشرطية: ما تركبت من جزأين ربط أحدهما بالآخر بأداة شرط أو عناد، فالأولى تسمى شرطية متصلة - إذا كان الرابط أداة شرط-، والثانية تسمى شرطية منفصلة - إذا كان الرابط أداة عناد-. يُنظر: السلم المنورق (ص: ١٠)؛ آداب البحث والمناظرة (١/ ٦٦).