The Rule of Existence (Assumption/Entailment) and Logical Consequence On Ibn Sīnā’s Thesis

Document Type : Scholarly Article

Author

Associate Professor of the Department of Philosophy, Tarbiat Modares University, Tehran, Iran.

Abstract

The rule of assumption/entailment has been articulated in Islamic philosophy at least in two ways: (1) a's being b assumes/entails a's existence; (2) that a is b is true entails that a exists is true. Ibn Sina explores this rule in the latter form in logic (Kītāb al-‘ibāra). I call this form the rule of existence. I argue that for Ibn Sina the rule of existence is not a logical rule but a metaphysical entailment. To this end, I first abstract a definition of logical consequence from Ibn Sina’s considerations on the subject, using contemporary tools of logic. I then show that, according to this definition, the rule of existence is not logical. After that, I argue that based on my interpretation of Ibn Sina’s thesis, a number of formalizations of his categorical propositions that are popular in contemporary literature, are fundamentally mistaken. Moreover, I show how my interpretation of Ibn Sina can accommodate almost all the logical rules that he has already confirmed, especially the rule of contraposition. Based on exegetical considerations, I argue that Ibn Sina believes in the non-uniformity of the analysis of propositions. From this, I argue that the rule of contraposition proves to be valid.

Keywords

Main Subjects

References

  1. Ibn Sīnā (1952). The Cure, Logic 3, Al-Ibāra. Cairo: Dār al-Kātib al-‘arabī.
  2. Ibn Sīnā (1960). The Cure, al-Ilāhīyat. Cairo: Dār al-Kātib al-‘arabī.
  3. Ibn Sīnā (1964). The Cure, Logic 4, al-Qīyās. Cairo: Dār al-Kātib al-‘arabī.
  4. Ibn Sīnā (1985). Salvation. Edited by M. T. DaneshPazhouh. Tehran: Tehran University Press.
  5. Ibn Sīnā (2002). Pointers and Reminders. Edited by M. Zarei. Qom: Bustan Ketab.
  6. Ibn Sīnā (2015). Daneshnameh ‘alāyī. Edited by M. Moin, S. M. Meshkat, T. Binesh. Tehran: Mawla.
  7. Hosseini, D. (2023). Assumption or entailment? A false dilemma; Interpreting Mirdamad’s thesis from a logical point of view. Sophia Perennis, 44. Pp. 57-77.
  8. Hosseini Sangchal, S. A. (2022). The rule of subordination in Davani’s intellectual organization. History of Islamic Philosophy, 1. Pp. 75-102.
  9. Soleimani Amiri, A. (1999). Ghaedeye Fariat va Soboot al-Sabet. Marifat, 29. Pp. 26-35.
  10. Soleimani Amiri, A. (2001). Ghaedeye Fariat va Vojude Mahmuli. Kheradname-ye Sadra, 23. Pp. 26-35.
  11. Soleimani Amiri, A. (2007). Chistiye Qaedeye Fariat. Ma’arif Aghli, 6. Pp. 95-108.
  12. Fallahi, A. (2007). Suratbandiye Jadidi az Ghazayaye Haghighiye va Kharejiye. Ayeneh Ma‘refat, 11. Pp. 31-60.
  13. Fallahi, A. (2008). Ghaedeye Farie dar Manteghe Jadid, Gozareshi Enteghadi az Nezae Panjahsale Manteghe Ghadim va Jadid Darbareye Pishfarze Vojudi dar Iran. Ayeneh Ma‘refat, 15. Pp. 41-66.
  14. Fallahi, A. (2009). Nasazgarie Ghaedeye Farie va Akse Naghiz. Kheradname-ye Sadra, 58. Pp. 98-117.
  15. Fallahi, A. (2010a). Ghazieye Kharejiye dar Manteghe Hazfe Inhamani va Manteghe Martabeye Dovome Henkin. Marifat-i Falsafi, 28, pp. 39-56.
  16. Fallahi, A. (2010b). Logics Based on Contraposition. Logical Investigations, 1. Pp. 113-142.
  17. Fallahi, A. (2016). Comparative Logic. Tehran: SAMT.
  18. Kiankhah, L., Akbarian, R., Saeedimehr, M. (2012). Tarif va Mozue Mabadattabia az Didgahe Ibn Sīnā, Barrasie Tasire Resaleye Aghraze Mabadattabia Fārābī, Avicennian Philosophy, 47. Pp. 27-51.
  19. Mosahab, G. (1955). Madkhale Manteghe Surat. Tehran: Tehran University Press.
  20. Vahid, H. (1988). Model va Surate Mantegh. Farhang, 2(3). Pp. 575-589.
  21. Etchemendy, J. (1999). The Concept of Logical Consequence. Mass: Harvard University Press.
  22. Fallahi, A. (2019). Fārābī and Avicenna on Contraposition. History and Philosophy of Logic, 40(1). 22-41.
  23. Hodges, W. (2012). Affirmative and negative in Ibn Sīnā, in C. D. Novaes and O. T. Hjortland (eds.), Insolubles and Consequences: Essays in Honour of Stephen Read, London: College Publications, 119-134.
  24. Yi, B. (2021). Categorical propositions and existential import: A postmodern perspective, History and Philosophy of Logic, 42, 307-373.
  25. Yi, B. (manuscript). Al-Fārābī and Existential Import.
  26. Zolghadr, B. (2021). How to Abū Hāšim Meinong. The Monist, 14(3). 300-318.

Files

Share

How to cite

Statistics