Can an argument have all true premises and a true conclusion, yet not be deductively valid?
Answer by Craig Skinner
Yes it can.
Just state some unconnected true statements:
P1 Grass is green
P2 Paris is the capital of France
C A poodle is a dog
Ps and C all true, but argument not deductively valid.
If you object that this doesn’t count as an argument because there is no connexion between the Ps or between the Ps and the C, try
P1 All atoms are tiny
P2 The smallest particle of helium gas is tiny
C The smallest particle of helium gas is an atom
All true, but not deductively valid. To see this, substitute ‘oxygen’ for ‘helium’ (the smallest part of oxygen gas is a molecule not an atom, so C false) or ‘pollen’ for ‘helium gas’ (the smallest particle of pollen is a grain, C false)
I find a Venn diagram useful here.
Draw a circle (T) to represent tiny things. Draw a smaller circle inside it (P) to represent smallest particles. You have illustrated that some, but not all, tiny things are particles. Now put another, yet smaller, circle (A) inside P to represent atoms, illustrating that some smallest particles are atoms. You can instantly see that all atoms are smallest particles, but that a smallest particle need not be an atom: and that all smallest particles are tiny, but not all tiny things are smallest particles.
As well as arguments that have true premises/conclusion but are invalid, we can have arguments that are valid and have a true conclusion but are unsound because a premise is untrue.
P1 Craig is a Scot
P2 All Scots are drunks
C Craig is a drunk
Here, P1 can be true, C follows from the Ps (validity), C can be true, but the argument is unsound because P2 is false. So, although the C is true we can’t rely on the argument to establish it. It is an unsound argument.
So, distinguish between validity and soundness.
Validity means that the C follows from the Ps. If the Ps are true, the C is necessarily true. Validity is a purely formal matter. Whether or not the Ps are really true doesn’t come into deciding validity.
Soundness combines validity and truth: the argument is valid, the premises are true, the conclusion must be true. Sound arguments are what we want in philosophy and in life.
So, useful to distinguish truth, validity and soundness when you evaluate logical (deductive) arguments.
Finally, not all arguments are deductive. Some are inductive, some abductive. There is much to be said about these, but here I’ll only say that induction and abduction lack the logically watertight character of deduction.
Answer by Shaun Williamson
The answer to your question is yes. Consider this argument.
Premise 1 The earth orbits around the sun
Premise 2 The moon orbits around the earth.
Conclusion Some Birds can fly.
All these things can be accidentally true but that doesn’t make the argument
The definition of a LOGICALLY (or deductively) VALID argument is that it is any argument where IF the premises are true then it is IMPOSSIBLE for the conclusion to be false.
In our world, in the argument given above, the premises and the conclusion are all true but we can easily imagine a world where premise 1 and premise 2 are true but the conclusion is false.
Consider this logically valid argument.
Premise 1 If Frank is a rabbit then Frank wears white gloves.
Premise 2 Frank is a rabbit.
Conclusion Frank wears white gloves.
This argument is logically valid because we cannot imagine a world where
premise 1 and premise 2 are TRUE but the conclusion ‘Frank wears white gloves’ is false.