All Topics  
Logic in Islamic philosophy

 

   Email Print
   Bookmark   Link






 

Logic in Islamic philosophy



 
 
Logic
Logic

Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
  played an important role in early Islamic philosophy
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 and lasting until the 6th century AH ....
, making logic in Islamic philosophy
Islamic philosophy

Islamic philosophy is a branch of Islamic studies, and is a longstanding attempt to create harmony between philosophy and the religious teachings of Islam ....
 an important branch of study in the history of logic
History of logic

The history of logic is the study of the development of the science of valid inference . While many cultures have employed intricate systems of reasoning, and logical methods are evident in all human thought, an explicit analysis of the principles of reasoning was developed only in three traditions: those of Logic in China, Indian logic, and...
. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam
Kalam

Kalam is the Islamic philosophy of seeking Islamic theology principles through dialectic. In Arabic language the word literally means "speech"....
, as seen in the method of qiyas
Qiyas

In Sunni Fiqh,the qiyas is the process of Analogy in which the teachings of the Quran are compared and contrasted with those of the Hadith, ie....
. This approach, however, was later displaced to some extent by ideas from ancient Greek
Greek philosophy

Greek philosophy focused on the role of reason and inquiry. Many philosophers today concede that Greek philosophy has shaped the entire Western thought since its inception....
 and Hellenistic philosophy
Hellenistic philosophy

Hellenistic philosophy is the period of Western philosophy that was developed in the Hellenistic civilization following Aristotle and ending with Neoplatonism....
 with the rise of the Mu'tazili
Mu'tazili

Mu?tazilah is a theology school of thought within Sunni Islam. It is also anglicized as Mu?tazilite. They are usually not accepted by other Sunni Muslims, though their theology parallels Shi'a Islam, such as their belief in the indivinity of the Qur'an....
 school, who highly valued Aristotle
Aristotle

Aristotle was a Greeks philosopher, a student of Plato and teacher of Alexander the Great. He wrote on many subjects, including physics, metaphysics, Poetics , theater, music, logic, rhetoric, politics, government, ethics, biology and zoology....
's Organon
Organon

The Organon is the name given by Aristotle's followers, the Peripatetics, to the standard collection of his six works on logic. The works are Categories , Prior Analytics, De Interpretatione, Posterior Analytics, Sophistical Refutations, and Topics ....
.






Discussion
Ask a question about 'Logic in Islamic philosophy'
Start a new discussion about 'Logic in Islamic philosophy'
Answer questions from other users
Full Discussion Forum



Encyclopedia


Logic
Logic

Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
  played an important role in early Islamic philosophy
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 and lasting until the 6th century AH ....
, making logic in Islamic philosophy
Islamic philosophy

Islamic philosophy is a branch of Islamic studies, and is a longstanding attempt to create harmony between philosophy and the religious teachings of Islam ....
 an important branch of study in the history of logic
History of logic

The history of logic is the study of the development of the science of valid inference . While many cultures have employed intricate systems of reasoning, and logical methods are evident in all human thought, an explicit analysis of the principles of reasoning was developed only in three traditions: those of Logic in China, Indian logic, and...
. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam
Kalam

Kalam is the Islamic philosophy of seeking Islamic theology principles through dialectic. In Arabic language the word literally means "speech"....
, as seen in the method of qiyas
Qiyas

In Sunni Fiqh,the qiyas is the process of Analogy in which the teachings of the Quran are compared and contrasted with those of the Hadith, ie....
. This approach, however, was later displaced to some extent by ideas from ancient Greek
Greek philosophy

Greek philosophy focused on the role of reason and inquiry. Many philosophers today concede that Greek philosophy has shaped the entire Western thought since its inception....
 and Hellenistic philosophy
Hellenistic philosophy

Hellenistic philosophy is the period of Western philosophy that was developed in the Hellenistic civilization following Aristotle and ending with Neoplatonism....
 with the rise of the Mu'tazili
Mu'tazili

Mu?tazilah is a theology school of thought within Sunni Islam. It is also anglicized as Mu?tazilite. They are usually not accepted by other Sunni Muslims, though their theology parallels Shi'a Islam, such as their belief in the indivinity of the Qur'an....
 school, who highly valued Aristotle
Aristotle

Aristotle was a Greeks philosopher, a student of Plato and teacher of Alexander the Great. He wrote on many subjects, including physics, metaphysics, Poetics , theater, music, logic, rhetoric, politics, government, ethics, biology and zoology....
's Organon
Organon

The Organon is the name given by Aristotle's followers, the Peripatetics, to the standard collection of his six works on logic. The works are Categories , Prior Analytics, De Interpretatione, Posterior Analytics, Sophistical Refutations, and Topics ....
. The works of Hellenistic-influenced Islamic philosophers
List of Muslim philosophers

A Muslim philosopher is a person that professes Islam and engaged in the philosophical aspect of Islamic studies, for example theology or eschatology and other fields of Islamic philosophy....
 were crucial in the reception of Aristotelian logic in medieval Europe, along with the commentaries on the Organon by Averroes
Averroes

Abu 'l-Walid Mu?ammad ibn A?mad ibn Rushd , better known just as Ibn Rushd , and in European literature as Averroes , was an Al-Andalus-Arab Muslim polymath: a master of early Islamic philosophy, Islamic theology, Maliki Sharia and Fiqh, Logic in Islamic philosophy, Psychology in medieval Islam, Arabic music theory, and the Scien...
.

Important developments made by Muslim logicians included the first forms of non-Aristotelian logic, notably Avicennian logic, and the introduction of temporal
Temporal logic

In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time....
 modal logic
Modal logic

A modal logic is any system of mathematical logic#Formal logic that attempts to deal with notions of possibility and necessity. Traditionally, there are three "modes" or "moods" or "modalities" of the Copula to be, namely, Logical possibility, probability, and Necessary_and_sufficient_conditions#Necessary_conditions....
 and inductive logic
Inductive reasoning

Induction or inductive reasoning, sometimes called inductive logic, is reasoning which takes us "beyond the confines of our current evidence or knowledge to conclusions about the unknown." The premises of an inductive logical argument support the conclusion but do not entailment it; i.e....
. Other important developments in early Islamic philosophy include the development of a strict science of citation
Scientific citation

Scientific citation is the process by which logical consequences of previous scientists are used to justify experimental procedures, apparatus, Objective s or theses....
, the isnad
Isnad

A hadith was originally just an Arabic story. As the stories began to be used formally it became common to provide their chain of transmitters, . The story proper was then called the matn....
 or "backing", and the development of a scientific method of open inquiry
Scientific method

Scientific method refers to techniques for investigating phenomenon, acquiring new knowledge, or correcting and integrating previous knowledge. To be termed scientific, a method of inquiry must be based on gathering observable, empirical and Measure evidence subject to specific principles of reasoning....
 to disprove claims, the ijtihad
Ijtihad

Ijtihad is a technical term of Sharia that describes the process of making a legal decision by independent interpretation of the legal sources, the Qur'an and the Sunnah....
, which could be generally applied to many types of questions.

History

According to the Routledge Encyclopedia of Philosophy
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 ....
:

Logic in Islamic law and theology

Early forms of analogical reasoning
Analogy

Analogy is both the cognition process of transferring information from a particular subject to another particular subject , and a language expression corresponding to such a process....
, inductive reasoning
Inductive reasoning

Induction or inductive reasoning, sometimes called inductive logic, is reasoning which takes us "beyond the confines of our current evidence or knowledge to conclusions about the unknown." The premises of an inductive logical argument support the conclusion but do not entailment it; i.e....
 and categorical syllogism
Syllogism

A syllogism, or logical appeal, , is a kind of logical argument in which one proposition is Inference from two others of a certain form....
 were introduced in Fiqh
Fiqh

Fiqh is Islamic jurisprudence. Fiqh is an expansion of the Sharia Islamic law?based directly on the Quran and Sunnah?that complements Shariah with evolving Fatwa/interpretations of Ulema....
 (Islamic jurisprudence), Sharia
Sharia

Sharia is the body of Islamic religious law. The term means "way" or "path to the water source"; it is the legal framework within which the public and private aspects of life are regulated for those living in a legal system based on Fiqh and for Muslims living outside the domain....
 (Islamic law) and Kalam
Kalam

Kalam is the Islamic philosophy of seeking Islamic theology principles through dialectic. In Arabic language the word literally means "speech"....
 (Islamic theology
Islamic theology

Islamic theology is a branch of Islamic studies regarding the beliefs associated with the Islamic faith....
) from the 7th century with the process of Qiyas
Qiyas

In Sunni Fiqh,the qiyas is the process of Analogy in which the teachings of the Quran are compared and contrasted with those of the Hadith, ie....
, before the Arabic translations of Aristotle's works. Later during the Islamic Golden Age
Islamic Golden Age

The Islamic Golden Age, also sometimes known as the Islamic Renaissance, was traditionally dated from the 700 A.D. to 1200 A.D.Common Era, but has been extended to the 15th and 16th centuries by some scholars....
, there was a logical debate
Debate

Debate or debating is a formal method of interactive and representational argument. Debate is a broader form of argument than logical argument, which only examine the consistency from axiom, and factual argument, which only examine what is or isn't the case or rhetoric which is technique of persuasion....
 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

Ibn Hazm in full Abu Mu?ammad ?Ali ibn A?mad ibn Sa?id ibn ?azm ? sometimes with al-Andalusi a?-?ahiri as well was an Al-Andalus-Arab Islamic philosophy, Intellectual, psychologist, historian, jurist and theologian born in C?rdoba, Spain, present-day Spain....
 (994-1064) disagreed with, arguing that Qiyas does not refer to inductive reasoning, but refers to categorical syllogism in a real
Reality

Reality, in everyday usage, means "the state of things as they actually exist". In a sense it is what is real. The term reality, in its widest sense, includes everything that being, whether or not it is observation or comprehension....
 sense and analogical reasoning in a metaphor
Metaphor

Metaphor is language that directly compares seemingly unrelated subjects. It is a figure of speech that compares two or more things without using the words "like" or "as." More generally, a metaphor describes a first subject as being or equal to a second object in some way....
ical sense. On the other hand, al-Ghazali
Al-Ghazali

Abu ?amid Mu?ammad ibn Mu?ammad al-Ghazali was born and died in Tus, in the Khorasan province of Persia. He was an Islamic theology, Fiqh, Islamic philosophy, Islamic astronomy, Islamic psychology and Sufism of Persian people origin, and remains one of the most celebrated scholars in the history of Sunni Islamic thought....
 (1058-1111) (and in modern times, Abu Muhammad Asem al-Maqdisi
Abu Muhammad Asem al-Maqdisi

Abu Muhammad al-Maqdisi or more fully Abu Muhammad Asem al-Maqdisi is the assumed name of Isam Mohammad Tahir al-Barqawi, a Jordanian-Palestinian writer....
) 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.

Ibn Hazm
Ibn Hazm

Ibn Hazm in full Abu Mu?ammad ?Ali ibn A?mad ibn Sa?id ibn ?azm ? sometimes with al-Andalusi a?-?ahiri as well was an Al-Andalus-Arab Islamic philosophy, Intellectual, psychologist, historian, jurist and theologian born in C?rdoba, Spain, present-day Spain....
 (994-1064) wrote the Scope of Logic, in which he stressed on the importance of sense
Sense

Senses are the physiological methods of perception. The senses and their operation, classification, and theory are overlapping topics studied by a variety of fields, most notably neuroscience, cognitive psychology , and philosophy of perception....
 perception
Perception

In psychology and the cognitive sciences, perception is the process of attaining awareness or understanding of sense information. It is a task far more complex than was imagined in the 1950s and 1960s, when it was predicted that building perceiving machines would take about a decade, a goal which is still very far from fruition....
 as a source of knowledge. 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 logic
Logic

Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
 and argued that the first generations of Muslim
Muslim

:A Muslim , , is an adherent of the religion of Islam. The feminine form is Muslimah . Literally, the word means "one who submits "....
s did not rely on logic. His response was that the early Muslims had witnessed the revelation
Revelation

Revelation is the act of revealing or disclosing, or making something obvious and clearly understood through active or passive communication with the divinity....
 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 Islam
Islam

Islam is a Monotheism, Abrahamic religion originating with the teachings of the Prophets of Islam Muhammad, a 7th century Arab religious and political figure....
.

Ibn Hazm's Fisal (Detailed Critical Examination) also stressed the importance of sense perception as he realized that human reason
Reason

Reason may refer to Mind#Mental faculties that consciously create explanations in order to judge, decide, solve problems, generalize, and give examples, among other activities....
 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 Qur'an
Qur'an

The Qur?an is the central religious text of Islam. Muslims believe the Qur?an to be the book of divine guidance and direction for mankind, and consider the original Arabic text to be the final revelation of God....
 itself invites reflection
Introspection

Introspection is the self-observation and reporting of conscious inner thoughts, Motivation and sensations. It is a conscious mental and usually purposive process relying on thinking, reasoning, and examining one's own thoughts, feelings, and, in more spiritual cases, one's soul....
, he argued that this reflection refers mainly to sense
Sense

Senses are the physiological methods of perception. The senses and their operation, classification, and theory are overlapping topics studied by a variety of fields, most notably neuroscience, cognitive psychology , and philosophy of perception....
 data, since the principles of reason are themselves derived entirely from sense experience
Experience

Experience as a general concept comprises knowledge of or skill in or observation of some thing or some event gained through involvement in or exposure to that thing or event....
. He concludes that reason is not a faculty for independent research
Research

Research is defined as human activity based on intellectual application in the investigation of matter. The primary purpose for applied research is discovery , interpretation , and the development of methods and systems for the advancement of human knowledge on a wide variety of scientific matters of our world and the universe....
 or discovery
Discovery

Discovery may refer to:*Discovery , observing or finding something unknown to one's culture*Discovery , a character's learning something unknown...
, but that that sense perception should be used in its place, an idea which forms the basis of empiricism
Empiricism

In philosophy, empiricism is a theory of knowledge which asserts that knowledge arises from experience. Empiricism is one of several competing views about how we know "things," part of the branch of philosophy called epistemology, or "theory of knowledge"....
.

Al-Ghazali
Al-Ghazali

Abu ?amid Mu?ammad ibn Mu?ammad al-Ghazali was born and died in Tus, in the Khorasan province of Persia. He was an Islamic theology, Fiqh, Islamic philosophy, Islamic astronomy, Islamic psychology and Sufism of Persian people origin, and remains one of the most celebrated scholars in the history of Sunni Islamic thought....
 (Algazel) (1058–1111) had an important influence on the use of logic in theology
Theology

Theology is the study of the existence or attributes of a deity or gods, or more generally the study of religion or spirituality. It is sometimes contrasted with religious studies: theology is understood as the study of religion from an internal perspective , and religious studies as the study of religion from an external perspective....
, as he was the first to apply the Avicennian system
Avicennism

Avicennism is a school of early Islamic philosophy which began during the middle of the Islamic Golden Age. The school was founded by Avicenna , an 11th-century Iranian philosophy who attempted to redefine the course of Islamic philosophy and channel it into new directions....
 of temporal
Temporal logic

In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time....
 modal logic
Modal logic

A modal logic is any system of mathematical logic#Formal logic that attempts to deal with notions of possibility and necessity. Traditionally, there are three "modes" or "moods" or "modalities" of the Copula to be, namely, Logical possibility, probability, and Necessary_and_sufficient_conditions#Necessary_conditions....
 to Islamic theology. Despite the logical sophistication of al-Ghazali
Al-Ghazali

Abu ?amid Mu?ammad ibn Mu?ammad al-Ghazali was born and died in Tus, in the Khorasan province of Persia. He was an Islamic theology, Fiqh, Islamic philosophy, Islamic astronomy, Islamic psychology and Sufism of Persian people origin, and remains one of the most celebrated scholars in the history of Sunni Islamic thought....
, the rise of the Ash'ari
Ash'ari

The Ash?ari theology is a school of early Kalam founded by the theologian Abu al-Hasan al-Ash'ari . The disciples of the school are known as Ash'arites, and the school is also referred to as Ash'arite school....
 school from the 12th century slowly suffocated original work on logic in western Islamic regions such as the Maghreb
Maghreb

The Maghreb , also rendered Maghrib , meaning "place of sunset" or "western" in Arabic, is a region in North Africa. The term is generally applied to all of Morocco, Algeria, and Tunisia, but in older Arabic usage pertained only to the area of the three countries between the high ranges of the Atlas Mountains and the Mediterranean Sea....
 and al-Andalus
Al-Andalus

Al-Andalus was the Arabic name given to the parts of the Iberian Peninsula governed by Arab Muslims, at various times in the period between 711 and 1492....
, but logic continued to be studied in eastern Islamic regions such as the Levant
Levant

The Levant describes, traditionally, the Eastern Mediterranean at large, but can be used as a geographical term that denotes a large area in Western Asia formed by the lands bordering the Eastern shores of the Mediterranean, roughly bounded on the north by the Taurus Mountains, on the south by the Arabian Desert, and on the west by the M...
, Egypt
Egypt

Egypt is a country mainly in North Africa, with the Sinai Peninsula forming a land bridge in Western Asia. Covering an area of about , Egypt borders the Mediterranean Sea to the north, the Gaza Strip and Israel to the northeast, the Red Sea to the east, Sudan to the south and Libya to the west....
 and Persia
History of Iran

History of Iran and Greater Iran consists of the area from the Euphrates in the west to the Indus River and Syr Darya in the east and from the Caucasus, Caspian Sea, and Aral Sea in the north to the Persian Gulf and the Gulf of Oman in the south....
.

Ibn al-Nafis (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 mind
Mind

Mind refers to the aspects of intellect and consciousness manifested as combinations of thought, perception, memory, emotion, free will and imagination, including all of the brain's conscious and unconscious cognitive processes....
 is capable of deducing
Deductive reasoning

Deductive reasoning, sometimes called deductive logic, is reasoning which constructs or evaluates deductive Argument s.In logic, an argument is said to be deductive when the truth of the conclusion is purported to follow necessarily or be a logical consequence of the premises and its corresponding conditional is a necessary truth....
 the natural, philosophical and religious truth
Truth

semantic fields for the word truth extend from honesty, good faith, and sincerity in general, to agreement with fact or reality in particular....
s of Islam through logical thinking. In A Short Account of the Methodology of Hadith, he demonstrated the use of logic in the classification of the hadith
Hadith

Hadith are oral traditions relating to the words and deeds of the Prophets of Islam Muhammad. Hadith collections are regarded by all traditional madhab as important tools for determining the Muslim way of life, the sunnah....
s into four categories: decidedly true (maclum al-sidq), probably true (yuz annu bihi'l-sidq), probably false (yuz annu bihi'l-kadhb) and decidedly false (maclum al-kadhb).

Aristotelian logic

Most early Muslim logicians during the 8th and 9th centuries produced commentaries on Aristotelian logic
Organon

The Organon is the name given by Aristotle's followers, the Peripatetics, to the standard collection of his six works on logic. The works are Categories , Prior Analytics, De Interpretatione, Posterior Analytics, Sophistical Refutations, and Topics ....
. The first original Arabic writings on logic were produced by al-Kindi
Al-Kindi

, also known to the Western world by the Latinized version of his name 'Alkindus', was an Arab polymath: an Early Islamic philosophy, Islamic science, Islamic astrology, Islamic astronomy, Alchemy and chemistry in Islam, Logic in Islamic philosophy, Islamic mathematics, Arabic music, Islamic medicine, Islamic physics, Islamic psychologi...
 (Alkindus) (805–873), who produced a summary on earlier logic up to his time.

Ibn Rushd
Averroes

Abu 'l-Walid Mu?ammad ibn A?mad ibn Rushd , better known just as Ibn Rushd , and in European literature as Averroes , was an Al-Andalus-Arab Muslim polymath: a master of early Islamic philosophy, Islamic theology, Maliki Sharia and Fiqh, Logic in Islamic philosophy, Psychology in medieval Islam, Arabic music theory, and the Scien...
 (Averroes) (1126–1198) was the last major logician from al-Andalus
Al-Andalus

Al-Andalus was the Arabic name given to the parts of the Iberian Peninsula governed by Arab Muslims, at various times in the period between 711 and 1492....
, who wrote the most elaborate commentaries on Aristotelian logic. He was also the last major Aristotelian logician from the Islamic world. Though his commentaries on Aristotelian logic and metaphysics had little influence in the Islamic world, his commentaries had a strong influence on medieval Europe
Middle Ages

File:Karl 1 mit papst gelasius gregor1 sacramentar v karl d kahlen.jpgThe Middle Ages of European history are a period in history which lasted for roughly a millennium, commonly dated from the fall of the Roman Empire in the 5th century to the beginning of the Early Modern Period in the 16th century, marked by the division of Western Christi...
 after the Latin translations of the 12th century.

The last major logician to write a commentary on Aristotelian logic was Ibn al-Nafis (1213-1288), though he himself was not an Aristotelian logician. He wrote the Al-Wurayqat (The Little Papers), a commentary on Aristotle
Aristotle

Aristotle was a Greeks philosopher, a student of Plato and teacher of Alexander the Great. He wrote on many subjects, including physics, metaphysics, Poetics , theater, music, logic, rhetoric, politics, government, ethics, biology and zoology....
's Organon
Organon

The Organon is the name given by Aristotle's followers, the Peripatetics, to the standard collection of his six works on logic. The works are Categories , Prior Analytics, De Interpretatione, Posterior Analytics, Sophistical Refutations, and Topics ....
 and Rhetoric
Rhetoric (Aristotle)

Aristotle's Rhetoric is an ancient Greek treatise on the art of persuasion, dating from the fourth century BCE. In Greek, it is titled ?????S ????????S, in Latin Ars Rhetorica. In English, its title varies: typically it is titled the Rhetoric, the Art of Rhetoric, or a Treatise on Rhetoric....
.

Alfarabian logic

Though al-Farabi
Al-Farabi

Abu Nasr al-Farabi , known in the Western world as Alpharabius , was a Muslim polymath and one of the greatest Islamic sciences and Early Islamic philosophys of History of Iran and the Islamic Golden Age in his time....
 (Alfarabi) (873–950) was mainly an Aristotelian logician, he introduced a number of non-Aristotelian elements of logic. He discussed the topics of future contingents, the number
Number

A number is a mathematical object used in counting and measurement. A notational symbol which represents a number is called a Numeral system, but in common usage the word number is used for both the abstract object and the symbol, as well as for the numeral for the number....
 and relation
Relation

Relation may refer to:*Relation, a person to whom one is related, i.e. a family member *Relation , a generalization of arithmetic relations, such as "=" and "<", that occur in statements, such as "5 < 6" and "2 + 2 = 4"....
 of the categories
Category

Category may refer to:*Category *taxonomic category - Taxonomic rank*Lexical category*Category *Categories *Category *Categories *Categories ...
, the relation between logic
Logic

Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
 and grammar
Grammar

Grammar is the field of linguistics that covers the conventions governing the use of any given natural language. It includes morphology and syntax, often complemented by phonetics, phonology, semantics, and pragmatics....
, and non-Aristotelian forms of inference
Inference

Inference is the act or process of deriving a logical consequence from premises.Inference is studied within several different fields.* Human inference is traditionally studied within the field of cognitive psychology....
. He is credited for categorizing logic into two separate groups, the first being "idea
Idea

An idea is a form formed by consciousness through the process of Ideation . Human capability to contemplate ideas is associated with the ability of reasoning, human self-reflection, and of the ability to acquire and apply intellect, intuition, inspiration, etc.....
" and the second being "proof".

Al-Farabi also introduced the theories of conditional syllogism and analogical inference
Analogy

Analogy is both the cognition process of transferring information from a particular subject to another particular subject , and a language expression corresponding to such a process....
, which were not part of the Aristotelian tradition. Another addition al-Farabi made to the Aristotelian tradition was his introduction of the concept of poetic
Poetics

Aristotle's Poetics aims to give an account of what he calls 'poetry' . Aristotle attempts to explain 'poetry' through 'first principles' and by discerning its different genres and component elements....
 syllogism
Syllogism

A syllogism, or logical appeal, , is a kind of logical argument in which one proposition is Inference from two others of a certain form....
 in a commentary on Aristotle's Poetics.

Avicennian logic


Dimitri Gutas and the Stanford Encyclopedia of Philosophy
Stanford Encyclopedia of Philosophy

The Stanford Encyclopedia of Philosophy is a Open access online encyclopedia of philosophy maintained by Stanford University. The SEP was initially developed with U.S....
 consider the period between the 11th and 14th centuries to be the "Golden Age
Golden age

The term Golden age in ancient Greece mythology and legend but can also be found in other ancient cultures . It refers either to the highest age in the Greek spectrum of Iron, Bronze, Silver and Golden ages, or to a time in the beginnings of Humanity which was perceived as an ideal state, or utopia, when mankind was pure and immortal....
" of Arabic and Islamic philosophy, initiated by Al-Ghazali
Al-Ghazali

Abu ?amid Mu?ammad ibn Mu?ammad al-Ghazali was born and died in Tus, in the Khorasan province of Persia. He was an Islamic theology, Fiqh, Islamic philosophy, Islamic astronomy, Islamic psychology and Sufism of Persian people origin, and remains one of the most celebrated scholars in the history of Sunni Islamic thought....
's successful integration of logic into the Madrasah
Madrasah

File:Registan_-_Sherdor_madrasa.jpgMadrasah is the Arabic word for any type of school, whether secular or religious . It is variously Arabic transliteration as madrasah, madarasaa, medresa, madrassa, madraza, madarsa, etc....
 curriculum and the subsequent rise of Avicennism
Avicennism

Avicennism is a school of early Islamic philosophy which began during the middle of the Islamic Golden Age. The school was founded by Avicenna , an 11th-century Iranian philosophy who attempted to redefine the course of Islamic philosophy and channel it into new directions....
.

Ibn Sina
Avicenna

, known as Abu Ali Sina Balkhi or Ibn Sina and commonly known in English by his Latinized name Avicenna , was a Persian people polymath and the foremost Islamic medicine and Early Islamic philosophy of his time....
 (Avicenna) (980–1037) developed his own system of logic known as "Avicennian logic" as an alternative to Aristotelian logic. After the Latin translations of the 12th century, Avicennian logic also influenced early medieval European
Middle Ages

File:Karl 1 mit papst gelasius gregor1 sacramentar v karl d kahlen.jpgThe Middle Ages of European history are a period in history which lasted for roughly a millennium, commonly dated from the fall of the Roman Empire in the 5th century to the beginning of the Early Modern Period in the 16th century, marked by the division of Western Christi...
 logicians such as Albertus Magnus
Albertus Magnus

Saint Albertus Magnus, Ordo Praedicatorum , also known as Saint Albert the Great and Albert of Cologne, was a Dominican Order Dominican friar and bishop who achieved fame for his comprehensive knowledge of and advocacy for the peaceful Relationship between religion and science....
, though Aristotelian logic later became more popular in Europe due to the strong influence of Averroism
Averroism

Averroism is the term applied to either of two philosophy trends among scholasticism in the late 13th century, the first of which was based on the Early Islamic philosophy Averroes's interpretations of Aristotle and his reconciliation of Aristotelianism with the Islamic faith....
.

Avicenna developed an early theory on hypothetical syllogism
Hypothetical syllogism

In logic, a hypothetical syllogism has two uses. In propositional logic it expresses one of the rules of inference, while in the history of logic, it is a short-hand for the theory of consequence....
, which formed the basis of his early risk factor
Risk factor

A risk factor is a variable associated with an increased risk of disease or infection. Risk factors are Correlation and not necessarily Causality, because correlation does not imply causation....
 analysis. He also developed an early theory on propositional calculus
Propositional calculus

In logic and mathematics, a propositional calculus or logic is a formal system in which formulae representing propositional formulas can be formed by combining atomic formula propositions using logical connectives, and a system of formal proof rules allows certain formul? to be established as "theorem"....
, which was an area of logic not covered in the Aristotelian tradition. The first criticisms on Aristotelian logic were also written by Avicenna, who developed an original theory on temporal
Temporal logic

In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time....
 modal
Modal logic

A modal logic is any system of mathematical logic#Formal logic that attempts to deal with notions of possibility and necessity. Traditionally, there are three "modes" or "moods" or "modalities" of the Copula to be, namely, Logical possibility, probability, and Necessary_and_sufficient_conditions#Necessary_conditions....
 syllogism
Syllogism

A syllogism, or logical appeal, , is a kind of logical argument in which one proposition is Inference from two others of a certain form....
. He also contributed inventively to the development of inductive logic
Inductive reasoning

Induction or inductive reasoning, sometimes called inductive logic, is reasoning which takes us "beyond the confines of our current evidence or knowledge to conclusions about the unknown." The premises of an inductive logical argument support the conclusion but do not entailment it; i.e....
, being the first to describe the methods of agreement, difference and concomitant variation
Mill's Methods

Mill's Methods are five methods of Inductive reasoning described by philosopher John Stuart Mill in his 1843 book A System of Logic. They are intended to illuminate issues of Causality....
 which are critical to inductive logic and the scientific method
Scientific method

Scientific method refers to techniques for investigating phenomenon, acquiring new knowledge, or correcting and integrating previous knowledge. To be termed scientific, a method of inquiry must be based on gathering observable, empirical and Measure evidence subject to specific principles of reasoning....
.

Fakhr al-Din al-Razi
Fakhr al-Din al-Razi

Abu Abdullah Muhammad ibn Umar ibn al-Husayn al-Taymi al-Bakri al-Tabaristani Fakhr al-Din al-Razi or Fakhruddin Razi was a well-known Persian people Sunni Muslim theology and philosopher....
 (b. 1149) criticised Aristotle's "first figure
Syllogism

A syllogism, or logical appeal, , is a kind of logical argument in which one proposition is Inference from two others of a certain form....
" and formulated an early system of inductive logic, foreshadowing the system of inductive logic developed by John Stuart Mill
John Stuart Mill

John Stuart Mill , United Kingdom philosopher, political economy, civil servant and Parliament of the United Kingdom, was an influential liberalism thinker of the 19th century....
 (1806-1873). Systematic refutations of Greek logic were written by the Illuminationist school
Illuminationist philosophy

For other uses, see Illuminati .Illuminationist Philosophy is an Iranian philosophy and Islamic philosophy first developed by Shahab al-Din Suhrawardi , the famous Persian people philosopher....
, founded by Shahab al-Din Suhrawardi
Shahab al-Din Suhrawardi

"Shahab ad-Din" Ya?y? ibn ?abash as-Suhrawardi was a Persian philosopher, Sufism and the founder of the School of Illumination, one of the most important schools in Islamic philosophy....
 (1155-1191), who developed the idea of "decisive necessity", which refers to the reduction of all modalities (necessity
Necessity

In U.S. criminal law, necessity may be either a possible Justification or an exculpation for breaking the law. The corresponding defense in Britain is called "lawful excuse." Defendants seeking to rely on this defense argue that they should not be held liable for their action as a crime because their conduct was necessary to prevent s...
, possibility
Logical possibility

A logically possible proposition is one that can be asserted without implying a logical contradiction. This is to say that a proposition is logically possible if there is some coherent way for the world to be, under which the proposition would be true....
, contingency and impossibility
Impossibility

In contract law, impossibility is an excuse for the nonperformance of duties under a contract, based on a change in circumstances , the nonoccurrence of which was an underlying assumption of the contract, that makes performance of the contract literally impossible....
) to the single mode of necessity. Ibn al-Nafis (1213-1288) wrote a book on Avicennian logic, which was a commentary of Avicenna's Al-Isharat (The Signs) and Al-Hidayah (The Guidance). Another systematic refutation of Greek logic was written by Ibn Taymiyyah (1263-1328), who wrote the ar-Radd 'ala al-Mantiqiyyin (Refutation of Greek Logicians), in which he gave a proof for induction
Inductive reasoning

Induction or inductive reasoning, sometimes called inductive logic, is reasoning which takes us "beyond the confines of our current evidence or knowledge to conclusions about the unknown." The premises of an inductive logical argument support the conclusion but do not entailment it; i.e....
 being the only true form of argument
Argument

* In logic, an Argument is a set of one or more meaningful declarative sentences known as the premises along with another meaningful declarative sentence known as the conclusion....
, which had an important influence on the development of the scientific method
Scientific method

Scientific method refers to techniques for investigating phenomenon, acquiring new knowledge, or correcting and integrating previous knowledge. To be termed scientific, a method of inquiry must be based on gathering observable, empirical and Measure evidence subject to specific principles of reasoning....
 of observation
Observation

Observation is either an activity of a living being , consisting of receiving knowledge of the outside world through the senses, or the recording of data using scientific instruments....
 and experiment
Experiment

In scientific inquiry, an experiment is a method of investigating causal relationships among variables. An experiment is a cornerstone of the empiricism approach to acquiring data about the world and is used in both natural sciences and social sciences....
ation. In the 14th century, Ibn Khaldun
Ibn Khaldun

Ibn Khaldun or Ibn Khaldoun...
, in his Muqaddimah
Muqaddimah

The Muqaddimah, or the Muqaddimah of Ibn Khaldun , or the Prolegomena in Greek language, is a book written by the North African historian Ibn Khaldun in 1377 which records an early Muslim view of universal history....
 (1377), wrote the following on how Islamic logic had changed since the 12th century:

The Sharh al-takmil fi'l-mantiq written by Muhammad ibn Fayd Allah ibn Muhammad Amin al-Sharwani in the 15th century was the last major Arabic work on logic.

Fuzzy logic


In 1965, Lotfi Asker Zadeh
Lotfi Asker Zadeh

Lotfi ali Asker Zadeh , born February 4, 1921) is a mathematician and computer scientist, and a professor of computer science at the University of California, Berkeley....
 founded fuzzy set
Fuzzy set

Fuzzy sets are sets whose elements have degrees of membership. Fuzzy sets have been introduced by Lotfi Asker Zadeh as an extension of the classical notion of Set ....
 theory as an extension of the classical notion of set and he founded the field of Fuzzy Mathematics
Fuzzy mathematics

Fuzzy mathematics forms a branch of mathematics related to fuzzy set theory and fuzzy logic. It started in 1965 after the publication of Lotfi Asker Zadeh's seminal work Fuzzy sets....
.

Later in 1973, Zadeh founded the field of Fuzzy logic
Fuzzy logic

Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. In binary sets with binary logic, in contrast to fuzzy logic named also crisp logic, the variables may have a Membership function of only 0 or 1....
. This was the first major contribution to logic from the Islamic world after more than five centuries.

Major figures in Islamic logic

  • Al-Kindi
    Al-Kindi

    , also known to the Western world by the Latinized version of his name 'Alkindus', was an Arab polymath: an Early Islamic philosophy, Islamic science, Islamic astrology, Islamic astronomy, Alchemy and chemistry in Islam, Logic in Islamic philosophy, Islamic mathematics, Arabic music, Islamic medicine, Islamic physics, Islamic psychologi...
     (Alkindus) (805–873)
  • Al-Farabi
    Al-Farabi

    Abu Nasr al-Farabi , known in the Western world as Alpharabius , was a Muslim polymath and one of the greatest Islamic sciences and Early Islamic philosophys of History of Iran and the Islamic Golden Age in his time....
     (Alfarabi) (873–950)
  • Ibn Sina
    Avicenna

    , known as Abu Ali Sina Balkhi or Ibn Sina and commonly known in English by his Latinized name Avicenna , was a Persian people polymath and the foremost Islamic medicine and Early Islamic philosophy of his time....
     (Avicenna) (980–1037)
  • Ibn Hazm
    Ibn Hazm

    Ibn Hazm in full Abu Mu?ammad ?Ali ibn A?mad ibn Sa?id ibn ?azm ? sometimes with al-Andalusi a?-?ahiri as well was an Al-Andalus-Arab Islamic philosophy, Intellectual, psychologist, historian, jurist and theologian born in C?rdoba, Spain, present-day Spain....
     (994-1064)
  • Al-Ghazali
    Al-Ghazali

    Abu ?amid Mu?ammad ibn Mu?ammad al-Ghazali was born and died in Tus, in the Khorasan province of Persia. He was an Islamic theology, Fiqh, Islamic philosophy, Islamic astronomy, Islamic psychology and Sufism of Persian people origin, and remains one of the most celebrated scholars in the history of Sunni Islamic thought....
     (Algazel) (1058–1111)
  • Ibn Rushd
    Averroes

    Abu 'l-Walid Mu?ammad ibn A?mad ibn Rushd , better known just as Ibn Rushd , and in European literature as Averroes , was an Al-Andalus-Arab Muslim polymath: a master of early Islamic philosophy, Islamic theology, Maliki Sharia and Fiqh, Logic in Islamic philosophy, Psychology in medieval Islam, Arabic music theory, and the Scien...
     (Averroes) (1126–1198)
  • Fakhr al-Din al-Razi
    Fakhr al-Din al-Razi

    Abu Abdullah Muhammad ibn Umar ibn al-Husayn al-Taymi al-Bakri al-Tabaristani Fakhr al-Din al-Razi or Fakhruddin Razi was a well-known Persian people Sunni Muslim theology and philosopher....
     (1149-1210)
  • Shahab al-Din Suhrawardi
    Shahab al-Din Suhrawardi

    "Shahab ad-Din" Ya?y? ibn ?abash as-Suhrawardi was a Persian philosopher, Sufism and the founder of the School of Illumination, one of the most important schools in Islamic philosophy....
     (Sohrevardi) (1155-1191)
  • Ibn al-Nafis (1213-1288)
  • Ibn Taymiyyah (1263-1328)
  • Muhammad ibn Fayd Allah ibn Muhammad Amin al-Sharwani (15th century)
  • Lotfi Asker Zadeh
    Lotfi Asker Zadeh

    Lotfi ali Asker Zadeh , born February 4, 1921) is a mathematician and computer scientist, and a professor of computer science at the University of California, Berkeley....
     (b. 1921)


See also

  • Early Islamic philosophy
    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 and lasting until the 6th century AH ....
  • History of logic
    History of logic

    The history of logic is the study of the development of the science of valid inference . While many cultures have employed intricate systems of reasoning, and logical methods are evident in all human thought, an explicit analysis of the principles of reasoning was developed only in three traditions: those of Logic in China, Indian logic, and...
  • Logic
    Logic

    Logic is the study of the principles of valid demonstration and inference. Logic is a branch of philosophy, a part of the classical Trivium . The word derives from Greek language ?????? , fem....
  • Mill's Methods
    Mill's Methods

    Mill's Methods are five methods of Inductive reasoning described by philosopher John Stuart Mill in his 1843 book A System of Logic. They are intended to illuminate issues of Causality....


Resources

  • , Routledge Encyclopedia of Philosophy
    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 ....
    . Routledge, 1998. (Alternatively, see )
  • , at Raul Corazzon's Ontology. A resource guide for philosophers.