فإن كان الأول: فالتمييز صفة ثبوتية؛ لأن نقيض التمييز لا تمييز و لا تمييز عدم؛ فالتمييز ثبوت؛ و يلزم من ذلك أن يكون المعدوم ثبوتيا؛ ضرورة اتصافه بالصفة الثبوتية؛ و كون المعدوم ثبوتيا محال كما يأتى.

و إن كان الثانى: فهو غير معلوم.

قلنا: المعدوم متميز عن الموجود فى نفس الأمر سواء كان معلوما، أو لم يكن معلوما.

و يدل عليه: أنه لو لم يكن متميزا عنه فى نفس الأمر؛ للزم أن من علم بالوجود، أن يكون عالما بالعدم؛ ضرورة عدم التمايز بينهما؛ و هو محال.

قولهم:

التمييز صفة ثبوتية، لا نسلم ذلك بل تمييز المعلوم عن غيره تارة يكون بأمر عدمى، و تارة بأمر ثبوتى.

و على هذا: فالتمييز إن كان وجوديا؛ كان سلبه عدميا، و إن كان بأمر عدمى: كان سلبه ثبوتيا؛ لأن سلب السلب إثبات.