Reasoning
The axes
Each reasoning axis is a typed, terminating question on one layer, listed with the nodes a run may select on it and the contracts positioned on it.
ontology
- Layer: Epistemic
- Mandatory: when-relevant
- Math type: set-theory
- Selectable: yes
analysis
reasoning
representation
- Layer: Epistemic
- Mandatory: when-relevant
- Math type: information-theory
- Selectable: yes
formalization
- Layer: Epistemic
- Mandatory: when-relevant
- Math type: computation
- Selectable: yes
teleology
- Layer: Conative
- Mandatory: always
- Math type: optimization
- Selectable: no
verification
- Layer: Evaluative
- Mandatory: always
- Math type: logic
- Selectable: no
termination
- Layer: Evaluative
- Mandatory: always
- Math type: set-theory
- Selectable: no