Formal Logic (Syllogism)
Systematic principles of reasoning, particularly deductive reasoning as formulated by Aristotle.
Core metadata
- ID: formal_logic_syllogism
- Era: Classical
- First known date: -350 (decade)
- Region: Athens / Classical Greece
- Review status: source_checked
- Maturity: N/A
Prerequisites
Dependents
- Algorithms & Computation Theory (algorithms_computation_theory)
- Artificial Intelligence (Early) (artificial_intelligence_early)
- Epicureanism (epicureanism)
- Scholasticism (scholasticism)
- Stoicism (stoicism)
- Symbolic AI & Expert Systems (symbolic_ai_expert_systems)
- Verifiable AI Reasoning Systems (verifiable_ai_reasoning_systems)
Fields
- None.
Node sources
- Syllogistic (Encyclopaedia Britannica, 2026, textbook) • Supports: node
Locator: Introduction defines syllogistic as formal analysis of logical terms and valid inference structures, developed by Aristotle in Prior Analytics about 350 BCE.
Prerequisite edge evidence
Edge/source evidence summary:
- Prerequisite edges: 3
- Average edge confidence: 70%
- Prerequisite sources: 3
- expert_inference: 3
| Prerequisite | Type | Confidence | Evidence level | Note | Sources |
|---|---|---|---|---|---|
| Philosophy (philosophy) | enabling | 68% | expert_inference | Philosophy provides a capability that enables this technology without being the only possible path. |
|
| Mathematics (mathematics) | enabling | 68% | expert_inference | Mathematics provides a capability that enables this technology without being the only possible path. |
|
| Writing (writing) | historical_predecessor | 75% | expert_inference | Writing is an earlier historical predecessor or foundation, not a one-to-one engineering dependency. |
|
This page is generated from canonical era JSON and is indexable by URL.