5

I want to ask about something that I saw in philosophy class today.

Let's say that this is a valid argument, and let's call it argument A:

  • Premise 1: P1
  • Premise 2: P2
  • Conclusion: C

And there's another argument, let's call it argument B, that goes like this:

  • Premise 1: P1
  • Premise 2: P2
  • Premise 3: C', whereas C' is the logical opposite of C
  • Conclusion: C

My question is: Is argument B valid, just because argument A is valid?

My professor says that argument B is valid, because by ignoring Premise 3, argument B will become exactly the same as argument A, and hence, argument B must also be valid.

But I find this very fishy, because by definition of validity, if all the premises of argument B are true (and hence C' is true), it is impossible for C, the conclusion, to be true!

What do you think? Are there scholarly sources on philosophical logic than can help me build a case against my professor/or to realize that I am wrong?

8
  • 2
    If the premise is let say C, we cannot derive not-C, unless C belongs to a set of contradictory premises. Commented Feb 3 at 10:25
  • 5
    From contradictory premise everything follows. Commented Feb 3 at 10:26
  • 1
    Yes. The definition of validity is not "if all the premises are true then the conclusion is true", it is "takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false". If it is impossible for the premises to be true in the first place (because they are contradictory) it makes no difference whether it is possible for the conclusion to be true or not.
    – Conifold
    Commented Feb 3 at 14:40
  • 1
    To be precise, your argument B is valid in classical logic, and in other logics that have the property of monotonicity of entailment. This means adding premises to a valid argument cannot make it invalid. If it seems fishy, bear in mind that an argument with inconsistent premises can never be sound, i.e. the premises can never all be true, so it is not a good argument.
    – Bumble
    Commented Feb 3 at 15:36
  • 1
    Just plug in a valid syllogism for argument A: All men are mortal. Socrates is a man. Therefore, Socrates is mortal. Now add the premise P3 to get argument B: Socrates is not mortal. Logic informs us that the premise P3 is irrelevant to the conclusion in arguments A or B. It just means we can recognize the opposite of the conclusion. But P3 does not invalidate the truth-value of premise P1 or P2. Since P1 is true and P2 is true one should regard P3 as irrelevant to the effort to find the conclusion valid. To argue C invalid attack P1, P2 or inject semantic confusion over the meaning of terms. Commented Feb 3 at 17:05

3 Answers 3

8

Yes, argument B is valid.

However, if you write argument B in any context, including in a philosophy, logic, or math exam, you're opening yourself to very simple criticism: while argument B is valid, if you stop at its conclusion, then you're missing an obvious follow-up conclusion.

The obvious follow-up would result in the following argument, of which argument B is a subargument (or lemma):

  • Lemma:
  • Premise: P1
  • Premise: P2
  • Premise: C'
  • Intermediary conclusion: C
  • Conclusion: contradiction
  • Conclusion: not(P1) or not(P2) or not(C').

In other words, argument B is valid, but stopping at its conclusion is missing an obvious and much more enlightening conclusion.

You are right to find this fishy.

In any real situation, is someone is making an argument, but deliberately ignoring a consequence of the conclusion of their argument which is both obvious, and obviously more useful than the conclusion they settled on, then they're being deliberately misleading.

1
  • 1
    I ended this answer with a paragraph about deliberately ignoring a conclusion, but I should probably add something about unknowingly ignoring a conclusion. Consider the situation where C and C' are contradictions of each-other, but it's not obvious at all that they are contradictions of each-other. Then it's really important to allow argument B to be called valid.
    – Stef
    Commented Feb 3 at 13:27
5

There is a difference between soundness and validity of an argument. An argument is valid if the conclusion can be (formally) derived from the premises. For the argument to be sound, there is the additional condition that the premises must be true. In this sense, argument B is valid but not sound, as the premises P1, P2 and C‘ cannot all be true.

It may seem counterintuitive that an argument with contradictory premises can be formally valid. But when you think about it, common sense is not a good guide when dealing with contradictions anyway.

You may be interested paraconsistent logic, that is logical systems that try to deal with contradictions without using the „principle of explosion“, i. e. the principle that from a contradiction, you can validly derive whatever you want.

-5

Your Argument B is not valid even if your argument A is.

As you say, if we assume that C' is true and C' is contradictory to C, then C is false, and so we cannot ever derive C logically from any set of premises which includes C'.

Probably a majority of academic specialists will say otherwise, as your professor himself does, and as many answers on this forum will also do, but they only say what they say because this is what they have learned at school, but the same specialists cannot properly explain human logic, as demonstrated by academic papers on the Paradox of the Liar.

The idea that you could derive logically something which is necessarily false is simply absurd, and this is all we need to know to decide that this idea is wrong. Yet, this is an idea taught in probably all universities around the world.

This is the same idea which has been repeated here:

From contradictory premise everything follows.

This is clearly absurd, but this is what most academics now believe, and what most pundits on this forum will repeat.

You will have to make up your own mind to decide whether this makes sense.

1

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .