قياس الخلف [1] قد سبق منا ذكر لقياس الخلف مرتين : مرة في أول تنبيهات الشكل الثالث وسميناه " طريقة الخلف " وشرحناه هناك بعض الشرح . وقد كنا استخدمناه للبرهان على بعض ضروب الشكلين : الثاني والثالث . ومرة أخرى نبهنا عليه في آخر القسم الرابع من الاقتراني الشرطي وهو المؤلف من متصلة وحملية ، إذ قلنا : إن قياس الخلف ينحل إلى قياس شرطي من هذا القسم . ومن الخير للطالب الآن أن يرجع إلى هذين البحثين قبل الدخول في التفصيلات الآتية .
والذي ينبغي أن يعلم أن الباحث قد يعجز عن الاستدلال على مطلوبه بطريقة مباشرة ، فيحتال إلى اتخاذ طريقة غير مباشرة فيلتمس الدليل على بطلان نقيض مطلوبه ليثبت صدق مطلوبه ، لأن النقيضين لا يكذبان معا .
وإبطال النقيض لإثبات المطلوب هو المسمى ب‌ " قياس الخلف " ولذا أشرنا فيما سبق في تنبيهات الشكل الثالث إلى أن طريقة الخلف من نوع الاستدلال غير المباشر . ومن هنا يحصل لنا تعريف قياس الخلف بأنه :
قياس مركب يثبت المطلوب بإبطال نقيضه .
أما انه قياس مركب ، فلأنه يتألف من قياسين : اقتراني شرطي مؤلف من متصلة وحملية ، واستثنائي .
كيفيته :
إذا أردنا إثبات المطلوب بإبطال نقيضه ، فعلينا أن نستعمل الطريقة التي سنشرحها ، ولنرجع قبل كل شئ إلى الموارد التي استعملنا لها قياس

[1] راجع الحاشية : ص 104 ، وشرح الشمسية : ص 165 ، وشرح المطالع : ص 331 ، واللمعات ( منطق نوين ) : ص 31 ، والجوهر النضيد : ص 160 ، وأساس الاقتباس : ص 319 ، وشرح الإشارات : ص 283 ، والتحصيل : ص 151 .

303