fpf.tools
Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading
Source · lines 23722–23732

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 16:02:47 UTC · snapshot created 2026-10-03 16:03:51 UTC · last check 2026-10-03 16:25:20 UTC

A.7.1:11 - SoTA-Echoing

Practice questionCurrent practice and sourceFPF alignmentDisposition
How should analysis effort be bounded?Resource-rational cognition ties analysis to decision value under limited resources (Lieder & Griffiths 2020).The useful threshold, first-capable locus, and positive subject-qualified result or blocker bound current ontology work. The missing-telemetry case demonstrates non-use.Adapt. No universal cost scalar decides ontology truth.
How much model detail is useful?Resolution is question-relative and balances decision distortion against parsimony (Merrick & Weyant 2019).A working account is enough when alternatives cannot change the result or guarantee; consequence-changing cases reopen it.Adapt. FPF preserves multiple direct ontological accounts under their applicable patterns rather than one resolution axis.
Do different ontology questions need different methods and outputs?Current competency-question research distinguishes purposes and expected products (Keet & Khan 2024).The four diagnostic loci and result dispositions keep domain, wording, typed, constructive, and return outcomes distinct.Adapt. No mandatory competency-question artifact is imposed.
When should a coarse account be refined?Counterexample-guided abstraction refinement repairs only distinctions exposed by a consequential counterexample (Clarke et al. 2000, canonical verification lineage).A grounded counterexample can trigger one application and reopen the smallest receiving claim.Comparator only. Model-checking authority and tooling are not generalized to ontology.

These sources change the working method and its cases. They do not license a fixed explication ladder, exhaustive ontology traversal, or replacement of domain evidence by conceptual work.