The Argument from Contingency and Necessity (burhān al-imkān wa-l-wujūb) is Ibn Sīnā's foundational proof of God's existence, developed most systematically in the Shifāʾ (especially the Ilāhiyyāt) and the Najāt. The argument turns on a fundamental ontological distinction: every existing thing is either necessary in itself (wājib al-wujūd bi-dhātihi) or contingent in itself (mumkin al-wujūd bi-dhātihi). A contingent being is one whose essence does not require it to exist; its existence is therefore caused by something other than itself. Through analysis of the structure of contingent and necessary existence, the argument concludes that there must exist a being whose essence is identical with its existence — a necessary being that grounds the contingent order.
The argument exploits Ibn Sīnā's celebrated distinction between essence (māhiyya) and existence (wujūd). For all contingent things, essence and existence are conceptually distinct: one can know what something is without knowing whether it exists. This distinction does not hold for the necessary being, whose essence simply is to exist. Ibn Sīnā then argues that the chain of contingent beings, each requiring an external cause, cannot constitute a self-sustaining whole. Even if such a chain were infinite, the totality remains contingent and requires explanation outside itself. Only a being necessary in itself can terminate the explanatory chain. This argument shaped subsequent metaphysics across the medieval period, influencing Aquinas's Third Way and Duns Scotus's modal proof, and providing the conceptual machinery later inherited by Leibniz.
The argument has been examined extensively in classical and modern scholarship. Within the Islamic tradition, Ibn Rushd subjected Ibn Sīnā's metaphysics to sharp criticism in the Tahāfut al-Tahāfut, questioning whether the essence/existence distinction operates as Ibn Sīnā claims. Al-Ghazālī, in Tahāfut al-Falāsifa, attacked Ibn Sīnā's broader Aristotelian commitments while accepting much of his metaphysical analysis. Contemporary scholars including Robert Wisnovsky, Peter Adamson, and Damien Janos have analyzed the argument's logical structure and its relation to both Aristotelian and Neoplatonic sources. Critics today raise concerns parallel to those raised against the Contingency Argument generally: whether the move from contingent parts to a contingent whole is sound, and whether the necessary being established is identifiable with the traditional God of theism.
Among other formulations in the cosmological family, the burhān al-imkān wa-l-wujūb is closely paired with Ibn Sīnā's burhān al-ṣiddīqīn, sharing the modal categories but differing in starting point — this argument begins from the contingency of beings, while the ṣiddīqīn version begins from existence itself. It is the direct historical ancestor of the Thomistic Third Way and of Leibniz's contingency reasoning. It differs from the Kalam version, which depends on temporal beginning rather than modal contingency. The contemporary analytic Contingency Argument is in many respects a Western descendant of this Avicennian argument, refined through the resources of modern modal logic.