A Critique of the Conceptual Foundations of the Formulation of Ibn Sīnā’s Burhān al-Ṣiddīqīn in al-Najāt

Document Type : Scholarly Article

Authors
ُSajjad Ziaenejad 1
Ghasem Kakaie 2
Mohammad Bagher Abbasi 3
1 PhD student in Islamic Philosophy and Theology, Shiraz University, Shiraz, Iran
2 Professor, Department of Islamic Philosophy and Theology, Shiraz University, Shiraz, Iran.
3 Professor, Department of Islamic Philosophy and Theology, Shiraz University, Shiraz, Iran
10.30497/ap.2026.249491.1773
Abstract
In this study, the conceptual principles underlying the logical formalization of Avicenna’s Proof of the Truthful (Burhān al-Ṣiddīqīn) in the Kitāb al-Najāt are subjected to a critical re-examination using first-order predicate logic, with reference to two articles by Ranjbar and colleagues. The author maintains that the conceptual principles of the proof—among them the concepts of existence, necessity, possibility, causality, and the causal series—require a deeper analysis. In the analysis of the concept of existence, it is shown in the first article that failing to adopt a correct stance regarding quantifiers can undermine the truth of some premises and the conclusion of the proof. Moreover, the position adopted by the authors in the second article, given their analysis of the concept of “Necessary Existent,” leads to the invalidation of the proof. This is because, in that case, the conclusion of the proof is imposed upon it as a linguistic presupposition, and, in effect, formulating the negation of the conclusion within the language becomes impossible. An analysis of the concepts of the Necessary Existent and the Possible Existent reveals that the definitions provided are neither exhaustive of instances nor exclusive of non-instances, and that without offering an analysis of the second-order predicates of necessity and possibility, resolving this problem is impossible. Finally, it is shown that the predicate of causality can be presented with a higher degree of analysis, such that—while satisfying the necessary conditions—it is also possible to arrive at sufficient conditions in its definition. Regarding the concept of the complete causal series of possible beings, certain objections are raised, including the failure of the analysis of the complete causal series to exclude the inclusion of an empty series; these objections are addressed by offering alternative analyses.
Keywords
Burhān al-Ṣiddīqīn
Ibn Sīnā
predicate logic
Necessary Existent
causality
Subjects
References
 
Ibn Sīnā, Ḥ. ibn ʿA. (1997). Ilāhiyyāt min Kitāb al-Shifāʾ. Daftar-e Tablīghāt-e Eslāmī, Ḥawza-ye ʿElmiya-ye Qom.
Ibn Sīnā, Ḥ. ibn ʿA. (2002). al-Ishārāt wa al-Tanbīhāt. Bustān-e Ketāb Institute.
Ibn Sīnā, Ḥ. ibn ʿA. (1984). al-Taʿlīqāt. Markaz-e Eʿlām al-Eslāmī. (1404 AH)
Ibn Sīnā, Ḥ. ibn ʿA. (2004). al-Mabdaʾ wa al-Maʿād. Mo’assese-ye Moṭāleʿāt-e Eslāmī.
Ibn Sīnā, Ḥ. ibn ʿA. (1985). al-Najāt. University of Tehran.
Ibn Sīnā, Ḥ. ibn ʿA. (2003). Dāneshnāmeh-ye ʿAlāʾī – Section on Theology. Bu-Ali Sina University of Hamedan.
Javadi Amoli, ʿA., & Pārsāniyā, H. (2014). Rahiq Makhtum: Sharḥ-e Ḥekmat-e Motaʿāliyeh. Asrā Publications.
Ranjbar, H., Saʿīdīmehr, M., & Ḥoseyni, D. (2013). The logical formulation of Ibn Sīnā’s Burhān al-Ṣiddīqīn in al-Najāt based on first-order predicate logic. Hikmat-e Sinavī, 50, 17–40.
Ranjbar, H., Fallāḥi, A., & Ḥoseyni, D. (2014). A reconsideration of Avicenna’s Burhān al-Ṣiddīqīn in al-Najāt. Hikmat-e Sinavī, 52, 25–38.
Saʿīdīmehr, M. (1997). Theory of predicational relation. Keyhān-e Andisheh, 74, 74–89.
Zohayri, M. (2006). Modern logic and theology (Application of new logical systems to theological problems). Qabasāt, 41, 25–39.
Fallāḥi, A. (2009). Analysis of external propositions with the predicate of existence. Maʿrefat-e Falsafi, 23, 51–76.
Fallāḥi, A. (2016). Mantiq-e Tatbīqī. SAMT.
Karimī, S., & Saʿīdīmehr, M. (2019). Essence in Ibn Sīnā’s philosophy. Shenākht, 80, 179–212.
Nabavī, L. (2017). Mabānī-ye Mantiq-e Falsafī (Foundations of Philosophical Logic). Tarbiat Modarres University Press.