Argument Composition and Evaluation in Logic

Overview of Arguments

  • Definition of Argument: A sequence of statements and conclusions.

    • The structure of an argument consists of premises that lead to a conclusion.
    • Example of structure: If $P$, then $Q$. This can extend to multiple premises leading to a final conclusion.

  • Premises and Conclusions:

    • Premise: Statements that provide support.
    • Conclusion: The derived result based on the premises, typically marked after the word "therefore".

Valid vs Invalid Arguments

  • Valid Argument: An argument where true premises lead to a true conclusion.
    • Validity Condition: If the premises are true, then the conclusion must also be true.
  • Invalid Argument: If the true premises do not lead to a true conclusion.

Rules of Inference

  • Rules of Inference: Guidelines used to derive valid conclusions from premises.
    • They help establish whether an argument is valid based on the relationships between premises and conclusions.

Identifying Rules of Inference

  • When presented an argument, identify which rule(s) of inference was applied:
    1. Modus Ponens: If $P$ implies $Q$ and $P$ is true, then $Q$ is true.
    • Example: If you speak Spanish ($P$), then you will enjoy Los Banditos soundtrack ($Q$). If you speak Spanish (true), therefore you will enjoy the soundtrack (true).
    1. Modus Tollens: If $P$ implies $Q$ and $Q$ is false, then $P$ is false.
    • Example: If you speak Spanish ($P$), then you will enjoy the soundtrack ($Q$). If you do not enjoy the soundtrack (false), therefore you don’t speak Spanish (false).
    1. Hypothetical Syllogism: If $P$ implies $Q$ and $Q$ implies $R$, then $P$ implies $R$.
    • This creates a chain of implications.
    1. Disjunctive Syllogism: Given $P$ or $Q$ and not $P$, conclude $Q$.
    2. Simplification: If $P$ and $Q$ are both true, then $P$ is true and $Q$ is true individually.
    3. Addition: If $P$ is true, then $P$ or $Q$ is also true.
    4. Resolution: If $P$ or $Q$ and not $P$, then $Q$ must be true.

Building and Evaluating Arguments

  • Process to determine if an argument is valid:
    1. Identify the premises and conclusion.
    2. Translate statements into logical forms (e.g., $P o Q$).
    3. Verify if the valid argument conditions hold true.
    4. Use truth tables or formal rules of inference to confirm validity.

Example Argument

  • Given the following:
    1. If you speak Spanish ($S$), then you will enjoy the Los Banditos soundtrack ($B$).
    2. You speak Spanish ($S$ is true).
    3. Therefore, you will enjoy Los Banditos ($B$).
  • Logical Form: $S o B$, $S$. Therefore, conclude $B$ (valid by Modus Ponens).

Conclusion

  • A valid argument must ensure that true premises lead to a true conclusion. Utilizing rules of inference aids in evaluating and building these arguments effectively. Ensure understanding of logical structures to establish argument validity.