C.3.1:3 - Forces · fpf.tools

Force	Tension
Small typed reasoning vs ontology growth	Projects need reusable kinds without a new public `U.*` name for each distinction.
Preorder vs kind identity	Mutual subkind facts may hold for different intensional kinds; classification equivalence must not collapse their identities.
Criterion entailment vs observed support	Exact rule entailment or exhaustive evaluation of a closed domain can establish the obtaining condition; a non-exhaustive sample only supports an assertion.
Stable kind vs changing declaration	A kind may continue across a compatible change, while a changed membership distinction must not inherit identity silently.
Applicability vs uncertainty	A non-applicable classification request is not an `unknown` judgment and cannot establish or refute a subkind fact.
Locality vs correspondence	A changed practice or source prompts comparison but does not establish another kind or a bridge.