Mind · Reasoning
Deduction
General to specific logic
Definition
Mechanism
Moving from general rules (Axiom) to specific conclusions. If premises are true, the conclusion MUST be true. (All men are mortal -> Socrates is a man -> Socrates is mortal).
Preconditions
- Premises are accepted as true
Postconditions
- Conclusion is logically necessary
Invariants
- Truth Preservation: If premises are true, conclusion MUST be true.
- Validity: The argument structure follows formal logic rules.
Risks
Failure modes
None stated.
Relationships
Builds on
References
Foundational truth
Used by
References
Inference to the best explanation — provisional, ranked by simplicity/scope/coherence
Goal-driven reasoning from target to preconditions
Sherlock Holmes deduction via falsification
Deductive application of principles
Reference