يمكن إجراؤه في تمايز الأعدام1؛ إذ لا يمكن أن يقال: إن كان ذلك التمايز لكونها موجودة في الذهن، لم تكن الأعدام متمايزة، إذ الأعدام لكونها2 موجودة في الذهن لا تخرج عن كونها أعدامأ، بل إنما تخرج عن كونها معدومات.

فالأولى أن يقال في بيان التفريع،: إنه لما كان التميز وصفا ثبوتيا، يستدعي ثبوت الموصوف به، فمن أثبت الوجود الذهني ( حكم بتمايز الأعدام والمعدومات الخارجية؛ لما لها من الثبوت الذهني، ومن نفاه حكم بعدم التمايز؛ لعدم الثبوت أصلا

(ثم العدم قد يعرض لنفسه). لا شكن أن العدم معدوم في الخارج؛ إذ لو كان موجودا فيه لزم أن يكون الموصوف به - أعني: المعدوم - موجودا في الخارج، وهو محال، لكن يمكن أن يكون موجودا في الذهن؛ بأن يدر كه العقل مستحضرا إياه، و أن لا يكون موجودا فيه؛ بأن لا يكون مدركا للعقل حاضرا عنده. فمراد المصنف حيث قال: قد يعرض7- بلفظة: قد - أن العدم