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

فإنّك إن عكست القياس فأخذت نقيض المحال و قرنته بالصادقة، أنتج لك نقيض الثانية المشكوك فيها، و هو المطلوب، أعني ذلك النقيض (س، ق، 521، 9) - الفرق بين (القياس) المستقيم و (قياس) الخلف أنّ المستقيم، يقصد في أوّل الأمر فنقيس على الشي ء الذي نريد أن نثبته، و أمّا الخلف فإنّه يقصد في أوّل الأمر أن ينتج شيئا غير المطلوب، فإذا بان كذبه عاد و أنتج كذب ما هو بسببه فأنتج صدق نقيض ذلك، و بينهما خلاف غير ذلك، فلهذا إذا أردت أن تردّ الخلف إلى المستقيم عكست القياس، فأخذت نقيض المحال و قرنته بالصّادقة، فأنتج لك نقيضه، و هو المطلوب (مر، ت، 155، 15) - قياس الخلف و القياس المستقيم صورته صورة القياس الحملي. لكن إذا كانت المقدّمتان صادقتين سمّي قياسا مستقيما. و إن كانت إحدى المقدّمتين ظاهرة الصدق، و الأخرى كاذبة، أو مشكوكا فيها، و أنتج نتيجة بيّنة الكذب، ليستدلّ بها على أن المقدّمة كاذبة، سمّي قياس خلف (غ، ع، 371، 13) - كل ما تبيّن بقياس حملي و هو الذي يسمّى المستقيم يمكن أن يبيّن بتلك المقدّمات بعينها بقياس الخلف و حينئذ يكون قياس الخلف أشبه شي ء بالقياس المنعكس ... (ش، ق، 312، 6) - القياس المستقيم إذا ردّ إلى الخلف تكون الحدود و المقدّمات فيها واحدا بعينه (ش، ق، 312، 8) - الفرق بين القياس المستقيم و قياس الخلف إذا أنتجا مطلوبا واحدا بعينه من مقدّمات واحدة بعينها أن القياس الذي بالخلف نضع أولا ما نريد بطلانه و هو نقيض ما نروم بيانه ليسوق القول إلى كذب معترف به؛ و أما القياس المستقيم فإنه يبتدئ من مقدّمات معترف بها ... إلا أن القياس المستقيم يكون من المقدّمتين اللتين يكون عنهما القياس، و أما الذي بالخلف فإحدى مقدّمتيه فقط هي من مقدّمتي القياس المستقيم و الثانية نقيض النتيجة المشكوك فيها ... (ش، ق، 319، 3) - ردّ القياس المستقيم إلى الخلف هو بعينه القياس الذي يسمّى المنعكس (ش، ق، 323، 26) - القياس المستقيم ليس يضع أحد فيه ما يروم إبطاله و إنما يعرض ذلك في قياس الخلف (ش، ق، 332، 16) - القياس المستقيم ينتج الأخفى بالطبع من الأعرف بالطبع (ش، ب، 440، 5) - القياس المستقيم هو الذي يكون بالطبع و بغير طريق صناعي (ش، ب، 440، 10) - القياس المستقيم يتوجه إلى إثبات المطلوب الأول بوجهه، و يتألف مما يناسب المطلوب و يشترط فيه تسليم المقدّمات، أو ما يجري مجرى التسليم. و المطلوب فيه لا يكون موضوعا أولا (ط، ش، 507، 10)