صدق تحقّق وجوب اتصاف ماهية الممكن بالامكان وبثبوت اللزوم بين اللزوم وأحد المتلازمين.

واذ صحّت القسمة المذكورة للموجود وثبت أنّ الممكن ما يتساوى نسبة الوجود والعدم إلى ذاته ويتوقّف انتزاع الوجود منه على ملاحظة غيره ؛ نقول : يلزم منه أن يكون الممكن في وجوده محتاجا إلى علّة خارجة ، لأنّه لو لم يفتقر إليه ووجد بدونها فإمّا أن يصير موجودا بنفسه مع تحقّق تساوي النسبة المذكورة ، أو مع اولوية ذاتية ناشئة عن ذاته غير منتهية إلى حدّ الوجوب ، أو اولوية خارجة ناشئة عن غيره كذلك ؛ والكلّ باطل!.

امّا الأوّل فلانّه ترجّح لأحد المتساويين من غير مرجّح ـ وقد مرّ بطلانه ـ ؛ وإن فرض انّ الوجود وجب له بذاته مع عدم كونه واجبا لذاته فهو متناقض لنفسه.

واستدلّ عليه الشيخ في الشفا : بانّ ماهية الممكن إن كانت كافية في كونه موجودا كان واجبا موجودا دائما ، وان لم يكف احتاج إلى غيره ، وهو العلّة ؛

وأورد عليه : بانّه إن اريد بالكفاية لها الكفاية في صحّة الاتصاف بالوجود فنختار الكفاية ولا يوجب كونه واجبا ؛

وإن أريد بها الكفاية في لزوم الوجود فنختار عدم الكفاية ونمنع ايجاب ذلك لعلّة خارجة ، لامكان أن يتّصف بالوجود ويعرضه الوجود فيصير موجودا بدون علّة وإن لم يبلغ حدّ الوجوب ، فانّ المتنازع فيه ليس الاّ هذا ، فلئن جوّز وجود الممكن بلا علّة فله أن يجوّز هذا ، بل هذا عين ذاك.

واجيب عنه ، بأنّ ماهيّة الممكن إن كانت كافية في صحّة الاتصاف بالوجود لكانت كافية في لزوم الوجود ، لأنّ ما ثبت للشيء بالنظر إلى ذاته يجب أن يكون لازما له غير منفكّ عنه بالنظر إلى ذاته ـ كالزوجيّة للأربعة ـ.

ثمّ هذا الحكم ـ أعني : احتياج الممكن في وجوده إلى علّة خارجة ـ ممّا اتفق عليه جميع العقلاء ولم يخالف فيه احد سوى ذيمقراطيس من الأقدمين ، فانّه ذهب إلى أنّ