Logic in Islamic philosophy
Logic (Arabic: منطق) plays an important role in Islamic philosophy. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam, but this approach was later displaced by even earlier ideas from Greek philosophy and Hellenistic philosophy with the rise of the Mu'tazili philosophers, who highly valued Aristotle's Organon, which had long been established. The works of Hellenistic-influenced Islamic philosophers were crucial in the reception of Aristotelian logic in medieval Europe, along with the commentaries on the Organon by Averroes. The works of al-Farabi, Avicenna, al-Ghazali and other Persian 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.
Logic in 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 in modern times, Abu Muhammad Asem al-Maqdisi) 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.
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".
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. Ibn Sina 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. Despite the logical sophistication of al-Ghazali, the rise of the Ash'ari school from the 12th century slowly suffocated original work on logic in much of the Islamic world, though logic continued to be studied in some Islamic regions such as Persia and the Levant.
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.
- 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.
- I. M. Bochenski (1961), "On the history of the history of logic", A history of formal logic, p. 4-10. Translated by I. Thomas, Notre Dame, Indiana University Press. (cf. Ancient Islamic (Arabic and Persian) Logic and Ontology)
- Lenn Evan Goodman (2003), Islamic Humanism, p. 155, Oxford University Press, ISBN 0-19-513580-6.
- Science and Muslim Scientists, Islam Herald.
- See pp. 253–254 of Street, Tony (2005), "Logic", in Peter Adamson and Richard C. Taylor (edd.), The Cambridge Companion to Arabic Philosophy, Cambridge University Press, pp. 247&ndash, 265, ISBN 978-0-521-52069-0 <templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Iqbal, Muhammad (1930), "The Spirit of Muslim Culture", The Reconstruction of Religious Thought in Islam, retrieved 2008-01-25<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Rescher, Nicholas 1964. Studies in the History of Arabic Logic, Pittsburgh: University of Pittsburgh Press.
- Street, Tony 2004. Arabic Logic. in: Gabbay, Dov & Woods, John (eds.),Greek, Indian and Arabic Logic, Volume I of the Handbook of the History of Logic, Amsterdam: Elsevier, pp. 523–596.
- Routledge Encyclopedia of Philosophy: Logic in Islamic philosophy, Routledge, 1998
- Muslimphilosophy.com: Logic in Islamic philosophy
- Ancient Islamic (Arabic and Persian) Logic and Ontology, at Raul Corazzon's Theory and History of Ontology.