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