What is logic the study of?
Logic is the study of correct reasoning. It includes both formal and informal logic, and it examines whether the premises of an argument actually support its conclusion.
Questions about Logic
Short answers, pulled from the story.
What is the difference between formal and informal logic?
Formal logic studies deductively valid inferences and logical truths using a formal language, replacing concrete expressions with abstract symbols to examine an argument's structure independent of its content. Informal logic uses non-formal criteria to assess arguments in natural language and is associated with informal fallacies, critical thinking, and argumentation theory.
What is the difference between deductive and ampliative arguments in logic?
A deductively valid argument is one whose premises guarantee the truth of its conclusion, so it is impossible for the premises to be true and the conclusion false. Ampliative arguments, which include inductive and abductive reasoning, reach genuinely new information not found in the premises, making their conclusions likely but not certain.
What is a logical fallacy in logic?
A fallacy is an argument that falls short of the standards of correct reasoning, where the flaw lies in the reasoning rather than in the conclusion being false. Fallacies are divided into formal fallacies, whose error is in the form of the argument, and informal fallacies, whose error is in the content or context.
What are the main systems of logic?
One prominent categorization divides modern formal logical systems into classical logic, extended logics, and deviant logics. Classical logic consists of propositional logic and first-order logic, extended logics include modal, deontic, temporal, epistemic, and higher-order logics, and deviant logics include intuitionistic, multi-valued, fuzzy, and paraconsistent logics.
Who founded modern logic?
Many see Gottlob Frege's Begriffsschrift as the birthplace of modern logic, which arose in the late 19th century. Other pioneers include George Boole, who invented Boolean algebra, Charles Peirce, who developed the logic of relatives, and Alfred North Whitehead and Bertrand Russell, who wrote Principia Mathematica.
What is the history of logic before the modern era?
Logic was developed independently in several cultures during antiquity, with Aristotle building term logic in his Organon and Prior Analytics, a system that dominated the West until the early 19th century. Other traditions include Avicennian logic founded by Ibn Sina, the Chinese School of Names and Mohism, and the Indian schools of Nyaya, Buddhism, and Jainism.