A history of Islamic philosophy