Editing Early Islamic philosophy (section)

===Cosmological and ontological arguments===
{{main|Proof of the Truthful}}
[[Avicenna]]'s proof for the [[existence of God]], known as the "[[Proof of the Truthful]]", was the first [[ontological argument]], which he proposed in the ''Metaphysics'' section of ''[[The Book of Healing]]''.<ref name=Johnson>Steve A. Johnson (1984), "Ibn Sina's Fourth Ontological Argument for God's Existence", ''The Muslim World'' '''74''' (3-4), 161–171.</ref><ref name=Morewedge>{{citation|last=Morewedge|first=P.|title=Ibn Sina (Avicenna) and Malcolm and the Ontological Argument|journal=Monist|year=1970|volume=54|issue=2|pages=234–49|doi=10.5840/monist197054212}}</ref> This was the first attempt at using the method of [[a priori (philosophy)|a priori proof]], which utilizes intuition and reason alone. Avicenna's proof of God's existence is unique in that it can be classified as both a [[cosmological argument]] and an ontological argument. "It is ontological insofar as ‘necessary existence’ in intellect is the first basis for arguing for a Necessary Existent". The proof is also "cosmological insofar as most of it is taken up with arguing that contingent existents cannot stand alone and must end up in a Necessary Existent."<ref>{{citation|first=Toby|last=Mayer|title=Ibn Sina's 'Burhan Al-Siddiqin'|year=2001|journal=Journal of Islamic Studies|publisher=[[Oxford Centre for Islamic Studies]], Oxford Journals, Oxford University Press|volume=12|issue=1|pages=18–39|doi=10.1093/jis/12.1.18}}</ref>