Spelling. Are you looking for Boundness or Roundness?

# Soundness

## Definition of the noun soundness

What does soundness mean as a name of something?

noun - plural: soundnesses

1. a state or condition free from damage or decay
2. the quality of being prudent and sensible
3. the muscle tone of healthy tissue
• lexical domain: Attributes - nouns denoting attributes of people and objects
• synonym of soundness: firmness
• antonym of soundness: unsoundness
• more generic word: strength = the property of being physically or mentally strong

### Alternative definition of the noun soundness

noun

1. [uncountable] The state or quality of being sound.
2. [countable] The result or product of being sound.
3. [logic] The property (of an argument) of not only being valid, but also of having true premises.

## Explanation

1. Soundness: 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.
2. Soundness is a property of interactive proof systems that requires that no prover can make the verifier accept for a wrong statement except with some small probability. The upper bound of this probability is referred to as the soundness error of a proof system.

## Printed dictionaries and other books with definitions for Soundness

Click on a title to look inside that book (if available):

### Mathematical Logic for Computer Science (2012)

by Mordechai Ben-Ari

The converse direction is called soundness, which means that any formula A that ...

### Logic for Programming, Artificial Intelligence, and Reasoning (2006)

13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings by Miki Hermann, Andrei Voronkov

If L and L are the source and target logics, respectively, and α is the mapping of L into L then soundness is the property...

Although soundness is a necessary requirement for the correctness of the ...

### Foundations and Applications of Security Analysis (2009)

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers by Pierpaolo Degano, Luca Viganò

Computational soundness is the research direction that aims to translate security guarantees with respect to Dolev-Yao models into guarantees with resepect to the stronger computational models of modern cryptography. There are essentially ...

### De Finibus Bonorum Et Malorum Libri Quinque (1883)

by Marcus Tullius Cicero

Children are a blessing ; childlessness then is unhappiness ; your fatherland is a blessing ; banishment then is unhappiness ; health is a blessing ; disease then is unhappiness ; bodily soundness is a blessing ; weakness then is unhappiness ...

### John Dewey’s Philosophy of Education (2012)

An Introduction and Recontextualization for Our Times by J. Garrison, S. Neubert, K. Reich

Determining soundness is the function of the fifth phase of reflective thinking. Fifth Phase The final phase involves a return to actual empirical material that tests the implications of hypotheses, reasoning, and conclusions to see if they are ...

### Banking Soundness and Monetary Policy (1997)

by Mr. Charles Enoch, Mr. J. H. Green

Soundness is a relatively easy ...

### Building and Construction Materials: Testing and Quality Control, 1e (Lab Manual)

by M L Gambhir; Neha Jamwal

Durability The property of aggregates to withstand adverse action of weather is called soundness. The aggregates are subjected to the physical and chemical actions of rain water and subbase water containing impurities; it is therefore, ...

### Social Analysis in Private Sector Projects (2015)

by Asian Development Bank

When a project is proposed for financing, ADB's due diligence for social soundness is an important factor in its decision on whether to finance the project and will determine the scope of social conditions for ADB financing. ADB reviews the ...

### M. Tvlli Ciceronis De Finibvs Bonorvm Et Malorvm (1883)

Libri Qvinqve by Marcus Tullius Cicero

Children are a blessing ; childlessness then is unhappiness ; your fatherland is a blessing ; banishment then is unhappiness ; health is a blessing ; disease then is unhappiness ; bodily soundness is a blessing; weakness then is unhappiness; ...

### Essential Chess Quotations (2000)

by John C. Knudsen

- Wade Chabassol In good chess, soundness is the first essential. -Alfred Emery You can't play chess if you' re groggy from pills. - Anatoly Karpov The more one knows about the Ruy Lopez ...

### Professional Nursing (2005)

Concepts, Issues, and Challenges by John Daly, RN, PhD, Sandra Speedy, RN, EdD, Debra Jackson, RN, PhD, Vickie Lambert, RN, DNSc, FAAN, Clinton Lambert, RN,PhD,CS,FAAN

Soundness is the degree to which an assertion can be said to be free of error, fallacy, or misapprehension. Relevance is the extent to which an assertion pertains to the immediate and actual situation at hand. Meaningfulness relates to the ...

### College Essays that Made a Difference (2012)

by Princeton Review

Structural soundness is the product of a well-crafted outline. Sketch outthe general themes of your essay first; worry about filling in the particulars later. Many people like to start by putting ideas onto paper in the form of "bubble outlines"— they'll ...

### Theorem Proving in Higher Order Logics (2008)

21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings by Otmane Ait Mohamed, César Munoz, Sofiène Tahar

Contextual effect soundness is an unusual property because the prior and future effect of aterme depends not on e itself (or its evaluation), but rather on the evaluation of the context in which e appears. Therefore, to state and prove soundness ...

### Mental Toughness (2008)

Understanding the Game of Life by Dr. Timothy S. Wakefield

Moral soundness means the ability to determine right from wrong and make the correct choice. Integrity is doing the “right thing” even when no one is watching. Integrity is doing the “right thing” even when it is difficult. If you have to “stand ...

### Encyclopedia of Agriculture and Food Systems (2014)

Libido or serving capacity is not evaluated as a component of breeding soundness exams under the Society of Theriogenology (USA) but is included under the Australian Association of Cattle Veterinarians (McGowan etal., 1995) evaluation.

### Encyclopedia of Iowa Law (1914)

Being a Plain Statement of the Law of Iowa So Far as it Affects the People in Their Business, Domestic and Social Relations ... by Ezra Christian Ebersole

The law requires soundness of mind, but by this is not necessarily meant that degree of intellectual vigor which one has in youth, or that is usually enjoyed by him while in perfect health. (58 Iowa, 265, 266.) For the purpose of making a will, ...

### Historical Dictionary of the International Monetary Fund (2011)

by Sarah Tenney, Norman K. Humphreys

FINANCIAL SOUNDNESS INDICATOR (FSI). As part of the overall initiative to strengthen financial systems launched in 1999, the Fund began an effort to develop financial soundness indicators that could be used to assess the strengths and ...

### The Complete Farmer: Or, a General Dictionary of Husbandry ... (1807)

In which Everything Valuable from the Best Writers on this Subject Will be Extracted ...

Soundness is defined to imply, “not diseased, lame, blind, or broken-winded : nor having, at the time of sale, any impending cause thereof. By custom, three days trial are allowed the purchaser, within which period the horse ought to be ...

## Online dictionaries and encyclopedias with entries for Soundness

Click on a label to prioritize search results according to that topic:

Soundness Meaning

Video shows what soundness means. The state or quality of being sound.. The result or product of being sound.. The property (of an argument) of not only being ...