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

وَالْعَكْس أعنى المستوى لَك البقا

تَحْويل جزئي جملَة مَعَ بقا ... صدقهما وَالْعَكْس للنقيض

تَحْويل كل مِنْهُ بالتعريض ... فتجعل الْمُقدم الموخرا

من بعد أَن تنقض كلا ظَاهرا

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