Advertisement

Categorical Logic

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

Abstract

The Arabic logicians traditionally divide logic into two parts as witnessed by Tony Street in his article “Arabic and Islamic Philosophy of Language and Logic” ([139]).

References

  1. 1.
    Alexander of Aphrodisias on Aristotle’s Prior Analytics 1.1–7, translation J. Barnes et al., 1991.Google Scholar
  2. 2.
    Al-Fārābī, Abū Naṣr. 1960. Şharh al-Fārābī li kitāb Arisṭūṭālīs fī al-ʻIbāra, 2nd edn, ed. Wilhelm Kutch and Stanley Marrow. Beirut: Dar el-Mashriq.Google Scholar
  3. 3.
    Al-Fārābī, Abū Naṣr. 1968. Iḥṣā al-‛Ulūm, edited and introduced by Uthman Amin, Maktabat al-anjelu al-misriyya, Cairo.Google Scholar
  4. 4.
    Al-Fārābī, Abū Naṣr. 1968. al-Alfāḍ al mustaʻmala fi l-manṭiq, second edition, ed. Mohsen Mahdi. Beirut: Dar el Machriq.Google Scholar
  5. 5.
    Al-Fārābī, Abū Naṣr. 1985. Kitāb al-Tanbīh ‛Ala Sabīl as-Sa‛āda, edited and introduced by Jafar Al Yasin, Dar al-Manahil, Beiruth.Google Scholar
  6. 6.
    Al-Fārābī, Abu Nasr. al-Risālah allatī ṣadara bihā al-Manṭiq (or “al-Tawṭi’a”). In al-Manṭiq ‘inda al-Fārābī, vol. 1, ed. Rafik Al Ajam, 55–62. Beirut: Dar el Machriq.Google Scholar
  7. 7.
    Al-Fārābī, Abū Naṣr. 1986. Al-Fuṣūl al-Khamsa. In al-Manṭiq ‘inda al-Fārābī, vol. 1, ed. Rafik Al Ajam, 65–93. Beirut: Dar el Machriq.Google Scholar
  8. 8.
    Al-Fārābī, Abū Naṣr. 1986. Kitāb al-‘Ibāra. In al-Manṭiq ‘inda al-Fārābī, vol. 1, ed. Rafik Al Ajam, 133–164. Beirut: Dar el Machriq.Google Scholar
  9. 9.
    Al-Fārābī, Abū Naṣr. 1986. Kitāb al-Maqūlāt. In al-Manṭiq ‘inda al-Fārābī, vol. 1, ed. Rafik Al Ajam, 89–132. Beirut: Dar el Machriq.Google Scholar
  10. 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
  11. 11.
    Al-Fārābī, Abū Naṣr. 1986. Kitāb al-Qiyās al-Ṣaghīr ‘alā ṭarīqati al-mutakallimīn. In al Mantiq ‘inda al-Fārābī, vol. 2, ed. Rafik Al Ajam, 65–93. Beirut: Dar el Machriq.Google Scholar
  12. 12.
    Al-Fārābī, Abū Naṣr. 1988. Sharh al--‘Ibāra”. In al-Manṭiqiyāt li-al-Farābi, vol. 2, texts published by Mohamed Teki Danesh Pazuh, Edition Qom, 1409 of Hegira.Google Scholar
  13. 14.
    Al-Fārābī, Abū Naṣr. 1988. al-Qawl fī al-ʻIbāra, in al-Manṭiqiyāt li-al-Fārābi, volume 1, texts published by Mohamed Teki Danesh Pazuh, Edition Qom, 83–114.Google Scholar
  14. 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
  15. 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
  16. 17.
    Al-Fārābī, Abū Naṣr. 1988. Kitāb al-Burhān, in al-Manṭiqiyāt li-al-Fārābī, vol. 1, texts published by Mohamed Teki Danesh Pazuh, Edition Qom, 267–349.Google Scholar
  17. 18.
    Al-Fārābī, Abū Naṣr. 1988. Mā yanbaghī an yuqaddama qabla ta‛allum al-falsafa. In al-Mantiqiyyāt li-al-Fārābī, texts published by Mohamed Teki Danesh Pazuh, Edition Qom, 1–10.Google Scholar
  18. 21.
    Aristote. 1971. Premiers Analytiques, Translated by J. Tricot, Librairie philosophie J. Vrin, Paris.Google Scholar
  19. 22.
    Aristotle. 1991. Categories. In The complete works of aristotle, vol. 1, ed. Jonathan Barnes. The Revised Oxford Edition.Google Scholar
  20. 23.
    Aristotle. 1991. De Interpretatione, in The Complete Works of Aristotle, the Revised Oxford Edition, vol. 1, ed. Jonathan Barnes.Google Scholar
  21. 24.
    Aristotle. 1991. Prior analytics. In The complete works of Aristotle, the Revised Oxford Edition, ed. Jonathan Barnes, vol. 1.Google Scholar
  22. 25.
    Arnault, Antoine, and Pierre Nicole. 1970. La logique ou l’art de penser, Editions Flammarion.Google Scholar
  23. 26.
    Averroes. 1982. Talkhīṣ Manṭiq Arisṭu (Paraphrase de la logique d’Aristote), volume 1: Kitāb Al-Maqūlāt (pp. 3–77), Kitāb al-‘Ibāra (pp. 81–141), Kitāb al-Qiyās (pp. 143–366), ed. by Gérard Jehamy. Manshūrāt al-Jāmi‛a al-lubnānīya, al-Maktaba al-sharqiyya, Beirut.Google Scholar
  24. 31.
    Avicenna. 1910. Manṭiq al-Mashriqiyīn, Muḥyī al-Dīn al Khatīb and ‘Abdelfattāh al Qatlane, Cairo.Google Scholar
  25. 32.
    Avicenna. 1938. al-Najāt, Muḥyi al-Dīn Sabrī al-Kurdī, second edition, Library Mustapha al Bab al Hilbi, Cairo.Avicenna.Google Scholar
  26. 33.
    Avicenna. 1959. al- Shifā’, al-Manṭiq 2: al-Maqūlāt, ed. G. Anawati, M. El Khodeiri, A.F. El-Ehwani, S. Zayed, rev. and intr. by I. Madkour, Cairo.Google Scholar
  27. 34.
    Avicenna. 1964. al-Shifā’, al-Manṭiq 4: al-Qiyās, ed. S. Zayed, rev. and intr. by I. Madkour. Cairo.Google Scholar
  28. 35.
    Avicenna. 1970. al-Shifā’, al-Manṭiq 3: al-‘Ibāra, ed M. El Khodeiri, rev and intr. by I. Madkour, Cairo.Google Scholar
  29. 36.
    Avicenna. 1971. Al-Ishārāt wa l–tanbīhāt, with the commentary of N. Ṭūsi, intr by Dr. Seliman Donya, Part 1, third edition, Cairo: Dar al Ma’arif.Google Scholar
  30. 37.
    Avicenna. 1982. Manṭiq al-Mashriqiyīn, ed. Shokri Najjar, Dār al Ḥadātha, Beirut.Google Scholar
  31. 38.
    Avicenna. 2017. Al-mukhtaṣar al-awsaṭ fī al-manṭiq, ed. Seyyed Mahmoud Yousofsani, Muassasah-i Pizh ūhishī-i Ḥikmat va Falsafan-i Īrān, Tehran (hij. 1396).Google Scholar
  32. 40.
    Badawi, Abderrahman. 1980. Manṭiq Arisṭu, vols. 1 & 2, Beirut: Dar al Kalam.Google Scholar
  33. 44.
    Blanché, Robert. 1970. La logique et son histoire, d’Aristote à Russell. Paris: Armand Colin.Google Scholar
  34. 50.
    Chatti, Saloua. 2012. Logical oppositions in Arabic logic, Avicenna and Averroes. In Around and beyond the square of opposition, ed. J. Y. Béziau, and D. Jacquette. Basel: Springer.CrossRefGoogle Scholar
  35. 51.
    Chatti, Saloua, and Fabien Schang. 2013. The cube, the square and the problem of existential import. History and Philosophy of Logic 34 (2): 101–132.MathSciNetCrossRefGoogle Scholar
  36. 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
  37. 53.
    Chatti, Saloua. 2014. Avicenna on possibility and necessity. History and Philosophy of Logic 35 (4): 332–353.MathSciNetCrossRefGoogle Scholar
  38. 54.
    Chatti, Saloua. 2015. Les carrés d’Avicenne. In Le carré et ses extensions. Approches théoriques, pratiques et historiques, ed. Hmaid Ben Aziza and Saloua Chatti. Publications de la Faculté des Sciences Humaines et Sociales de Tunis.Google Scholar
  39. 55.
    Chatti, Saloua. 2016. Existential import in Avicenna’s modal logic. Arabic Sciences and Philosophy 26 (1): 45–71 (Cambridge University Press).MathSciNetCrossRefGoogle Scholar
  40. 57.
    Chatti, Saloua. 2016. Avicenna (Ibn Sīnā): Logic. In Encyclopedia of logic, internet encyclopedia of philosophy. College Publications, www.iep.utm.edu/av-logic/.
  41. 58.
    Chatti, Saloua. 2017. On the asymmetry between the four corners of the square. Available online in the site ‘Cercle Ferdinad de Saussure’, proceedings of the workshop ‘The Arbitrariness of the Sign’, organized by Prof. J-Y. Beziau in the congress Le Cours de Linguistique Générale, 1916–2016. L’émergence, Geneva, 9–13 janvier 2017. https://www.clg2016.org/contribution/281.html.
  42. 60.
    Chatti, Saloua. 2019. Logical consequence in Avicenna’s theory. Logica Universalis 13: 101–133.MathSciNetCrossRefGoogle Scholar
  43. 61.
    Chatti, Saloua. 2019. The logic of Avicenna, between al-Qiyās and Manṭiq al-Mashriqiyyīn. Arabic Sciences and Philosohy 29 (1): 109–131.MathSciNetCrossRefGoogle Scholar
  44. 62.
    Couturat, Louis. 1901. La logique de Leibniz, Georg Olms Verlagsbuchhandlung Hildesheim, New Edition (1969).Google Scholar
  45. 72.
    El-Rouayheb, Khaled. 2012. Post-Avicennan logicians on the subject matter of logic: some thirteenth—and fourteenth—century discussions. Arabic Sciences and Philosophy 22 (1).MathSciNetCrossRefGoogle Scholar
  46. 77.
    Gutas, Dimitri. 1988. Avicenna and the Aristotelian tradition: Introduction to reading Avicenna’s philosophical works, 1st ed. Leiden: E.J. Brill.Google Scholar
  47. 78.
    Gutas, Dimitri. 2014. Avicenna and the Aristotelian tradition: Introduction to reading Avicenna’s philosophical works, 2nd ed. Leiden: Brill.CrossRefGoogle Scholar
  48. 84.
    Hodges, Wilfrid. 2012. Affirmative and negative in Ibn Sīnā. In Insolubles and consequences; essays in honour of Stephen Read, ed. Catarina Dutilh Novaes and Ole Hjortland Thomassen. UK: College Publications, Lightning Source, Milton Keynes.Google Scholar
  49. 87.
    Hodges, Wilfrid. 2018. Proofs as cognitive or computational: Ibn Sīnā’s innovations. Philosophy and Technology 31 (1): 131–153.MathSciNetCrossRefGoogle Scholar
  50. 89.
    Hodges, Wilfrid. 2018. Nonproductivity proofs from Alexander to Abū al-Barakāt:1. Aristotelian and logical background, http://wilfridhodges.co.uk/history26.pdf.
  51. 90.
    Hodges, Wilfrid, and Druart Thérèse-Anne. 2018. Al-Fārābī’s philosophy of logic and language. In Stanford encyclopedia of philosophy.Google Scholar
  52. 92.
    Hodges, Wilfrid. forthcoming. Mathematical background to the logic of Avicenna. http://wilfridhodges.co.uk/arabic44.pdf.
  53. 95.
    Horn, Laurence. 2001. A natural history of negation. In The David Hume series. Stanford: CSLI, University of Chicago Press.Google Scholar
  54. 97.
    Ibn al-Muqaffa. 1978. ʻAl-manṭiq, ed. M. T. Dāneshpazhūh, Iranian Institute of Philosophy, Tehran.Google Scholar
  55. 98.
    Ibn al-Ṣalāh. 1966. Maqāla fī al-shakl al-rābi‛ min ashkāl al-qiyās. In Galen and the syllogism, ed. N. Rescher, 76–87.Google Scholar
  56. 99.
    Ibn al-Sikkit. 1956. Iṣlāḥ al-manṭiq, ed. Aḥmad M. Shākir, and ʻAbd-al-Salām M. Mārūn, Dār al-Maʻārif, Cairo.Google Scholar
  57. 102.
    Klima, Gyula. 2006. Syncategoremata. In Encyclopedia of language & linguistics, 2nd edn, vol. 12, ed. Keith Brown, 353–356. Oxford: Elsevier.CrossRefGoogle Scholar
  58. 108.
    Lameer, Joep. 1994. al-Fārābī and Aristotelian syllogistics; Greak theory and Islamic practice, Brill Edition.Google Scholar
  59. 110.
    Lee, Tae-Soo. 1984. Die Griechische Tradition der Aristotelischen Syllogistik in der Spätantike. Göttingen: Vandenhoeck & Ruprecht.CrossRefGoogle Scholar
  60. 112.
    Łukasiewicz, Jan. 1972. La syllogistique d'Aristote dans la perspective de la logique formelle moderne, French translation by Françoise Zaslawsky, Librairie Armand Colin, Paris (1951).Google Scholar
  61. 120.
    Movahed, Zia. 2010. De re and de dicto modality in the Islamic traditional logic. Sophia Perennis 2 (2): 5–19.Google Scholar
  62. 121.
    Parsons, Terence. 2006. The traditional Square of Opposition. In Stanford encyclopedia of philosophy, ed. Edward N. Zalta. Stanford: Metaphysics Research lab, CSLI, http://plato.stanford.edu/entries/square/index.html.
  63. 122.
    Philoponus, John. 1905. In Aristotelis Analytica Priora Commentaria, ed. M. Wallies, Reimer, Berlin.Google Scholar
  64. 127.
    Rescher, Nicholas. The development of Arabic logic, University of Pittsburgh Press, Arabic translation by Mohamed Mahrān. Cairo: Dar el Maʻārif (1964), Arabic translation (1985).Google Scholar
  65. 126.
    Rescher, Nicholas. 1966. Galen and the syllogism. Pittsburgh: University of Pittsburgh Press.Google Scholar
  66. 130.
    Ryle, Gilbert. 1966. The concept of mind. Harmondsworth: Penguin.Google Scholar
  67. 131.
    Sabra, A. I. 1980. Avicenna on the subject matter of logic. Journal of Philosophy 77: 746–764.CrossRefGoogle Scholar
  68. 133.
    Spruyt, Joke. 2007. Peter of Spain. In The Stanford encyclopedia of philosophy, ed. Edward. N. Zalta, http://plato.stanford.edu/entries/peter-spain/.
  69. 135.
    Street, Tony. 2001. ‘The eminent later scholar’ in Avicenna’s Book of the Syllogism. Arabic Sciences and Philosophy 11: 205–218.MathSciNetCrossRefGoogle Scholar
  70. 136.
    Street, Tony. 2002. An outline of Avicenna’s syllogistic. Archiv für Geschichte der Philosophie 84 (2): 129–160.CrossRefGoogle Scholar
  71. 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
  72. 139.
    Street, Tony, 2008. Arabic and Islamic philosophy of language and logic. In Stanford encyclopedia of philosophy, ed. Edward N. Zalta. Stanford University, http://plato.stanford.edu/entries/arabic-islamic-language/, New Edition (2013).
  73. 138.
    Street, Tony. 2010. Appendix: Readings of the subject term. Arabic Sciences and Philosophy 29: 119–124.CrossRefGoogle Scholar
  74. 141.
    Street, Tony. 2016. Kātibī (d. 1277), Taḥtānī (d. 1365) and the Shamsiyya. The Oxford Handbook of Islamic Philosophy 348.Google Scholar
  75. 142.
    Strobino, Riccardo. 2018. Ibn Sīnā’s logic. The Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/archives/fall2018/entries/ibn-sina-logic.
  76. 143.
    Thom, Paul. 2008. al-Fārābī on indefinite and privative names. Arabic Sciences and Philosophy 18 (2): 193–209.MathSciNetCrossRefGoogle Scholar
  77. 145.
    Thom, Paul. 2010. al-Fārābī on the number of categories. http://paulthom.net/Papers-on-Arabiclogic.html.
  78. 146.
    Thom, Paul. 2010. Abharī on the logic of conjunctive terms. Arabic Sciences and Philosophy 20: 105–117.MathSciNetCrossRefGoogle Scholar
  79. 147.
    Türker, Sadik. 2007. The Arabico-Islamic background of al-Fārābī’s logic. History and Philosophy of Logic 28 (3): 183–255.MathSciNetCrossRefGoogle Scholar
  80. 148.
    Versteegh, C.H.M. 1977. Greek elements in Arabic linguistic thinking. Leiden: Brill.CrossRefGoogle Scholar
  81. 149.
    Versteegh, Kees. 1997. The debate between logic and grammar. In Landmarks in linguistic thought III, The Arabic linguistic tradition, ed. Kees Versteegh, 52–63. London: Routledge.Google Scholar
  82. 150.
    Zimmermann, F.W. 1972. Some observations on Al-Fārābī and logical tradition. In Islamic philosophy and the classical tradition, Essays presented by his friends and pupils to Richard Walzer on his seventieth birthday, ed. S.M. Stern, Albert Hourani, and Vivian Brown, 517–546. Oxford: Cassirer.Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

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

Personalised recommendations