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