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

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

(در تنَاقض هشت وحدة شَرط دَان ... وحدة مَحْمُول وموضوع وَمَكَان)

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

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

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

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