Logic is the formal science studying the principles of valid inference and demonstration, distinguishing correct reasoning from incorrect reasoning through the structure of arguments rather than their subject matter. Ancient roots trace to Aristotle's systematic treatment of the syllogism in the fourth century BC, and Indian and Chinese traditions developed independent formal systems of their own. The nineteenth and twentieth centuries saw logic transformed into a symbolic, mathematical discipline through the work of figures such as George Boole and Gottlob Frege, work that underlies modern mathematics, computer science and the theory of computation.
Facts
Central QuestionWhat makes an argument correct: whether a conclusion follows from its premises through the structure of the argument alone, independent of subject matter. 1 ScopeLogic studies the principles of correct reasoning, covering both formal deductive systems and informal argumentation, and plays a central role in philosophy, mathematics, computer science and linguistics. 1 SignificanceLogic has been studied since antiquity through traditions including Aristotelian, Stoic, Nyaya and Mohist logic, and its nineteenth and twentieth century turn toward symbolic, mathematical systems underlies modern mathematics and computer science. 1 Logic
Filter Results2 entries
Connections
Has Scientist
Source Alfred Tarski (Wikipedia)
Source Wikipedia: Augustus De Morgan
Source Bernard Bolzano (Wikipedia)
Source Dana Scott - Wikipedia
Source Emil Post (Wikipedia)
Source Stephen Cole Kleene (Wikipedia)
Has Theory
Source Theorem (Wikipedia)
Sources
1. Logic (Wikipedia)
WikipediaLead section, definition sentence
Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.
Lead section, scope sentence
It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content.
Lead section, closing sentence
Logic has been studied since antiquity. Early approaches include Aristotelian logic, Stoic logic, Nyaya, and Mohism.
In Group: Mathematics, Statistics and Logic, Lead
is the study of correct reasoning
View the Source Alfred Tarski (Wikipedia)
WikipediaHas Scientist: Alfred Tarski, Infobox, fieldsQuote, Has Scientist: Alfred Tarski, Infobox, fields
Infobox fields: Mathematics, logic, formal language
Wikipedia
WikipediaHas Scientist: Gottlob Frege, Lead sentenceQuote, Has Scientist: Gottlob Frege, Lead sentence
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848-26 July 1925) was a German philosopher, logician, and mathematician.
Wikipedia
WikipediaHas Scientist: Rudolf Carnap, Lead sentenceQuote, Has Scientist: Rudolf Carnap, Lead sentence
Paul Rudolf Carnap (; ; 18 May 1891-14 September 1970) was a German philosopher and logician who was active in Europe before 1935 and in the United States thereafter.
Wikipedia
WikipediaHas Scientist: Willard Van Orman Quine, Lead sentenceQuote, Has Scientist: Willard Van Orman Quine, Lead sentence
Willard Van Orman Quine ( ; June 25, 1908, December 25, 2000) was an American logician and philosopher in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". He held the Edgar Pierce Chair of Philosophy at Harvard University from 1956 to 1978.
Wikipedia
WikipediaHas Scientist: Bertrand Russell, Lead sentenceQuote, Has Scientist: Bertrand Russell, Lead sentence
Bertrand Arthur William Russell, 3rd Earl Russell (18 May 1872-2 February 1970), was an English philosopher, logician, mathematician, and social reformer.
Emil Post (Wikipedia)
WikipediaHas Scientist: Emil Post, Lead sentenceQuote, Has Scientist: Emil Post, Lead sentence
Emil Leon Post (; February 11, 1897, April 21, 1954) was an American mathematician and logician.
Wikipedia: Augustus De Morgan
Has Scientist: Augustus De Morgan, Lead sentenceQuote, Has Scientist: Augustus De Morgan, Lead sentence
Augustus De Morgan (27 June 1806-18 March 1871) was a British mathematician and logician.
Stephen Cole Kleene (Wikipedia)
Has Scientist: Stephen Kleene, Lead sentenceQuote, Has Scientist: Stephen Kleene, Lead sentence
Stephen Cole Kleene ( ; January 5, 1909, January 25, 1994) was an American mathematician and logician.
Bernard Bolzano (Wikipedia)
Has Scientist: Bernard Bolzano, Lead sentenceQuote, Has Scientist: Bernard Bolzano, Lead sentence
Bernard Bolzano (, ; ; ; born Bernardus Placidus Johann Nepomuk Bolzano; 5 October 1781-18 December 1848) was a Bohemian mathematician, logician, philosopher, theologian and Catholic priest of Italian extraction, also known for his liberal views.
Dana Scott - Wikipedia
Has Scientist: Dana Scott, Lead sentenceQuote, Has Scientist: Dana Scott, Lead sentence
Dana Stewart Scott (born October 11, 1932) is a retired American logician.
Theorem (Wikipedia)
Has Theory: Theorem, Lead sentenceQuote, Has Theory: Theorem, Lead sentence
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven.
Axiom (Wikipedia)
Has Theory: Axiom, Lead, sentence 1Quote, Has Theory: Axiom, Lead, sentence 1
An axiom, postulate, or assumption, is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.