A form of deductive argument composed of two premises and a conclusion that relate three terms according to classical syllogistic patterns (typically categorical propositions such as 'All A are B; C is A; therefore C is B'); validity depends on the argument’s formal structure while soundness additionally requires true premises.

Principle

Validity of a syllogism is a function of its logical form and the distribution of terms; a syllogistic form can be valid regardless of the empirical truth of its premises, and a valid syllogism yields a necessarily true conclusion only when its premises are true (soundness).

Demonstration

Illustrative scenario → Situation: Premises given: (1) All mammals are warm‑blooded. (2) All whales are mammals. Recognition: The premises instantiate a standard Barbara form (All A are B; All C are A). Action: Apply syllogistic deduction. Consequence: Conclusion: All whales are warm‑blooded. The conclusion follows validly from the form; its truth as a factual claim depends on the premises’ truth.

Misapplication

Inferring existential conclusions from universally quantified premises without existential import (e.g., concluding 'There exists an A' from 'All A are B' when the domain might be empty). The error confuses formal validity requirements with unstated ontological assumptions.

Consequence

Syllogisms provide a compact method to derive necessary consequences from given premises and to expose implicit assumptions; misapplied, they can produce convincing but unsound arguments if premises are false or tacit existential assumptions are unstated.

Reversal

Classical syllogistic rules require qualification in modern predicate logic and in contexts where quantifier interpretation, empty domains, modal operators, or plural reference change the inferential patterns; some classical inferences presuppose existential import that modern interpretations reject.

Boundary

Clearly within: A three‑term categorical argument matching a valid syllogistic mood and figure (e.g., Barbara). Boundary case: Arguments that use quantifiers but include modal or temporal operators where classical moods may not apply straightforwardly. Clearly outside: Multistep formal proofs in propositional or predicate calculus that do not rely on the three‑term categorical structure.

Semantic Tension

Formal Validity ↔ Empirical Truth — syllogisms separate the logical form that secures validity from the truth of premises required for soundness; this creates a tension between deductive certainty and empirical or evidential warrant for premises.

Synthesis

Syllogisms function as a diagnostic tool: they reveal what conclusions follow strictly from specified assumptions and thereby separate errors of logic (invalid form) from errors of fact (false premises or unstated existential assumptions).