This article is about the study of correct reasoning. For other uses, see Logic (disambiguation) and Logician (disambiguation).
"Logical" and "Logically" redirect here. For the rapper, see Logic (rapper). For the British company, see Logically (company).
Part of a series on
Philosophy
Philosophy portal
Contents
Outline
Lists
Glossary
History
Categories
Disambiguation
Philosophies
By period
Ancient
Ancient Egyptian
Ancient Greek
Medieval
Renaissance
Modern
Contemporary
Analytic
Continental
By region
African
Egypt
Ethiopia
South Africa
Eastern philosophy
Chinese
Indian
Indonesia
Japan
Korea
Vietnam
Indigenous American
Aztec philosophy
Middle Eastern philosophy
Iranian
Western
American
British
French
German
Italian
Russian
By religion
Buddhist
Confucian
Christian
Hindu
Islamic
Jain
Jewish
Taoist
Branches
Epistemology
Ethics
Logic
Metaphysics
Aesthetics
Education
History
Language
Law
Metaphilosophy
Mind
Ontology
Phenomenology
Political
Religion
Science
Philosophers
Aestheticians
Epistemologists
Ethicists
Logicians
Metaphysicians
Philosophers of mind
Social and political philosophers
Women in philosophy
v
t
e
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.
Logic studies arguments, which consist of a set of premises together with a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" to the conclusion "I don't have to work".[1] Premises and conclusions express propositions or claims that can be true or false. An important feature of propositions is their internal structure. For example, complex propositions are made up of simpler propositions linked by logical vocabulary like (and) or (if...then). Simple propositions also have parts, like "Sunday" or "work" in the example. The truth of a proposition usually depends on the meanings of all of its parts. However, this is not the case for logically true propositions. They are true only because of their logical structure independent of the specific meanings of the individual parts.
Arguments can be either correct or incorrect. An argument is correct if its premises support its conclusion. Deductive arguments have the strongest form of support: if their premises are true then their conclusion must also be true. This is not the case for ampliative arguments, which arrive at genuinely new information not found in the premises. Many arguments in everyday discourse and the sciences are ampliative arguments. They are divided into inductive and abductive arguments. Inductive arguments are statistical generalizations, such as inferring that all ravens are black based on many individual observations of black ravens.[2] Abductive arguments are inferences to the best explanation, for example, when a doctor concludes that a patient has a certain disease which explains the symptoms they suffer.[3] Arguments that fall short of the standards of correct reasoning often embody fallacies. Systems of logic are theoretical frameworks for assessing the correctness of arguments.
Logic has been studied since antiquity. Early approaches include Aristotelian logic, Stoic logic, Nyaya, and Mohism. Aristotelian logic focuses on reasoning in the form of syllogisms. It was considered the main system of logic in the Western world until it was replaced by modern formal logic, which has its roots in the work of late 19th-century mathematicians such as Gottlob Frege. Today, the most used system is classical logic. It consists of propositional logic and first-order logic. Propositional logic only considers logical relations between full propositions. First-order logic also takes the internal parts of propositions into account, like predicates and quantifiers. Extended logics accept the basic intuitions behind classical logic and extend it to other fields, such as metaphysics, ethics, and epistemology. Deviant logics, on the other hand, reject certain classical intuitions and provide alternative explanations of the basic laws of logic.
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical...
A logic gate is a device that performs a Boolean function, a logical operation performed on one or more binary inputs that produces a single binary output...
mathematics, logicism is a programme comprising one or more of the theses that – for some coherent meaning of 'logic' – mathematics is an extension of logic, some...
Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as...
Notator Logic, or Logic, by German software developer C-Lab which later went by Emagic. Apple acquired Emagic in 2002 and renamed Logic to Logic Pro. It...
Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept...
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory...
branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals...
In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to...
Common Logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of...
Lora Logic (born Susan Whitby c. 1960) is a British saxophonist, singer and songwriter from Wembley, London. Logic was a founding member of London punk...
A logic bomb is a piece of code intentionally inserted into a software system that will set off a malicious function when specified conditions are met...
A logic analyzer is an electronic instrument that captures and displays multiple logic signals from a digital system or digital circuit. A logic analyzer...
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...
Law of logic may refer to: Basic laws of Propositional Logic or First Order Predicate Logic Laws of thought, which present first principles (arguably)...
Understood in a narrow sense, philosophical logic is the area of logic that studies the application of logical methods to philosophical problems, often...
Pretzel Logic is the third studio album by American rock band Steely Dan, released by ABC Records on February 20, 1974. It was recorded at the Village...
contains logic symbols. Without proper rendering support, you may see question marks, boxes, or other symbols instead of logic symbols. In logic, a set...
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example...
A programmable logic controller (PLC) or programmable controller is an industrial computer that has been ruggedized and adapted for the control of manufacturing...
Binary logic may refer to: Boolean logic, a two-valued formal logicLogic gates implementing Boolean logic in digital electronics Bivalent logic or two-valued...
self-cultivation. Major branches of philosophy are epistemology, ethics, logic, and metaphysics. Epistemology studies what knowledge is and how to acquire...
In computer software, business logic or domain logic is the part of the program that encodes the real-world business rules that determine how data can...
The Logic is a subscription-based Canadian news outlet focused on the "innovation economy," which has been compared to The Information. The website was...
The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India...
logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by...