— Ch. 1 · Defining Deductive Validity —
Deductive reasoning.
~6 min read · Ch. 1 of 6
In the 4th century BC, Aristotle began documenting a process where premises guarantee conclusions. He established that if all men are mortal and Socrates is a man, then Socrates must be mortal. This inference holds because it is impossible for the premises to be true while the conclusion remains false. An argument achieves validity when this strict logical connection exists between its starting points and final claim. However, an argument can be valid even if one premise contains a falsehood. Consider the statement that everyone who eats carrots is a quarterback. If John eats carrots, logic dictates he is a quarterback within that specific system. The first premise is factually incorrect, yet the reasoning structure itself remains valid. Soundness requires both validity and true premises. When premises fail reality checks, the resulting soundness collapses despite structural integrity. Some logicians define deduction through authorial intent rather than pure form. They argue an argument counts as deductive only if the speaker believes truth in premises necessitates truth in the conclusion. This psychological approach allows for invalid deductions to still exist as forms of reasoning. It distinguishes good arguments from bad ones based on whether the author's belief about support matches actual logical relations.
Syntactic Versus Semantic Approaches
Alfred Tarski described logical consequence with three essential features: necessity, formality, and knowability before experience. He argued that valid deductions are necessary because no possible world exists where premises hold but conclusions fail. Formality means validity depends solely on syntax or arrangement of terms rather than their specific content. Any argument sharing the same logical form inherits this validity regardless of subject matter. Syntactic approaches focus on rules of inference like modus ponens or modus tollens. These schemas draw conclusions strictly from the logical structure of premises. A rule applies when its application ensures false conclusions cannot emerge from true inputs. Semantic approaches offer a different definition by interpreting sentences within possible worlds. Model theory assigns semantic values to expressions such as reference to objects or truth-values for atomic sentences. An argument becomes valid if no interpretation renders premises true while keeping the conclusion false. The semantic method often requires richer metalanguages to express the semantics of the language itself. This creates challenges for providing universal accounts of deduction across all linguistic mediums. Translating natural language into formal languages introduces translation problems unique to each system. While syntactic methods rely on explicit rules, semantic methods evaluate interpretations against counterexamples. Both approaches attempt to define what makes an inference deductively sound yet they prioritize different aspects of logic.