Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic

The 11th century Arabic-Persian logician Ibn Sīnā (Avicenna) in Sect. 9.6 of his book Qiyās gives what appears to be a proof search algorithm for syllogisms. We confirm that it is indeed a proof search algorithm, by extracting all the essential ingredients of an Abstract State Machine from Ibn Sīnā's text. The paper also contains a translation of the passage from Ibn Sīnā's Arabic, and some notes on the text and translation.

[1]  Egon Börger,et al.  A Mathematical Definition of Full Prolog , 1995, Sci. Comput. Program..

[2]  D. H. Mellor,et al.  Foundations: Essays in Philosophy, Logic, Mathematics and Economics , 2008 .

[3]  Charles Wallace,et al.  Can abstract state machines be useful in language theory? , 2006, Theor. Comput. Sci..

[4]  N. Biggs,et al.  Graph Theory 1736-1936 , 1976 .

[5]  Angelo Gargantini,et al.  Abstract State Machines 2003 , 2003, Lecture Notes in Computer Science.

[6]  Egon Börger,et al.  Abstract State Machines , 2003 .

[7]  T. Street.  An Outline of Avicennas Syllogistic , 2002 .

[8]  E. Zermelo.  Untersuchungen über die Grundlagen der Mengenlehre. I , 1908 .

[9]  D. Babut.  Alcinoos. — Enseignement des doctrines de Platon. Introduction, texte établi et commenté par John Whittaker, et traduit par Pierre Louis, 1990. (Collection des Universités de France, publiée sous le patronage de l'Ass. G. Budé) , 1991 .

[10]  Robin Smith,et al.  Aristotle, Prior Analytics , 1989 .

[11]  R. Dozy.  Supplément aux dictionnaires arabes , 1991 .

[12]  E. Heine,et al.  Untersuchungen über die Reihe . , 1847 .

[13]  S. Ebbesen.  Commentators and commentaries on Aristotle's Sophistici Elenchi , 1981 .

[14]  R. Rashed,et al.  Al-Khwārizmī : le commencement de l'algèbre , 2007 .

[15]  K. Versteegh.  Landmarks in Linguistic Thought Volume III: The Arabic Linguistic Tradition , 1997 .

[16]  R. Petit.  A Tutorial Introduction , 1980 .

[17]  Egon Börger,et al.  Abstract State Machines , 2003 .

[18]  Pierre Albinus,et al.  Enseignement des Doctrines de Platon , 1990 .

[19]  J. Philoponus,et al.  Ioannis Philoponi in Aristotelis Analytica priora commentaria , 1905 .

[20]  D. Gutas.  Avicenna and the Aristotelian Tradition: Introduction to Reading Avicenna's Philosophical Works , 1991 .

[21]  R. Stärk,et al.  Abstract State Machines , 2003, Springer Berlin Heidelberg.

[22]  Wilfrid Hodges,et al.  Traditional Logic, Modern Logic and Natural Language , 2009, J. Philos. Log..

[23]  Aristotle,et al.  Aristotle's Prior and Posterior Analytics , 1949 .