One of the common definitions for "Islamic philosophy" is "the style of philosophy produced within the framework of Islamic culture. What subjects did Ibn Sina mainly write about?