If the premises of an argument CANNOT all be true, then said argument is valid



Based on the fact that a deductive argument is said to be valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false, I am having trouble understanding why the statement: "If the premises of an argument CANNOT all be true, then said argument is valid" is true.


Posted 2018-02-28T02:23:56.293

Reputation: 41

This statement can be simplified to NOT(A) implies NOT(BOTH(A, B)) where A is "all premises are true" and B is "the conclusion is false" – Ben Voigt – 2018-02-28T04:16:25.730

1You can read the def of valid argument alternatively as: "there is no circumstance where the premises are true and the conclusion is false". If the premises are contradictory (i.e. always false), there is no circumstance where the premises are true, and thus (a fortiori) no circumstance where the premises are true and the conclusion is false. – Mauro ALLEGRANZA – 2018-02-28T07:43:39.793

Alternatively, look at the definition of INvalid: an argument is invalid iff it is not valid iff there is an interpretation I that makes (a) all the premises true and (b) the conclusion false. In turn, a set of sentences is inconsistent iff there is no interpretation I that makes all sentences in the set true. Thus, if a set of sentences (premises) is inconsistent, there is no I that satisfies (a), and hence no I that satisfies (a) and (b). Thus, if your premises are inconsistent, the argument 'has no chance' of being invalid, whence it must be valid. – MarkOxford – 2018-02-28T22:04:59.807

Are you looking for the intuition behind the tautology ~A => [A =>B]? – Dan Christensen – 2018-03-07T03:48:24.937



The rules of logic lead to many counterintuitive results, and this is one of the most fundamental such results: VALID expresses a structural condition, such that it can never happen that all the premises are true and the conclusion is false.

If the premises cannot all be true at at the same time, then the argument is trivially VALID because it can never happen that all the premises are true... (regardless of the truth value of the conclusion). This holds only when the premises are logically contradictory, however, and not in the case where they are incidentally contradictory.

The usefulness of VALID is that it is what is called "truth preserving." If all your arguments are valid, the truth of your conclusions can never be less secure than that of your premises, considered collectively.

Chris Sunami supports Monica

Posted 2018-02-28T02:23:56.293

Reputation: 23 641


There is a distinction between a sound argument and a valid one. A sound argument actually proves something. A valid argument may not. Instead, a valid argument preserves the truth of its premises.

The idea behind focussing on valid arguments in most logic is that any valid argument could be applied to a wholly different set of premises similar to the actual ones (in both form and truth value). And if those other premises were true, each set would produce a sound argument. So a valid argument can produce a number of different sound proofs. It is, therefore, more useful.

But if there is no truth in the premises, then absolutely any argument preserves 'all' of that nonexistent truth. So if your premises are false, your argument is always valid.

If your premises contradict, so that they cannot all be true, because if some of them are true, others would not be, then, taken together they are false. So your argument is valid.


Posted 2018-02-28T02:23:56.293


I'm sure you didn't mean this, but, "if your premises are false, your argument is always valid" together with "any valid argument could be applied ... if those other premises were true, each set would produce a sound argument" implies that if your premises are true (and are similar to false premises), then any argument is a sound argument. – H Walters – 2018-02-28T17:40:49.893

...e.g., P1: Apples are blue. P2: Roses are blue. Argument: P1, P2, therefore apples are roses. Both premises are false; therefore this argument's valid (by "if premises are false your argument is always valid"). P1. Apples are red. P2: Roses are red. Argument: P1, P2, therefore apples are roses. This is now sound (by "any valid argument could be applied... if those other premises were true, each set would produce a sound argument"). So apples are roses? – H Walters – 2018-02-28T17:45:33.170

@HWalters 'Similar', requiring that they have the same truth values... Everything is similar to everything if you don't care about the context. So I added that explicitly, it is not obvious enough. – None – 2018-02-28T18:39:42.560

@hwalters your exa.ple argu.ent is not valid at all. Your example argument commits an elementary fallacy. – Logikal – 2018-02-28T19:03:01.790

@Logikal The fallacy is intentional: "if your premises are false, your argument is always valid" ...suggests that it's valid anyway (so long as the premises are false, as in the first argument). jobermark: Still confused what you're trying to get at. If it's a sound argument, aren't all of its premises true? How then can it be similar to any valid unsound argument? – H Walters – 2018-03-01T03:40:05.820

@HWalters: It can't, but beyond simply being true, they have to be similar in form, be similarly connected outside the argument itself, etc., (all that comes later in logic and is not in order here): Hence the edit "(in both truth value and form)", which my comment indicates I added and is now in the answer. If you want to know what I am getting at, you might try reading what I write. – None – 2018-03-01T15:50:35.487

@jobermark That doesn't address the confusion; it simply complicates it. If V is a valid but unsound, then what similar sound argument S are you describing in the second paragraph? If V's premises have the same truth value as S, and S's premises are all true, V's premises are all true. How is that unsound? Or if they aren't all true, how is S sound? (Incidentally I don't mean to argue or insult you; I'm simply reporting how what I read looks, so you can clarify it, because I'm pretty sure you don't mean this). – H Walters – 2018-03-01T16:53:27.297

I am not describing any similar sound systems with false premises. It is perfectly possible to reference an empty set. But the rule that says I can swap premises only applies if the premises involved are all sound. I think you are just being difficult on purpose. – None – 2018-03-02T01:15:10.277

"I think" ...I think you're applying attributional bias to me because you fail to see what I'm pointing out. I've dumped a fuller critique in this chat. It's up to you what you do with it, but these are real issues. This is my last comment here, but I'll keep an eye on that chat (until it disappears due to inactivity).

– H Walters – 2018-03-02T05:06:07.480

@HWalters . I do not fail to see what you are pointing out. The argment is not PERFECT. I really don't care. Insisting that it is either perfect or useless is just being difficult on purpose. This is not a formal logic proof. It is motivation, I am talking vaguely about WHY logic studies validity and not only soundness. A motivation does not have to be argued out in absolute, mind-numbing detail. Again I DO NOT CARE. – None – 2018-03-02T15:23:53.047


The term valid should be noted to have two contexts in logic: one in which there is no possible way for an argument with all true premises yield a false conclusion; the second is the context that expresses an argument form where a counter example exists of the same format using different terms that yields a blatant false conclusion. When you know there exists a counter example with a false conclusion from true premises the form of that argument is invalid.

There is also the notion that anything can follow from a contradiction. The technical reason is that you will never arrive at two true premises with a false conclusion. You will have either one false premise or both false premises in the argument. That is anything can follow when you start out with falsehood. You cannot guarantee the conclusion.


Posted 2018-02-28T02:23:56.293

Reputation: 409