ابنسینا در ارائه نظریات وجودشناسانة خود از دو واژة وجوب و امکان که ابتکار فارابی بودند، بسیار مدد میگیرد، دو واژهای که سبقة کمرنگی در آراء فلاسفة پیش از فارابی و ابنسینا دارد و جسته و گریخته میتوان ردپایی از آنها را نزد فلاسفة یونان باستان یافت، این ردپا در ارسطو پررنگتر میشود، اما به شکل منطقی مطرح میشود نه فلسفی و در باب قضایا به آنها پرداخته میشود و به موجودات عینی و وجود سرایت نمیکند. با ابتکار فارابی و ابنسینا در به کارگیری نظریة وجوب و امکان فلسفی و تقسیم موجود به واجب و ممکن، فلسفة هستیشناسی مشایی، شکلی متمایز به خود میگیرد و وجود خدا و عالم و مسئلة خلقت که تا پیش از این مطرح نبود، بهتر تبیین میشود.