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.
Premise 1Premise 2Implicit PremiseConclusion
Hierarchical structure of an argument showing implicit premises (highlighted in red)

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

Premise 1All humans aremortal.Premise 2Sita is human.ConclusionSita is mortal.Implicit PremiseSita is human(assumed)
Classic deductive argument timeline (Socrates' example)

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:
    1. "All mammals have lungs."
    2. "Dolphins are mammals."
    3. "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:

  1. Draw two overlapping circles for categories (e.g., "Humans" and "Mortals").
  2. 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:

  1. 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.)
  2. 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

  1. Structure Your Answer:

    • Clearly label premises, conclusions, and implicit assumptions.
    • Use bullet points for multi-step arguments.
  2. Use Diagrams:

    • Draw Venn diagrams for categorical arguments.
    • Use flowcharts for chain arguments.
  3. Real-World Examples:

    • Tie arguments to eSewa, Ncell, or NEPSE scenarios (e.g., "This argument is like how Khalti detects fraud").
  4. Avoid Common Mistakes:

    • Don’t confuse validity (logical structure) with soundness (truth of premises).
    • Watch for circular reasoning in political or advertising claims.
  5. Practice Questions:

    • For every argument, ask:
      • "Are the premises true?"
      • "Does the conclusion follow necessarily (deductive) or probably (inductive)?"
      • "Are there hidden assumptions?"

Final Visual Summary:

Conclusion must follow (e.g., Ncell outages → deductive)DeductiveConclusion likely (e.g., NEPSE trends → inductive)InductiveTypesValidity: Logical structureSoundness: True premises + validityEvaluationVenn Diagrams (for categorical args)Flowcharts (for chain args)ToolseSewa: Fraud detection (inductive)Ncell: Tower outages (deductive)NEPSE: Stock trends (inductive)Real-WorldArgument Analysis
Structured mindmap of argument analysis with Nepali examples

Based on the TU BSc CSIT syllabus for Applied Logic, unit 1.

Discussion

Loading…