Proof of the Truthful
The Proof of the Truthful[1] (Arabic: برهان الصديقين, romanized: burhān al-ṣiddīqīn,[2] also translated Demonstration of the Truthful[2] or Proof of the Veracious,[3] among others) is a formal argument for proving the existence of God introduced by the Islamic philosopher Avicenna (also known as Ibn Sina, 980–1037). Avicenna argued that there must be a "necessary existent" (Arabic: واجب الوجود, romanized: wājib al-wujūd), an entity that cannot not exist.[4] The argument says that the entire set of contingent things must have a cause that is not contingent because otherwise it would be included in the set. Furthermore, through a series of arguments, he derived that the necessary existent must have attributes that he identified with God in Islam, including unity, simplicity, immateriality, intellect, power, generosity, and goodness.[5]
Historian of philosophy Peter Adamson called the argument one of the most influential medieval arguments for God's existence, and Avicenna's biggest contribution to the history of philosophy.[4] It was enthusiastically received and repeated (sometimes with modification) by later philosophers, including generations of Muslim philosophers, Western Christian philosophers such as Thomas Aquinas and Duns Scotus, and Jewish philosophers such as Maimonides.
Critics of the argument include Averroes, who objected to its methodology, Al-Ghazali, who disagreed with its characterization of God, and modern critics who state that its piecemeal derivation of God's attributes allows people to accept parts of the argument but still reject God's existence. There is no consensus among modern scholars on the classification of the argument; some say that it is ontological while others say it is cosmological.[6]
Origin[edit]
The argument is outlined in Avicenna's various works. The most concise and influential form is found in the fourth "class" of his Remarks and Admonitions (Al-isharat wa al-tanbihat).[7] It is also present in Book II, Chapter 12 of the Book of Salvation (Kitab al-najat) and throughout the Metaphysics section of the Book of Healing (al-Shifa).[8] The passages in Remarks and Admonitions draw a distinction between two types of proof for the existence of God: the first is derived from reflection on nothing but existence itself; the second requires reflection on things such as God's creations or God's acts.[1][9] Avicenna says that the first type is the proof for "the truthful", which is more solid and nobler than the second one, which is proof for a certain "group of people".[10][11] According to the professor of Islamic philosophy Shams C. Inati, by "the truthful" Avicenna means the philosophers, and the "group of people" means the theologians and others who seek to demonstrate God's existence through his creations.[10] The proof then became known in the Arabic tradition as the "Proof of the Truthful" (burhan al-siddiqin).[2]
Argument[edit]
The necessary existent[edit]
Ibn Sina distinguishes between a thing that needs an external cause in order to exist – a contingent thing – and a thing that is guaranteed to exist by its essence or intrinsic nature – a necessary existent.[12] The argument tries to prove that there is indeed a necessary existent.[12] It does this by first considering whether the opposite could be true: that everything that exists is contingent. Each contingent thing will need something other than itself to bring it into existence, which will in turn need another cause to bring it into existence, and so on.[12] Because this seemed to lead to an infinite regress, cosmological arguments before Avicenna concluded that some necessary cause (such as God) is needed to end the infinite chain.[13] However, Avicenna's argument does not preclude the possibility of an infinite regress.[12][13]
Instead, the argument considers the entire collection (jumla) of contingent things, the sum total of every contingent thing that exists, has existed, or will exist.[12][13] Avicenna argues that this aggregate, too, must obey the rule that applies to a single contingent thing; in other words, it must have something outside itself that causes it to exist.[12] This cause has to be either contingent or necessary. It cannot be contingent, though, because if it were, it would already be included within the aggregate. Thus the only remaining possibility is that an external cause is necessary, and that cause must be a necessary existent.[12]
Avicenna anticipates that one could reject the argument by saying that the collection of contingent things may not be contingent. A whole does not automatically share the features of its parts; for example, in mathematics a set of numbers is not a number.[14] Therefore, the objection goes, the step in the argument that assumes that the collection of contingent things is also contingent, is wrong.[14] However, Avicenna dismisses this counter-argument as a capitulation, and not an objection at all. If the entire collection of contingent things is not contingent, then it must be necessary. This also leads to the conclusion that there is a necessary existent, the very thing Avicenna is trying to prove. Avicenna remarks, "in a certain way, this is the very thing that is sought".[14]
Reaction[edit]
Reception[edit]
Present-day historian of philosophy Peter Adamson called this argument one of the most influential medieval arguments for God's existence, and Avicenna's biggest contribution to the history of philosophy.[4] Generations of Muslim philosophers and theologians took up the proof and its conception of God as a necessary existent with approval and sometimes with modifications.[4] The phrase wajib al-wujud (necessary existent) became widely used to refer to God, even in the works of Avicenna's staunch critics, a sign of the proof's influence.[2] Outside the Muslim tradition, it is also "enthusiastically"[2] received, repeated, and modified by later philosophers such as Thomas Aquinas (1225–1274) and Duns Scotus (1266–1308) of the Western Christian tradition, as well by Jewish philosophers such as Maimonides (d. 1204).[2][4]
Adamson said that one reason for its popularity is that it matches "an underlying rationale for many people's belief in God",[2] which he contrasted with Anselm's ontological argument, formulated a few years later, which read more like a "clever trick" than a philosophical justification of one's faith.[2] Professor of medieval philosophy Jon McGinnis said that the argument requires only a few premises, namely, the distinction between the necessary and the contingent, that "something exists", and that a set subsists through their members (an assumption McGinnis said to be "almost true by definition").[25]
Criticism[edit]
The Islamic Andalusi philosopher Averroes or Ibn Rushd (1126–1198) criticized the argument on its methodology. Averroes, an avid Aristotelian, argued that God's existence has to be shown on the basis of the natural world, as Aristotle had done. According to Averroes, a proof should be based on physics, and not on metaphysical reflections as in the "Proof of the Truthful".[26] Other Muslim philosophers such as Al-Ghazali (1058–1111) attacked the argument over its implications that seemed incompatible with God as known through the Islamic revelation. For example, according to Avicenna, God can have no features or relations that are contingent, so his causing of the universe must be necessary.[26] Al-Ghazali disputed this as incompatible with the concept of God's untrammelled free will as taught in Al-Ghazali's Asharite theology.[27] He further argued that God's free choice can be shown by the arbitrary nature of the exact size of the universe or the time of its creation.[27]
Peter Adamson offered several more possible lines of criticism. He pointed out that Avicenna adopts a piecemeal approach to prove the necessary existent, and then derives God's traditional attributes from it one at a time. This makes each of the arguments subject to separate assessments. Some might accept the proof for the necessary existent while rejecting the other arguments; such a critic could still reject the existence of God.[15] Another type of criticism might attack the proof of the necessary existent itself. Such a critic might reject Avicenna's conception of contingency, a starting point in the original proof, by saying that the universe could just happen to exist without being necessary or contingent on an external cause.[26]
Classification[edit]
German philosopher Immanuel Kant (1724–1804) divided arguments for the existence of God into three groups: ontological, cosmological, or teleological.[28] Scholars disagree on whether Avicenna's "Proof of the Truthful" is ontological, that is, derived through sheer conceptual analysis, or cosmological, that is, derived by invoking empirical premises (e.g. "a contingent thing exists").[5][25][28] Scholars Herbert A. Davidson, Lenn E. Goodman, Michael E. Marmura, M. Saeed Sheikh, and Soheil Afnan argued that it was cosmological.[29] Davidson said that Avicenna did not regard "the analysis of the concept necessary existent by virtue of itself as sufficient to establish the actual existence of anything in the external world" and that he had offered a new form of cosmological argument.[29] Others, including Parviz Morewedge, Gary Legenhausen, Abdel Rahman Badawi, Miguel Cruz Hernández, and M. M. Sharif, argued that Avicenna's argument was ontological.[28] Morewedge referred to the argument as "Ibn Sina's ontological argument for the existence of God", and said that it was purely based on his analytic specification of this concept [the Necessary Existent]."[28] Steve A. Johnson and Toby Mayer said the argument was a hybrid of the two.[25][28]