Difference between revisions of "Deduction"
Jump to navigation
Jump to search
(that was induction, not deduction.) |
|||
| Line 1: | Line 1: | ||
| − | 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. | + | 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. It is often unused in science as it requires that one have certainty of truth of both the major and minor premises--something science is unwilling to make claims about. |
When a conclusion is inferred from premises or facts, it is said to "follow" from previously stated propositions via certain logical rules. | When a conclusion is inferred from premises or facts, it is said to "follow" from previously stated propositions via certain logical rules. | ||
| Line 9: | Line 9: | ||
#Therefore, B is true. | #Therefore, B is true. | ||
| − | Aristotle codified the rules of deduction two millenia ago in [[Ancient Greece]]. He | + | Aristotle codified the rules of syllogistic deduction two millenia ago in [[Ancient Greece]]. He created 256 forms of syllogisms relating to groups of things. For example, an AAA1 syllogism: |
#All men are mortal. | #All men are mortal. | ||
Revision as of 03: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. It is often unused in science as it requires that one have certainty of truth of both the major and minor premises--something science is unwilling to make claims about.
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 syllogistic deduction two millenia ago in Ancient Greece. He created 256 forms of syllogisms relating to groups of things. For example, an AAA1 syllogism:
- All men are mortal.
- Socrates is a man.
- Therefore, Socrates is mortal.
See also: