Revision as of 23:01, 13 July 2010 editCitation bot 1 (talk | contribs)Bots130,044 editsm Citations: added: postscript, doi. Tweaked: pages. Unified citation types. You can use this bot yourself! Report bugs here.← Previous edit | Latest revision as of 12:10, 22 October 2024 edit undoMonkbot (talk | contribs)Bots3,695,952 editsm Task 20: replace {lang-??} templates with {langx|??} ‹See Tfd› (Replaced 1);Tag: AWB | ||
(110 intermediate revisions by 69 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|none}} | |||
''']''' ({{lang-ar|''منطق''}}) played an important role in ''']'''. ] and ] placed importance on formulating standards of ], which gave rise to a novel approach to logic in ], as seen in the method of '']''. This approach, however, was later displaced to some extent by ideas from ] and ] with the rise of the ] school, who highly valued ]'s '']''. The works of Hellenistic-influenced ] were crucial in the reception of ] logic in medieval Europe, along with the commentaries on the ''Organon'' by ], founder of ]. In turn, the Aristotelian tradition was later displaced by ], which in turn was succeeded by Post-Avicennian logic. | |||
Early ] placed importance on formulating standards of argument, which gave rise to a "novel approach to ]" ({{langx|ar|منطق}} '''''manṭiq''''' "speech, eloquence") in ] (Islamic scholasticism).<ref name="Schmidtke 2016">{{•}} {{cite book |last=Treiger |first=Alexander |year=2016 |origyear=2014 |chapter=Part I: Islamic Theologies during the Formative and the Early Middle period - Origins of Kalām |chapter-url=https://books.google.com/books?id=70wnDAAAQBAJ&pg=PA27 |editor-last=Schmidtke |editor-first=Sabine |editor-link=Sabine Schmidtke |title=The Oxford Handbook of Islamic Theology |location=] and ] |publisher=] |pages=27–43 |doi=10.1093/oxfordhb/9780199696703.013.001 |isbn=9780199696703 |lccn=2016935488}}<br />{{•}} {{cite book |last=Abrahamov |first=Binyamin |year=2016 |origyear=2014 |chapter=Part I: Islamic Theologies during the Formative and the Early Middle period - Scripturalist and Traditionalist Theology |chapter-url=https://books.google.com/books?id=70wnDAAAQBAJ&pg=PA264 |editor-last=Schmidtke |editor-first=Sabine |editor-link=Sabine Schmidtke |title=The Oxford Handbook of Islamic Theology |location=] and ] |publisher=] |pages=264–279 |doi=10.1093/oxfordhb/9780199696703.013.025 |isbn=9780199696703 |lccn=2016935488}}</ref> | |||
However, with the rise of the ] philosophers, who highly valued ]'s '']'', this approach was displaced by the older ideas from ].{{citation needed|date=March 2016}} | |||
The works of ], ], ] and other Muslim logicians who often criticized and corrected Aristotelian logic and introduced their own forms of logic, also played a central role in the subsequent development of European logic during the ].<ref>], ''Science and Islam'', p. 120. From the Greenwood Guides to Science and Religion Series. ]: ], 2007. {{ISBN|9780313335761}}</ref> | |||
Important developments made by Islamic logicians included the development of original systems of logic, notably Avicennian and Post-Avicennian logic, and the development of early theories on ], ],<ref name=Britannica/><ref name=Street/> ],<ref name=Goodman/><ref name=Iqbal/> ],<ref name=Goodman/> ],<ref name=Goodman-1992/> ],<ref name=Mas/><ref name="Sowa"/> and ].<ref name=Hallaq/> Other important developments in ] include the development of a strict ], the ] or "backing", and the development of a ] to disprove claims, the ], which could be generally applied to many types of questions. | |||
==History== | |||
According to the ]: | According to the ]: | ||
{{quote|"For the Islamic philosophers, logic included not only the study of formal patterns of ] and their validity but also elements of the philosophy of language and even of ] and ]. Because of territorial disputes with the Arabic grammarians, Islamic philosophers were very interested in working out the relationship between logic and language, and they devoted much discussion to the question of the subject matter and aims of logic in relation to reasoning and speech. In the area of formal logical analysis, they elaborated upon the theory of ], ]s and ]s as formulated in Aristotle's Categories, De interpretatione and Prior Analytics. In the spirit of Aristotle, they considered the syllogism to be the form to which all rational argumentation could be reduced, and they regarded syllogistic theory as the focal point of logic. Even poetics was considered as a syllogistic art in some fashion by most of the major Islamic Aristotelians."}} | |||
Important developments made by Muslim logicians included the development of "Avicennian logic" as a replacement of Aristotelian logic. ]'s ] was responsible for the introduction of ], ] ] and ]. Other important developments in early Islamic philosophy include the development of a strict ], the ] or "backing",<ref name=Ris55>Al-Shafi'i, al-Risala, Bulaq, 1321; ed. Sheikh Ahmad Muhammad Shakir, Cairo, 1940 (ed. Shakir), 55</ref><ref name=Schacht-OoMJ-1959>{{cite book |title=The Origins of Muhammadan Jurisprudence |last1=Schacht |first1=Joseph |publisher=Oxford University Press |orig-year= 1950 |year= 1959 |pages=37–8 }}</ref> and the development of a ] to disprove claims, the ], which could be generally applied to many types of questions.<ref>{{cite journal |last1=Mustapha |first1=Ariyanti |last2=Nazri |first2=Mohammed Arif |date=January 2022 |title=The Golden and Dark Ages of Islamic Jurisprudence: Analyzing the Orientalist Thought |url=https://nunjournal.com/index.php/qalam/article/view/71 |journal=QALAM International Journal of Islamic and Humanities Research |volume=2 |issue=3 |pages=9–17 |issn=2773-6334 |access-date=10 March 2023 |archive-date=10 March 2023 |archive-url=https://web.archive.org/web/20230310111138/https://nunjournal.com/index.php/qalam/article/view/71 |url-status=live }}</ref><ref name="ElBizri2005a">{{cite journal |last1=El-Bizri |first1=Nader |title=A philosophical perspective on Alhazen's optics |journal=Arabic Sciences and Philosophy |date=September 2005 |volume=15 |issue=2 |pages=189–218 |doi=10.1017/S0957423905000172 |s2cid=123057532 }}</ref><ref name="Principles of Ijtihad in Islam">{{cite web|last=Mutahhari|first=Murtada|title=The Principles of Ijtihad in Islam|date=2 March 2013|url=http://www.al-islam.org/al-serat/ijtihad.htm|access-date=1 May 2013}}</ref><ref name="Haq">{{cite journal |id={{Gale|A217042312}} |last1=Haq |first1=Syed Nomanul |title=Science in Islam |journal=Islam & Science |date=22 December 2009 |volume=7 |issue=2 |pages=151–159 }}</ref> | |||
{{quote|"For the Islamic philosophers, logic included not only the study of formal patterns of inference and their validity but also elements of the philosophy of language and even of ] and metaphysics. Because of territorial disputes with the Arabic grammarians, Islamic philosophers were very interested in working out the relationship between logic and language, and they devoted much discussion to the question of the subject matter and aims of logic in relation to reasoning and speech. In the area of formal logical analysis, they elaborated upon the theory of ], propositions and syllogisms as formulated in Aristotle's ], ] and ]. In the spirit of Aristotle, they considered the syllogism to be the form to which all rational argumentation could be reduced, and they regarded syllogistic theory as the focal point of logic. Even poetics was considered as a syllogistic art in some fashion by most of the major Islamic Aristotelians."}} | |||
==Islamic law and theology== | |||
{{quote|"Since logic was viewed as an organon or instrument by which to acquire knowledge, logic in the Islamic world also incorporated a general theory of argumentation focused upon epistemological aims. This element of Islamic logic centred upon the theory of ] found in Aristotle's Posterior Analytics, since demonstration was considered the ultimate goal sought by logic. Other elements of the theory of argumentation, such as ]s and ], were viewed as secondary to demonstration, since it was held that these argument forms produced ] states inferior in certitude and stability to demonstration. The philosopher's aim was ultimately to demonstrate necessary and certain truth; the use of dialectical and rhetorical arguments was accounted for as preparatory to demonstration, as defensive of its conclusions, or as aimed at communicating its results to a broader audience."}} | |||
Early forms of ], ] and categorical ] were introduced in ] (Islamic jurisprudence), ] (Islamic law) and ] (Islamic theology) from the 7th century with the process of '']'', before the Arabic translations of Aristotle's works. Later during the ], there was a logical debate among Islamic philosophers, logicians and theologians over whether the term ''Qiyas'' refers to analogical reasoning, inductive reasoning or categorical syllogism. Some Islamic scholars argued that ''Qiyas'' refers to inductive reasoning, which ] (994-1064) disagreed with, arguing that ''Qiyas'' does not refer to inductive reasoning, but refers to categorical syllogism in a ] sense and analogical reasoning in a ]ical sense. On the other hand, ] (1058–1111) and ] (1147-1223) argued that ''Qiyas'' refers to analogical reasoning in a real sense and categorical syllogism in a metaphorical sense. Other Islamic scholars at the time, however, argued that the term ''Qiyas'' refers to both analogical reasoning and categorical syllogism in a real sense.<ref>Wael B. Hallaq (1993), ''Ibn Taymiyya Against the Greek Logicians'', p. 48. Oxford University Press, {{ISBN|0-19-824043-0}}.</ref> | |||
===Logic in Arabic grammar=== | |||
{{main|Arabic grammar}} | |||
==Aristotelian logic== | |||
Some of the earliest known logic in the Islamic world came from the work of ]ians. Examples include the grammatical works of ] (d. 735) and ] (d. 797). The latter's work in particular has been compared in its logical sophistication to the work of ], a ]ian of the ]. | |||
The first original Arabic writings on logic were produced by ] (Alkindus) (805–873), who produced a summary on earlier logic up to his time. The first writings on logic with non-Aristotelian elements was produced by ] (Alfarabi) (873–950), who discussed the topics of future ]s, the ] and relation of the ], the relation between ] and ], and non-Aristotelian forms of ].<ref name=Britannica>, '']''.</ref> He is also credited for categorizing logic into two separate groups, the first being "idea" and the second being "]". | |||
===Logic in Islamic law and theology=== | |||
{{see also|Qiyas|Kalam}} | |||
] (1126–98) was the last major logician from ], who wrote the most elaborate commentaries on Aristotelian logic.<ref>{{Cite book|last=Fakhry|first=Majid|date=July 30, 2001|title=Averroes (Ibn Rushd) His Life, Works and Influence|url=https://books.google.com/books?id=88bWAAAAMAAJ|publisher=Oneworld Publications|access-date=September 28, 2023|isbn=978-1851682690}}</ref> | |||
Early forms of ] reasoning, ] and categorical ] were introduced in ] (Islamic jurisprudence), ] (Islamic law) and ] (]) from the 7th century with the process of '']'', at least a century before Muslims had become aware of Aristotelian logic. The ''Qiyas'' process was described by early Islamic legal scholars such as ] (699-765) and ] (767-820). Later during the ], there was a logical ] among Islamic philosophers, logicians and theologians over whether the term ''Qiyas'' refers to analogical reasoning, inductive reasoning or categorical syllogism. Some Islamic scholars argued that ''Qiyas'' refers to inductive reasoning, which ] (994-1064) disagreed with, arguing that ''Qiyas'' does not refer to inductive reasoning, but refers to categorical syllogism in a ] sense and analogical reasoning in a ]ical sense. On the other hand, ] (1058-1111) (and in modern times, ]) argued that ''Qiyas'' refers to analogical reasoning in a real sense and categorical syllogism in a metaphorical sense. Other Islamic scholars at the time, however, argued that the term ''Qiyas'' refers to both analogical reasoning and categorical syllogism in a real sense.<ref>Wael B. Hallaq (1993), ''Ibn Taymiyya Against the Greek Logicians'', p. 48. ], ISBN 0198240430.</ref> | |||
==Avicennian logic== | |||
] (994-1064) wrote the ''Scope of Logic'', in which he stressed on the importance of ] ] as a source of knowledge.<ref name=Iqbal>], '']'', "The Spirit of Muslim Culture" (] and )</ref> He wrote that the "first sources of all human knowledge are the soundly used senses and the intuitions of reason, combined with a correct understanding of a language." He also criticized some of the more traditionalist theologians who were opposed to the use of ] and argued that the first generations of ]s did not rely on logic. His response was that the early Muslims had witnessed the ] directly, whereas the Muslims of his time have been exposed to contrasting beliefs, hence the use of logic is necessary in order to preserve the true teachings of ].<ref>Seyyed ] and ] (1996), ''History of Islamic Philosophy'', pp. 107-109, ], ISBN 0415056675.</ref> Ibn Hazm's ''Fisal'' (''Detailed Critical Examination'') also stressed the importance of sense perception as he realized that human ] can be flawed, and thus criticized some of the more rationalist theologians who placed too much emphasis on reason. While he recognized the importance of reason, since the ] itself invites ], he argued that this reflection refers mainly to ] data, since the principles of reason are themselves derived entirely from sense ]. He concludes that reason is not a faculty for independent ] or ], but that that sense perception should be used in its place, an idea which forms the basis of ].<ref>, ''Islamic Philosophy Online''.</ref> | |||
] | |||
Avicenna (980–1037) developed his own system of logic known as "Avicennian logic" as an alternative to Aristotelian logic. By the 12th century, Avicennian logic had replaced Aristotelian logic as the dominant system of logic in the Islamic world.<ref>I. M. Bochenski (1961), "On the history of the history of logic", ''A history of formal logic'', pp. 4–10. Translated by I. Thomas, Notre Dame, ]. (] )</ref><ref>{{cite web |last1=Strobino |first1=Riccardo |title=Ibn Sina’s Logic |url=https://plato.stanford.edu/entries/ibn-sina-logic/ |publisher=The Stanford Encyclopedia of Philosophy (Fall 2018 Edition) |access-date=January 30, 2024 |date=August 15, 2018}}</ref> | |||
The first criticisms of Aristotelian logic were written by Avicenna, who produced independent treatises on logic rather than commentaries. He criticized the logical school of Baghdad for their devotion to Aristotle at the time. He investigated the theory of ] and ] and the ] of the ]s of categorical ]s, and developed an original theory on "] ]" syllogism. Its premises included ]s such as "at all times", "at most times", and "at some time". | |||
] (1058–1111) had an important influence on the use of logic in ], as he was the first to apply the ] of ] ] to Islamic theology.<ref name=Britannica/> He also established the application of three types of logical systems in Islamic Sharia law: reasoning by ], ], and ]. In cases that have multiple legal ]s, he recommended the use of inductive logic, stating that the "larger the number of pieces of textual evidence is, the stronger our knowledge becomes."<ref>{{Cite journal|title=The Logic of Legal Reasoning in Religious and Non-Religious Cultures: The Case of Islamic Law and the Common Law|last=Hallaq|first=Wael B.|journal=Cleveland State Law Review|volume=34|year=1985-1986|pages=79–96 |postscript=<!--None-->}}</ref> His followers, ] (1149-1209) and ] (1263-1328), also applied inductive logic to Islamic Sharia law.<ref name=Hallaq>{{Cite journal|title=The Logic of Legal Reasoning in Religious and Non-Religious Cultures: The Case of Islamic Law and the Common Law|last=Hallaq|first=Wael B.|journal=Cleveland State Law Review|volume=34|year=1985-1986|pages=79–96 |postscript=<!--None-->}}</ref> Ibn Taymiyyah in particular argued against the certainty of ] and in favour of analogy.<ref name=Mas/><ref name="Sowa"/> | |||
While Avicenna often relied on ] in philosophy, he used a different approach in medicine. Avicenna contributed inventively to the development of ], which he used to pioneer the idea of a ]. In his medical writings, Avicenna was the first to describe the ] which are critical to inductive logic and the ].<ref name=Goodman>Lenn Evan Goodman (2003), ''Islamic Humanism'', p. 155, Oxford University Press, {{ISBN|0-19-513580-6}}.</ref> | |||
] (1213-1288) wrote two major works dealing with logic in Islamic theology. ''Theologus Autodidactus'' was a fictional story dealing with many Islamic topics. Through its story, Ibn al-Nafis attempted to establish that the human ] is capable of ] the natural, philosophical and religious ]s of Islam through logical thinking.<ref name=Roubi/> In ''A Short Account of the Methodology of Hadith'', he demonstrated the use of logic in the ] into four categories: decidedly true (''maclūm al-sidq''), probably true (''yuz annu bihi'l-sidq''), probably false (''yuz annu bihi'l-kadhb'') and decidedly false (''maclūm al-kadhb'').<ref>Nahyan A. G. Fancy (2006), "Pulmonary Transit and Bodily Resurrection: The Interaction of Medicine, Philosophy and Religion in the Works of Ibn al-Nafīs (d. 1288)", p. 67-73, ''Electronic Theses and Dissertations'', ].</ref> | |||
] (994–1064) wrote the ''Scope of Logic'', in which he stressed on the importance of ] ] as a source of knowledge.<ref name=Herald> {{Webarchive|url=https://web.archive.org/web/20071020090525/http://www.islamherald.com/asp/explore/science/science_muslim_scientists.asp |date=2007-10-20 }}, Islam Herald.</ref> ] (Algazel) (1058–1111) had an important influence on the use of logic in theology, making use of Avicennian logic in ]. | |||
===Aristotelian logic=== | |||
Most early Muslim logicians during the 8th and 9th centuries produced commentaries on ]. The first original Arabic writings on logic were produced by ] (Alkindus) (805–873), who produced a summary on earlier logic up to his time.<ref name=Britannica/> | |||
] (b. 1149) criticised Aristotle's "]" and developed a form of ], foreshadowing the system of inductive logic developed by ] (1806–1873). Systematic refutations of Greek logic were written by the ], founded by ] (1155–1191), who developed the idea of "decisive ]", an important innovation in the history of logical philosophical speculation.<ref name=Herald/>{{failed verification|date=September 2022}} Another systematic refutation of Greek logic was written by ] (1263–1328), the ''Ar-Radd 'ala al-Mantiqiyyin'' (''Refutation of Greek Logicians''), where he argued against the usefulness, though not the validity, of the ]<ref>See pp. 253–254 of {{Citation | publisher = Cambridge University Press | isbn = 978-0-521-52069-0 | pages = 247–265 |editor=Peter Adamson |editor2=Richard C. Taylor | last = Street | first = Tony | title = The Cambridge Companion to Arabic Philosophy | chapter = Logic | year = 2005}}</ref> and in favour of ].<ref>{{citation|first=Muhammad|last=Iqbal|author-link=Muhammad Iqbal|year=1930|title=]|chapter=The Spirit of Muslim Culture|chapter-url=http://www.allamaiqbal.com/works/prose/english/reconstruction|access-date=2008-01-25}}</ref> | |||
] (Averroes) (1126–1198) was the last major logician from ], who wrote the most elaborate commentaries on Aristotelian logic. He was also the last major Aristotelian logician from the Islamic world.<ref name=Britannica/> Though his commentaries on Aristotelian logic ] had little influence in the Islamic world, his commentaries had a strong influence on ] after the ]. | |||
== See also == | |||
The last major logician to write a commentary on Aristotelian logic was ] (1213-1288), though he himself was not an Aristotelian logician. He wrote the ''Al-Wurayqat'' (''The Little Papers''), a commentary on ]'s '']'' and '']''.<ref name=Roubi>Dr. Abu Shadi Al-Roubi (1982), "Ibn Al-Nafis as a philosopher", ''Symposium on Ibn al-Nafis'', Second International Conference on Islamic Medicine: Islamic Medical Organization, Kuwait (] , ''Encyclopedia of Islamic World'').</ref> | |||
*] | |||
*] | |||
*] | |||
*] | |||
== References == | |||
===Alfarabian logic=== | |||
] (Alfarabi) (873–950) is considered the father of logic in the Islamic philosophical tradition.<ref>{{cite web|title=Mysticism in Arabic and Islamic Philosophy|work=]|date=March 7, 2009|url=http://plato.stanford.edu/entries/arabic-islamic-mysticism/|accessdate=2010-04-01}}</ref> Though he was mainly an Aristotelian logician, he included a number of non-Aristotelian elements in his works. He discussed the topics of ]s, the number and relation of the categories, the relation between ] and ], and non-Aristotelian forms of ].<ref name=Britannica/> | |||
{{reflist}} | |||
Al-Farabi also considered the theories of ]s and ], which were part of the ] tradition of logic rather than the Aristotelian.<ref>{{Cite journal | issn = 0022362X | volume = 61 | issue = 22 | pages = 724–734 | last = Feldman | first = Seymour | title = Rescher on Arabic Logic | journal = The Journal of Philosophy | accessdate = 2010-03-24 | date = 1964-11-26 | url = http://www.jstor.org/stable/2023632 | doi = 10.2307/2023632}} . {{Cite book | publisher = Cambridge University Press | isbn = 0-521-27556-3 | last = Long | first = A. A. | coauthors = D. N. Sedley | title = The Hellenistic Philosophers. Vol 1: Translations of the principal sources with philosophical commentary | location = Cambridge | date = 1987}}</ref> Another addition al-Farabi made to the Aristotelian tradition was his introduction of the concept of ] ] in a commentary on Aristotle's '']''.<ref>{{Cite journal|title=The Islamic roots of the poetic syllogism|journal=College Literature|date=February 1996|last=Ludescher|first=Tanyss|url=http://findarticles.com/p/articles/mi_qa3709/is_199602/ai_n8749610 |accessdate=2008-02-29}}</ref> | |||
==Bibliography== | |||
{{Avicenna}} | |||
], founder of ].]] | |||
* Rescher, Nicholas 1964. ''Studies in the History of Arabic Logic'', Pittsburgh: University of Pittsburgh Press. | |||
===Avicennian logic=== | |||
*{{cite book |last=Rescher |first=Nicholas |author-link=Nicholas Rescher |year=1966 |title=Temporal Modalities in Arabic Logic |url=https://archive.org/details/temporalmodaliti0000resc |url-access=registration |location=Dordrecht |publisher=Reidel}} | |||
{{main|Avicennism#Avicennian logic|l1=Avicennian logic}} | |||
Dimitri Gutas and the ] consider the period between the 11th and 14th centuries to be the "]" of Arabic and Islamic philosophy, initiated by ]'s successful integration of logic into the ] curriculum and the subsequent rise of ].<ref name=Stanford>{{cite web|author=Tony Street|title=Arabic and Islamic Philosophy of Language and Logic|publisher=]|date=July 23, 2008|url=http://plato.stanford.edu/entries/arabic-islamic-language|accessdate=2008-12-05}}</ref> | |||
] (Avicenna) (980–1037) developed his own ] known as "Avicennian logic" as an alternative to Aristotelian logic. After the ], Avicennian logic also influenced early ] logicians such as ]<ref>Richard F. Washell (1973), "Logic, Language, and Albert the Great", ''Journal of the History of Ideas'' '''34''' (3), p. 445-450 .</ref> and ],<ref name=Kukkonen>{{Cite journal|title=Possible Worlds in the Tahâfut al-Falâsifa: Al-Ghazâlî on Creation and Contingency|author=Taneli Kukkonen|journal=]|volume=38|issue=4|year=2000|pages=479–502|doi=10.1353/hph.2005.0033|postscript=<!--None-->}}</ref> though Aristotelian logic later became more dominant in Europe due to the strong influence of ].<ref name=Hasse>{{cite web|author=Dag Nikolaus Hasse|title=Influence of Arabic and Islamic Philosophy on the Latin West|publisher=]|date=September 19, 2008|url=http://plato.stanford.edu/entries/arabic-islamic-influence/|accessdate=2009-10-13}}</ref> | |||
He wrote on the ]<ref name=Goodman/> and on the ], which were both part of the Stoic logical tradition.<ref name=Goodman-1992>Goodman, Lenn Evan (1992); ''Avicenna'', p. 188, ], ISBN 0-415-01929-X.</ref> He developed an original theory of “] ]” syllogistic<ref name=Britannica>, '']''.</ref> and made use of ], such as the ] which are critical to the ].<ref name=Goodman>Goodman, Lenn Evan (2003), ''Islamic Humanism'', p. 155, ], ISBN 0-19-513580-6.</ref> | |||
One of Avicenna's ideas had a particularly important influence on Western logicians such as ]. Avicenna's word for a meaning or notion (''ma'na''), was translated by the scholastic logicians as the Latin ''intentio''. In medieval logic and ], this is a sign in the mind that naturally represents a thing.<ref>Kneale p. 229</ref> This was crucial to the development of Ockham's ]. A universal term (e.g. "man") does not signify a thing existing in reality, but rather a sign in the mind (''intentio in intellectu'') which represents many things in reality. Ockham cites Avicenna's commentary on ''Metaphysics'' V in support of this view.<ref>Kneale: p. 266; Ockham: ] i. 14; Avicenna: ''Avicennae Opera'' Venice 1508 f87rb</ref> | |||
===Post-Avicennian logic=== | |||
{{see also|Avicennism#Avicennian logic|l1=Avicennian logic}} | |||
The Islamic theologian ] (b. 1149) criticised Aristotle's "]" and formulated an early system of ], foreshadowing the system of inductive logic developed by ] (1806-1873).<ref name=Iqbal/> Al-Razi also applied inductive logic to Islamic ] law and ] jurisprudence.<ref>{{Cite journal|title=The Logic of Legal Reasoning in Religious and Non-Religious Cultures: The Case of Islamic Law and the Common Law|last=Hallaq|first=Wael B.|journal=Cleveland State Law Review|volume=34|year=1985-1986|pages=79–96 |postscript=<!--None-->}}</ref> Al-Razi's work was seen by later Islamic scholars as marking a new direction for Islamic logic, towards a Post-Avicennian logic. This was further elaborated by his student Afdaladdîn al-Khûnajî (d. 1249), who developed a form of logic revolving around the subject matter of ]ions and ]. In response to this tradition, ] (1201-1274) began a tradition of Neo-Avicennian logic which remained faithful to Avicenna's work and existed as an alternative to the more dominant Post-Avicennian school over the following centuries. Al-Tusi's work included the following commentary on Avicenna's theory of absolute ]s:<ref name=Stanford/> | |||
{{quote|"What spurred him to this was that in the ] syllogistic Aristotle and others sometimes used ] of absolute propositions on the assumption that they are absolute; and that was why so many decided that absolutes did contradict absolutes. When Avicenna had shown this to be wrong, he wanted to give a way of construing those examples from Aristotle."}} | |||
Systematic refutations of Greek logic were written by the ], founded by ] (1155-1191), who developed the idea of "decisive necessity", which refers to the reduction of all modalities (], ], ] and ]) to the single mode of necessity.<ref>Dr. Lotfollah Nabavi, , ''Journal of Faculty of Literature and Human Sciences''.</ref> ] (1213-1288) wrote a book on Avicennian logic, which was a commentary of Avicenna's ''Al-Isharat'' (''The Signs'') and ''Al-Hidayah'' (''The Guidance'').<ref name=Roubi/> | |||
] (d. 1276), a student of al-Tusi,<ref>{{Cite web| title = Illuminated Islamic Manuscript: A Selection of New Acquisitions at Yale University| work = Yale University Library, Near Eastern Collection| accessdate = 2010-03-17| date = 2009-08-06| url = http://www.library.yale.edu/neareast/exhibitions/exhibit20071.html}}</ref> was the author of a work on logic, ''Al-Risāla al-Shamsiyya''<ref>Page 227 of {{Cite book| publisher = Brill| isbn = 9789004129788| editors = David C. Reisman and Ahmed H. al-Rahim (edd.)| last = al-Rahim| first = Ahmed H.| title = Before and After Avicenna: Proceedings of the First Conference of the Avicenna Study Group| chapter = The Twelver Si'i Reception of Avicenna in the Mongol Period| series = Islamic philosophy, theology and science: texts and studies| date = 2003}}</ref> (''Logic for Shams al-Dīn''), that was commonly used as the first major text on logic in ] ]s, right down until the 20th century and is "perhaps the most studied logic textbook of all time."<ref>{{Cite book| publisher = Cambridge University Press| isbn = 9780521520690| pages=247 & 250| editors = Peter Adamson and Richard C. Taylor (ed.)| last = Street| first = Tony| title = The Cambridge Companion to Arabic Philosophy| chapter = Logic| date = 2005-01-01}}</ref> Al-Qazwīnī's logic was largely inspired by the Avicenna's formal system of ] ], but is more elaborate and departs from it in several ways. While Avicenna considered ten modalities and examined six of them, Al-Qazwlni considers many more modalized propositions and examines thirteen which he considers 'customary to investigate'.<ref name=Street>{{Cite journal|title=TOWARD A HISTORY OF SYLLOGISTIC AFTER AVICENNA: NOTES ON RESCHER'S STUDIES ON ARABIC MODAL LOGIC|author=Tony Street|journal=Journal of Islamic Studies|volume=11|issue=2|year=2000|publisher=]|pages=209–228|doi=10.1093/jis/11.2.209|postscript=<!--None-->}}</ref> | |||
Another systematic refutation of Greek logic was written by ] (1263-1328), the ''Ar-Radd 'ala al-Mantiqiyyin'' (''Refutation of Greek Logicians''), where he argued against the usefulness, though not the validity, of the ]<ref>See pp. 253–254 of {{Cite book | publisher = Cambridge University Press | isbn = 9780521520690 | pages = 247–265 | editors = Peter Adamson and Richard C. Taylor (edd.) | last = Street | first = Tony | title = The Cambridge Companion to Arabic Philosophy | chapter = Logic | date = 2005}}</ref> and in favour of ].<ref name=Iqbal/> He also applied inductive logic to Islamic ] law and ] jurisprudence. The "fundamental idea underlying Ibn Thymiyya's theory of logic in general, and legal logic in particular, is that the knowledge of the external world results from the observation of particular things." This could be seen as an anticipation of ] in the 19th century.<ref name=Hallaq-94-5>{{Cite journal|title=The Logic of Legal Reasoning in Religious and Non-Religious Cultures: The Case of Islamic Law and the Common Law|last=Hallaq|first=Wael B.|journal=Cleveland State Law Review|volume=34|year=1985-1986|pages=79–96 |postscript=<!--None-->}}</ref> Later, Ibn Taymiyyah argued against the certainty of ] and in favour of ]. His argument is that concepts founded on ] are themselves not certain but only probable, and thus a syllogism based on such concepts is no more certain than an argument based on analogy. He further claimed that induction itself is founded on a process of analogy. His model of analogical reasoning was based on that of juridical arguments.<ref name=Mas>{{Cite journal | author = Ruth Mas | title = Qiyas: A Study in Islamic Logic | journal = Folia Orientalia | volume = 34 | pages = 113–128 | year = 1998 | url = http://www.colorado.edu/ReligiousStudies/faculty/mas/LOGIC.pdf | issn = 0015-5675}}</ref><ref name="Sowa">{{Cite conference | author1 = ] | coauthors = Arun K. Majumdar | title = Analogical reasoning | booktitle = Conceptual Structures for Knowledge Creation and Communication, Proceedings of ICCS 2003 | publisher = Springer-Verlag | year = 2003 | location = Berlin | url = http://www.jfsowa.com/pubs/analog.htm | accessdate = }}, pp. 16-36</ref> This model of analogy has been used in the work of ].<ref name="Sowa"/> | |||
In the 14th century, the ] and historiographer ] discussed the Post-Avicennian tradition in his '']'' (1377). He wrote the following on how Islamic logic had changed substantially since the 12th century: | |||
{{quote|"Treatment of has become lengthy and wide-ranging—the first to do this was ] (d. 1210) and, after him, Afdaladdîn al-Khûnajî (d. 1249), on whom Eastern scholars rely even now… The books and ways of the ancients have been abandoned, as though they had never been."<ref name=Stanford/>}} | |||
The ''Sharh al-takmil fi'l-mantiq'' written by Muhammad ibn Fayd Allah ibn Muhammad Amin al-Sharwani in the 15th century is the last major Arabic work on logic that has been studied.<ref>] and Arnold vander Nat, "The Arabic Theory of Temporal Modal Syllogistic", in George Fadlo Hourani (1975), ''Essays on Islamic Philosophy and Science'', p. 189-221, ], ISBN 0873952243.</ref> However, there have been "thousands and thousands of pages" devoted to logical subjects throughout the period from the 14th century through to the 19th century. Only a fraction of the texts written during this period have been studied, hence little is known about the original work on Islamic logic produced during this later period.<ref name=Stanford/> | |||
==Major figures in Islamic logic== | |||
*] (d. 735) | |||
*] (699-765) | |||
*] (c. 760-797) | |||
*] (767-820) | |||
*] (''Alkindus'') (805–873) | |||
*] (''Alfarabi'') (873–950) | |||
*] (''Avicenna'') (980–1037) | |||
*] (994-1064) | |||
*] (''Algazel'') (1058–1111) | |||
*] (''Averroes'') (1126–1198) | |||
*] (1149-1210) | |||
*] (''Sohrevardi'') (1155-1191) | |||
*Afdaladdîn al-Khûnajî (d. 1249) | |||
*] (1201-1274) | |||
*] (d. 1276) | |||
*] (1213-1288) | |||
*] (1263-1328) | |||
*Muhammad ibn Fayd Allah ibn Muhammad Amin al-Sharwani (15th century) | |||
==See also== | |||
*] | |||
**] | |||
*] | |||
**] | |||
*] | |||
==References== | |||
{{reflist}} | |||
== External links == | |||
==Resources== | |||
*{{IEP|av-logic|Avicenna (Ibn Sina): Logic}} | |||
*, ]. Routledge, 1998. (Alternatively, see ) | |||
*]: , Routledge, 1998 | |||
*, at Raul Corazzon's ''Ontology. A resource guide for philosophers''. | |||
* Muslimphilosophy.com: | |||
*, at Raul Corazzon's ''History of Logic''. | |||
{{Islamic philosophy |state=expanded}} | |||
{{-}} | |||
{{DEFAULTSORT:Logic In Islamic Philosophy}} | {{DEFAULTSORT:Logic In Islamic Philosophy}} | ||
] | ] | ||
] |
Latest revision as of 12:10, 22 October 2024
Early Islamic law placed importance on formulating standards of argument, which gave rise to a "novel approach to logic" (Arabic: منطق manṭiq "speech, eloquence") in Kalam (Islamic scholasticism). However, with the rise of the Mu'tazili philosophers, who highly valued Aristotle's Organon, this approach was displaced by the older ideas from Hellenistic philosophy. The works of al-Farabi, Avicenna, al-Ghazali and other Muslim logicians who often criticized and corrected Aristotelian logic and introduced their own forms of logic, also played a central role in the subsequent development of European logic during the Renaissance.
According to the Routledge Encyclopedia of Philosophy:
"For the Islamic philosophers, logic included not only the study of formal patterns of inference and their validity but also elements of the philosophy of language and even of epistemology and metaphysics. Because of territorial disputes with the Arabic grammarians, Islamic philosophers were very interested in working out the relationship between logic and language, and they devoted much discussion to the question of the subject matter and aims of logic in relation to reasoning and speech. In the area of formal logical analysis, they elaborated upon the theory of terms, propositions and syllogisms as formulated in Aristotle's Categories, De interpretatione and Prior Analytics. In the spirit of Aristotle, they considered the syllogism to be the form to which all rational argumentation could be reduced, and they regarded syllogistic theory as the focal point of logic. Even poetics was considered as a syllogistic art in some fashion by most of the major Islamic Aristotelians."
Important developments made by Muslim logicians included the development of "Avicennian logic" as a replacement of Aristotelian logic. Avicenna's system of logic was responsible for the introduction of hypothetical syllogism, temporal modal logic and inductive logic. Other important developments in early Islamic philosophy include the development of a strict science of citation, the isnad or "backing", and the development of a scientific method of open inquiry to disprove claims, the ijtihad, which could be generally applied to many types of questions.
Islamic law and theology
Early forms of analogical reasoning, inductive reasoning and categorical syllogism were introduced in Fiqh (Islamic jurisprudence), Sharia (Islamic law) and Kalam (Islamic theology) from the 7th century with the process of Qiyas, before the Arabic translations of Aristotle's works. Later during the Islamic Golden Age, there was a logical debate among Islamic philosophers, logicians and theologians over whether the term Qiyas refers to analogical reasoning, inductive reasoning or categorical syllogism. Some Islamic scholars argued that Qiyas refers to inductive reasoning, which Ibn Hazm (994-1064) disagreed with, arguing that Qiyas does not refer to inductive reasoning, but refers to categorical syllogism in a real sense and analogical reasoning in a metaphorical sense. On the other hand, al-Ghazali (1058–1111) and Ibn Qudamah al-Maqdisi (1147-1223) argued that Qiyas refers to analogical reasoning in a real sense and categorical syllogism in a metaphorical sense. Other Islamic scholars at the time, however, argued that the term Qiyas refers to both analogical reasoning and categorical syllogism in a real sense.
Aristotelian logic
The first original Arabic writings on logic were produced by al-Kindi (Alkindus) (805–873), who produced a summary on earlier logic up to his time. The first writings on logic with non-Aristotelian elements was produced by al-Farabi (Alfarabi) (873–950), who discussed the topics of future contingents, the number and relation of the categories, the relation between logic and grammar, and non-Aristotelian forms of inference. He is also credited for categorizing logic into two separate groups, the first being "idea" and the second being "proof".
Averroes (1126–98) was the last major logician from al-Andalus, who wrote the most elaborate commentaries on Aristotelian logic.
Avicennian logic
Avicenna (980–1037) developed his own system of logic known as "Avicennian logic" as an alternative to Aristotelian logic. By the 12th century, Avicennian logic had replaced Aristotelian logic as the dominant system of logic in the Islamic world.
The first criticisms of Aristotelian logic were written by Avicenna, who produced independent treatises on logic rather than commentaries. He criticized the logical school of Baghdad for their devotion to Aristotle at the time. He investigated the theory of definition and classification and the quantification of the predicates of categorical propositions, and developed an original theory on "temporal modal" syllogism. Its premises included modifiers such as "at all times", "at most times", and "at some time".
While Avicenna often relied on deductive reasoning in philosophy, he used a different approach in medicine. Avicenna contributed inventively to the development of inductive logic, which he used to pioneer the idea of a syndrome. In his medical writings, Avicenna was the first to describe the methods of agreement, difference and concomitant variation which are critical to inductive logic and the scientific method.
Ibn Hazm (994–1064) wrote the Scope of Logic, in which he stressed on the importance of sense perception as a source of knowledge. Al-Ghazali (Algazel) (1058–1111) had an important influence on the use of logic in theology, making use of Avicennian logic in Kalam.
Fakhr al-Din al-Razi (b. 1149) criticised Aristotle's "first figure" and developed a form of inductive logic, foreshadowing the system of inductive logic developed by John Stuart Mill (1806–1873). Systematic refutations of Greek logic were written by the Illuminationist school, founded by Shahab al-Din Suhrawardi (1155–1191), who developed the idea of "decisive necessity", an important innovation in the history of logical philosophical speculation. Another systematic refutation of Greek logic was written by Ibn Taymiyyah (1263–1328), the Ar-Radd 'ala al-Mantiqiyyin (Refutation of Greek Logicians), where he argued against the usefulness, though not the validity, of the syllogism and in favour of inductive reasoning.
See also
References
- • Treiger, Alexander (2016) . "Part I: Islamic Theologies during the Formative and the Early Middle period - Origins of Kalām". In Schmidtke, Sabine (ed.). The Oxford Handbook of Islamic Theology. Oxford and New York: Oxford University Press. pp. 27–43. doi:10.1093/oxfordhb/9780199696703.013.001. ISBN 9780199696703. LCCN 2016935488.
• Abrahamov, Binyamin (2016) . "Part I: Islamic Theologies during the Formative and the Early Middle period - Scripturalist and Traditionalist Theology". In Schmidtke, Sabine (ed.). The Oxford Handbook of Islamic Theology. Oxford and New York: Oxford University Press. pp. 264–279. doi:10.1093/oxfordhb/9780199696703.013.025. ISBN 9780199696703. LCCN 2016935488. - Muzaffar Iqbal, Science and Islam, p. 120. From the Greenwood Guides to Science and Religion Series. Westport: Greenwood Publishing Group, 2007. ISBN 9780313335761
- Al-Shafi'i, al-Risala, Bulaq, 1321; ed. Sheikh Ahmad Muhammad Shakir, Cairo, 1940 (ed. Shakir), 55
- Schacht, Joseph (1959) . The Origins of Muhammadan Jurisprudence. Oxford University Press. pp. 37–8.
- Mustapha, Ariyanti; Nazri, Mohammed Arif (January 2022). "The Golden and Dark Ages of Islamic Jurisprudence: Analyzing the Orientalist Thought". QALAM International Journal of Islamic and Humanities Research. 2 (3): 9–17. ISSN 2773-6334. Archived from the original on 10 March 2023. Retrieved 10 March 2023.
- El-Bizri, Nader (September 2005). "A philosophical perspective on Alhazen's optics". Arabic Sciences and Philosophy. 15 (2): 189–218. doi:10.1017/S0957423905000172. S2CID 123057532.
- Mutahhari, Murtada (2 March 2013). "The Principles of Ijtihad in Islam". Retrieved 1 May 2013.
- Haq, Syed Nomanul (22 December 2009). "Science in Islam". Islam & Science. 7 (2): 151–159. Gale A217042312.
- Wael B. Hallaq (1993), Ibn Taymiyya Against the Greek Logicians, p. 48. Oxford University Press, ISBN 0-19-824043-0.
- History of logic: Arabic logic, Encyclopædia Britannica.
- Fakhry, Majid (July 30, 2001). Averroes (Ibn Rushd) His Life, Works and Influence. Oneworld Publications. ISBN 978-1851682690. Retrieved September 28, 2023.
- I. M. Bochenski (1961), "On the history of the history of logic", A history of formal logic, pp. 4–10. Translated by I. Thomas, Notre Dame, Indiana University Press. (cf. Ancient Islamic (Arabic and Persian) Logic and Ontology)
- Strobino, Riccardo (August 15, 2018). "Ibn Sina's Logic". The Stanford Encyclopedia of Philosophy (Fall 2018 Edition). Retrieved January 30, 2024.
- Lenn Evan Goodman (2003), Islamic Humanism, p. 155, Oxford University Press, ISBN 0-19-513580-6.
- ^ Science and Muslim Scientists Archived 2007-10-20 at the Wayback Machine, Islam Herald.
- See pp. 253–254 of Street, Tony (2005), "Logic", in Peter Adamson; Richard C. Taylor (eds.), The Cambridge Companion to Arabic Philosophy, Cambridge University Press, pp. 247–265, ISBN 978-0-521-52069-0
- Iqbal, Muhammad (1930), "The Spirit of Muslim Culture", The Reconstruction of Religious Thought in Islam, retrieved 2008-01-25
Bibliography
- Rescher, Nicholas 1964. Studies in the History of Arabic Logic, Pittsburgh: University of Pittsburgh Press.
- Rescher, Nicholas (1966). Temporal Modalities in Arabic Logic. Dordrecht: Reidel.
External links
- "Avicenna (Ibn Sina): Logic". Internet Encyclopedia of Philosophy.
- Routledge Encyclopedia of Philosophy: Logic in Islamic philosophy, Routledge, 1998
- Logic in Islamic philosophyby Deborah L. Black Muslimphilosophy.com:
- Ancient Islamic (Arabic and Persian) Logic and Ontology, at Raul Corazzon's History of Logic.
Islamic philosophy | |||||||
---|---|---|---|---|---|---|---|
| |||||||