Skip to main content
Back to path

Welcome to a Grasp lesson

Create a free account to keep studying and create your own study path.

Lesson 3

Evaluating Deductive Arguments: Validity & Soundness

Recommended resources

Introduction

In our last session, we drew the fundamental map of logical reasoning, distinguishing between deductive arguments that aim for certainty and inductive arguments that aim for probability. You learned the core vocabulary for evaluation: a deductive argument is judged by its validity and soundness. This lesson will zero in on that deductive branch. We will move beyond simply defining these terms and learn the practical methods for assessing whether a deductive argument is logically well-structured and factually grounded.

Your experience in computer science provides an excellent parallel here. Evaluating a deductive argument is a two-step process, much like debugging a program. First, you check if the logic itself is flawless—if the structure guarantees a correct output given correct inputs. This is checking for validity. Only then do you check if the initial inputs—the premises—are actually true. This second step is checking for soundness. By the end of this lesson, you will be able to apply these two tests to any deductive argument you encounter.

Step 1: Assessing Validity

Let's begin by reinforcing the core concept from our last lesson. A deductive argument is valid if its form makes it impossible for the premises to be true and the conclusion false. Validity is not about the actual truth of the statements, but about the logical connection between them.

CRITICAL THINKING - Fundamentals: Deductive Arguments

To refresh our understanding, let's watch the beginning of this Wireless Philosophy video on deductive arguments. It clearly separates the technical definition of validity from everyday usage.

Watch from the start up to the introduction of soundness. Pay close attention to the specific definition of validity and how the "Beyonce in Paris" example illustrates that an argument can be valid even with false premises.

So, how do we test for this property? The most intuitive and powerful method is the counterexample method.

The Counterexample Method

To test an argument for validity, you engage in a thought experiment. You assume all the premises are true and then try to imagine a scenario—real or fictional—where the conclusion could still be false.

  • If you can imagine such a scenario, you have found a counterexample. This proves the argument is invalid.
  • If you cannot possibly imagine such a scenario—if the truth of the premises locks in the truth of the conclusion—the argument is valid.

This process is akin to running a test case on an algorithm. You're trying to find an input (a world where the premises are true) that causes the logical process to produce the wrong output (a false conclusion).

Let's see this method in action.

1.2 Validity, Soundness, Strength, Cogency - Manifold @CUNY

This reading provides a step-by-step guide to using the counterexample method with clear illustrations.

Please read the section titled "Counter-Examples". Follow the logic for both argument (16) and (17). Notice how for argument (17), it's possible to imagine a scenario (Bessie is a blue fish) that makes the premises true but the conclusion false. This is a classic counterexample.

The key insight is that validity is determined by an argument's underlying logical form. Different arguments can share the same structure, and if that structure is valid, any argument with that form will also be valid.

Consider these two arguments:

Argument 1:

P1: All tigers are mammals.
P2: No mammals are creatures with scales.
C: Therefore, no tigers are creatures with scales.

Argument 2:

P1: All spider monkeys are elephants.
P2: No elephants are animals.
C: Therefore, no spider monkeys are animals.

Argument 2 is absurd, but its reasoning is perfect. Both arguments share the same valid logical form: All A are B; No B are C; Therefore, No A are C. Because the form is valid, any argument that fits it is valid, regardless of whether its content is true or nonsensical.

Conversely, an invalid form will always be invalid, even if it happens to produce a true conclusion in a specific instance.

Validity and Soundness

This text from the Internet Encyclopedia of Philosophy explores how logical form determines validity.

Please read the section "Logical Form". Pay special attention to the examples of the invalid form All A’s are F; X is F; Therefore, X is an A. The "Earth is a basketball" argument clearly shows the flaw, while the "John Paul II is a pope" argument shows how an invalid form can accidentally produce a true conclusion, which can be misleading.

Step 2: Assessing Soundness

Once you've established that a deductive argument is valid, you're only halfway there. A valid argument with false premises can lead you to a false conclusion. The goal is to have an argument that is not only logically perfect but also factually correct. This is the gold standard: soundness.

An argument is sound if and only if it meets two conditions:

  1. It is valid.
  2. All of its premises are actually true.

This means evaluating soundness is a strict, two-step procedure:

  1. Test for Validity: Use the counterexample method. If the argument is invalid, you stop. It is automatically unsound. There's no need to even check the premises, because the logical engine is broken.
  2. Test for Truth: If, and only if, the argument is valid, you proceed to the second step: investigate whether all the premises are true in the real world. If they are, the argument is sound. If even one premise is false, the argument is unsound.
This flowchart illustrates the two-step evaluation process for deductive arguments. An argument must pass the validity test first. Only valid arguments are candidates for being sound.

Let's look at the different possibilities.

  • Valid but Unsound: The "spider monkeys are elephants" argument is a perfect example. Its form is valid, but its premises are false. Therefore, it is unsound. We have perfect reasoning based on nonsense.
  • Invalid and Unsound: The "Earth is a basketball" argument is invalid. Therefore, it is automatically unsound. It doesn't matter that its premises are true.
  • Sound (Valid and True Premises):

    P1: In some states, no felons are eligible voters. (True)
    P2: In those states, some professional athletes are felons. (True)
    C: Therefore, in some states, some professional athletes are not eligible voters.
    This argument is valid (it's impossible for the premises to be true and conclusion false) and its premises are factually true. Therefore, it is sound, and its conclusion is guaranteed to be true.

The final part of the Wireless Philosophy video provides an excellent summary of this distinction and highlights a crucial point: checking the truth of premises often requires knowledge outside of pure logic.

CRITICAL THINKING - Fundamentals: Deductive Arguments

This segment explains soundness and the practical challenge of evaluating the truth of premises.

Please watch from the definition of soundness to the end of the video. The final section, "How do you tell whether an argument's premises are true?", is particularly important. It emphasizes that being a good critical thinker requires both logical skill and real-world knowledge.

Conclusion

You now have a robust method for analyzing any deductive argument. It's a systematic process of checking the logical machinery before you trust the output.

Here are the key takeaways from this lesson:

  • Evaluation is a two-step process: First, assess validity by checking the argument's logical form. Then, if and only if it is valid, assess soundness by checking the truth of its premises.
  • The Counterexample Method is your primary tool for testing validity: If you can imagine a scenario where the premises are true but the conclusion is false, the argument is invalid.
  • An argument's quality depends on both form and content: A valid argument has a perfect logical structure. A sound argument is a valid argument that also has true premises, making it the gold standard of deductive reasoning.
  • An invalid argument is always unsound. An argument with even one false premise is also unsound. A sound argument is the only type that guarantees a true conclusion.

In our previous lesson, we mapped the territory of logical arguments. Today, we've explored the deductive path in detail. In our next lesson, we will shift our focus to common errors in reasoning known as informal fallacies. These are deceptive arguments that might appear persuasive but contain flaws in reasoning that are not just about logical form, but about relevance, ambiguity, and assumption.