Live briefing
Everything about Soundness
Term in logic and deductive reasoning
In logic, soundness can refer to either a property of arguments or a property of formal deductive systems. Wikipedia →
🧠Start here: a 6-step reading path
- Read the overview: SoundnessA 5-minute orientation
- Skim a recent paper: Controlling the soundness of Portland cement clinker synthesized with solid wastes based on phase transition of MgNiO2Influential work since 2022
- Pick up a classic book: MusicThe most-reprinted book on the subject
- Read the landmark paper: A Syntactic Approach to Type SoundnessCited 725 times
- Go sideways: Gödel's completeness theoremA closely related topic
- Go sideways: SequentA closely related topic
đź“– Definitions
Noun The state or quality of being sound.
Noun The result or product of being sound.
Noun The property (of an argument) of not only being valid, but also of having true premises.
Noun The property of a logical theory that whenever a wff is a theorem then it must also be valid. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊢φ is true, then T⊨φ must also be true, for any wff φ of logic L.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
A Syntactic Approach to Type Soundness
The Roles of Similarity in Transfer: Separating Retrievability From Inferential Soundness
The soundness of steel slag with different free CaO and MgO contents
Soundness and Completeness of an Axiom System for Program Verification
Soundness of workflow nets: classification, decidability, and analysis
Islamic and conventional banks' soundness during the 2007–2008 financial crisis
Soundness and completeness of quantum root-mean-square errors
Corruption, soundness of the banking sector, and economic growth: A cross-country study
🆕 Influential since 2022
Controlling the soundness of Portland cement clinker synthesized with solid wastes based on phase transition of MgNiO2
A Logical Approach to Type Soundness
Corporate social responsibility, financial globalization and bank soundness in Europe – Novel evidence from a GMM panel VAR approach
Banks’ financial soundness during the COVID-19 pandemic
Measuring financial soundness around the world: A machine learning approach
đź“š Books worth reading
MusicRoger Kamien · 1976
ChaosJames Gleick · 1987
Begin SmartBegin Smart Books · 2008
The Magic School Bus Inside the Human BodyJoanna Cole · 1989
Scary Stories 3Alvin Schwartz · 1991
Mr. Brown Can Moo, Can You? (Bright & Early Book)Dr. Seuss · 1970
The very quiet cricketEric Carle · 1990
Night of the Living Dummy IIRobert Lawrence Stine · 1995
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
đź”— Related topics
- Gödel's completeness theorem Gödel's completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability…
- Sequent In mathematical logic, a sequent is a very general kind of conditional assertion. A 1 , … , A m ⊢ B 1 , … , B n . {\displaystyle A_{1},\,\dots ,A_{m}\…
- Logical consequence Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statements that…
- Sequent calculus In mathematical logic, sequent calculus is a style of formal logical argumentation in which every line of a proof is a conditional tautology (called a…
- Deductive reasoning Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that…
- Monotonicity of entailment Monotonicity of entailment is a property of many logical systems such that if a sentence follows deductively from a given set of sentences then it also…
- Validity (logic) In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true…
- Completeness (logic) In mathematical logic and metalogic, a formal system is called complete with respect to a particular property if every formula having the property can…