Math Wiki


1,010pages on
this wiki
Add New Page
Talk0 Share
Wikipedia logo
See also the Wikipedia article:

Logic involves the systematic study of valid methods of argument and inference. It can be seen as a subset of philosophy or mathematics, and provides the foundation of each discipline.


Informal logic
Studies the nature of natural-language arguments, including logical fallacies and paradoxes.
Formal logic
Systematizes modes of argumentation in terms of abstract rules.
Symbolic logic
Further abstraction of systems of inference using symbols for statements and logical connectives ("and", "or", and so forth).
Major branches of symbolic logic include:
Predicate logic may be further subdivided into:
Mathematical logic
Extends symbolic logic into other areas including model theory, proof theory, set theory, and recursion theory.[1]
Modal logic


Many ancient civilizations developed systems of argumentation and studied logical paradoxes. Logic was studied in several ancient civilizations, including India,[2] China,[3] Persia, and Greece.

The history of European logic is typically traced back to ancient Greece and the writings of Aristotle (384–322 BC).[1][4] Logic was established as a formal discipline by Aristotle, who gave it a fundamental place in philosophy. The study of logic was part of the classical trivium, which also included grammar and rhetoric. His formulation of so-called Aristotelian logic was the dominant form of formal logic in Europe until the late 18th to early 19th centuries.

In the Eastern world, logic was developed by Buddhists and Jains, with Indian logic and Chinese logic.

In the Islamic world, Logic was further extended by Al-Farabi who categorized it into two separate groups (idea and proof). Later, Avicenna revived the study of logic and developed relationship between temporalis and the implication. Averroes defined logic as "the tool for distinguishing between the true and the false";[5] Richard Whately, '"the Science, as well as the Art, of reasoning"; and Frege, "the science of the most general laws of truth".

The late 18th to early 19th centuries saw the development of symbolic logic and mathematical logic introduced new paradoxes and more powerful techniques to deal with them.

History of logic

Several ancient civilizations have employed intricate systems of reasoning and asked questions about logic or propounded logical paradoxes. In Indian logic, the Nasadiya Sukta of the Rigveda (RV 10.129) contains ontological speculation in terms of various logical divisions that were later recast formally as the four circles of catuṣkoṭi: "A", "not A", "Neither A or not A", and "Both not A and not not A".[6] The Chinese logical philosopher Gongsun Long (ca. 325–250 BC) proposed the paradox "One and one cannot become two, since neither becomes two."[7] Also, the Chinese School of Names is recorded as having examined logical puzzles such as "A White Horse is not a Horse" as early as the fifth century BCE.[8] In China, the tradition of scholarly investigation into logic, however, was repressed by the Qin dynasty following the legalist philosophy of Han Feizi. The earliest sustained Greek work on the subject of logic is that of Aristotle.[9] Aristotelian logic became widely accepted in science and mathematics and remained in wide use in Europe until the early 19th century.

Islamic logic contributed to the development of modern logic, which included the development of "Avicennian logic"[10] as an alternative to Aristotelian logic. Avicenna's system of logic was responsible for the introduction of hypothetical syllogism,[11] temporal modal logic,[12][13] and inductive logic.[14][15] It later had a significant influence on European logic during the Renaissance. In Europe during the later medieval period, major efforts were made to show that Aristotle's ideas were compatible with Christian faith. During the later period of the Middle Ages, logic became a main focus of philosophers, who would engage in critical logical analyses of philosophical arguments.

In India, innovations in the scholastic school, called Nyaya, continued from ancient times into the early 18th century with the Navya-Nyaya school. By the 16th century, it developed theories resembling modern logic, such as Gottlob Frege's "distinction between sense and reference of proper names" and his "definition of number," as well as the theory of "restrictive conditions for universals" anticipating some of the developments in modern set theory.[16] Since 1824, Indian logic attracted the attention of many Western scholars, and has had an influence on important 19th-century logicians such as Charles Babbage, Augustus De Morgan, and George Boole.[17] In the 20th century, Western philosophers like Stanislaw Schayer and Klaus Glashoff have explored Indian logic more extensively.

The syllogistic logic developed by Aristotle predominated in the West until the mid-19th century, when interest in the foundations of mathematics stimulated the development of symbolic logic (now called mathematical logic). In 1854, George Boole published An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, introducing symbolic logic and the principles of what is now known as Boolean logic. In 1879, Gottlob Frege published Begriffsschrift which inaugurated modern logic with the invention of quantifier notation. From 1910 to 1913, Alfred North Whitehead and Bertrand Russell published Principia Mathematica[18] on the foundations of mathematics, attempting to derive mathematical truths from axioms and inference rules in symbolic logic. In 1931, Gödel raised serious problems with the foundationalist program and logic ceased to focus on such issues.

The development of logic since Frege, Russell and Wittgenstein had a profound influence on the practice of philosophy and the perceived nature of philosophical problems (see Analytic philosophy), and Philosophy of mathematics. Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science. Logic is commonly taught by university philosophy departments often as a compulsory discipline.

See also


  1. 1.0 1.1 Wikipedia:Logic
  2. For example, Nyaya (syllogistic recursion) dates back 1900 years.
  3. Mohists and the school of Names date back at 2200 years.
  4. Wikipedia:Aristotle
  5. Averroes, In Arist. Physicam I, textus 35, ed. Juntina, IV, fol. 11vb.
  6. Kak, S. (2004). The Architecture of Knowledge. Delhi: CSC. 
  7. The four Catuṣkoṭi logical divisions are formally very close to the four opposed propositions of the Greek tetralemma, which in turn are analogous to the four truth values of modern relevance logic Cf. Belnap (1977); Jayatilleke, K. N., (1967, The logic of four alternatives, in Philosophy East and West, University of Hawaii Press).
  8. "School of Names". Stanford Encyclopedia of Philosophy. Retrieved 5 September 2008. 
  9. E.g., Kline (1972, p.53) wrote "A major achievement of Aristotle was the founding of the science of logic".
  10. Goodman, Lenn Evan (1992). Avicenna. Routledge. p. 184. ISBN 978-0415019293. 
  11. Goodman, Lenn Evan (2003). Islamic Humanism. Oxford University Press. p. 155. ISBN 0195135806. 
  12. "History of logic: Arabic logic". Encyclopædia Britannica. 
  13. Nabavi, Lotfollah. "Sohrevardi's Theory of Decisive Necessity and kripke's QSS System". Journal of Faculty of Literature and Human Sciences. Archived from the original on 26 January 2008. 
  14. "Science and Muslim Scientists". Islam Herald. Archived from the original on 17 December 2007. 
  15. Hallaq, Wael B. (1993). Ibn Taymiyya Against the Greek Logicians. Oxford University Press. p. 48. ISBN 0198240430. 
  16. Kisor Kumar Chakrabarti (June 1976), "Some Comparisons Between Frege's Logic and Navya-Nyaya Logic", Philosophy and Phenomenological Research (International Phenomenological Society) 36 (4): 554-563,, "This paper consists of three parts. The first part deals with Frege's distinction between sense and reference of proper names and a similar distinction in Navya-Nyaya logic. In the second part we have compared Frege's definition of number to the Navya-Nyaya definition of number. In the third part we have shown how the study of the so-called 'restrictive conditions for universals' in Navya-Nyaya logic anticipated some of the developments of modern set theory." 
  17. Jonardon Ganeri (2001), Indian logic: a reader, Routledge, pp. vii, 5, 7, ISBN 0700713069 
  18. Whitehead, Alfred North; Russell, Bertrand (1967). Principia Mathematica to *56. Cambridge University Press. ISBN 0-521-62606-4. 



External links and further reading

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.