Definition talk:Valid Argument

From ProofWiki
Jump to: navigation, search

I've always seen soundness as defined here in every logic book I've seen, but this page says it's used as a synonym for validity. I recommend that PW adopt this definition, as it's useful to be able to say that an argument is valid but not sound. Thoughts? --GFauxPas 11:27, 22 January 2012 (EST)

On the other hand, a sound argument as you have defined it is what we mathematicians call a proof. So to remove all confusion, I would recommend that instead of "sound argument" the word "proof" is used instead.
This page merely states that "sound" is sometimes found as a synonym for validity, but does not endorse its use. I would need to trawl through all my books to find where that comes from. --prime mover 12:32, 22 January 2012 (EST)