Logic In Islamic Philosophy
   HOME

TheInfoList



OR:

Early
Islamic law Sharia, Sharī'ah, Shari'a, or Shariah () is a body of religious law that forms a part of the Islamic tradition based on scriptures of Islam, particularly the Qur'an and hadith. In Islamic terminology ''sharīʿah'' refers to immutable, intan ...
placed importance on formulating standards of argument, which gave rise to a "novel approach to
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
" ( ''manṭiq'' "speech, eloquence") in
Kalam ''Ilm al-kalam'' or ''ilm al-lahut'', often shortened to ''kalam'', is the scholastic, speculative, or rational study of Islamic theology ('' aqida''). It can also be defined as the science that studies the fundamental doctrines of Islamic fai ...
(Islamic scholasticism).
However, with the rise of the
Mu'tazili Mu'tazilism (, singular ) is an Islamic theological school that appeared in early Islamic history and flourished in Basra and Baghdad. Its adherents, the Mu'tazilites, were known for their neutrality in the dispute between Ali and his opponents ...
philosophers, who highly valued
Aristotle Aristotle (; 384–322 BC) was an Ancient Greek philosophy, Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology, a ...
's ''
Organon The ''Organon'' (, meaning "instrument, tool, organ") is the standard collection of Aristotle's six works on logical analysis and dialectic. The name ''Organon'' was given by Aristotle's followers, the Peripatetics, who maintained against the ...
'', this approach was displaced by the older ideas from
Hellenistic philosophy Hellenistic philosophy is Ancient Greek philosophy corresponding to the Hellenistic period in Ancient Greece, from the death of Alexander the Great in 323 BC to the Battle of Actium in 31 BC. The dominant schools of this period were the Stoics, the ...
. The works of
al-Farabi file:A21-133 grande.webp, thumbnail, 200px, Postage stamp of the USSR, issued on the 1100th anniversary of the birth of Al-Farabi (1975) Abu Nasr Muhammad al-Farabi (; – 14 December 950–12 January 951), known in the Greek East and Latin West ...
,
Avicenna Ibn Sina ( – 22 June 1037), commonly known in the West as Avicenna ( ), was a preeminent philosopher and physician of the Muslim world, flourishing during the Islamic Golden Age, serving in the courts of various Iranian peoples, Iranian ...
,
al-Ghazali Al-Ghazali ( – 19 December 1111), archaically Latinized as Algazelus, was a Shafi'i Sunni Muslim scholar and polymath. He is known as one of the most prominent and influential jurisconsults, legal theoreticians, muftis, philosophers, the ...
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 The Renaissance ( , ) is a Periodization, period of history and a European cultural movement covering the 15th and 16th centuries. It marked the transition from the Middle Ages to modernity and was characterized by an effort to revive and sur ...
. Scholars who have studied Islamic logic include
Nicholas Rescher Nicholas Rescher (; ; 15 July 1928 – 5 January 2024) was a German-born American philosopher, polymath, and author, who was a professor of philosophy at the University of Pittsburgh from 1961. He was chairman of the Center for Philosophy of Sc ...
, who in a 1964 work contextualized some 170 Arabic-language logicians, without the book being exhaustive. There have been hundreds of original treatises in the subject as well thousands of later commentaries or supra-commentaries. According to the
Routledge Encyclopedia of Philosophy The ''Routledge Encyclopedia of Philosophy'' is an encyclopedia of philosophy edited by Edward Craig that was first published by Routledge in 1998. Originally published in both 10 volumes of print and as a CD-ROM, in 2002 it was made available on ...
: Important developments made by Muslim logicians included the development of "Avicennian logic" as a replacement of Aristotelian logic.
Avicenna Ibn Sina ( – 22 June 1037), commonly known in the West as Avicenna ( ), was a preeminent philosopher and physician of the Muslim world, flourishing during the Islamic Golden Age, serving in the courts of various Iranian peoples, Iranian ...
's system of logic was responsible for the introduction of hypothetical syllogism, temporal
modal logic Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality ...
and inductive logic. Other important developments in early Islamic philosophy include the development of a strict science of citation, the
isnad In the Islamic study of hadith, an isnād (chain of transmitters, or literally "supporting"; ) refers to a list of people who passed on a tradition, from the original authority to whom the tradition is attributed to, to the present person reciting ...
or "backing",Al-Shafi'i, al-Risala, Bulaq, 1321; ed. Sheikh Ahmad Muhammad Shakir, Cairo, 1940 (ed. Shakir), 55 and the development of a scientific method of open inquiry to disprove claims, the
ijtihad ''Ijtihad'' ( ; ' , ) is an Islamic legal term referring to independent reasoning by an expert in Islamic law, or the thorough exertion of a jurist's mental faculty in finding a solution to a legal question. It is contrasted with '' taqlid'' ( ...
, which could be generally applied to many types of questions.


Islamic law and theology

Early forms of
analogical reasoning Analogy is a comparison or correspondence between two things (or two groups of things) because of a third element that they are considered to share. In logic, it is an inference or an argument from one particular to another particular, as oppose ...
,
inductive reasoning Inductive reasoning refers to a variety of method of reasoning, methods of reasoning in which the conclusion of an argument is supported not with deductive certainty, but with some degree of probability. Unlike Deductive reasoning, ''deductive'' ...
and categorical
syllogism A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defin ...
were introduced in
Fiqh ''Fiqh'' (; ) is the term for Islamic jurisprudence.Fiqh
Encyclopædia Britannica
''Fiqh'' is of ...
(Islamic jurisprudence),
Sharia Sharia, Sharī'ah, Shari'a, or Shariah () is a body of religious law that forms a part of the Islamic tradition based on Islamic holy books, scriptures of Islam, particularly the Quran, Qur'an and hadith. In Islamic terminology ''sharīʿah'' ...
(Islamic law) and
Kalam ''Ilm al-kalam'' or ''ilm al-lahut'', often shortened to ''kalam'', is the scholastic, speculative, or rational study of Islamic theology ('' aqida''). It can also be defined as the science that studies the fundamental doctrines of Islamic fai ...
(Islamic theology) from the 7th century with the process of ''
Qiyas Qiyas (, , ) is the process of deductive analogy in which the teachings of the hadith are compared and contrasted with those of the Quran in Islamic jurisprudence, in order to apply a known injunction ('' nass'') to a new circumstance and cre ...
'', before the Arabic translations of Aristotle's works. Later during the
Islamic Golden Age The Islamic Golden Age was a period of scientific, economic, and cultural flourishing in the history of Islam, traditionally dated from the 8th century to the 13th century. This period is traditionally understood to have begun during the reign o ...
, 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 Ibn Hazm (; November 994 – 15 August 1064) was an Andalusian Muslim polymath, historian, traditionist, jurist, philosopher, and theologian, born in the Córdoban Caliphate, present-day Spain. Described as one of the strictest hadith interpre ...
(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
metaphor A metaphor is a figure of speech that, for rhetorical effect, directly refers to one thing by mentioning another. It may provide, or obscure, clarity or identify hidden similarities between two different ideas. Metaphors are usually meant to cr ...
ical sense. On the other hand,
al-Ghazali Al-Ghazali ( – 19 December 1111), archaically Latinized as Algazelus, was a Shafi'i Sunni Muslim scholar and polymath. He is known as one of the most prominent and influential jurisconsults, legal theoreticians, muftis, philosophers, the ...
(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 Abū Yūsuf Yaʻqūb ibn ʼIsḥāq aṣ-Ṣabbāḥ al-Kindī (; ; ; ) was an Arab Muslim polymath active as a philosopher, mathematician, physician, and music theorist Music theory is the study of theoretical frameworks for understandin ...
(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 file:A21-133 grande.webp, thumbnail, 200px, Postage stamp of the USSR, issued on the 1100th anniversary of the birth of Al-Farabi (1975) Abu Nasr Muhammad al-Farabi (; – 14 December 950–12 January 951), known in the Greek East and Latin West ...
(Alfarabi) (873–950), who discussed the topics of future contingents, the
number A number is a mathematical object used to count, measure, and label. The most basic examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers can ...
and relation of the categories, the relation between
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
and
grammar In linguistics, grammar is the set of rules for how a natural language is structured, as demonstrated by its speakers or writers. Grammar rules may concern the use of clauses, phrases, and words. The term may also refer to the study of such rul ...
, and non-Aristotelian forms of
inference Inferences are steps in logical reasoning, moving from premises to logical consequences; etymologically, the word '' infer'' means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinct ...
.History of logic: Arabic logic
''
Encyclopædia Britannica The is a general knowledge, general-knowledge English-language encyclopaedia. It has been published by Encyclopædia Britannica, Inc. since 1768, although the company has changed ownership seven times. The 2010 version of the 15th edition, ...
''.
He is also credited for categorizing logic into two separate groups, the first being "idea" and the second being "
proof Proof most often refers to: * Proof (truth), argument or sufficient evidence for the truth of a proposition * Alcohol proof, a measure of an alcoholic drink's strength Proof may also refer to: Mathematics and formal logic * Formal proof, a co ...
".
Averroes Ibn Rushd (14 April 112611 December 1198), archaically Latinization of names, Latinized as Averroes, was an Arab Muslim polymath and Faqīh, jurist from Al-Andalus who wrote about many subjects, including philosophy, theology, medicine, astron ...
(1126–98) was the last major logician from
al-Andalus Al-Andalus () was the Muslim-ruled area of the Iberian Peninsula. The name refers to the different Muslim states that controlled these territories at various times between 711 and 1492. At its greatest geographical extent, it occupied most o ...
, 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 A definition is a statement of the meaning of a term (a word, phrase, or other set of symbols). Definitions can be classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional definitio ...
and
classification Classification is the activity of assigning objects to some pre-existing classes or categories. This is distinct from the task of establishing the classes themselves (for example through cluster analysis). Examples include diagnostic tests, identif ...
and the quantification of the predicates of categorical
proposition A proposition is a statement that can be either true or false. It is a central concept in the philosophy of language, semantics, logic, and related fields. Propositions are the object s denoted by declarative sentences; for example, "The sky ...
s, 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 Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that it is impossible for the premises to be true and the conclusion to be false. For example, t ...
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 A syndrome is a set of medical signs and symptoms which are correlated with each other and often associated with a particular disease or disorder. The word derives from the Greek language, Greek σύνδρομον, meaning "concurrence". When a sy ...
. 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 The scientific method is an Empirical evidence, empirical method for acquiring knowledge that has been referred to while doing science since at least the 17th century. Historically, it was developed through the centuries from the ancient and ...
.Lenn Evan Goodman (2003), ''Islamic Humanism'', p. 155, Oxford University Press, .
Ibn Hazm Ibn Hazm (; November 994 – 15 August 1064) was an Andalusian Muslim polymath, historian, traditionist, jurist, philosopher, and theologian, born in the Córdoban Caliphate, present-day Spain. Described as one of the strictest hadith interpre ...
(994–1064) wrote the ''Scope of Logic'', in which he stressed on the importance of
sense A sense is a biological system used by an organism for sensation, the process of gathering information about the surroundings through the detection of Stimulus (physiology), stimuli. Although, in some cultures, five human senses were traditio ...
perception Perception () is the organization, identification, and interpretation of sensory information in order to represent and understand the presented information or environment. All perception involves signals that go through the nervous syste ...
as a source of knowledge.Science and Muslim Scientists
, Islam Herald.
Al-Ghazali Al-Ghazali ( – 19 December 1111), archaically Latinized as Algazelus, was a Shafi'i Sunni Muslim scholar and polymath. He is known as one of the most prominent and influential jurisconsults, legal theoreticians, muftis, philosophers, the ...
(Algazel) (1058–1111) had an important influence on the use of logic in theology, making use of Avicennian logic in
Kalam ''Ilm al-kalam'' or ''ilm al-lahut'', often shortened to ''kalam'', is the scholastic, speculative, or rational study of Islamic theology ('' aqida''). It can also be defined as the science that studies the fundamental doctrines of Islamic fai ...
. 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 John Stuart Mill (20 May 1806 – 7 May 1873) was an English philosopher, political economist, politician and civil servant. One of the most influential thinkers in the history of liberalism and social liberalism, he contributed widely to s ...
(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 Necessary or necessity may refer to: Concept of necessity * Need ** An action somebody may feel they must do ** An important task or essential thing to do at a particular time or by a particular moment * Necessary and sufficient condition, in l ...
", an important innovation in the history of logical philosophical speculation. Another systematic refutation of Greek logic was written by
Ibn Taymiyyah Ibn Taymiyya (; 22 January 1263 – 26 September 1328)Ibn Taymiyya, Taqi al-Din Ahmad, The Oxford Dictionary of Islam. http://www.oxfordreference.com/view/10.1093/acref/9780195125580.001.0001/acref-9780195125580-e-959 was a Sunni Muslim ulama, ...
(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 A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defin ...
and in favour of
inductive reasoning Inductive reasoning refers to a variety of method of reasoning, methods of reasoning in which the conclusion of an argument is supported not with deductive certainty, but with some degree of probability. Unlike Deductive reasoning, ''deductive'' ...
.


See also

*
Early Islamic philosophy Early Islamic philosophy or classical Islamic philosophy is a period of intense philosophical development beginning in the 2nd century AH of the Islamic calendar (early 9th century Common Era, CE) and lasting until the 6th century AH (late 12th ...
*
History of logic The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in Indian logic, India, Logic in China, China, and Greek philosophy, Greece. Greek methods, particula ...
*
Qiyas Qiyas (, , ) is the process of deductive analogy in which the teachings of the hadith are compared and contrasted with those of the Quran in Islamic jurisprudence, in order to apply a known injunction ('' nass'') to a new circumstance and cre ...
*
Ijtihad ''Ijtihad'' ( ; ' , ) is an Islamic legal term referring to independent reasoning by an expert in Islamic law, or the thorough exertion of a jurist's mental faculty in finding a solution to a legal question. It is contrasted with '' taqlid'' ( ...


References


Bibliography

* Rescher, Nicholas 1964. ''Studies in the History of Arabic Logic'', Pittsburgh: University of Pittsburgh Press. *


External links

* *
Routledge Encyclopedia of Philosophy The ''Routledge Encyclopedia of Philosophy'' is an encyclopedia of philosophy edited by Edward Craig that was first published by Routledge in 1998. Originally published in both 10 volumes of print and as a CD-ROM, in 2002 it was made available on ...

Logic in Islamic philosophy
Routledge, 1998
Logic in Islamic philosophyby Deborah L. Black
Muslimphilosophy.com:

at Raul Corazzon's ''History of Logic''. {{DEFAULTSORT:Logic In Islamic Philosophy
Logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
Islam Islam is an Abrahamic religions, Abrahamic monotheistic religion based on the Quran, and the teachings of Muhammad. Adherents of Islam are called Muslims, who are estimated to number Islam by country, 2 billion worldwide and are the world ...