Difference between revisions of "Deduction"
Jump to navigation
Jump to search
Jimtitcomb (talk | contribs) m |
(that was induction, not deduction.) |
||
| Line 8: | Line 8: | ||
#If A is true, then B is true. | #If A is true, then B is true. | ||
#Therefore, B is true. | #Therefore, B is true. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Aristotle codified the rules of deduction two millenia ago in [[Ancient Greece]]. He also added 256 rules about groups of things. For example: | Aristotle codified the rules of deduction two millenia ago in [[Ancient Greece]]. He also added 256 rules about groups of things. For example: | ||
Revision as of 01:37, October 30, 2009
A deduction in formal logic is a way of proving a proposition. It is used most often in geometry, but also has its place in philosophy and law. Sadly, it is often left out of ideology and even science.
When a conclusion is inferred from premises or facts, it is said to "follow" from previously stated propositions via certain logical rules.
The most famous rule goes as follows:
- A is true.
- If A is true, then B is true.
- Therefore, B is true.
Aristotle codified the rules of deduction two millenia ago in Ancient Greece. He also added 256 rules about groups of things. For example:
- All men are mortal.
- Socrates is a man.
- Therefore, Socrates is mortal.
See also: