
The Proof of the Truthful ( ar, برهان الصديقين, burhān al-ṣiddīqīn, also translated Demonstration of the Truthful or Proof of the Veracious, among others) is a
formal argument for proving the
existence of God introduced by the
Islamic philosopher
Islamic philosophy is philosophy that emerges from the Islamic tradition. Two terms traditionally used in the Islamic world are sometimes translated as philosophy—falsafa (literally: "philosophy"), which refers to philosophy as well as logi ...
Avicenna
Ibn Sina ( fa, ابن سینا; 980 – June 1037 CE), commonly known in the West as Avicenna (), was a Persian polymath who is regarded as one of the most significant physicians, astronomers, philosophers, and writers of the Islamic G ...
(also known as Ibn Sina, 9801037). Avicenna argued that there must be a "necessary existent" ( ar, واجب الوجود, wājib al-wujūd), an entity that cannot ''not'' exist. 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
God in Islam ( ar, ٱللَّٰه, Allāh, contraction of '' al- ’Ilāh'', lit. "the God") is seen as the eternal creator and sustainer of the universe, who will eventually resurrect all humans. In Islam, God is conceived as a perfect ...
, including unity, simplicity, immateriality, intellect, power, generosity, and goodness.
Historian of philosophy
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some ...
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. It was enthusiastically received and repeated (sometimes with modification) by later philosophers, including generations of Muslim philosophers, Western Christian philosophers such as
Thomas Aquinas
Thomas Aquinas, OP (; it, Tommaso d'Aquino, lit=Thomas of Aquino; 1225 – 7 March 1274) was an Italian Dominican friar and priest who was an influential philosopher, theologian and jurist in the tradition of scholasticism; he is known wi ...
and
Duns Scotus
John Duns Scotus ( – 8 November 1308), commonly called Duns Scotus ( ; ; "Duns the Scot"), was a Scottish Catholic priest and Franciscan friar, university professor, philosopher, and theologian. He is one of the four most important ...
, and Jewish philosophers such as
Maimonides
Musa ibn Maimon (1138–1204), commonly known as Maimonides (); la, Moses Maimonides and also referred to by the acronym Rambam ( he, רמב״ם), was a Sephardic Jewish philosopher who became one of the most prolific and influential Torah ...
.
Critics of the argument include
Averroes, who objected to its methodology,
Al-Ghazali
Al-Ghazali ( – 19 December 1111; ), full name (), and known in Persian-speaking countries as Imam Muhammad-i Ghazali (Persian: امام محمد غزالی) or in Medieval Europe by the Latinized as Algazelus or Algazel, was a Persian polymat ...
, 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.
Origin
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''). It is also present in BookII, Chapter12 of the ''Book of Salvation'' (''Kitab al-najat'') and throughout the
''Metaphysics'' section of the ''
Book of Healing
''The Book of Healing'' (; ; also known as ) is a scientific and philosophical encyclopedia written by Abu Ali ibn Sīna (aka Avicenna) from medieval Persia, near Bukhara in Maverounnahr. He most likely began to compose the book in 1014, comp ...
'' (''al-Shifa''). 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. 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". According to the professor of Islamic philosophy
Shams C. Inati
Shams C. Inati is a professor in the Department of Theology and Religious Studies, the Center for Arab and Islamic Studies, and the Department of Philosophy at Villanova University. She has authored many works and has translated numerous Arabic ph ...
, by "the truthful" Avicenna means the
philosophers, and the "group of people" means the
theologians
Theology is the systematic study of the nature of the divine and, more broadly, of religious belief. It is taught as an academic discipline, typically in universities and seminaries. It occupies itself with the unique content of analyzing the s ...
and others who seek to demonstrate God's existence through his creations. The proof then became known in the Arabic tradition as the "Proof of the Truthful" (''burhan al-siddiqin'').
Argument
The necessary existent
Avicenna distinguishes between a thing that needs an external cause in order to exista ''
contingent
Contingency or Contingent may refer to:
* Contingency (philosophy), in philosophy and logic
* Contingency plan, in planning
* Contingency table, in statistics
* Contingency theory, in organizational theory
* Contingency theory (biology) in evoluti ...
thing''and a thing that is guaranteed to exist by its
essence or intrinsic naturea ''necessary existent''. The argument tries to prove that there is indeed a necessary existent. 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. Because this seemed to lead to an
infinite regress
An infinite regress is an infinite series of entities governed by a recursive principle that determines how each entity in the series depends on or is produced by its predecessor. In the epistemic regress, for example, a belief is justified beca ...
,
cosmological argument
A cosmological argument, in natural theology, is an argument which claims that the existence of God can be inferred from facts concerning causation, explanation, change, motion, contingency, dependency, or finitude with respect to the universe o ...
s before Avicenna concluded that some necessary cause (such as God) is needed to end the infinite chain. However, Avicenna's argument does not preclude the possibility of an infinite regress.
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. 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. 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.
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
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
a
set
Set, The Set, SET or SETS may refer to:
Science, technology, and mathematics Mathematics
*Set (mathematics), a collection of elements
*Category of sets, the category whose objects and morphisms are sets and total functions, respectively
Electro ...
of numbers is not a number. Therefore, the objection goes, the step in the argument that assumes that the collection of contingent things is also contingent, is wrong. 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".
From the necessary existent to God
The limitation of the argument so far is that it only shows the existence of a necessary existent, and that is different from showing the existence of God as worshipped in Islam. An atheist might agree that a necessary existent exists, but it could be the universe itself, or there could be many necessary existents, none of which is God. Avicenna is aware of this limitation, and his works contain numerous arguments to show the necessary existent must have the attributes associated with God identified in Islam.
For example, Avicenna gives a philosophical justification for the Islamic doctrine of
tawhid
Tawhid ( ar, , ', meaning "unification of God in Islam ( Allāh)"; also romanized as ''Tawheed'', ''Tawhid'', ''Tauheed'' or ''Tevhid'') is the indivisible oneness concept of monotheism in Islam. Tawhid is the religion's central and single ...
(oneness of God) by showing the uniqueness and simplicity of the necessary existent. He argues that the necessary existent must be unique, using a
proof by contradiction
In logic and mathematics, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Proof by contradiction is also known as ...
, or ''reductio'', showing that a contradiction would follow if one supposes that there were more than one necessary existent. If one postulates two necessary existents, A and B, a simplified version of the argument considers two possibilities: if A is distinct from B as a result of something implied from necessity of existence, then B would share it, too (being a necessary existent itself), and the two are not distinct after all. If, on the other hand, the distinction resulted from something not implied by necessity of existence, then this individuating factor will be a cause for A, and this means that A has a cause and is not a necessary existent after all. Either way, the opposite proposition resulted in contradiction, which to Avicenna proves the correctness of the argument. Avicenna argued that the necessary existent must be simple (not a composite) by a similar ''reductio'' strategy. If it were a composite, its internal parts would need a feature that distinguishes each from the others. The distinguishing feature cannot be solely derived from the parts' necessity of existence, because then they would both have the same feature and not be distinct: a contradiction. But it also cannot be
accidental, or requiring an outside cause, because this would contradict its necessity of existence.
Avicenna derives other attributes of the necessary existent in multiple texts in order to justify its identification with God. He shows that the necessary existent must also be immaterial,
intellective, powerful, generous, of pure good (''khayr mahd''), willful (''irada''), "wealthy" or "sufficient" (''ghani''), and self-subsistent (''qayyum''), among other qualities. These attributes often correspond to the
epithets of God found in the Quran. In discussing some of the attributes' derivations, Adamson commented that "a complete consideration of Avicenna's derivation of all the attributes ... would need a book-length study". In general, Avicenna derives the attributes based on two aspects of the necessary existent: (1)its necessity, which can be shown to imply its sheer existence and
a range of negations (e.g. not being caused, not being multiple), and (2)its status as a cause of other existents, which can be shown to imply a range of positive relations (e.g. knowing and powerful).
Reaction
Reception
Present-day
historian of philosophy
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some ...
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. 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. 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. Outside the Muslim tradition, it is also "enthusiastically" received, repeated, and modified by later philosophers such as
Thomas Aquinas
Thomas Aquinas, OP (; it, Tommaso d'Aquino, lit=Thomas of Aquino; 1225 – 7 March 1274) was an Italian Dominican friar and priest who was an influential philosopher, theologian and jurist in the tradition of scholasticism; he is known wi ...
(1225–1274) and
Duns Scotus
John Duns Scotus ( – 8 November 1308), commonly called Duns Scotus ( ; ; "Duns the Scot"), was a Scottish Catholic priest and Franciscan friar, university professor, philosopher, and theologian. He is one of the four most important ...
(1266–1308) of the
Western Christian tradition, as well by Jewish philosophers such as
Maimonides
Musa ibn Maimon (1138–1204), commonly known as Maimonides (); la, Moses Maimonides and also referred to by the acronym Rambam ( he, רמב״ם), was a Sephardic Jewish philosopher who became one of the most prolific and influential Torah ...
(d.1204).
Adamson said that one reason for its popularity is that it matches "an underlying rationale for many people's belief in God", which he contrasted with
Anselm's
ontological argument
An ontological argument is a philosophical argument, made from an ontological basis, that is advanced in support of the existence of God. Such arguments tend to refer to the state of being or existing. More specifically, ontological arguments ...
, formulated a few years later, which read more like a "clever trick" than a philosophical justification of one's faith. 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").
Criticism
The Islamic
Andalusi The Arabic '' nisbah'' (attributive title) Al-Andalusi denotes an origin from Al-Andalus. Al-Andalusi may refer to:
* Abu Hayyan al-Gharnati
* Ibn Hazm
* Ibn Juzayy
* Ibn 'Atiyya
* Said Al-Andalusi
* Yaʿīsh ibn Ibrāhīm al-Umawī
See also
* A ...
philosopher
Averroes or Ibn Rushd (11261198) 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
Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...
, and not on metaphysical reflections as in the "Proof of the Truthful". Other Muslim philosophers such as
Al-Ghazali
Al-Ghazali ( – 19 December 1111; ), full name (), and known in Persian-speaking countries as Imam Muhammad-i Ghazali (Persian: امام محمد غزالی) or in Medieval Europe by the Latinized as Algazelus or Algazel, was a Persian polymat ...
(10581111) 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. Al-Ghazali disputed this as incompatible with the concept of God's untrammelled free will as taught in Al-Ghazali's
Asharite
Ashʿarī theology or Ashʿarism (; ar, الأشعرية: ) is one of the main Sunnī schools of Islamic theology, founded by the Muslim scholar, Shāfiʿī jurist, reformer, and scholastic theologian Abū al-Ḥasan al-Ashʿarī in the ...
theology. 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.
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 attribute 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. 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.
Classification
German philosopher
Immanuel Kant
Immanuel Kant (, , ; 22 April 1724 – 12 February 1804) was a German philosopher and one of the central Enlightenment thinkers. Born in Königsberg, Kant's comprehensive and systematic works in epistemology, metaphysics, ethics, and ...
(17241804) divided arguments for the existence of God into three groups:
ontological,
cosmological, or
teleological. 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"). Scholars Herbert A. Davidson, Lenn E. Goodman, Michael E. Marmura, M. Saeed Sheikh, and
Soheil Afnan Soheil Muhsin Afnan (Persian language, Persian/ Arabic language, Arabic: ) (b. 1904 - d. 1990) was a scholar of Philosophy, Arabic, Persian, and Greek whose intellectual works included translations of Greek texts into Persian as well as the publicat ...
argued that it was cosmological. 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. Others, including Parviz Morewedge,
Gary Legenhausen
Gary Carl (Muhammad) Legenhausen (born May 3, 1953 in New York City) is an American philosopher who teaches at the Imam Khomeini's Educational and Research Institute, which was directed by Mohammad-Taqi Mesbah-Yazdi.
He converted to Islam in 1983 ...
,
Abdel Rahman Badawi, Miguel Cruz Hernández, and
M. M. Sharif, argued that Avicenna's argument was ontological. 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
he Necessary Existent" Steve A. Johnson and Toby Mayer said the argument was a hybrid of the two.
References
Footnotes
Bibliography
*
*
*
*
Preliminary proof is available at McGinnis' website
*
*
{{philosophy of religion, state=collapsed
Arguments for the existence of God
Avicenna