Skip to main content
×
Home

IBN SĪNĀ ON REDUCTIO AD ABSURDUM

Abstract
Abstract

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.

Copyright
Corresponding author
*HERONS BROOK, STICKLEPATH OKEHAMPTON, DEVON EX20 2PY, UK E-mail: wilfrid.hodges@btinternet.com
References
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? *
×

Metrics

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.