Skip to main content



Ibn Sīnā (11th century, greater Persia) proposed an analysis of arguments by reductio ad absurdum. His analysis contains, perhaps for the first time, a workable method for handling the making and discharging of assumptions in a formal proof. We translate the relevant text of Ibn Sīnā and put his analysis into the context of his general approach to logic.

Corresponding author
Hide All
Arnauld A. & Nicole P. (1664). La Logique, ou l’Art de Penser. Paris: Charles Savreux.
Barnes J. (1984). The Complete Works of Aristotle, Vol. 1. Princeton, NJ: Princeton University Press.
Besthorn R. & Heiberg J. (1893). Codex Leidensis 339, 1: Euclidis Elementa Ex Interpretatione Al-Hadschdschadschii cum Commentariis Al-Narizii. Copenhagen: Hegel and Son.
Burleigh W. (1955). De Puritate Artis Logicae Tractatus Longior with a Revised Edition of the Tractatus Brevior. Boehner P., editor. St. Bonaventure, NY: The Franciscan Institute.
De Morgan A. (1836). The Connexion of Number and Magnitude: An Attempt to Explain the Fifth Book of Euclid. London: Taylor and Walton.
Frege G. (1893). Grundgesetze der Arithmetik I. Jena: Pohle.
Frege G. (1969). Logik in der Mathematik. In Hermes H. et al., editors. Nachgelassene Schriften. Hamburg: Meiner. pp. 219270.
Frege G. (1906). Über die Grundlagen der Geometrie. Jahresbericht der Deutschen Mathematikervereinigung, 15, 293309, 377–403, 423–430.
Gutas D. (2014). Avicenna and the Aristotelian Tradition: Introduction to Reading Avicenna’s Philosophical Works (second edition). Leiden: Brill.
Gutas D. (2012). The empiricism of Avicenna. Oriens, 40, 391436.
Hasnawi A. & Hodges W. (2016). Arabic logic up to Avicenna. In Dutilh C. and Read S., editors. Companion to Medieval Logic. Cambridge: Cambridge University Press, pp. 4566.
Hodges W. (2008). Tarski’s theory of definitions. In Patterson D., editor. New Essays on Tarski and Philosophy. Oxford: Oxford University Press, pp. 94132.
Hodges W. (2009). Traditional logic, modern logic and natural language. Journal of Philosophical Logic, 38, 589606.
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. and Reisig W. editors. Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday. Lecture Notes in Computer Science, Vol. 6300. Berlin: Springer-Verlag, pp. 354404.
Hodges W. (2011). Ibn Sina and conflict in logic. In DeVidi D., Hallett M. and Clark P., editors. Logic, Mathematics, Philosophy: Vintage Enthusiasms, Essays in Honour of John L. Bell. Western Ontario Series in Philosophy of Science. Dordrecht: Springer-Verlag, pp. 3567.
Hodges W. (2012). Affirmative and negative in Ibn Sina. In Dutilh C. and Hjortland O., editors. Insolubles and Consequences: Essays in Honour of Stephen Read. London: College Publications, pp. 119134.
Hodges W. (2015). Notes on the history of scope. In Hirvonen A. Kontinen J., Kossak R. and Villaveces A., editors. Logic Without Borders. Berlin: De Gruyter, pp. 215240.
Hodges W. (201-). Proofs as cognitive or computational: Ibn Sīnā’s innovations. Philosophy and Technology, submitted.
Sīnā Ibn (1910). Manṭiq al-mashriqiyyīn. Cairo: al-Maktaba al-Salafiyya.
Sīnā Ibn (1964). Al-qiyās. Zayed S., editor. Cairo: al-Hay’a al- c Āmma li-Shu’ūn al-Maṭābi c al-Amīriyya.
Sīnā Ibn (2000). Al-’ishārāt wal-tanbīhāt. Zāre c ī, M., editor. Qum: Būstān-e Ketab-e Qom.
Inati S. (1984). Ibn Sīnā Remarks and Admonitions, Part One: Logic. Toronto, ON: Pontifical Institute of Mediaeval Studies.
Marenbon J. (editor) (2012). The Oxford Handbook of Medieval Philosophy. Oxford: Oxford University Press.
Philoponus (1905). In Aristotelis Analytica Priora Commentaria. Wallies M., editor. Berlin: Reimer.
Al-Sakkākī (1987). Miftāḥ al- c ulūm. Zarzūr N., editor. Beirut: Dār al-Kutub al- c Ilmiyya.
Shehaby N. (1973). The Propositional Logic of Avicenna. Dordrecht: Reidel.
Tarski A. (1931). Sur les ensembles définissables de nombres réels I. Fundamenta Mathematicae, 17, 210239.
Zimmermann F. (1981). Al-Farabi’s Commentary and Short Treatise on Aristotle’s De Interpretatione. Oxford: British Academy and Oxford University Press.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 59 *
Loading metrics...

Abstract views

Total abstract views: 247 *
Loading metrics...

* Views captured on Cambridge Core between 17th October 2016 - 23rd November 2017. This data will be updated every 24 hours.