(D. 1037), Logical Theory, and the Aristotelian Tradition
AVICENNA (D. 1037), LOGICAL THEORY, AND THE ARISTOTELIAN TRADITION The Institute of Islamic Studies at McGill University, Montreal January 2014 A Thesis submitted to McGill University in partial fulfillment of the requirements for the degree of Doctor of Philosophy ©Kamran I. Karimullah 2014 1 ABSTRACT In this study I examine Avicenna’s (d. 1037) theory of conditional propositions, (or “if, then” sentences, qaḍāyā šarṭiyya muttaṣila), and his system of repetitive and conjunctive syllogisms (qiyāsāt istiṯnāʾiyya, qiyāsāt iqtirāniyya). I show that Avicenna’s theory of conditional propositions is conceived as a rejection of Alfarabi’s “context theory”–based system of conditional propositions and conditional syllogisms (qaḍāyā šarṭiyya). I also show that Avicenna’s “if, then” connectors operate as propositional connectives in the modern, technical sense of that term. However, the theoretical bases of Avicenna’s conjunctive syllogistic belong to the Prior Analytics. The system of conjunctive syllogisms and quantified conditionals, which is one of Avicenna’s most important contributions to the history of formal logic, is explicable in terms of Aristotle’s syllogistic theory. Stoic logic, on the other hand, plays a minor role. 2 RÉSUMÉ Dans cette étude, j’examine la théorie des propositions conditionnelles (qaḍāyā šarṭiyya muttaṣila) d’Avicenne (m. 1037) ainsi que son système des syllogismes répétitifs et conjonctifs (qiyāsāt istiṯnāʾiyya et qiyāsāt iqtirāniyya). J’établie que Avicenne a formulé sa théorie des propositions conditionnelles afin de rejeter le système des propositions conditionnelles et syllogismes hypothétiques (qiyāsāt šarṭiyya) d’Alfarabi (m. 950), qui s’est fondé sur une théorie de langue dans laquelle le contexte dialectique demeure au centre de l’analyse des propositions et des syllogismes (appelée “context theory”).
[Show full text]