اسم "أحد" المتقابلين على الآخر، فإن فهم أحدهما لا يستلزم فهم الآخر قطعا بل ظاهرا [على] الحال، واسم الجزء على الكل إذ المحل غير مستلزم للحال قطعا ولا الجزء للكل، وأما الثاني فلحصول الفهم بدونه كما في الضدين المتقابلين تقابل العدم والملكة، إذ يقال للأعمى بصير وهو عدم البصر عما من شأنه أن يبصر. واستدل الإمام على عدم اعتبار اللزوم الخارجي بوجه آخر، وهو أن الجوهر والعرض يتلازما في الخارج مع أنه لا يستعمل لفظ أحدهما في الآخر. وهو ضعيف، لأنه لا يلزم من وجود ما يعتبر في وجود الشيء وجوده لجواز أن يكون شرطا أو لازما أعم. والعجب منه، أنه صرح عقيب هذا الاستدلال، أن اللزوم الذهني شرط لا موجب، فبتقدير أن يكون الملزوم