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. / 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"). Ainsi je démontre que le connecteur conditionnel "si, alors" dans la logique hypothétique d'Avicenne fonctionne comme l'opérateur logique au sens technique du terme. Pourtant, les bases théorétiques du syllogisme conjonctif sont tirées des Premiers Analytiques d'Aristote. Le système du syllogisme conjonctif et la théorie des conditionnelles quantifiées, que je considère ici parmi les apports les plus importants á l'histoire de la logique formelle, sont explicables à la lumière de la théorie syllogistique d'Aristote. Cependant, la logique stoïcienne ne joue pas un rôle essentiel.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.123019 |
| Date | January 2014 |
| Creators | Karimullah, Kamran |
| Contributors | Robert Wisnovsky (Supervisor) |
| Publisher | McGill University |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Language | English |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation |
| Format | application/pdf |
| Coverage | Doctor of Philosophy (Institute of Islamic Studies) |
| Rights | All items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated. |
| Relation | Electronically submitted theses |
Page generated in 0.002 seconds