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