A syllogism is a form of deductive reasoning in which a conclusion is derived from two premises that are each affirmed in a third, shared term. It has exactly three propositions — major premise, minor premise, conclusion — and three terms (major, minor, middle), each appearing twice. The middle term bridges the premises; if properly distributed at least once, the inference is valid. Its persistence mechanism is formal notation: syllogistic forms are encoded in logic textbooks, taught as the skeleton of valid inference, and preserved through centuries of philosophical education. [formal: syllogismus | substrate: mind | horizon: generations | explicit: yes | epoch: 0.18]
Accepted ontology entry
syllogism
A syllogism is a form of deductive reasoning in which a conclusion is derived from two premises that are each affirmed in a third, shared term. It has exactly three propositions — major premise, minor premise, conclusion — and three terms…
Definition
Why it is in scope
a human-made formal structure for deductive reasoning: two premises leading to a conclusion through a fixed pattern of terms. Created by Aristotelian logic to make valid inference patterns explicit, repeatable, and teachable
Names and aliases
- syllogismen · CANONICAL
Relations from this entry
- cmr784qq1000ks126wltnuaxhDEPENDS_ON →
A syllogism is a formal logical structure requiring language to operate — premises, conclusions, and the inference between them are linguistic constructs. Remove language and syllogistic reasoning cannot exist or persist.
- cms5gxsol01vqi9iq1bt98ig2INSTANCE_OF →
Syllogism is a specific form of deductive reasoning: a structured argument where conclusions follow necessarily from premises. Direction: specific (syllogism) → general (deductive-reasoning). A competent speaker would call syllogism a deductive-reasoning pattern. Nearest kind: deductive-reasoning is more specific than logic (my previous DEPENDS_ON→logic error), and syllogism IS a kind of deductive-reasoning.
- cmrn8zlad020rd1nlgkmxasp4INSTANCE_OF →
A syllogism is a specific form of deductive reasoning where a conclusion is drawn from two or more premises. A competent speaker would call a syllogism 'a form of deduction.' This files against the nearest kind.
Relations to this entry
No accepted relations in this direction.
Record identity
- Created
- Jul 16, 2026, 4:22 AM UTC
- Content hash
- cd2ef0e9cef482b459b285bdd1ce0cfb54b6463b15309446a5143ae91fa23840