mathematical logic, a logical systemhas the soundness property if and only ifits inference rulesprove only formulas that are validwith respect to its semantics. In most cases, this comes down to its rules having the property of preserving " truth", but this is not the case in general.
argumentis sound if and only if
:All men are mortal.:Socrates is a man.:Therefore, Socrates is mortal.
The argument is valid (because the conclusion is true based on the premises, that is, that the conclusion follows the premises) 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.
Soundness of logical systems
Soundness is among the most fundamental properties in mathematical logic. A soundness property provides the initial reason for counting a logical system as desirable. The
completenessproperty means that every validity (truth) is provable. Together they imply that all and only validities are provable.Most proofs of soundness are trivial.Fact|date=June 2008 For example, in an axiomatic system, proof of soundness amounts to verifying the validity of the axioms and that the rules of inference preserve validity (or the weaker property, truth). Most axiomatic systems have only the rule of modus ponens(and sometimes substitution),Fact|date=June 2008 so it requires only verifying the validity of the axioms and one rule of inference.Soundness properties come in two main varieties: weak and strong soundness, of which the former is a special case of the latter.
Weak soundness of a
deductive systemis the property that any sentence that is provable in that deductive system is also true on all interpretations or models of the semantic theory for the language upon which that theory is based. In symbols, where S is the deductive system, L the language together with its semantic theory, and P a sentence of L: ?S P, then also ?L P. In other words, a system is weakly sound if each of its theorems (i.e. formulas provable from the empty set) is valid in every structure of the language.
Strong soundness of a deductive system is the property that any sentence P of the language upon which the deductive system is based that is derivable from a set ? of sentences of that language is also a
logical consequenceof that set ?, in the sense that any model that makes all members of ? true will also make P true. In symbols where ? is a set of sentences of L: if ? ?S P, then also ? ?L P. Notice that in the statement of strong soundness, when ? is empty, we have the statement of weak soundness.
Relation to completeness
The converse of the soundness property is the semantic completeness property. A deductive system with a semantic theory is strongly complete if every sentence "P" that is a
semantic consequenceof a set of sentences Γ can be derived in the deduction system from that set. In symbols: whenever nowrap|Γ ⊨ "P", then also nowrap|Γ ⊢ "P". Completeness of first-order logicwas first explicitly established by Gödel, though some of the main results were contained in earlier work of Skolem.
Informally, a soundness theorem for a deductive system expresses that all provable sentences are true. Completeness states that all true sentences are provable.
Gödel's first incompleteness theorem shows that for languages sufficient for doing a certain amount of arithmetic, there can be no effective deductive system that is complete with respect to the intended interpretation of the symbolism of that language. Thus, not all sound deductive systems are complete in this special sense of completeness, in which the class of models (up to isomorphism) is restricted to the intended one. The original completeness proof applies to "all" classical models, not some special proper subclass of intended ones.
*cite book | author = Hinman, P. | title = Fundamentals of Mathematical Logic | publisher = A K Peters | year = 2005 | id = ISBN 1-568-81262-0
*Irving Copi. "Symbolic Logic", Vol. 5, Macmillian Publishing Co., 1979.
*Boolos, Burgess, Jeffrey. "Computability and Logic", Vol. 4, Cambridge, 2002.
Wikimedia Foundation. 2010.
Look at other dictionaries:
Soundness — Sound ness, n. The quality or state of being sound; as, the soundness of timber, of fruit, of the teeth, etc.; the soundness of reasoning or argument; soundness of faith. [1913 Webster] Syn: Firmness; strength; solidity; healthiness; truth;… … The Collaborative International Dictionary of English
soundness — UK US /ˈsaʊndnəs/ noun [U] ► the quality of being able to be trusted: »Those problems called into question the bank s financial safety and soundness … Financial and business terms
soundness — index certainty, competence (sanity), health, honesty, legitimacy, quality (excellence), sanity … Law dictionary
soundness — Synonyms and related words: admissibility, advantageousness, agreeableness, aplomb, auspiciousness, authenticity, authoritativeness, authority, balance, balanced personality, beneficialness, benevolence, benignity, body, calculability,… … Moby Thesaurus
soundness — Ⅰ. sound  ► NOUN 1) vibrations which travel through the air or another medium and are sensed by the ear. 2) a thing that can be heard. 3) music, speech, and sound effects accompanying a film or broadcast. 4) an idea or impression conveyed by… … English terms dictionary
soundness — noun see sound I … New Collegiate Dictionary
Soundness — Korrektheit ist eine Eigenschaft formaler Systeme bzw. Kalküle. Man unterscheidet semantische Korrektheit („Alles, was beweisbar ist, ist wahr.“) und klassische Korrektheit („In keinem Fall ist und zugleich beweisbar.“). Ein korrekter Kalkül ist… … Deutsch Wikipedia
soundness — See soundly. * * * … Universalium
soundness — noun a) The state or quality of being sound. b) The result or product of being sound … Wiktionary
soundness — (Roget s Thesaurus II) noun 1. The condition of being free from defects or flaws: durability, firmness, integrity, solidity, stability, strength, wholeness. See BETTER. 2. The condition of being physically and mentally sound: haleness, health,… … English dictionary for students