Avicenna’s Theory of Universal Predicables at the Crossroads of Logic and Metaphysics: Greek Sources and Arabic Innovations