The Hypothetical Logic

  • Saloua ChattiEmail author
Part of the Studies in Universal Logic book series (SUL)


The Arabic logicians include the study of the hypothetical syllogisms in their counterparts of the Prior Analytics, that is, in the treatises called al-Qiyās. In al-Fārābī’s frame, they are also evoked in al-Maqūlāt (the counterpart of the Categories).


  1. 10.
    Al-Fārābī, Abū Naṣr. 1986. Kitāb al-Qiyās. In Al-Manṭiq ‘inda al-Fārābī, vol. 2, ed. Rafik Al Ajam, 11–64. Beirut: Dar el Machriq.Google Scholar
  2. 13.
    Al-Fārābī, Abū Naṣr. 1988. Al-Maqūlāt. In Al-Manṭiqiyāt li-al-Fārābi, vol. 1, texts published by Mohamed Teki Danesh Pazuh, Edition Qom, 41–82.Google Scholar
  3. 15.
    Al-Fārābī, Abū Naṣr. 1988. Kitāb al Qiyās. In Al-Manṭiqiyāt li-al-Fārābi, vol. 1, texts published by Mohamed Teki Danesh Pazuh, Edition Qom, 115–151.Google Scholar
  4. 16.
    Al-Fārābī, Abū Naṣr. 1988. Al-Qiyās al-Ṣaghīr. In Al-Manṭiqiyāt li-al-Fārābi, vol. 1, texts published by Mohamed Teki Danesh Pazuh, Edition Qom, 152–194.Google Scholar
  5. 20.
    Antonelli, Aldo. Non-monotonic logic. In Stanford Encyclopedia of Philosophy, ed. E.N. Zalta.
  6. 24.
    Aristotle. 1991. Prior Analytics. In The complete works of Aristotle, the Revised Oxford Edition, ed. Jonathan Barnes, vol. 1.Google Scholar
  7. 26.
    Averroes. 1982. Talkhīṣ Manṭiq Arisṭu (Paraphrase de la logique d’Aristote), volume 1: Kitāb Al-Maqūlāt, 3–77, Kitāb al-‘Ibāra, 81–141, Kitāb al-Qiyās, 143–366, ed. Gérard Jehamy, Manshūrāt al-Jāmi‛a al-lubnānīya, al-Maktaba al-sharqiyya. Beirut.Google Scholar
  8. 34.
    Avicenna. 1964. Al-Shifā’, al-Manṭiq 4: al-Qiyās, ed. S. Zayed, rev. and intro. I. Madkour. Cairo.Google Scholar
  9. 36.
    Avicenna. 1971. Al-Ishārāt wa l–tanbīhāt, with the commentary of N. Ṭūsi, intro. Dr. Seliman Donya, Part 1, 3rd ed. Cairo: Dar al Ma’arif.Google Scholar
  10. 45.
    Bobzien, Susanne. 2006. Ancient Logic. In Stanford encyclopedia of philosophy, ed. Edward N. Zalta.
  11. 52.
    Chatti, Saloua. 2014. Syncategoremata in Arabic logic, al-Fārābi and Avicenna. History and Philosophy of Logic 35 (2): 167–197.MathSciNetCrossRefGoogle Scholar
  12. 57.
    Chatti, Saloua. 2016. Avicenna (Ibn Sīnā): Logic. Encyclopedia of logic, internet Encyclopӕdia of philosophy. College Publications.
  13. 59.
    Chatti, Saloua. 2017. The semantics and pragmatics of the conditional in al-Farabi’s and Avicenna’s theories. Studia Humana 6 (1): 5–17.CrossRefGoogle Scholar
  14. 60.
    Chatti, Saloua. 2019. Logical consequence in Avicenna’s theory. Logica Universalis 13: 101–133.MathSciNetCrossRefGoogle Scholar
  15. 66.
    Dutilh Novaes, Catarina. 2011. The different ways in which logic is (said to be) formal. History and Philosophy of Logic 32 (4): 303–332.MathSciNetCrossRefGoogle Scholar
  16. 67.
    Dutilh Novaes, Catarina, and Stephen Read. 2016. The cambridge companion to medieval logic. Cambridge University Press.Google Scholar
  17. 71.
    El-Rouayheb, Khaled. 2010. Relational syllogisms and the history of arabic logic, 900–1900. Leiden: Brill.CrossRefGoogle Scholar
  18. 68.
    Edgington, D. 2014. Conditionals. In Stanford encyclopedia of philosophy, ed. E.N. Zalta.
  19. 70.
    El-Rouayheb, Khaled. 2009. Impossible antecedents and their consequences: Some thirteenth-century Arabic discussions. History and Philosophy of Logic 30 (3): 209–225.MathSciNetCrossRefGoogle Scholar
  20. 79.
    Hasnawi, Ahmed, Wilfrid Hodges. 2016. Arabic logic up to Avicenna. In The Cambridge companion to medieval logic, ed. Catarina Dutilh Novaes and Stephen Read, 45–66. Cambridge: Cambridge University Press.Google Scholar
  21. 85.
    Hodges, Wilfrid. 2017. Ibn Sīnā on reductio ad absurdum. The Review of Symbolic Logic 10 (3): 583–601.MathSciNetCrossRefGoogle Scholar
  22. 87.
    Hodges, Wilfrid. 2018. Proofs as cognitive or computational: Ibn Sīnā’s innovations. Philosophy and Technology 31 (1): 131–153.MathSciNetCrossRefGoogle Scholar
  23. 88.
    Hodges, Wilfrid. 2018. Two early Arabic applications of model-theoretic consequence. Logica Universalis 12 (1–2): 37–54.MathSciNetCrossRefGoogle Scholar
  24. 91.
    Hodges, Wilfrid. 2017. Identifying Ibn Sīnā’s hypothetical logic I: Sentences forms. Draft, Nov 2017.Google Scholar
  25. 92.
    Hodges, Wilfrid. forthcoming. Mathematical background to the logic of Avicenna. Available at
  26. 108.
    Lameer, Joep. 1994. Al-Fārābī and aristotelian syllogistics; greak theory and islamic practice. Brill Edition.Google Scholar
  27. 109.
    Largeault, Jean. 1972. Logique mathématique, textes. Paris: Armand Colin.zbMATHGoogle Scholar
  28. 111.
    Łukasiewicz. 1934. Contribution à l’histoire de la logique des propositions. French translation in J. Largeault. 1972. Logique mathématique, textes. Paris: Armand Colin.Google Scholar
  29. 114.
    Marόth, Miklos. 1989. Ibn Sīnā und die peripatetische “Aussagenlogik”. Leiden: Brill.Google Scholar
  30. 119.
    Movahed, Zia. 2009. A critical examination of Ibn Sīnā’s theory of the conditional syllogism, vol. 1, no. 1, published in Sophia Perennis.
  31. 125.
    Rescher, Nicholas. 1963. Studies in the history of Arabic logic. University of Pittsburg Press; Arabic trans. Mohamed Mahrān. 1992. Cairo.Google Scholar
  32. 128.
    Rescher, Nicholas. 2006. Studies in the history of logic. Ontos Verlag.Google Scholar
  33. 129.
    Russell, Bertrand, and Alfred NorthWhitehead. 1973. Principia mathematica. Paperback edition to *56. Cambridge University Press.Google Scholar
  34. 132.
    Shehaby Nabil. 1973. The propositional logic of Avicenna. A translation from al-Shifā al-Qiyās. Dordrecht Holland: Kluwer, D. Reidel.Google Scholar
  35. 134.
    Street, Tony. 1995. Ṭūsī on Avicenna’s logical connectives. History and Philosophy of Logic 16: 257–268.MathSciNetCrossRefGoogle Scholar
  36. 137.
    Street, Tony. 2004. Arabic Logic. In Handbook of the history of logic, vol. 1, ed. Dov Gabbay and John Woods. Elsevier, BV.Google Scholar
  37. 142.
    Strobino, Riccardo. 2018. Ibn Sīnā’s Logic. The Stanford encyclopedia of philosophy.

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Faculty of Human and Social SciencesUniversity of TunisTunisTunisia

Personalised recommendations