Main article: History of logic The earliest sustained work on the subject of logic is that of Aristotle.

[13] Aristotelian logic became widely accepted in science and mathematics and remained in wide use in the West until the early 19th century.[14] Aristotle's system of logic was responsible for the introduction of hypothetical syllogism,[15] temporal modal logic,[16][17] and inductive logic.[18] 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. The Chinese logical philosopher Gongsun Long (ca. 325250 BC) proposed the paradox "One and one cannot become two, since neither becomes two."[19] In China, the tradition of scholarly investigation into logic, however, was repressed by the Qin dynasty following the legalist philosophy of Han Feizi. Logic in Islamic philosophy, particularly Avicenna's logic, was heavily influenced by Aristotelian logic.[20] 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.[21] 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.[22] 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[8] on the foundations of mathematics, attempting to derive mathematical truths from axioms and inference rules in symbolic logic. In 1931, Gdel 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.

Read more: http://www.answers.com/topic/logic-1#ixzz1XodT5X3S