## ::Logic

### ::concepts

**Logic**::**logic** Formal::first Logical::title Theory::which Study::books Google::press

{{#invoke:Protection banner|main}}
{{#invoke:Hatnote|hatnote}}
**Logic** (from the Ancient Greek: λογική, *logike*{{#invoke:Category handler|main}})<ref name="argumentative"/> is the branch of philosophy concerned with the use and study of valid reasoning.<ref name="PopkinStroll1993"/><ref name="jacquette2002"/> The study of logic also features prominently in mathematics and computer science.

Logic was studied in several ancient civilizations, including India,<ref name="syllogistic"/> China,<ref name="mohist"/> Persia 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 was further extended by Al-Farabi who categorized it into two separate groups (idea and proof). Later, Avicenna revived the study of logic and developed relationship between temporalis and the implication. In the East, logic was developed by Hindus, Buddhists and Jains.

Logic is often divided into three parts: inductive reasoning, abductive reasoning, and deductive reasoning.

**Logic sections**

Intro The study of logic History Types of logic See also Notes and references Bibliography External links

PREVIOUS: Intro | NEXT: The study of logic |

<< | >> |