Logic (from the Greek λογική, logikē)1 refers to both the study of modes of reasoning (which are valid and which are fallacious)2 and the use of valid reasoning. In the latter sense, logic is used in most
intellectual activities, including philosophy and science, but in the first sense, is primarily studied in the disciplines of philosophy, mathematics, semantics, and computer science. It examines general forms that arguments may take. In mathematics, it is the study of valid inferences within some formal language.3 Logic is also studied in argumentation theory.4
Logic was studied in several ancient civilizations, including India,
5 China,6 and
Greece. In the
west, logic was established as a formal discipline by Aristotle, who gave it a fundamental place in philosophy. The study of logic was part of the classical
trivium, which also included
grammar and rhetoric.
Logic is often divided into three parts, inductive reasoning, abductive reasoning, and deductive reasoning.
What are you working on
Charles?
Oh, I am doing logic homework!
What is it about?
Oh, its a subject about reasoning in a logical manner, I am doing a proof that involves the transitive property of equality.
