Avicenna was a devout Muslim and sought to reconcile rational philosophy with Islamic theology. Who used philosophy to challange Islamic theology?