Evan Harmon - Memex
Codex
Academia
Formal Sciences
Logic
Abductive Reasoning
Affirmative conclusion from a negative premise
Affirming the consequent
Alogia
Antifragility
Appeal to consequences
Appeal to emotion
Argument from ignorance
Arrival fallacy
Assocation Fallacy
Confusion of the inverse
Consilience in Recursion, Sublation, Dialectics, Emergence, Non-linearity, Lateral Thinking, Meta, Intension, Feedback Loops, etc.
Constructive dilemma
Contradiction
Contraposition
Converse (logic)
Counterfactual
Critical thinking
Dao De Jing
Deductive Logic
Denying the antecedent
Dialectical monism
Dilemma
Disjunctive Syllogism
Dualism in cosmology
Dualism
Dysrationalia
Edith Piaf
Epistemological dualism
Evidence of absence
Extension
Fake it till you make it
Fallacies of definition
Fallacy of composition
Fallacy of the undistributed middle
Fallacy
Feedback
Feminism
First-order logic
Fuzzy Logic
Hans Zimmer
Heuristic
Hypothetical Syllogism
IKEA effect
Inception (soundtrack)
Inductive Logic
Inference
Intension
Inverse (logic)
Johann Sebastian Bach
John Frusciante
Laozi
Logic
Lying by omission
Many-valued Logic
Mathematical Logic
Mathematical proof
MC Escher
Mereology
Mind–body Dualism
Mise en abyme
Modus Ponens
Modus Tollens
Musician
Naturalistic fallacy
Necessity and Sufficiency
Negation
Nirvana Fallacy
Non sequitor
Non-linearity
Oedipus Rex
Paradox
Post hoc ergo propter hoc
Principle of Bivalence
Process of elimination
Property dualism
Propositional calculus
Quoting out of context
Recursion
Reductio ad absurdum
Reification (fallacy)
Retrograde motion
Reuctio ad Absurdum
Revision theory
Rule of inference
Self-acceptance
Self-consciousness
Self-deception
Self-deprecation
Self-fulfilling prophecy
Self-licking ice cream cone
Self-reference
Self-refuting idea
Soul dualism
Soundness
Statistical Syllogism
Stereotype threat
Strange loop
Syllogism
Tautology
Third wave feminism
Tinkerbell effect
Truth Table
Turtles all the way down (logic)
Validity (logic)
Business Process
Equifinality
Formal Sciences
Information theory
Process Architecture
Systems design
Systems Theory
Systems Thinking
Workflow
Academia
Adjacent Possible
Business, Economics, & Finance
Copernicus
Creativity
Deep work (concept)
Design rationale
Design theory
Form follows function
Frank Lloyd Wright
Industrial design
Instructional design
Integral theory (Ken Wilber)
Interior design
Leadership, Teaching, & Management
Library
Maxim
Organizational design
Product design
Quantification (science)
Science
Sean M. Carroll
Service design
Social design
Strategic design
Theory
Vannevar Bush
Woozle Effect
Codex
Historical Timeline
Good to Know™
Memex
Evan Harmon - Memex

Soundness

In logic and deductive reasoning, an argument is sound if it is both valid in form and its premises are true. Soundness has a related meaning in mathematical logic, wherein a formal system of logic is sound if and only if every well-formed formula that can be proven in the system is logically valid with respect to the logical semantics of the system.
wikipedia:: Soundness
Links to this page
Analytic-synthetic distinction
Deductive Logic
Formal Sciences
Good to Know™
Logic
Soundness
Interactive graph
On this page
Soundness
Powered by Obsidian Publish