در آثار ابن سینا به بحث امکان و ضرورت هم در منطق پرداخته شده و هم در کتب الهیات (یا به عبارتی دیگر در مباحث فلسفه). بنابراین این بحث هم منطقی و هم فلسفی است. در منطق و در مبحث قضایا بخش مستقلی دربارۀ قضایای موجهه وجود دارد که در آنها اقسام مختلف قضایای موجهه و معانی آنها آورده شده است؛ اعم از اینکه محمول قضیه وجود یا غیروجود باشد.