Applied LogicUnit 18 min read
Argument Analysis – Structure, Validity, Soundness & Real-World Applications
Unit 1 of Applied Logic teaches how to dissect arguments into premises, conclusions, and implicit assumptions; distinguish between deductive/inductive reasoning; evaluate validity and soundness; and identify common argument structures like enthymemes and chains. Covers practical tools like Venn diagrams for logical rel
Core Concepts: What is an Argument?
An argument is a structured set of statements (premises) intended to support or lead to a conclusion. It is not a quarrel but a logical process. Every argument has:
- Premises: The reasons or evidence given.
- Conclusion: The claim being supported.
- Implicit premises: Assumptions not explicitly stated but required for the argument to hold.
Example: "All humans are mortal. Socrates is a human. Therefore, Socrates is mortal."
- Premises: "All humans are mortal," "Socrates is a human."
- Conclusion: "Socrates is mortal."
Types of Arguments
1. Deductive Arguments
- Definition: If the premises are true, the conclusion must be true.
- Example: "If it rains, the ground will be wet. It is raining. Therefore, the ground is wet."
- Validity: The conclusion logically follows from the premises (regardless of truth).
- Soundness: Valid + all premises are true.
2. Inductive Arguments
- Definition: The premises provide probable support for the conclusion (not guaranteed).
- Example: "Most Nepali students use smartphones. Ram is a Nepali student. Therefore, Ram probably uses a smartphone."
- Strength: How likely the conclusion is given the premises.
Comparison Table:
| Feature | Deductive | Inductive |
|---|---|---|
| Conclusion | Necessary (must be true) | Probable (likely but not certain) |
| Example | "All birds fly. A pigeon is a bird. Therefore, a pigeon flies." | "90% of Kathmandu traffic is congested. Today is a weekday. Therefore, traffic is likely congested." |
| Validity | Yes/No (binary) | Degrees of strength |
Identifying Premises and Conclusions
Explicit vs. Implicit Premises
- Explicit: Clearly stated (e.g., "All cats are mammals").
- Implicit: Hidden assumptions (e.g., "If you see a cat, it’s a mammal" assumes "All cats are visible").
Worked Example (Real-World Tie-In: eSewa Payments) Argument: "eSewa transactions are secure. You should use eSewa for payments."
- Missing Premise: "If a payment method is secure, you should use it."
- Implicit Assumption: "Security is the only factor to consider for payments." (This is debatable—other factors like speed or fees matter too.)
Evaluating Arguments: Validity and Soundness
Validity
- An argument is valid if the conclusion follows necessarily from the premises, regardless of truth.
- Test: If premises were true, could the conclusion be false?
- Valid: "All Nepali citizens pay taxes. Ram is a Nepali citizen. Therefore, Ram pays taxes."
- Invalid: "All birds can fly. A penguin is a bird. Therefore, a penguin can fly." (False premise, but the structure is invalid.)
Soundness
- A sound argument is valid + all premises are true.
- Example: "All humans are mortal. Socrates is human. Therefore, Socrates is mortal." (Valid + true premises = sound).
Common Argument Structures
1. Enthymemes
- Arguments with one or more unstated premises.
- Example: "You should vote for Candidate X. She’s honest." (Implicit: "Honesty is a reason to vote for someone.")
2. Chain Arguments
- Multiple premises leading to a conclusion in a sequence.
- Example:
- "All mammals have lungs."
- "Dolphins are mammals."
- "Therefore, dolphins have lungs."
3. Circular Reasoning (Begging the Question)
- The conclusion is assumed in the premise.
- Example: "The Bible is true because it says so." (Premise = conclusion.)
Practical Applications in Nepal
1. eSewa/Khalti (Digital Payments)
- Logic Used: Inductive reasoning for fraud detection.
- Premise: "Most fraudulent transactions involve unusual locations."
- Observation: "This transaction is from a new location."
- Conclusion: "This transaction is likely fraudulent." (Probable, not certain.)
2. Ncell/NTN (Network Outages)
- Logic Used: Deductive reasoning for troubleshooting.
- Premise: "If the tower is down, calls will fail."
- Observation: "Calls are failing in District X."
- Conclusion: "The tower in District X is likely down." (Valid if premises hold.)
3. NEPSE (Stock Market Predictions)
- Logic Used: Inductive reasoning for trends.
- Premise: "Stock A has risen 10% in the last 3 months."
- Premise: "Market trends suggest growth."
- Conclusion: "Stock A will likely rise further." (Probable, not guaranteed.)
Tools for Argument Analysis: Venn Diagrams
Venn diagrams visually represent categorical relationships (e.g., "All A are B," "Some A are not B"). Example: "All Nepali students use smartphones. Ram is a Nepali student. Therefore, Ram uses a smartphone."
```figure
{"type":"tree","root":{"v":"Categorical Argument","children":[{"v":"All A are B","children":[{"v":"Some A are C"},{"v":"Therefore, some B are C"}]}]},"caption":"Syllogism structure for Venn diagram practice (Nepali example: 'All Nepali students study logic; Ram is a Nepali student → Ram studies logic')"}
Steps to Draw:
- Draw two overlapping circles for categories (e.g., "Humans" and "Mortals").
- Shade regions to test validity:
- "All humans are mortal" → Shade outside "Humans" in the "Mortals" circle.
- If the conclusion ("Socrates is mortal") falls in the shaded area, the argument is valid.
Common Pitfalls: Fallacies (Preview for Unit 5)
While Unit 5 covers fallacies in depth, here are two key ones to spot in arguments:
Affirming the Consequent
- Invalid Form: "If P, then Q. Q is true. Therefore, P is true."
- Example: "If it’s a dog, it barks. It barks. Therefore, it’s a dog." (Could be a cat or another animal.)
Denying the Antecedent
- Invalid Form: "If P, then Q. P is not true. Therefore, Q is not true."
- Example: "If you study, you’ll pass. You didn’t study. Therefore, you’ll fail." (False—other factors matter.)
Exam Tip: How to Score Full Marks
Structure Your Answer:
- Clearly label premises, conclusions, and implicit assumptions.
- Use bullet points for multi-step arguments.
Use Diagrams:
- Draw Venn diagrams for categorical arguments.
- Use flowcharts for chain arguments.
Real-World Examples:
- Tie arguments to eSewa, Ncell, or NEPSE scenarios (e.g., "This argument is like how Khalti detects fraud").
Avoid Common Mistakes:
- Don’t confuse validity (logical structure) with soundness (truth of premises).
- Watch for circular reasoning in political or advertising claims.
Practice Questions:
- For every argument, ask:
- "Are the premises true?"
- "Does the conclusion follow necessarily (deductive) or probably (inductive)?"
- "Are there hidden assumptions?"
- For every argument, ask:
Final Visual Summary:
Based on the TU BSc CSIT syllabus for Applied Logic, unit 1.
Discussion
Loading…