بديع النظام (أو: نهاية الوصول إلى علم الأصول)

دور؛ فإنه لا يعلم كونه عدميا إلا بعد معرفة أنه سلب وجود، وليس؛ فإنه قد يكون ثبوتيا كاللامعدوم، أو منقسما كاللاامتناع، فلو علم به كونه وجوديا دار. وبانطباقه على الإمكان، فإنه ثبوتي؛ لأنه نقيض لا إمكان. وأجيب بأن الإمكان تقديري فنقيضه سلب التقدير، والمقدر ليس عرضا. واستدل ليس الفعل اختياريا فلا يوصف بهما لذاته