From Objectivism Wiki
Types of Inferences
- A line of reasoning from the general to the specific. If you know that all men are mortal and Socrates is a man then you can deduce that Socrates is also mortal.
- A line of reasoning from the specific to the general. If you see men growing old and dying then you can induce that all men are mortal.
Both induction and deduction are based on the law of identity.
A tautology is a sentence which repeats the same information. For example:
- "This bachelor is not married."
- "They fatally died."
- "This is an example of a tautology."