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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 12:00:09 UTC

A.7.2:11 - SoTA-Echoing

Practice questionCurrent practice and sourceFPF alignmentDisposition
Do unlike formal modalities or calculi share one world semantics?Typed proof traditions preserve exact operator and inference behavior (Rijke, Shulman & Spitters 2020; Acclavio, Catta & Straßburger 2021).Formal source use is one local function; representation or notation cannot settle the receiving ontology claim by form. The non-convergence case retains direct formal patterns.Adopt as formal comparator. FPF does not import either calculus as universal ontology.
Do different ontology questions warrant different comparisons?Keet & Khan 2024 distinguish competency-question purposes and products.Reconciliation starts from one receiving claim and practical consequence instead of comparing whole source traditions.Adapt. No mandatory question taxonomy or artifact is imported.
Can modal expression, object, scope, and satisfier be collapsed?Moltmann 2024 separates modal expression, object, scope, weak/strong permission, and action satisfiers.The method compares exact claim contents and constructive consequences instead of vocabulary labels; direct permission patterns retain their semantics.Adapt as a consequence-sensitive source use. No modal-object or truthmaker U-kind is imported.
Do capability claims require more than possibility wording?Toyoshima et al. 2022 retain bearer and realization conditions in applied-ontology capability accounts.A source can test one receiving capability claim while A.2.2 remains the FPF subject pattern.Comparator only. The external hierarchy is not imported.

Each row changes a source-use or comparison boundary in the Solution and cases. No row grants total authority to a source family, and a newer publication alone does not reopen unrelated FPF decisions.