در تفکر ابن سینا ماده قضایا سه نوع است: امکان، ضرورت و امتناع. در یک تقسیم بندی صرفاً ساختاری با ضرورت منطقی و ضرورت فلسفی مواجه ایم، ملاک این تقسیم بندی، محمول بکار گرفته شده در قضایا است. اگر به ضرورت با ملاکی ساختاری نگریسته نشود، باز دو نوع ضرورت خواهیم داشت. ضرورت منطقی ای که ملاک آن اصل امتناع تناقض است. محمولاتی که چنین خاصیتی را دارا هستند ذاتیات باب ایساغوجی اند. ابن سینا علاوه بر ذاتیات باب ایساغوجی، عوارض ذاتی لازم را نیز که از سنخ ذاتی باب برهان اند در شمول محمولات ضروری قرار می دهد. اما برای آن ها ملاکی مانند اصل امتناع تناقض ذکر نمی کند. در اینجا مایلیم این نوع ضرورت را فلسفی بنامیم که ملاک آن، دیگر اصل اینهمانی یا عدم تناقض نیست. ابن سینا به عوارض ذاتی عنوان لازم می دهد و آن ها را ضروری می داند. اما برای ضروری بودن لزوم، نه دوام و نه اصل امتناع تناقض، به کار نمی آیند.