قال ابن سينا: «ان الواجب الوجود هو الموجود الذي، متى فرض غير موجود، عرض منه محال. و ان الممكن الوجود هو الذي، متى فرض غير موجود أو موجودا، لم يعرض منه محال.

و الواجب الوجود هو الضروري الوجود، و الممكن الوجود هو الذي لا ضرورة فيه بوجه، أي لا في وجوده، و لا في عدمه» (النجاة، ص ٣٦٦).

و للمكن معنيان: (الأول) سلب الضرورة، و هو قد يكون بحسب نفس الأمر، و يسمى امكانا ذاتيا، و امكانا خارجيا، او يكون بحسب الذهن، و يسمّى امكانا ذهنيا، و هو ما لا يكون تصور طرفيه كافيا، بل يتردد الذهن بالنسبة بينهما (كشاف اصطلاحات الفنون للتهانوي). (و الثاني) هو الوجود بالقوة، و يسمّى بالامكان الاستعدادي، و هو كون الشي‌ء من شأنه أن يكون، و ليس بكائن، فلا ينتقل من حال الوجود بالقوة الى حال الوجود بالفعل، الّا عند استيفائه شروط الوجود الأساسية (كما في علم ما بعد الطبيعة)، أو شروط الوجود الخارجية (كما في علم الطبيعة).

و كل امر خلا من التناقض، فهو ممكن امكانا مطلقا او منطقيا، و كل امر استوفى الشروط العامة للتجربة، فهو ممكن امكانا طبعيا.

و يطلق اصطلاح الممكن الطبيعي على كل امر لا يناقض ظواهر الطبيعة او لا يتعارض مع قانون من قوانينها الثابتة.