Al-šifāʼ, Al-manṭiq - Avicenna, 980-1037,