Definition:Valid Argument

From ProofWiki
Jump to navigation Jump to search

This page is about Valid Argument in the context of Logic. For other uses, see valid.

Definition

A valid argument is a logical argument in which the premises provide conclusive reasons for the conclusion.


When a proof is valid, we may say one of the following:

  • The conclusion follows from the premises;
  • The premises entail the conclusion;
  • The conclusion is true on the strength of the premises;
  • The conclusion is drawn from the premises;
  • The conclusion is deduced from the premises;
  • The conclusion is derived from the premises.


Proof

If all the premises of a valid argument are true, then the conclusion must also therefore be true.

It is not possible for the premises of a valid argument to be true, but for the conclusion to be false.


A proof is a valid argument whose premises are all true.


Hence a valid argument that has one or more false premises is not a proof.


Also known as

A valid argument is also known as a truth preserving argument.

Likewise, validity is also known as truth preservation.


Some authors use the term sound argument to mean the same thing that is defined here as a proof.

However, as some use sound argument to mean the same thing as a valid argument, it is recommended that this term not be used.


Examples

Bats have Lungs

The following is a valid argument with true premises:

All bats are mammals.
All mammals have lungs.
Therefore all bats have lungs.


Trout have Wings

The following is a valid argument with false premises:

All trout are mammals.
All mammals have wings.
Therefore all trout have wings.


Also see


Linguistic Note

The word valid ultimately derives from the same root as the word value.

Thus valid can be taken to mean having value.


Warning

In natural language, especially when a person is attempting to sound more learned than they are, it is commonplace to discuss the nature of statements as being valid or invalid.

What is really meant, of course, is that a statement is either true or false.


Sources