Categories and Prior Analytics¶
Aristotle. Categories and Prior Analytics.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Deductive Reasoning
- Rule of inference: Universal instantiation (from ∀x (Human(x) → Mortal(x)) and Human(Socrates), infer Mortal(Socrates)) — or Barbara, the classical name for this form of categorical syllogism
This sourceThe first-figure categorical syllogism Barbara ('A belongs to all B; B belongs to all C; therefore A belongs to all C') is the canonical valid form (AAA-1). WebSearch confirmed the Barbara form and 'belongs to all' phrasing.
- Rule of inference: Universal instantiation (from ∀x (Human(x) → Mortal(x)) and Human(Socrates), infer Mortal(Socrates)) — or Barbara, the classical name for this form of categorical syllogism
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:73eca4547fb4 · see in the full table