“A Discipline or Part of a Discipline”: Logic on the Border of Metaphysics and Psychology in Avicenna’s Kitāb al-Šifāʾ