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