الْمَذْكُور من اخْتِلَاف القضيتين فِي الْكمّ والكيف والجهة واتحادهما فِيمَا عدا الْأُمُور الثَّلَاثَة الْمَذْكُورَة وَقد حصروا هَذَا الِاتِّحَاد فِي الْأُمُور الثَّمَانِية الَّتِي فِي هَذَا النّظم.
(در تنَاقض هشت وحدة شَرط دَان ... وحدة مَحْمُول وموضوع وَمَكَان)

(وحدة شَرط وَإِضَافَة جز وكل ... قُوَّة وَفعل است در آخر زمَان)

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