Take the 2-minute tour ×
Philosophy Stack Exchange is a question and answer site for those interested in logical reasoning. It's 100% free, no registration required.

Given this definition:

A deduction is valid if and only if its conclusion is true whenever all of its hypotheses are true.

Can an argument be valid if it has a tautology as a conclusion?

An example I can think of is:

  1. A proposition is either a tautology or not a tautology
  2. (1) is a proposition
  3. (1) is either a tautology or not a tautology

That seems strange/wrong to me, even though it appears to meet the definition. Are there other conditions for an argument to be valid?

share|improve this question
1  
One would think that most tautologies are so because they can in principle be a conclusion of valid arguments given any premises. Am I missing something? –  Paul Ross Dec 2 '12 at 15:16
1  
I like the line of argument. It appears bizarre, because through our own natural language capabilities we see staightaway that 1 is a tautology. Whereas the conclusion asserts that it may not be. I would say that you need a definition of what a tautology is, and using this, show that 1 is a tautology. So that the line of argument you show is wasteful: it asserts more than is the case. –  Mozibur Ullah Dec 2 '12 at 18:02

4 Answers 4

A tautology is a conclusion which requires no hypotheses. Then, in particular, it doesn't have any hypotheses which are false. Therefore, as we say in the business, all of its hypotheses (vacuously) are true. Then the tautology is a true conclusion.

You should perhaps think of logical validity not as "truth-preserving", but more accurately as "not increasing falsity". (This depends on being rather staunchly Boolean in one's view of logic, so that you would for instance regard 0 = 1 to be no larger a falsehood than 0 = 0.0001; but it is certainly not an extremely controversial view.) Then, if you have no premisses, you have no falsehood, and anything you can derive from no premisses can therefore contain no falsehood, i.e. is necessarily true.

share|improve this answer
1  
I haven't come across this definition of a tautology. Working in a formal system, are its axioms to be taken literally, and not hypothetically? –  Mozibur Ullah Dec 2 '12 at 14:01
2  
@Mozibur Ullah: I would say that a tautology does not involve any (non-logocal) axioms; and because both by training and personal inclination I would subsume any logical axioms into the rules of inference, I tend to describe tautologies as involving no axioms whatsoever. –  Niel de Beaudrap Dec 2 '12 at 17:43

Any argument with a tautology as the conclusion is valid, no matter what the premises are. Validity is a technical term in formal logic meaning that the conclusion cannot fail to be true if the premises are true. Since a tautology is always true it follows for such an argument that the conclusion can not fail to be true if the premises are true.

However, in the larger picture such an argument is useless, since the premises have no necessary relationship to the conclusion.

Understanding this kind of result is important if you want to grasp the ways in which formal logic can often be counter-intuitive.

share|improve this answer

Thank you for your question I've just understood a great deal about logic, from where I come from it is very dear.

  1. A proposition is either a tautology or not a tautology
  2. (1) is a proposition
  3. (1) is either a tautology or not a tautology

It seems like this could go endlessly. you could then say.

  1. (3) is a proposition
  2. (3) is either a tautology or not a tautology

And so on and so on. This might be correct in some logic systems...But

From a previous question I asked about the liars paradox, which is what this reminds me of, M. Cort Ammon replied that a certain M.Gödel concerned himself with systems which could "admit arithmetic". These systems being "strong" logical systems.

And showed that in these systems :

For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, if T includes a statement of its own consistency then T is inconsistent.

so for example:

"1.(1) is not true" Is an inconsistent statement

Now your argument implies that we can easily swap "a proposition" by "(1)" without changing any of the meaning since "a proposition" can be any proposition. That gives us

  1. (1) is either a tautology or not a tautology

which is inconsistent in a system that admits arithmetic.

share|improve this answer
    
Thanks for your answer and welcome to Philosophy! :) –  Joseph Weissman Jan 10 at 0:54

An argument is valid if and only if the conclusion must be true if the premises are true. A tautology is always true regardless of the truth of its premises. Hence, the answer to your question is of course. All you need is a true premise and a tautology for a conclusion. That gives you true premises and a true conclusion. For example, premise: ~(A&B) conclusion: ~(A&B)->(~A v~B)

share|improve this answer
    
First off, welcome to philosophy.se. Your first sentence is great as are next three too. But the next sentence is not so great for reasons that follow (at least more clearly) from an alternate formulation of validity: an argument is valid if it cannot have true premises and a false conclusion. Thus, you don't even need a true premise though for a tautology to be valid, because the conclusion is always true (and thus it can never have a false conclusion and thus never fail the validity test). –  virmaior Jan 7 at 11:24

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.