Difference between revisions of "Logic"

Revision as of 12:04, 18 February 2016

Logic (from the Ancient Greek: λογική, logike) is the use and study of valid reasoning.

The study of logic features most prominently in the subjects of philosophy, mathematics, and computer science.

History of logic

Logic was studied in several ancient civilizations, including India, China, 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 the relationship between temporalis and the implication.

In the East, logic was developed by Hindus, Buddhists and Jains.

Branches of logic

Logic is often divided into three parts:

• Inductive reasoning
• Abductive reasoning
• Deductive reasoning

See also

• Abstract machine
• Argument
• Aristotle
• Axiom
• Boolean function
• Computer science
• Critical thinking
• Functional completeness
• Logical consequence
• Logic in computer science
• Mathematical logic
• Philosophy
• Predicate logic
• Recursion
• Relativist fallacy
• Rewriting
• Syntax (logic)
• Validity

External links

• Logic @ Wikipedia