Necessity in Avicenna and the Arabic Tradition