Soundness

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

Related Topics:
Mathematical logic - Soundness theorem

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

A logical argument is sound if and only if

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

• the argument is valid
• 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 "X1...Xn ⊢ Y", then also "X1...Xn ⊨ Y"

Related Topics:
Natural deduction - Valid - Tautologies

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

 
Soundness: Sound arguments ►