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