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

إنّه سمّي به؛ لأنّه يأتي المطلوب من خلفه، أي من ورائه الذي هو نقيضه (ط، ش، ٥٠٧، ٧)- الخلف لا يتوجه إلى إثبات المطلوب أولا، بل إلى إبطال نقيضه. و يشتمل على ما يناقض المطلوب، و لا يشترط فيه التسليم، بل تكون المقدمات بحيث لو سلّمت أنتجت. و يكون المطلوب فيها موضوعا أولا، و منه ينتقل إلى نقيضه (ط، ش، ٥٠٧، ١٣)

خلف جدلي‌

- قياس الخلف الجدلي هو الذي ينتهي إلى المشنّع، لأن المشنّع في الجدل يقوم مقام المحال في العلوم (ف، ج، ١٠٥، ١٢)

خلف سوفسطائي‌

- في الخلف السوفسطائي، و وضع ما ليس بعلّة علّة؛ و كذلك الجامع لسؤالين في سؤال، يجهل أنّ المسألة قضيّة، و القضيّة واحدة ذات محمول واحد و موضوع واحد، أو ما في حكمه، فيزلّ من إغفاله مراعاة أجزاء المقدّمة (س، س، ٣٩، ١٤)

خلف علمي‌

- قياس الخلف العلمي هو الذي ينتهي إلى‌