شرح تہذیب مع تعلیقات جدیدۃ من الحواشی المعتبرۃ |
رح تهذی |
 |
وَمِنَ الْحَقِیْقِیَّةِ وَضْعُ كُلٍّ، كَمَانِعَةِ الْجَمْعِ؛
وَرَفْعُهُٗ، كَمَانِعَةِ الْخُلُوِّ.۔
وَقَدْ یُخْتَصُّ بِاسْمِ ’’قِیَاسِ الْخُلْفِ‘‘،
الصُّوَر الأرْبَع النَّتَائِجَ الأرْبَع۱.۔
قَوْلهٗ (وَضْعُ المُقَدَّمِ وَرَفْعُ التَّالِيْ): نَحوَ: ’’إنْ كانَ هٰذا إنْسَاناً كانَ حَیَوَانا؛ لٰكِنَّهُ إنْسَان، فَهوَ حَیَوَان‘‘؛ ’’لٰكِنَّه لیْسَ بِحَیَوَان، فَهوَ لیْسَ بإنْسَان‘‘.۔
قَوْلهٗ (وَمِنَ الحَقِیْقِیَّةِ): كقَوْلنَا: ’’إمَّا أنْ یَكوْن هٰذا العَدَد زَوْجا أوْ فَرْدا؛ لكنَّه زَوْج، فَلیْسَ بِفَرْد‘‘؛ ’’لكِنَّه فَرْد، فَلیْسَ بِزَوْج‘‘، ’’لكِنَّه لَیْسَ بِفَرْد، فَهوَ زَوْج‘‘، ’’لكِنَّه لیْسَ بِزَوْج، فَهوَ فَرْد‘‘.۔
قوْلهٗ (كَمَانِعَةِ الجَمْعِ): نَحْوُ: ’’إمَّا هٰذا شَجَر أَوْ حَجَر، لٰكِنَّهُ شَجَر فَلیْسَ بِحَجَر‘‘؛ ’’لكِنَّه حَجَر، فَلیْسَ بِشَجَر‘‘.۔
قوْلهٗ (كَمَانِعَةِ الخُلُوِّ): نَحْو: ’’هٰذا إمَّا لاشَجَر أوْ لاحَجَر؛ لٰكِنَّهُ لیْسَ بِلاشَجَر فَهوَ لاحَجَرٌ‘‘؛ ’’لكِنَّه لیْسَ بِلاحَجَر، فَهُوَ لاشَجَر‘‘.۔
قَوْلهٗ (وَقَدْ یَخْتَصُّ): اِعْلَمْ! أنَّه قَدْ یُسْتَدَل عَلیٰ إِثْبَات المُدَّعیٰ، بأنَّه لَوْلاه لَصَدَقَ نَقِیْضُه؛ لاسْتِحَالَة اِرْتِفَاع النَّقِیْضَیْن؛ لكِنَّ نَقِیْضَه غَیْرُ وَاقِع، فَیَكوْن هٰذا وَاقِعا، كَمَا مَرَّ غَیْر مَرَّةٍ فِي مَبَاحِث العُكوْس وَالأَقْیِسَة.۔
وَهٰذا القِسْم مِنَ الاسْتِدْلال یُسَمّٰی بـِ’’الخُلْف‘‘، إمَّا لأنَّه یَنْجَرُّ۲إلَی الخُلْف،
۱ قولهٗ: (النتائج الأربع) وضع كل من المقدَّم والتالي رفع الآخر، ورفع كل منهما وضع الآخر، كما في المثال المذكور في الشرح؛ فإنّ قوله: ’’لٰكنه زوج‘‘ وضع المقدم، فالنتیجة رفع التالي، یعني قولهٗ: ’’لیس بفرد‘‘؛ وأیضاً قولهٗ: ’’لٰكنه فرد‘‘ وضع التالي، فالنتیجة رفع المقدّم، یعني قولهٗ: ’’لیس بزوج‘‘؛ وأیضاً قولهٗ: ’’لٰكنه لیس بفرد‘‘ رفع التالي، فالنتیجة وضع المقدم یعني قولهٗ: ’’فهو زوج‘‘؛ وقولهٗ: ’’لٰكنه لیس بزوج‘‘ رفع المقدم، فالنتیجة وضع التالي یعني قولهٗ: ’’فهو فرد‘‘؛ وهٰكذا في مثال مانعة الجمع ومانعة الخلو.۔(بن)