Reasoning
The nodes
Every node on the axes is listed with the concept it resolves to, the question it asks, the math type it yields, the shape of its answer, its decision test and its role, and the surfaces and contracts that ground themselves in it.
Comparison
- Axis: reasoning
- Math type: logic
- Concept: comparison
Classification
- Axis: reasoning
- Math type: set-theory
- Concept: classification
Explanation
- Axis: reasoning
- Math type: analysis
- Concept: explanation
Prediction
- Axis: reasoning
- Math type: probability
- Concept: prediction
Intervention
- Axis: reasoning
- Math type: analysis
- Concept: intervention
Creation
- Axis: reasoning
- Math type: computation
- Concept: creation
Reflection
- Axis: reasoning
- Math type: topology
- Concept: reflection
Symbolic Representation
- Axis: representation
- Math type: algebra
- Concept: symbolic
Numerical Representation
- Axis: representation
- Math type: probability
- Concept: numerical
Geometric Representation
- Axis: representation
- Math type: topology
- Concept: geometric
Topological Representation
- Axis: representation
- Math type: topology
- Concept: topological
Information-Theoretic Representation
- Axis: representation
- Math type: information-theory
- Concept: information-theoretic
Probabilistic Representation
- Axis: representation
- Math type: probability
- Concept: probabilistic
Dynamical Representation
- Axis: representation
- Math type: dynamical-systems
- Concept: dynamical
Computational Representation
- Axis: representation
- Math type: computation
- Concept: computational
Existence
- Axis: formalization
- Math type: set-theory
Formal Structure
- Axis: formalization
- Math type: algebra
Mapping
- Axis: formalization
- Math type: graph
Environment
- Axis: formalization
- Math type: topology
Transformation
- Axis: formalization
- Math type: analysis
Invariance
- Axis: formalization
- Math type: topology
Uncertainty
- Axis: formalization
- Math type: probability
Computability
- Axis: formalization
- Math type: computation
Abstraction
- Axis: formalization
- Math type: topology
Emergence
- Axis: formalization
- Math type: computation
Absence
- Axis: formalization
- Math type: set-theory
Objective
- Axis: teleology
- Math type: optimization
Branch Utility
- Axis: teleology
- Math type: optimization
Branch Cost
- Axis: teleology
- Math type: optimization
Branch Priority
- Axis: teleology
- Math type: optimization