Soundness

From Free net encyclopedia

This article discusses the soundness notion of informal logic. For soundness in mathematical logic see the entry on the soundness theorem.

A logical argument is sound if and only if

1. the argument is valid
2. all of its premises are true.

A proof procedure (e.g. natural deduction) for a logic is sound if it proves only valid formulas (also tautologies). Formally: a system is sound when if "<math>X_1...X_n \vdash Y</math>", then also "<math>X_1...X_n \models Y</math>".

Sound arguments

Suppose we have a sound argument (in this case a syllogism):

All men are mortal.

Isaac Newton is a man.

Therefore, Isaac Newton is mortal.

The argument is valid and since the premises are in fact true, the argument is sound.

The following argument is valid but not sound:

All animals can fly.

Pigs are animals.

Therefore, pigs can fly.

Since the first premise is actually false, the argument, though valid, is not sound.

Sound Strategy

A strategy is sound for an agent if, and only if, it never dictates an illegal move for the agentuk:Правильність