Primary Sources

• Aristotle, Manṭiq Arisṭū, edited by ʿA. Badawī, Cairo: Maktabat Dār al-kutub al-miṣriyya, 3 volumes, 1948–52 (edition of the “Arabic Organon” based on Ms. Paris, BNF Arabe 2346). [Ms. Paris, BNF Arabe 2346 scan available online] (Scholar)
• Avicenna (Ibn Sīnā) (d. 1037 CE), [Išārāt], al-Išārāt wa-t-tanbīhāt, edited by Jacques Forget, Leiden: Brill, 1892.
• –––, [Išārāt-Ṭūsī], al-Išārāt wa-t-tanbīhāt, edited by S. Dunyā, 4 parts in 3 volumes, with Ṭūsī’s commentary at the bottom of the page, Cairo: Dār al-maʿārif bi-Miṣr, 1960-1968.
• –––, Manṭiq al-Mašriqiyyīn, edited by M. al-Ḫāṭīb, ʿA. al-Qatlā, Cairo: al-Maktaba as-salafiyya, 1910.
• –––, [Madḫal], aš-Šifāʾ, al-Manṭiq, al-Madḫal, edited by Ğ. Š. Qanawatī, M. al-Ḫuḍayrī, A. F. al-Ahwānī, Cairo: al-Maṭbaʿa al-amīriyya, 1952.
• –––, [Burhān], aš-Šifāʾ, al-Manṭiq, al-Burhān, edited by A. ʿAfīfī, Cairo: al-Maṭbaʿa al-amīriyya, 1956.
• –––, [Safsaṭa], aš-Šifāʾ, al-Manṭiq, as-Safsaṭa, edited by A. F. al-Ahwānī. Cairo: al-Hayʾa al-ʿāmma li-šuʾūn al-maṭābiʿ al-amīriyya, 1958.
• –––, [Ilāhiyyāt], aš-Šifāʾ, al-Ilāhiyyāt (1), edited by Ğ. Š. Qanawatī, S. Zāyid, Cairo: al-Hayʾa al-ʿāmma li-šuʾūn al-maṭābiʿ al-amīriyya, 1960; aš-Šifāʾ, al-Ilāhiyyāt (2), edited by M. Y. Mūsā, S. Dunyā, S. Zāyid, Cairo: al-Hayʾa al-ʿāmma li-šuʾūn al-maṭābiʿ al-amīriyya, 1960. (Scholar)
• –––, [Qiyās], aš-Šifāʾ, al-Manṭiq, al-Qiyās, edited by S. Zāyid. Cairo: al-Hayʾa al-ʿāmma li-šuʾūn al-maṭābiʿ al-amīriyya, 1964.
• –––, [Ğadal], aš-Šifāʾ, al-Manṭiq, al-Ğadal, edited by A. F. al-Ahwānī. Cairo: al-Hayʾa al-ʿāmma li-šuʾūn al-maṭābiʿ al-amīriyya, 1965.
• –––, aš-Šifāʾ, al-Manṭiq, al-ʿIbāra, edited by M. al-Ḫuḍayrī. Cairo: al-Hayʾa al-miṣrīyya al-ʿāmma li-t-taʿlīf wa-n-našr, 1970.
• –––, [Nağāt], an-Nağāt min al-ġarq fī baḥr aḍ-ḍalālāt, edited by M. Dānešpažūh, Tehran: Entešārāt-e Dānešgāh, 1985.
• –––, al-Muḫtaṣar al-awsaṭ fī l-manṭiq, edited by H. Takci, Sakarya University, Haziran, 2009.
• –––, Treatise on Logic. Part One of Danesh-name Alai: A Concise Philosophical Encyclopaedia and Autobiography, edited and translated from the original Persian by F. Zabeeh, The Hague: Nijhoff, 1971.
• –––, The Deliverance: Logic, translated by Asad Q. Ahmed, Karachi: Oxford University Press, 2011.
• Bahmanyār b. al-Marzubān (d. 1066 CE), at-Taḥsīl, edited by Murtaḍā Muṭahharī, Tehrān: Dānešgāh-e Tehrān, 1375 SH [1996/1997 CE]. (Scholar)
• al-Fārābī, Abū Naṣr (d. 950/951 CE), Kitāb al-Burhān wa-Kitāb šarāʾiṭ al-yaqīn, edited by M. Faḫrī. Beirut: Dār al-Mašriq, 1985.
• Gundissalinus, Dominicus, (ca. 1110–1190 CE), De divisione philosophiae, edited by L. Baur, Münster: Aschendorff, 1903. (Scholar)
• Ḫūnağī, Afḍal ad-Dīn (d. 1248 CE), [Kašf al-asrār], Kašf al-asrār ʿan ġawāmiḍ al-afkār, edited by Khaled El-Rouayheb. Tehran-Berlin: Iranian Institute of Philosophy & Institute of Islamic Studies—Free University of Berlin, 2010. (Scholar)
• Kātibī, Naǧm ad-Dīn (d. 1277 CE), [Šamsiyya], ar-Risāla aš-Šamsiyya (Logic for Šams ad-Dīn), in Taḥtānī, Quṭb ad-Dīn ar-Rāzī, Taḥrīr al-qawāʿid al-manṭiqiyya fī šarḥ ar-Risāla aš-Šamsiyya, Cairo: Dār Iḥyāʾ al-kutub al-ʿarabiyya, Muṣṭafā al-Bābī al-Ḥalabī, 1988.
• Rāzī, Faḫr ad-Dīn (d. 1209 CE), Šarḥ al-Išārāt, edited by ʿA.R. Najafzādeh, Tehran: Anjuman Āthār wa-Mafākhir Ferhangi, 2005.
• –––, [Mulaḫḫaṣ], Manṭiq al-Mulaḫḫaṣ, edited by F. Qārāmālekī and A. Aṣgharīnezhad, Tehran: Dānešgāh-e ṣāde, 2002.
• Ṭūsī, Naṣīr ad-Dīn (d. 1274 CE), Asās al-iqtibās fī l-manṭiq, Cairo, 2004 (15th-century Arabic translation from Persian).

Secondary Sources

• Ahmed, Asad Q., 2003, “Avicenna’s Reception of Aristotle’s Modal Syllogistic”, in Before and After Avicenna, edited by D. Reisman, Leiden: Brill, 3–24. (Scholar)
• –––, 2008, “The Jiha/Tropos-Mādda/Hūlē Distinction in Arabic Logic and its Significance for Avicenna’s Modals”, in Rahman, Street, & Tahiri 2008: 229–253. doi:10.1007/978-1-4020-8405-8_8">10.1007/978-1-4020-8405-8_8 (Scholar)
• –––, 2011, “Systematic Growth in Sustained Error: A Case Study in the Dynamism of Post-Classical Islamic Scholasticism”, in The Islamic Scholarly Tradition. Studies in History, Law, and Thought in Honor of Professor Michael Allan Cook, (Islamic History and Civilization, 83), edited by Asad Q. Ahmed, Behnam Sadeghi, and Michael Bonner, Leiden: Brill, 343–378. (Scholar)
• Anellis, Irving H., 2007, “‘Ibn-Sina’s Anticipation of the Formulas of Buridan and Barcan’, by Z. Movahed”, The Review of Modern Logic, 11(1–2): 73–86. [Anellis 2007 available online] (Scholar)
• Bäck, Allan, 1992, “Avicenna’s Conception of the Modalities”, Vivarium, 30(2): 217–255. doi:10.1163/156853492x00142 (Scholar)
• –––, 1987, “Avicenna on Existence”, Journal of the History of Philosophy, 25(3): 351–367. doi:10.1353/hph.1987.0036 (Scholar)
• –––, 2014, Avicenna/Ibn Sīnā: al-ʿIbāra. Avicenna’s Commentary on Aristotle’s De Interpretatione, Munich: Philosophia Verlag. (Scholar)
• Black, Deborah L., 1990, Logic and Aristotle’s Rhetoric and Poetics in Medieval Arabic Philosophy, Leiden: Brill. (Scholar)
• –––, 2006, “Knowledge (ʿilm) and Certitude (yaqīn) in Al-Fārābī’s Epistemology”, Arabic Sciences and Philosophy, 16(1): 11–45. doi:10.1017/s0957423906000221 (Scholar)
• Chatti, Saloua, 2012, “Logical Oppositions in Arabic Logic: Avicenna and Averroes”, in Around and Beyond the Square of Opposition, edited by Jean-Yves Béziau and Dale Jacquette, Basel: Springer, pp. 21–40. doi:10.1007/978-3-0348-0379-3_2 (Scholar)
• –––, 2014a, “Avicenna on Possibility and Necessity”, History and Philosophy of Logic, 35(4): 332–353. doi:10.1080/01445340.2014.916893 (Scholar)
• –––, 2014b, “Syncategoremata in Arabic Logic, al-Fārābī and Avicenna”, History and Philosophy of Logic, 35(2): 167–197. doi:10.1080/01445340.2014.891372 (Scholar)
• –––, 2016, “Existential Import in Avicenna’s Modal Logic”, Arabic Sciences and Philosophy, 26(1): 45–71. doi:10.1017/s0957423915000119 (Scholar)
• Di Vincenzo, Silvia, 2012, “Avicenna’s Isagoge, Chap. I, 12, De Universalibus: Some Observations on the Latin Translation”, Oriens, 40(2): 437–476. doi:10.1163/18778372-00402009 (Scholar)
• Dutilh Novaes, Catarina and Stephen Read (eds), 2016, The Cambridge Companion to Medieval Logic, Cambridge: Cambridge University Press. doi:10.1017/cbo9781107449862 (Scholar)
• Dutilh Novaes, Catarina and Ole Thomassen Hjortland (eds), 2012, Insolubles and Consequences: Essays in honour of Stephen Read, London: College Publications. (Scholar)
• Eichner, Heidrun, 2010, “Al-Fārābī and Ibn Sīnā on ‘Universal Science’ and the System of Sciences: Evidence of the Arabic Tradition of the Posterior Analytics”, Documenti e studi sulla tradizione filosofica medievale, 21: 71–95. (Scholar)
• El-Rouayheb, Khaled, 2009, “Impossible Antecedents and Their Consequences: Some Thirteenth-Century Arabic Discussions”, History and Philosophy of Logic, 30(3): 209–225. doi:10.1080/01445340802447905 (Scholar)
• –––, 2010, “Introduction”, in Ḫūnağī, Kašf al-asrār: iii–lix. (Scholar)
• –––, 2012, “Post-Avicennan Logicians on the Subject Matter of Logic: Some Thirteenth- and Fourteenth-Century Discussions”, Arabic Sciences and Philosophy, 22(1): 69–90. doi:10.1017/s0957423911000105 (Scholar)
• –––, 2016, “Arabic Logic after Avicenna”, in Dutilh Novaes and Read 2016: 67–93. doi:10.1017/cbo9781107449862.004 (Scholar)
• Gätje, H., 1985, “Zur Lehre von den Voraussetzungsschlüssen bei Avicenna”, Zeitschrift für Geschichte der Arabisch-Islamischen Wissenschaften 2: 140–204. (Scholar)
• Goichon, Anne-Marie, 1951, Livre des directives et remarques: Kitāb al-Išārāt wa l-tanbīhāt, Paris: Vrin. (Scholar)
• Gutas Dimitri, 2012, “The Empiricism of Avicenna”, Oriens, 40(2): 391–436. doi:10.1163/18778372-00402008 (Scholar)
• –––, 2014, Avicenna and the Aristotelian Tradition, second edition, Leiden: Brill. (Scholar)
• Gyekye, Kwame, 1972, “The Term Istithnāʾ in Arabic Logic”, Journal of the American Oriental Society, 92(1): 88–92. doi:10.2307/599652 (Scholar)
• Hasnawi, Ahmad, 2008, “Avicenna on the quantification of the predicate (with an appendix on [Ibn Zurʾa])”, in Rahman, Street, & Tahiri 2008: 295–328. doi:10.1007/978-1-4020-8405-8_11 (Scholar)
• –––, 2013, “L’âge de la démonstration. Logique, science et histoire: al-Fārābī, Avicenne, Avempace, Averroès”, in Circolazione dei saperi nel Mediterraneo : filosofia e scienze (secoli IX–XVII), edited by G. Federici Vescovini and A. Hasnawi (eds.), Firenze: Cadmo, pp. 257–281 doi:10.1400/206561
• Hasnawi, Ahmad and Wilfrid Hodges, 2016, “Arabic Logic up to Avicenna”, in Dutilh Novaes and Read 2016: 45–66. doi: 10.1017/cbo9781107449862.003 (Scholar)
• Hodges, Wilfrid, 2011, “Ibn Sīnā and Conflict in Logic”, in Logic, Mathematics, Philosophy: Vintage Enthusiasms, Essays in Honour of John L. Bell, edited by David DeVidi, Michael Hallett and Peter Clark, Dordrecht: Springer, pp. 35–67. doi:10.1007/978-94-007-0214-1_3 (Scholar)
• –––, 2012, “Affirmative and Negative in Ibn Sīnā”, in Dutilh Novaes and Thomassen Hjortland 2012: 119–134. (Scholar)
• –––, 2013, “Ibn Sina, Frege and the Grammar of Meanings”, Al-Mukhatabat, 5: 29–60. [Hodges 2013 available online (pdf)] (Scholar)
• –––, 2014, “Notes on the History of Scope”, in Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces, Boston: De Gruyter, pp. 215–239. doi:10.1515/9781614516873.215 (Scholar)
• –––, 2015, “The Move from One to Two Quantifiers”, in The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau, vol. 1, edited by Arnold Koslow and Arthur Buchsbaum, Basel: Birkhäuser, pp. 221–240. doi:10.1007/978-3-319-10193-4_9 (Scholar)
• –––, 2017, “Ibn Sīnā on reductio ad absurdum”, Review of Symbolic Logic, 10(3): 587–601. doi:10.1017/s1755020316000290 (Scholar)
• –––, 2018, “Proofs as Cognitive or Computational: Ibn Sīnā’s Innovations”, Philosophy and Technology, 31(1): 131–153. doi:10.1007/s13347-016-0242-2 (Scholar)
• Hodges, Wilfrid and Spencer Johnston, 2017, “Medieval Modalities and Modern Methods: Avicenna and Buridan”, IfCoLog Journal of Logics and their Applications, 4(4): 1029–1073. (Scholar)
• Hugonnard-Roche, Henri, 1984, “La classification des sciences de Gundissalinus et l’influence d’Avicenne”, in Études sur Avicenne, edited by Jean Jolivet and Rushdī Rashed, Paris: Les Belles Lettres, 41–75. (Scholar)
• Inati, Shams C., 1984a, Ibn Sīnā. Remarks and Admonitions, Part One: Logic, Toronto: Pontifical Institute of Mediaeval Studies. (Scholar)
• –––, 1984b, “Ibn Sīnā on Single Expressions”, in Islamic Theology and Philosophy, Studies in Honor of George F. Hourani, Michael E. Marmura (ed.), Albany, NY: State University of New York Press, pp. 148–159. (Scholar)
• Kalbarczyk, Alexander, 2012, “The Kitāb al-Maqūlāt of the Muḫtaṣar al-awsaṭ fī l-manṭiq: A Hitherto Unknown Source for Studying Ibn Sīnā’s Reception of Aristotle’s Categories”, Oriens 40(2): 305–354. doi:10.1163/18778372-00402006 (Scholar)
• Karimullah, Kamran I., 2014a, Avicenna (d. 1037), Logical Theory and the Aristotelian Tradition, Ph.D dissertation, The Institute of Islamic Studies, McGill University. [Karimullah 2014a available online] (Scholar)
• –––, 2014b, “Alfarabi on Conditionals”, Arabic Sciences and Philosophy, 24(2): 211–267. doi:10.1017/s0957423914000022 (Scholar)
• Lagerlund, Henrik, 2009, “Avicenna and Ṭūsī on Modal Logic”, History and Philosophy of Logic, 30(3): 227–239. doi:10.1080/01445340802518119 (Scholar)
• Lameer, Joep, 2006, Conception and Belief in Ṣadr al-Dīn Shīrāzī, Tehran: Iranian Institute of Philosophy. (Scholar)
• Malink, Marko, 2013, Aristotle’s Modal Syllogistic, Cambridge, MA: Harvard University Press. (Scholar)
• Malink, Marko and Jacob Rosen, 2013, “Proof by Assumption of the Possible in Prior Analytics 1.15”, Mind, 122(488): 953–986. doi:10.1093/mind/fzt095 (Scholar)
• Maróth, Miklos, 1989, Ibn Sīnā und die peripatetische ‘Aussagenlogik’, Leiden: Brill. (Scholar)
• Marmura, Michael E., 1990, “The Fortuna of the Posterior Analytics in the Arabic Middle Ages”, in Knowledge and the Sciences in Medieval Philosophy. Proceedings of the Eighth International Congress of Medieval Philosophy (S.I.E.P.M.), Helsinki 24–29 August 1987, 2 vols., edited by M. Asztalos, J. E. Murdoch, I. Niniluoto, Helsinki: 1990, vol. I, 85–102. (Scholar)
• McGinnis, Jon, 2008, “Avicenna’s Naturalized Epistemology and Scientific Method”, in Rahman, Street, & Tahiri 2008: 129–152. doi:10.1007/978-1-4020-8405-8_5 (Scholar)
• McKirahan, Richard D., 1992, Principles and Proofs: Aristotle’s Theory of Demonstrative Science, Princeton: Princeton University Press. (Scholar)
• Movahed, Zia, 2003, “Ibn-Sina’s Anticipation of the Formulas of Buridan and Barcan”, in Logic in Teheran: Proceedings of the Workshop and Conference on Logic, Algebra and Arithmetic, held October 18-22, 2003, LNL26, Ali Enayat, Iraj Kalantari, & Mojtabi Moniri (editors), Wellesley, MA: ASL/A K Peters, pp. 248–255. (Scholar)
• –––, 2009, “A Critical Examination of Ibn Sina’s Theory of the Conditional Syllogism”, Sophia Perennis, 1(1): 5–21. (Scholar)
• Rahman, Shahid, Johan Georg Granström, and Zaynab Sallum, 2014, “Ibn Sīnā’s Approach to Equality and Unity”, Arabic Sciences and Philosophy, 24(2): 297–307. doi:10.1017/s0957423914000046 (Scholar)
• Rahman, Shahid, Tony Street, and Hassan Tahiri (eds), 2008, The Unity of Science in the Arabic Tradition: Science, Logic, Epistemology and their Interactions, Dordrecht: Springer-Netherlands. doi: 10.1007/978-1-4020-8405-8 (Scholar)
• Rescher, Nicholas, 1963a, Studies in the History of Arabic Logic, Pittsburgh: University of Pittsburg Press. (Scholar)
• –––, 1963b, “Avicenna on the logic of ‘conditional’ propositions”, Notre Dame Journal of Formal Logic, 4(1): 48–58. Reprinted in Rescher 1963a: 76–86. doi:10.1305/ndjfl/1093957394 (Scholar)
• –––, 1964, The Development of Arabic Logic, Pittsburgh: University of Pittsburgh Press. (Scholar)
• –––, 1967, Temporal Modalities in Arabic Logic, Dordrecht: Reidel. doi:10.1007/978-94-010-3523-1 (Scholar)
• Rescher, Nicholas and Arnold vander Nat, 1974, “The Theory of Modal Syllogistic in Medieval Arabic Philosophy” in Studies in Modality, edited by Nicholas Rescher, Ruth Manor et al. Oxford: Blackwell, 17–56. (Scholar)
• –––, 1975, “New Light on the Arabic Theory of Temporal Modal Syllogistic”, in Essays in Islamic Philosophy and Science, edited by George F. Hourani, Albany, NY: SUNY Press, 189–221. (Scholar)
• Sabra A. I., 1980, “Avicenna on the Subject Matter of Logic”, Journal of Philosophy, 77(11): 746–764. doi:10.5840/jphil1980771115 (Scholar)
• Schöck, Cornelia, 2006, Koranexegese, Grammatik und Logik: zum Verhältnis von arabischer und aristotelischer Urteils-, Konsequenz- und Schlußlehre, Leiden: Brill. (Scholar)
• –––, 2008, “Name (ism), Derived Name (ism mushtaqq) and Description (waṣf) in Arabic Grammar, Muslim Dialectical Theology and Arabic Logic”, in Rahman, Street, & Tahiri 2008: 329–360. doi:10.1007/978-1-4020-8405-8_12 (Scholar)
• Shehaby, Nabil, 1973, The Propositional Logic of Avicenna: A Translation from al-Shifāʾ: al-Qiyās with Introduction, Commentary and Glossary, Dordrecht: Reidel. doi:10.1007/978-94-010-2624-6 (Scholar)
• Street, Tony, 1995, “Tūsī on Avicenna’s Logical Connectives”, History and Philosophy of Logic, 16(2): 257–268. doi:10.1080/01445349508837252 (Scholar)
• –––, 2000, “Toward a History of Syllogistic after Avicenna: Notes on Rescher’s Studies on Arabic Modal Logic”, Journal of Islamic Studies, 11(2): 209–228. doi:10.1093/jis/11.2.209 (Scholar)
• –––, 2001, “‘The Eminent Later Scholar’ in Avicenna’s Book of the Syllogism”, Arabic Sciences and Philosophy, 11(2): 205–218. doi:10.1017/s0957423901001096 (Scholar)
• –––, 2002, “An Outline of Avicenna’s Syllogistic”, Archiv für Geschichte der Philosophie, 84(2): 129–160. doi:10.1515/agph.2002.007 (Scholar)
• –––, 2004, “Arabic Logic”, in Handbook of the History of Logic: Greek, Indian and Arabic Logic, edited by Dov M. Gabbay and John Woods, Amsterdam: Elsevier, 523–596. doi:10.1016/s1874-5857(04)80009-8 (Scholar)
• –––, 2005a, “Logic”, in The Cambridge Companion to Arabic Philosophy, edited by Peter Adamson and Richard C. Taylor, Cambridge: Cambridge University Press, 247–265. doi:10.1017/ccol0521817439.012 (Scholar)
• –––, 2005b, “Fakhraddīn ar-Rāzī’s Critique of Avicennan Logic”, in Logik und Theologie, Das ‘Organon’ im arabischen und im lateinischen Mittelalter, edited by Dominik Perler and Ulrich Rudolph, Leiden: Brill, 99–116. (Scholar)
• –––, 2010a, “Avicenna’s Twenty Questions on Logic: Preliminary Notes for Further Work”, Documenti e studi sulla tradizione filosofica medievale, 21: 97–112. (Scholar)
• –––, 2010b, “Appendix: Readings of the subject term”, Arabic Sciences and Philosophy, 20(1): 119–124. doi:10.1017/s0957423909990117 (Scholar)
• –––, 2012, “Medieval and Modern Interpretations of Avicenna’s Modal Syllogistic”, in Islamic Philosophy, Science, Culture, and Religion, edited by Felicitas Meta Maria Opwis and David Reisman, Leiden: Brill, 233–255. (Scholar)
• –––, 2013, “Arabic and Islamic Philosophy of Language and Logic” (Winter 2013 edition), in The Stanford Encyclopedia of Philosophy, Edward Zalta (ed.), (first version Fall 2008, substantive revision Winter 2013) URL = <https://plato.stanford.edu/archives/win2013/entries/arabic-islamic-language/>, accessed on 30 June 2017. (Scholar)
• –––, 2014a, “ Afḍal al-Dīn al-Khūnajī (d. 1248) on the Conversion of Modal Propositions”, Oriens, 42(3–4): 454—513. doi:10.1163/18778372-04203006 (Scholar)
• –––, 2014b, s.v. “Definition”, in Encyclopaedia of Islam (third edition), Leiden: Brill, 85–89.
• –––, 2016, “Kātibī (d. 1277), Taḥtānī (d. 1365), and the Shamsiyya” in The Oxford Handbook of Islamic Philosophy, edited by Khaled El-Rouayheb and Sabine Schmidtke, Oxford: Oxford University Press, 348–374. (Scholar)
• –––, forthcoming, “Avicenna: Logic (Ibn Sīnā: Lokig)”, in Grundriss der Geschichte der Philosophie. Philosophie in der Islamischen Welt, Band II: 11–12, Jahrhundert, edited by U. Rudolph, Basel: Schwabe. (Scholar)
• Strobino, Riccardo, 2010, “Avicenna on the Indemonstrability of Definition”, Documenti e studi sulla tradizione filosofica medievale, 21: 113–163. (Scholar)
• –––, 2012, “Avicenna’s Use of the Arabic Translations of the Posterior Analytics and the Ancient Commentary Tradition”, Oriens, 40(2): 355–389. doi:10.1163/18778372-00402007 (Scholar)
• –––, 2015a, “Time and Necessity in Avicenna’s Theory of Demonstration”, Oriens, 43(3–4): 338–367. doi:10.1163/18778372-04303003 (Scholar)
• –––, 2015b, “What If That (Is) Why? Avicenna’s Taxonomy of Scientific Inquiries”, in Aristotle and the Arabic Tradition, edited by Ahmed Alwishah and Josh Hayes, Cambridge: Cambridge University Press, 50–75. (Scholar)
• –––, 2016a, “Avicenna on Knowledge (ʿilm), Certainty (yaqīn), Cause (ʿilla/sabab) and the Relative (muḍāf)”, British Journal for the History of Philosophy, 24(3): 426–446. doi:10.1080/09608788.2015.1084267 (Scholar)
• –––, 2016b, “Per se, Inseparability, Containment, and Implication: Bridging the Gap between Avicenna’s Theory of Demonstration and Logic of the Predicables”, Oriens, 44(3–4): 181–266. doi:10.1163/18778372-04403002 (Scholar)
• –––, 2017, “Avicenna’s Kitāb al-Burhān II.7 and its Latin Translation by Gundissalinus: Text and Content”, Documenti e studi sulla tradizione filosofica medievale, 28: 105–147. (Scholar)
• –––, forthcoming, Avicenna’s Book of Demonstration: Logic, Metaphysics, Epistemology, Berkeley: University of California Press. (Scholar)
• Strobino, Riccardo and Paul Thom, 2016, “The Logic of Modality”, in Dutilh Novaes and Read 2016: 342–369. doi:10.1017/cbo9781107449862.015 (Scholar)
• Tahiri, Hassan, 2016, Mathematics and the Mind: An Introduction into Ibn Sīnā’s Theory of Knowledge, Heidelberg: Springer. doi:10.1007/978-3-319-25238-4 (Scholar)
• Thom, Paul, 1996, The Logic of Essentialism: An Interpretation of Aristotle’s Modal Syllogistic, Dordrecht: Kluwer. doi:10.1007/978-94-009-1663-0 (Scholar)
• –––, 2003, Medieval Modal Systems: Problems and Concepts, Aldershot: Ashgate. (Scholar)
• –––, 2008, “Logic and Metaphysics in Avicenna’s Modal Syllogistic”, in Rahman, Street, & Tahiri 2008: 361–376. doi:10.1007/978-1-4020-8405-8_13 (Scholar)
• –––, 2012, “Necessity- and Possibility-Syllogisms in Avicenna and Ṭusī”, in Dutilh Novaes and Thomassen Hjortland 2012: 239–248. (Scholar)
• –––, 2016a, “Necessity in Avicenna and the Arabic Tradition”, in Logical Modalities from Aristotle to Carnap: The Story of Necessity, edited by Max Cresswell, Edwin Mares and Adriane Rini, Cambridge: Cambridge University Press, 91–112. doi:10.1017/cbo9781139939553.002 (Scholar)
• –––, 2016b, “The Syllogism and its Transformations”, in Dutilh Novaes and Read 2016: 290–315. doi:10.1017/cbo9781107449862.013 (Scholar)
• Wolfson, Harry A., 1943, “The Terms Taṣawwur and Taṣdiq in Arabic Philosophy and their Greek, Latin and Hebrew equivalents”, The Muslim World, 33(2): 114–128. doi:10.1111/j.1478-1913.1943.tb01290.x (Scholar)