Search results
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.
The meaning of LOGIC is a science that deals with the principles and criteria of validity of inference and demonstration : the science of the formal principles of reasoning. How to use logic in a sentence.
a particular way of thinking, especially one that is reasonable and based on good judgment: I fail to see the logic behind his argument. If prices go up, wages will go up too - that's just logic. There's no logic in the decision to reduce staff when orders are the highest they have been for years.
- Overview
- Scope and basic concepts
logic, the study of correct reasoning, especially as it involves the drawing of inferences.
This article discusses the basic elements and problems of contemporary logic and provides an overview of its different fields. For treatment of the historical development of logic, see logic, history of. For detailed discussion of specific fields, see the articles applied logic, formal logic, modal logic, and logic, philosophy of.
An inference is a rule-governed step from one or more propositions, called premises, to a new proposition, usually called the conclusion. A rule of inference is said to be truth-preserving if the conclusion derived from the application of the rule is true whenever the premises are true. Inferences based on truth-preserving rules are called deductive, and the study of such inferences is known as deductive logic. An inference rule is said to be valid, or deductively valid, if it is necessarily truth-preserving. That is, in any conceivable case in which the premises are true, the conclusion yielded by the inference rule will also be true. Inferences based on valid inference rules are also said to be valid.
(Read Steven Pinker’s Britannica entry on rationality.)
Logic in a narrow sense is equivalent to deductive logic. By definition, such reasoning cannot produce any information (in the form of a conclusion) that is not already contained in the premises. In a wider sense, which is close to ordinary usage, logic also includes the study of inferences that may produce conclusions that contain genuinely new information. Such inferences are called ampliative or inductive, and their formal study is known as inductive logic. They are illustrated by the inferences drawn by clever detectives, such as the fictional Sherlock Holmes.
The contrast between deductive and ampliative inferences may be illustrated in the following examples. From the premise “somebody envies everybody,” one can validly infer that “everybody is envied by somebody.” There is no conceivable case in which the premise of this inference is true and the conclusion false. However, when a forensic scientist infers from certain properties of a set of human bones the approximate age, height, and sundry other characteristics of the deceased person, the reasoning used is ampliative, because it is at least conceivable that the conclusions yielded by it are mistaken.
Special offer for students! Check out our special academic rate and excel this spring semester!
Learn More
noun. the science that investigates the principles governing correct or reliable inference. a particular method of reasoning or argumentation: We were unable to follow his logic. the system or principles of reasoning applicable to any branch of knowledge or study.
Logic is the study of information encoded in the form of logical sentences. Each logical sentence divides the set of all possible world into two subsets - the set of worlds in which the sentence is true and the set of worlds in which the set of sentences is false.
LOGIC meaning: 1 : a proper or reasonable way of thinking about or understanding something; 2 : a particular way of thinking about something.
