ابنسینا در کتاب شفاء بهطور مفصل، مباحث فلسفی متداولی را بررسی میکند که بیشتر، زمینۀ مشائی دارند. همچنین، شفاء در زمرۀ کتابهایی است که به علوم و موضوعات متعددی همچون منطق، ریاضیات، طبیعیات و الهیات میپردازد. هرکدام از این موضوعات، یک یا چندین جلد از کتاب را به خود اختصاص دادهاند. برای مثال، الهیات که شاخهای بنیادین از فلسفه به شمار میآید و از «موجود بما هو موجود» بحث میکند، در یک جلد آورده شده است. از این دانش با عنوانهای دیگری همانند متافیزیک، مابعدالطبیعه، حکمت مطلقه و فلسفۀ اولی نیز یاد میکنند. الهیات شفاء ده مقاله دارد و این جلد، تقریرات دروس آیتالله مصباحیزدی بر مقالۀ نخست آن است. نگارندۀ این تقریرات هم یکى از شاگردان ایشان بوده است. از ویژگیهای مهم این کتاب مراجعه به شروح مختلف برای روشنکردن عبارتهای مشکل یا چندوجهی است. این جلد، هشت فصل دارد و عمدتاً مباحث اولیۀ فلسفه را در برمیگیرد؛ برای مثال یکی از بحثهای کتاب این است که موضوع و منفعت و ابوابِ فلسفۀ اولی چیست. افزون بر اینگونه مباحث، در این کتاب دربارۀ موجود و شیء، واجب و ممکن و ممتنع و نیز برخی صفات واجب هم سخن به میان آمده است. فصل پایانی هم به بحثی مفصل در خصوص اصل «عدمِ تناقض» اختصاص مییابد.