1

I know that validity has nothing with truth of the conclusion or with how good argument is in general, and an argument is valid iff the truth of its premises guarantees the truth of its conclusion.

However, my teacher gave us an argument such that

Grass is green.

Grass is not green.

Therefore Cows bark.

and he said that it is a valid argument, because it is impossible for this example when all premises are true ,the conclusion is false. However, I think that this example contradicts with the main idea of validity. Because the premises don't guarantee the truth of the conclusion.

Can you enlighten me about whether it is a valid or not.

3 Answers 3

3

Well, in what way do you think the truth of the premises does not guarantee the truth of the conclusion? In which situations is the promise "If the premises are true, the conclusion will be true" broken?

The definition of validity is:

For all interpretations it holds that if all premises are true under that interpretation, then the conclusion is true under that interpretation as well.

The negation of this is

Not for all interpretations it holds that if all premises are true under that interpretation, then the conclusion is true under that interpretation as well.

which is equivalent to

There is an interpretation for which it does not hold that if all premises are true under that interpretation, then the conclusion is true under that interpretation as well.

which is in turn equivalent to

There is an interpretation such that all premises are true but the conclusion is false under that interpretation.

That is, an argument being invalid amounts to saying that there is a concrete counter interpretation which makes all premises true but the conclusion false. If there is no interpretation which can make all premises true to begin with, then in particular there can be no such counter interpretation. If there arises no situation in which the condition on the truth preservance guarantee (the truth of the premises) takes effect, then there is no situation in which this promise can be broken.

So yes, the argument is valid, precisely for the reason cited by your teacher. An argument that is valid because the premises are contradictory is called vacuously valid.

You may be interested in the notion of a sound argument: A sound argument is one which is valid and where in addition the premises are true in the real world. Premises which are contradictory can obviously not be true in the real world, so the above argument is unsound. This may be closer to your intuition of a "correct" argument than the notion of validity.

5
  • Is this not a counter interpretation? "Grass is green. Grass is not green. Therefore cows do not bark". I used the same premises, but reached a different conclusion. Shouldn't that not happen for valid arguments?
    – Cell
    Commented Aug 7, 2020 at 22:02
  • Actually to be more precise I reached the opposite or contradictory conclusion, but I can no longer edit my comment.
    – Cell
    Commented Aug 7, 2020 at 22:30
  • @Cell An interpretation is an assignment of truth values to sentences. A counter interpretation to an invalid argument is an interpretation that makes all premises true but the conclusion false. There can be no interpretation that satisfies both "Grass is green" and "Grass is not green", hence there can be no counter interpretation. Your argument is valid for the same reason as stated in the answer. Commented Aug 7, 2020 at 22:45
  • And no, reaching different conclusions from the same premises is perfectly possible. For instance, from the premises if p then q and r; p we can conclude both the conclusions q and r. The scenario where we can draw two conclusions that are contradictory (e.g. Cows bark and Cows do not bark) happens precisely when the premises are contradictory. This doesn't make the argument invalid, however, it just shows that we must reject at least one of the premises. Commented Aug 7, 2020 at 22:48
  • ... And it also shows that the arguments can not be sound: At least one of the premises must be false in the real world if we can draw contradictory conclusions from them. Commented Aug 7, 2020 at 22:56
2

You state (slightly paraphrased):

the truth of the premises doesn't guarentee the truth of the conclusion.

But the stance of classical logic (re: this, see below) is that in fact the truth of the premises does guarantee the truth of the conclusion. There is no conceivable situation where the premises are true but the conclusion is false, since there is no conceivable situation where the premises are true, full stop. The principle at play here is called "ex falso quodlibet" or "the principle of explosion."

And in fact this isn't special to classical logic. Intuitionistic and modal logics also have this principle by default (there are e.g. such things as "relevant modal logics" - see below - but the usual modal logics are simpler than that). Basically, this situation occurs in any logical system in which (i) a deduction is thought of as valid iff it has no countermodel and (ii) the semantics for the system does not permit "impossible" models.

That said, not every logical framework accepts this sort of reasoning. In particular, we might want to use a framework where "From A we can deduce p" only happens if A somehow "causes" p - the deduction above would intuitively not be acceptable in such a situation since impossible grass has no bearing on cow-nature. The terms "relevance logic" and (more generally) "paraconsistent logic" are key here.

-2

The example argument is not valid.

(1) The terms of the conclusion (cows, bark) appear nowhere in the premises. I believe this fallacy is irrelevancy.

(2) A syllogism has exactly three terms; all three appear in the premises. The premises in the example have only two terms (grass, green). In effect, there is no middle term.

(3) A syllogism having a negative premise must have a negative conclusion. Here, one premise is negative but the conclusion is positive.

(4) If a term is distributed in the conclusion, it must be distributed in the premises. Here, "cows" in "Cows bark" is distributed. The term "cow" is not distributed in either premise.

1
  • That the terms of a conclusion do not appear in the premises does not make an argument invalid in the logical sense of validity. Commented Aug 7, 2020 at 17:54

You must log in to answer this question.

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