Abstract
We record the advances made by the eleventh century Persian logician Ibn Sina—known in the West as Avicenna—away from a purely cognitive view of proofs and towards a more computational view, and the kinds of consideration that led him to these advances. Some of Ibn Sina’s new logics, which stand somewhere between Aristotle’s categorical syllogisms and modern first-order logic, can serve as a kind of laboratory for testing what are the differences between Aristotelian and modern logic, and where these differences come from.
Similar content being viewed by others
References
Akasoy, A., & Fidora, A. (2008). Ibn Sab cı̄n and Raimundus Lullus—the question of the Arabic sources of Lullus’ logic revisited. In Akasoy, A., & Raven, W. (Eds.) Islamic Thought in the Middle Ages: Studies in Text, Transmission and Translation, in Honour of Hans Daiber (pp. 433–458). Leiden: Brill.
Al-Fārābı̄. (1968). Kitāb al-alfāẓ al-musta c malati fı̄ al-manṭiq (Book of expressions used in logic). Muḥsin Mahdı̄ (Ed.) Beirut: Dār al-Mašriq.
Al-Fārābı̄ (1986). Kitāb al-qiyās and Kitāb al-qiyās al-ṣagı̄r, Al-Fārābı̄, al-Manṭiq c inda l-Fārābı̄, al- c Ajam, R. (Ed.) (Vol. 2 pp. 11–64 and 65–93). Beirut: Dār al-Mashriq.
Al-Fārābı̄ (1988). Al-manṭiqiyāt lil-fārābı̄ Vol.2 Al-shurūḥ al-manṭiqiyya, ed. Dānishpazhūh, M.T. Qum: Maktabat Ayat Allah.
Aristotle, De Anima, & Ross, W.D. (1956). London: Oxford University Press.
Börger, E., Grädel, E., & Gurevich, Y. (1997). The Classical Decision Problem, Perspectives in Mathematical Logic. Berlin: Springer.
Chatti, S. (2016). Existential import in Avicenna’s modal logic. Arabic Sciences and Philosophy, 26, 45–71.
Chatti, S. (2016). Avicenna (Ibn Sina): logic, Internet Encyclopedia of Philosophy, http://www.iep.utm.edu/av-logic/ (retrieved 30 August).
Descartes, R. (1997). Key Philosophical Writings, trans. Haldane, E.S., & Ross, G.R.T. (Eds.), Enrique Chávez-Arvizo, Wordsworth.
Frege, G. (1998). Grundgesetze der Arithmetik I/II. Hildesheim: Olms.
Giolfo, M.E.B., & Hodges, W. (2016). The System of the Sciences of Language by Sakkākı̄: Logic as a Complement of Rhetoric. In Sartori, M., & et al. (Eds.) Approaches to the History and Dialectology of Arabic, in Honour of Pierre Larcher (pp. 242–266). Brill: Leiden.
Gutas, D. (2014). Avicenna and the Aristotelian Tradition: Introduction to Reading Avicenna’s Philosophical Works, 2nd Edn. Leiden: Brill.
Hodges, W. (2009). Traditional logic, modern logic and natural language. Journal of Philosophical Logic, 38, 589–606.
Hodges, W. (2010). How Boole broke through the top syntactic level. In Charalambous, H., & et al. (Eds.) Proceedings of the History of Modern Algebra: 19th Century and Later Conference (pp. 73–81). Thessaloniki: Aristotle University of Thessaloniki.
Hodges, W. (2010). Ibn Sina on analysis: 1. Proof search. Or: Abstract State Machines as a tool for history of logic. In Blass, A. , Dershowitz, N., & Reisig, W. (Eds.) Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday. Lecture Notes in Computer Science 6300 (pp. 354–404). Heidelberg: Springer.
Hodges, W. (2012). Affirmative and negative in Ibn Sina. In Insolubles and Consequences: Essays in honour of Stephen Read, ed.Catarina Dutilh Novaes and Ole Thomassen Hjortland (pp. 119–134). London: College Publications.
Hodges, W. Ibn Sı̄nā on reductio ad absurdum, Review of Symbolic Logic. doi:10.1017/S1755020316000290, to be appear in print in 2017.
Hodges, W. (2015). The move from one to two quantifiers. In Koslow, A., & Buchsbaum, A. (Eds.) The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau, (Vol. 1 pp. 221–240). Basel: Birkhäuser.
Hodges, W. (2014). Ibn Sı̄nā states and applies properties of temporal logic, text of talk to SIHSPAI Paris, preprint online at wilfridhodges.co.uk/arabic39.pdf.
Hodges, W. (2016). Mathematical Background to the Logic of Ibn Sı̄nā, to appear; an incomplete draft is online at wilfridhodges.co.uk/arabic44.pdf.
Hodges, W. (in preparation). A Manual of Ibn Sı̄nā’s Formal Logic, .
Hodges, W., & Johnston, S. Medieval modalities and modern methods: Avicenna and Buridan, IfCoLog Journal of Logics and their Applications, to appear.
Hodges, W., & Moktefi, A. Ibn Sı̄nā and the Practice of Logic, in preparation.
Rušd, I. (1996). Nāṣṣ talḵı̄ṣ manṭiq ’arisṭu, Vol.4 Kitāb ’anālūṭı̄qı̄ al-’awwalu ’aw kitāb al-qiyās. Jı̄rār Jı̄hāmı̄ (Ed.) Beirut: Dār al-Fikr al-Libnānı̄.
Sı̄nā, I. (1951). Al-madḵal (Eisagoge). el-Khodeiri, M., Anawati, G.C., & el-Ahwani, F (Eds.) Cairo: Našr Wizāra al-Ma cārif al- cUmūmiyya.
Sı̄nā, I. (1964). Al-qiyās (Syllogism) Zayed, S. (Ed.): Cairo.
Sı̄nā, I. (2004). Resālah-e manṭegh-e Dāneshnāmeh-ye Alaei Mo cı̄n, M., & Meshkāt, S.M. (Eds.): Hamadan.
Sı̄nā, I. (1910). Mantiq al-Masriqiyyin (Easterners). Cairo: Al-Maktaba al-Salafiyya.
Sı̄nā, I. (2000). Al-išārāt wal-tanbı̄hāt, ed. Mojtaba Zāre c ı̄, Qum Būstān-e Ketab-e Qom, The logical part is translated: Inati, S.C. (1984). Ibn Sı̄nā, Remarks and Admonitions, Part One: Logic, Pontifical Institute of Mediaeval Studies, Toronto.
Sı̄nā, I. (1974). The Life of Ibn Sina. Gohlman, W.E. (Ed.) Albany NY: State University of New York Press.
Zurca, I. (1994). Manṭiq ’ibn zurca. Jı̄rār Jı̄hāmı̄ & Rafı̄q al- cAjam (Eds.) Beirut: Dār al-Fikr al-Libnānı̄.
Jabre, F. (1999). Al-naṣṣ al-kāmil li-manṭiq arisṭū Vol. 2.: Al-jadal and Al-muḡālata, Beirut Dār al-Fikr al-Libnānı̄.
Jabre, F., & et al. (1996). Mawsū cat muṣṭalaḥāt cilm al-manṭiq cinda al- c arab. Beirut: Maktabat Lubnān Nāširūn.
Kilwardby, R. (1976). De Ortu Scientiarum. Judy, A.G. (Ed.) London: British Academy.
Movahed, Z. (2016). Reflections on the Logic of Ibn-Sı̄nā and Suhrawardi. Tehran: Hermes.
Philoponus, J. (1905). In Aristotelis Analytica Priora Commentaria. Wallies, M. (Ed.) Berlin: Reimer.
Street, T. (2004) In Gabbay, D.M., & Woods, J (Eds.), Arabic logic, Handbook of the History of Logic, (pp. 523–596): Elsevier.
Thom, P. (1981). The Syllogism. Munich: Philosophia Verlag.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hodges, W. Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations. Philos. Technol. 31, 131–153 (2018). https://doi.org/10.1007/s13347-016-0242-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13347-016-0242-2