Difference between revisions of "Logic"
Karl Jones (Talk | contribs) (→See also) |
Karl Jones (Talk | contribs) (→See also) |
||
| (23 intermediate revisions by 2 users not shown) | |||
| Line 7: | Line 7: | ||
Logic was studied in several ancient civilizations, including India, China, Persia and Greece. | 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. | + | 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. | + | 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). | + | 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. | + | 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. | In the East, logic was developed by Hindus, Buddhists and Jains. | ||
| Line 27: | Line 27: | ||
== See also == | == See also == | ||
| + | * [[Abstract machine]] | ||
| + | * [[Argument]] | ||
| + | * [[Aristotle]] | ||
| + | * [[Art of memory]] | ||
* [[Axiom]] | * [[Axiom]] | ||
| + | * [[Bivalent logic]] | ||
| + | * [[Boolean algebra]] | ||
| + | * [[Boolean function]] | ||
| + | * [[Circumscription (logic)]] | ||
| + | * [[Computer science]] | ||
* [[Critical thinking]] | * [[Critical thinking]] | ||
| + | * [[Expression (mathematics)]] | ||
| + | * [[Formal grammar]] | ||
| + | * [[Formal language]] | ||
| + | * [[Formal system]] | ||
| + | * [[Functional completeness]] | ||
| + | * [[Logical connective]] | ||
* [[Logical consequence]] | * [[Logical consequence]] | ||
| + | * [[Logical constant]] | ||
| + | * [[Logic in computer science]] | ||
* [[Mathematical logic]] | * [[Mathematical logic]] | ||
| + | * [[Noise-based logic]] | ||
| + | * [[Non-monotonic logic]] | ||
| + | * [[Philosophy]] | ||
| + | * [[Philosophy of logic]] | ||
| + | * [[Predicate logic]] | ||
| + | * [[Quantifier (logic)]] | ||
| + | * [[Recursion]] | ||
| + | * [[Relativist fallacy]] | ||
| + | * [[Rewriting]] | ||
| + | * [[Syntax (logic)]] | ||
| + | * [[Three-valued logic]] | ||
* [[Validity]] | * [[Validity]] | ||
| Line 36: | Line 64: | ||
* [https://en.wikipedia.org/wiki/Logic Logic] @ Wikipedia | * [https://en.wikipedia.org/wiki/Logic Logic] @ Wikipedia | ||
| + | |||
| + | [[Category:Logic]] | ||
| + | [[Category:Mathematics]] | ||
Latest revision as of 14:50, 6 September 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
- Art of memory
- Axiom
- Bivalent logic
- Boolean algebra
- Boolean function
- Circumscription (logic)
- Computer science
- Critical thinking
- Expression (mathematics)
- Formal grammar
- Formal language
- Formal system
- Functional completeness
- Logical connective
- Logical consequence
- Logical constant
- Logic in computer science
- Mathematical logic
- Noise-based logic
- Non-monotonic logic
- Philosophy
- Philosophy of logic
- Predicate logic
- Quantifier (logic)
- Recursion
- Relativist fallacy
- Rewriting
- Syntax (logic)
- Three-valued logic
- Validity
External links
- Logic @ Wikipedia
