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