Scholarly sources, including Fakhry and the Encyclopaedia of Islam, have named three works Averroes's critical writings in this area. Fasl al-Maqal ("The Decisive Treatise") is an 1178 treatise that argues for the compatibility of Islam and philosophy. Al-Kashf 'an Manahij al-Adillah ("Exposition of the Methods of Proof"), written in 1179, criticizes the theologies of the Ash'arites, and lays out Averroes's argument for proving the existence of God, as well as his thoughts on God's attributes and actions. The 1180 Tahafut al-Tahafut ("Incoherence of the Incoherence") is a rebuttal of al-Ghazali 's (d. 1111) landmark criticism of philosophy The Incoherence of the Philosophers. It combines ideas in his commentaries and stand-alone works and uses them to respond to al-Ghazali. The work also criticizes Avicenna and his neoplatonist tendencies, sometimes agreeing with al-Ghazali's critique against him.