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

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

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

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

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

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

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

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

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

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

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

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

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