|home | alphabetical index|
SoundnessAn argument is sound if, and only if, (1) the argument is valid and (2) all of its premises are true.
So suppose we have a sound argument:
In mathematical logic, a formal deduction calculus is said to be sound with respect to a given logic (i.e. wrt its semantics) if every statement that can be derived within this calculus is a tautology of the logic. Stated differently, this says that everything that can be formally (syntactically) calculated is semantically true. The reverse condition is called completeness.
|copyright © 2004 FactsAbout.com|