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