Nature and Scope of Logic
What the exam tests
This domain asks you to distinguish logic from psychology and rhetoric, analyze arguments into premises and conclusion, and classify inference as deductive or inductive. Expect questions on validity, soundness, formal versus informal logic, and the scope of logic in science and everyday reasoning.
Core rules
- Logic is the normative study of correct inference, not a description of how people actually think.
- An argument is a set of propositions in which some (premises) are offered as support for another (the conclusion). A single assertion is not an argument.
- Validity concerns form: if the premises were true, the conclusion could not be false. Soundness adds that the premises are actually true.
- Deductive arguments aim at conclusive support; inductive arguments make conclusions probable and are assessed as strong or weak.
- Formal logic abstracts from content; informal logic studies fallacies and natural-language argument.
Worked example
Consider: “All birds fly; penguins are birds; therefore penguins fly.” The form is: All A are B; x is A; therefore x is B. This form is valid-if the premises were true, the conclusion would have to be true. The first premise is in fact false, and the conclusion is false, so the argument is valid but unsound. A common exam answer wrongly calls it invalid because the conclusion is false; invalidity is a defect of form, not of factual truth.
Traps
Do not equate validity with truth. Do not treat a conditional sentence or an explanation as an argument. Watch quantifiers: “Some A are B” does not imply “All A are B.” Also distinguish deductive validity from inductive strength; a strong induction can have true premises and a false conclusion.