In mathematical logic, a logical system has the soundness property if and only if its inference rules prove only formulas that are valid with 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.
Read more about Soundness: Of Arguments, Logical Systems, Relation To Completeness
Famous quotes containing the word soundness:
“Men are qualified for civil liberty in exact proportion to their disposition to put moral chains upon their own appetites; in proportion as their love to justice is above their rapacity; in proportion as their soundness and sobriety of understanding is above their vanity and presumption; in proportion as they are more disposed to listen to the counsels of the wise and good, in preference to the flattery of knaves.”
—Edmund Burke (1729–1797)
“Not only our future economic soundness but the very soundness of our democratic institutions depends on the determination of our government to give employment to idle men.”
—Franklin D. Roosevelt (1882–1945)