##  [Syllogism](/syllogism-0) 

 Definition

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

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

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

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

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

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

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

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

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).