Foundations
The Given Universe Axiom
The axiom frames limits on recovering distinctions that are missing from available records.
When it applies
Formal use requires stated assumptions about the representation and question.
Sources
Relationships
- organises · From
Structural Awareness
conceptual bridge
- grounds · To
World, record and missing context
conceptual bridge
- grounds · To
Qualification for a concrete decision
conceptual bridge
- bounds · To
Unrecoverable remainder
conceptual bridge
- informs · To
DDS benchmarks and ablations
conceptual bridge
- includes · From
Mathematical contributions
conceptual bridge
- frames the question · From
Logic Fields
conceptual bridge
State which distinctions the available representation can express.
- reveals representational limits · To
Structural Awareness
conceptual bridge
The inference depends on the declared representation and the question being asked.