Skip to main content

Categorical Logic

  • Chapter
  • First Online:
Arabic Logic from al-Fārābī to Averroes

Part of the book series: Studies in Universal Logic ((SUL))

  • 516 Accesses

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]).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Sībawayhī is considered as the founder of Arabic grammar. His distinction has been challenged by some other grammarians, but it resisted all the criticisms and seems to be still admitted nowadays by the contemporary grammarians.

  2. 2.

    For a general study of the relation between logic and grammar in al-Fārābī’s frame, see [147] and see also ([5], 80). For the relation between grammar and logic in the Arabic tradition, see [148] and [149].

  3. 3.

    See the whole classification and its analysis in [52].

  4. 4.

    For a general study of this topic, see [102]. For the classification presented by Peter of Spain, see [133].

  5. 5.

    However, the analyses of metathetic terms provided by al-Fārābī and Avicenna are rather different. See, for instance, Paul Thom in his article “al-Fārābī on indefinite and privative names” [142], and Saloua Chatti in ([52], 181).

  6. 6.

    The vowels A, E, I, and O are not used by the Arabic logicians, who do not name the quantified propositions. We have introduced them only for convenience.

  7. 7.

    I owe this reference (and many other ones) to Prof. Wilfrid Hodges. I thank him very much for his help and his fruitful and numerous suggestions and remarks which made me improve significantly my work.

  8. 8.

    On the problem of existential import in general, see [51] for a full discussion. On that same problem in Aristotle’s theory, see [23].

  9. 9.

    On the notion of opposition in general in Avicenna’s and Averroes’ frames, see [50], where the different conceptions of opposition are analyzed and compared with that of Aristotle. See also [33] for Avicenna’s specific analysis of opposition in general.

  10. 10.

    The root used by Ikhwān aṣ-ṣafā is “ṭāla” (see [150]), which evokes the ideas of length and of superiority. So maybe subalternation is what relates one “superior” proposition (the universal one) to its inferior dependent one (the particular).

  11. 11.

    I thank Prof. Hodges for bringing my attention to this text and providing me with Gutas’ book.

  12. 12.

    The usual translation of the Arabic adverb “dā’iman” is “always”. However, when one scrutinizes closely the text, one notes that what is meant by Avicenna when he says “dā’iman” is not “always” or “perpetually” (i.e., forever or for a long time), rather it is “permanently as long as the thing exists.” This is why one has to be careful when translating the adverb “dā’iman” (contained in some propositions) or the adjective “dā’im”, because 1. Avicenna calls “dā’im” the sentences containing “as long as it exists” and not another kind of sentences containing “always”, which would be different from them, despite the fact that the text is not always clear (I thank Prof. Hodges for bringing my attention to that particular point), and 2. this condition (as long as it exists) means “continuously” (or “permanently” where the permanence is understood just as the continuous link between the subject and the predicate, not the fact that the subject satisfies the predicate forever or for a very long time), since the idea stressed by Avicenna is not the length of the duration but the duration itself (even if it is in some cases short as when we talk about some insects which live only a few days and say “Some insects are invertebrate (as long as they exist)” (personal example), i.e., the fact that the link between the subject and the predicate is continuous and not discontinuous or present only at some specific periods (as for the eclipse of the moon, for instance).

  13. 13.

    I thank Prof. Hodges for bringing my attention to this passage and other ones where the same idea is stressed by Avicenna.

  14. 14.

    Of course, one could object that these snows are also conditioned by the very existence of the mountains. But the reason why they are called “perpetual” is not the existence of the mountains, rather it is the fact that they are always there, whether in winter or in summer. So people who live in these areas have always seen them in all seasons, given that these snows don’t disappear in the summer unlike the snow on the ground which is present only in the cold season(s). They thus stress the length of the duration by using the word “perpetual”. Note that in French, they are called “neiges éternelles” (i.e., eternal, not only perpetual).

  15. 15.

    W. Hodges provides formalizations of these propositions which he calls two-dimensional propositions in his book Mathematical Background to the Logic of Ibn Sina (see [92], 157ff), where he uses time quantifiers and shows that the general absolutes containing “at some times” contradict the propositions containing the condition “as long as they exist,” provided they do not have the same quality nor the same quantity.

  16. 16.

    In this treatise, these propositions are abandoned as shown in [60].

  17. 17.

    The full formalizations of these temporal propositions can be found in W. Hodges ([92], 159ff).

  18. 18.

    For instance, Saloua Chatti (see [53], 332–354) deals with modal oppositions and presents a dodecagon containing the whole set of propositions held by Avicenna and their relations. Tony Street (see [137]) gives the whole set of propositions held by Avicenna and their contradictories. All these propositions give rise to several squares of oppositions which are presented in [54], but Avicenna does not draw any figure at all.

  19. 19.

    I am indebted to Dr. Lorenz Demey for having drawn my attention to that particular feature of the two negative special absolutes , which differ in this respect from the two affirmative ones. I thank him for his enlightening observation.

  20. 20.

    On the opinions defended by post-Avicennian logicians such as Abhari and Katibi on the analysis of propositions and terms, see [141] and [146]

  21. 21.

    See, for instance, al-Fārābī ([8], 147), and the analysis provided by Pr. Paul Thom in ([143], 193–209). On the different readings of the subject term, see [138]. On al-Farabi’s opinion about the categories, see [145].

  22. 22.

    I owe this remark to Prof. Wilfrid Hodges whom I thank for his comments and suggestions.

  23. 23.

    Abderrahman Badawi, Manṭiq Arisṭu, volume 1, Dar al Kalam, Beirut 1980. The two volumes of this book contain the old Arabic translations of the main Aristotle’s treatises. Volume 1 contains 1. Al-Maqūlāt (Categories, translation Isḥāq ibn Ḥunayn, pp. 33–98), 2. Kitāb al-‘Ibāra (De Interpretatione, translation Isḥāq ibn Ḥunayn, pp. 99–136), 3. Kitāb al-Taḥlīlāt al-ʼŪlā (Prior Analytics, translation Tayadurus, corrected by Ḥunayn ibn Isḥāq, pp. 137–316), while the volume 2 contains 1. al-Taḥlīlāt al -Thāniya or Al-Burhān (Posterior Analytics, translation Ishaq ibn Hunayn from Greek to Syriac and Abu Bishr Mattā from Syriac to Arabic, pp. 329–485), 2. Kitāb al-Tupīqā (Topics, translation Abu Uthmān al-Dimishqi, pp. 489–595).

  24. 24.

    The name Barbara as well as the other names of the syllogistic moods is not in al-Fārābī, since their origin is, as is well known, Latin. Note that neither of the logicians of the Arabic tradition gives names to the moods, they only enumerate them, by saying: the first mood of the first figure, the second mood of the first figure, etc. We use the usual names here only for convenience.

  25. 25.

    “Dire que le prédicat A (ύπάρχει) appartient au sujet B, c’est évidemment s’exprimer intensivement, car en extension c’est au contraire B c’est-à-dire l’espèce, qui appartient à A, c’est-à-dire au genre, comme y étant incluse”.

  26. 26.

    “Sans doute le schème de Barbara sera toujours le même, que l’on interprète l’inclusion des concepts en extension ou en compréhension”.

  27. 27.

    As a matter of fact, although al-Fārābī does not say it and presumably is not aware of it, they apply only to Barbara, for even Darii may contain a minor whose extension is larger than its major, since its second premise is particular, for instance, in the following example: “every human is an animal, some living beings are human; therefore some living beings are animals,” where the extension of the minor “living being,” which includes plants apart from animals is larger than the extension of the major (animal) and of the middle (human), which both are parts of it. As to Celarent and Ferio, where some propositions are negative, the middle is not included in the major, as shown in the example illustrating Celarent below.

  28. 28.

    Professor Hodges is talking about Avicenna’s ekthetic proof in his article and he justifies Avicenna’s use of it by saying what follows: “Ibn Sīnā violates this picture by introducing a step where the conclusion of the step is not a logical consequence of the premises of the step, but it doesn’t matter because the conclusion of the proof as a whole is a logical consequence of the premises of the proof” ([87], 17–18). However, according to him, this justification does not apply to al-Fārābī’s proof, which does not rely on the same conception of the logical deduction.

  29. 29.

    On the notion of form, see [62].

  30. 30.

    This author has been considered by some people as being Alexander of Aphrodisias, but Tony Street has shown in an article entitled “‘The eminent later scholar’ in Avicenna’s Book of the Syllogism”, Arabic Sciences and Philosophy ([135], 205–218) that he is in fact al-Fārābī, by providing convincing arguments.

  31. 31.

    For more details about the formalizations of these propositions, see W. Hodges ([92], 159).

  32. 32.

    There is an error here, for what is written in the text is “No C is D”, but this could not be so, first because Avicenna does not use in that second proof the letter D at all, second because “No C is D” is not deducible by Celarent from the two premises given, and it is not itself contradictory.

  33. 33.

    As we will see below (Sect. 4.3.1.1), the two A propositions are named, respectively, Ap and As, the only difference between them being the conditions they contain. The same remark applies to I-conversion , which is expressed in two ways too, depending on the conditions contained in the initial I propositions.

  34. 34.

    According to W. Hodges ([92], 171), (a–d) (which I have called here Ap) converts to (i-m), i.e., to an I proposition containing the condition “at some times while S” (S being the subject); he also says that (a–d)(BA) implies both (i–m)(AB) and (i–t)(AB) ([92], 171).

  35. 35.

    Here too, there is an error in al-Qiyās, for what is written in that treatise is the word aḥsin (= the best) instead of akhass (= the least). This is why we also cite al-Najāt, where there is no error, and the right word is used.

  36. 36.

    See for instance, ([62], 4), where it is said: “…But he (is right in) blaming Hospinianus for having identified the singula r propositions with the particulars, and he shows that they are, on the contrary, equivalent to the universals, given that the subject, in these propositions, is taken in the totality of its extension” (my translation).

  37. 37.

    Arnault, Antoine & Nicole, Pierre ([25], 158) say: “although the singular proposition is different from the universal one in that its subject is not general, it is nevertheless closer to the universal than to the particular; because its subject, being individual, is for this very reason, necessarily taken in all its extension, which is the essence of a universal proposition and distinguishes it from the particular” ([25], my translation).

  38. 38.

    In stating these examples, we have started with the minor premise , as Avicenna does.

  39. 39.

    The commentary that we can find in the French Edition of Prior Analytics mentions many sources, where this extensionalist view is criticized. The editor says: “The modern logicians of the school of Lachelier, Rodier and Hamelin (Le système d’Aristote, pp. 178ff) blame Aristotle for having abandoned the comprehensivist point of view in favor of the extensionalist view.” ([21], note 1, p. 2, my translation)

References

  1. Alexander of Aphrodisias on Aristotle’s Prior Analytics 1.1–7, translation J. Barnes et al., 1991.

    Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. Aristote. 1971. Premiers Analytiques, Translated by J. Tricot, Librairie philosophie J. Vrin, Paris.

    Google Scholar 

  19. Aristotle. 1991. Categories. In The complete works of aristotle, vol. 1, ed. Jonathan Barnes. The Revised Oxford Edition.

    Google Scholar 

  20. Aristotle. 1991. De Interpretatione, in The Complete Works of Aristotle, the Revised Oxford Edition, vol. 1, ed. Jonathan Barnes.

    Google Scholar 

  21. Aristotle. 1991. Prior analytics. In The complete works of Aristotle, the Revised Oxford Edition, ed. Jonathan Barnes, vol. 1.

    Google Scholar 

  22. Arnault, Antoine, and Pierre Nicole. 1970. La logique ou l’art de penser, Editions Flammarion.

    Google Scholar 

  23. 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. Avicenna. 1910. Manṭiq al-Mashriqiyīn, Muḥyī al-Dīn al Khatīb and ‘Abdelfattāh al Qatlane, Cairo.

    Google Scholar 

  25. 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. 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. Avicenna. 1964. al-Shifā’, al-Manṭiq 4: al-Qiyās, ed. S. Zayed, rev. and intr. by I. Madkour. Cairo.

    Google Scholar 

  28. 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. 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. Avicenna. 1982. Manṭiq al-Mashriqiyīn, ed. Shokri Najjar, Dār al Ḥadātha, Beirut.

    Google Scholar 

  31. 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. Badawi, Abderrahman. 1980. Manṭiq Arisṭu, vols. 1 & 2, Beirut: Dar al Kalam.

    Google Scholar 

  33. Blanché, Robert. 1970. La logique et son histoire, d’Aristote à Russell. Paris: Armand Colin.

    Google Scholar 

  34. 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.

    Chapter  Google Scholar 

  35. 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.

    Article  MathSciNet  Google Scholar 

  36. Chatti, Saloua. 2014. Syncategoremata in Arabic logic, al-Fārābi and Avicenna. History and Philosophy of Logic 35 (2): 167–197.

    Article  MathSciNet  Google Scholar 

  37. Chatti, Saloua. 2014. Avicenna on possibility and necessity. History and Philosophy of Logic 35 (4): 332–353.

    Article  MathSciNet  Google Scholar 

  38. 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. Chatti, Saloua. 2016. Existential import in Avicenna’s modal logic. Arabic Sciences and Philosophy 26 (1): 45–71 (Cambridge University Press).

    Article  MathSciNet  Google Scholar 

  40. 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. 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. Chatti, Saloua. 2019. Logical consequence in Avicenna’s theory. Logica Universalis 13: 101–133.

    Article  MathSciNet  Google Scholar 

  43. 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.

    Article  MathSciNet  Google Scholar 

  44. Couturat, Louis. 1901. La logique de Leibniz, Georg Olms Verlagsbuchhandlung Hildesheim, New Edition (1969).

    Google Scholar 

  45. 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).

    Article  MathSciNet  Google Scholar 

  46. Gutas, Dimitri. 1988. Avicenna and the Aristotelian tradition: Introduction to reading Avicenna’s philosophical works, 1st ed. Leiden: E.J. Brill.

    Google Scholar 

  47. Gutas, Dimitri. 2014. Avicenna and the Aristotelian tradition: Introduction to reading Avicenna’s philosophical works, 2nd ed. Leiden: Brill.

    Book  Google Scholar 

  48. 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. Hodges, Wilfrid. 2018. Proofs as cognitive or computational: Ibn Sīnā’s innovations. Philosophy and Technology 31 (1): 131–153.

    Article  MathSciNet  Google Scholar 

  50. Hodges, Wilfrid. 2018. Nonproductivity proofs from Alexander to Abū al-Barakāt:1. Aristotelian and logical background, http://wilfridhodges.co.uk/history26.pdf.

  51. 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. Hodges, Wilfrid. forthcoming. Mathematical background to the logic of Avicenna. http://wilfridhodges.co.uk/arabic44.pdf.

  53. Horn, Laurence. 2001. A natural history of negation. In The David Hume series. Stanford: CSLI, University of Chicago Press.

    Google Scholar 

  54. Ibn al-Muqaffa. 1978. ʻAl-manṭiq, ed. M. T. Dāneshpazhūh, Iranian Institute of Philosophy, Tehran.

    Google Scholar 

  55. 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. 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. Klima, Gyula. 2006. Syncategoremata. In Encyclopedia of language & linguistics, 2nd edn, vol. 12, ed. Keith Brown, 353–356. Oxford: Elsevier.

    Chapter  Google Scholar 

  58. Lameer, Joep. 1994. al-Fārābī and Aristotelian syllogistics; Greak theory and Islamic practice, Brill Edition.

    Google Scholar 

  59. Lee, Tae-Soo. 1984. Die Griechische Tradition der Aristotelischen Syllogistik in der Spätantike. Göttingen: Vandenhoeck & Ruprecht.

    Book  Google Scholar 

  60. Ł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. Movahed, Zia. 2010. De re and de dicto modality in the Islamic traditional logic. Sophia Perennis 2 (2): 5–19.

    Google Scholar 

  62. 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. Philoponus, John. 1905. In Aristotelis Analytica Priora Commentaria, ed. M. Wallies, Reimer, Berlin.

    Google Scholar 

  64. 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. Rescher, Nicholas. 1966. Galen and the syllogism. Pittsburgh: University of Pittsburgh Press.

    Google Scholar 

  66. Ryle, Gilbert. 1966. The concept of mind. Harmondsworth: Penguin.

    Google Scholar 

  67. Sabra, A. I. 1980. Avicenna on the subject matter of logic. Journal of Philosophy 77: 746–764.

    Article  Google Scholar 

  68. Spruyt, Joke. 2007. Peter of Spain. In The Stanford encyclopedia of philosophy, ed. Edward. N. Zalta, http://plato.stanford.edu/entries/peter-spain/.

  69. Street, Tony. 2001. ‘The eminent later scholar’ in Avicenna’s Book of the Syllogism. Arabic Sciences and Philosophy 11: 205–218.

    Article  MathSciNet  Google Scholar 

  70. Street, Tony. 2002. An outline of Avicenna’s syllogistic. Archiv für Geschichte der Philosophie 84 (2): 129–160.

    Article  Google Scholar 

  71. 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. 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. Street, Tony. 2010. Appendix: Readings of the subject term. Arabic Sciences and Philosophy 29: 119–124.

    Article  Google Scholar 

  74. 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. Strobino, Riccardo. 2018. Ibn Sīnā’s logic. The Stanford Encyclopedia of Philosophy, https://plato.stanford.edu/archives/fall2018/entries/ibn-sina-logic.

  76. Thom, Paul. 2008. al-Fārābī on indefinite and privative names. Arabic Sciences and Philosophy 18 (2): 193–209.

    Article  MathSciNet  Google Scholar 

  77. Thom, Paul. 2010. al-Fārābī on the number of categories. http://paulthom.net/Papers-on-Arabiclogic.html.

  78. Thom, Paul. 2010. Abharī on the logic of conjunctive terms. Arabic Sciences and Philosophy 20: 105–117.

    Article  MathSciNet  Google Scholar 

  79. Türker, Sadik. 2007. The Arabico-Islamic background of al-Fārābī’s logic. History and Philosophy of Logic 28 (3): 183–255.

    Article  MathSciNet  Google Scholar 

  80. Versteegh, C.H.M. 1977. Greek elements in Arabic linguistic thinking. Leiden: Brill.

    Book  Google Scholar 

  81. 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. 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 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Saloua Chatti .

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Chatti, S. (2019). Categorical Logic. In: Arabic Logic from al-Fārābī to Averroes . Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-030-27466-5_3

Download citation

Publish with us

Policies and ethics