Philosophy in the Islamic World, Al-Kindi, Al-Farabi, Avicenna (Ibn Sina), and Averroes (Ibn Rushd)