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

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 10:17:34 UTC · last check 2026-10-03 10:25:09 UTC

B.3.5:5 - Vocabulary & notation (normative)

  • Working-Model relations (front‑stage). ut:ComponentOf, ut:PortionOf, and ut:AspectOf are publication-grade structural relations under their direct A.14 rules. A collection uses the belongs-to predicate defined by the pattern for that collection; FPF has no public generic ut:MemberOf relation. Belonging is not a sub-property of ut:PartOf, ut:StructPartOf, or ut:EpiPartOf, but the same entities may separately stand in a constructive part relation when its own rule and all six A.1 matters pass.

  • Alias principle (lexical). tv:AliasOf links a public relation type to the exact direct relation principle whose reading it carries (for example, ComponentOf points to the direct structural-component principle). The alias supports comparison; it neither defines an occurrence nor says that a sum expression produced the relation.

  • Grounding (per‑edge). When this profile is elected for structural parthood, tv:groundedBy points to the applicable current C.2.1 construction trace and validationMode=axiomatic. When elected for collection belonging, it points to one current C.13 set trace under the collection’s own rule and also uses validationMode=axiomatic. Other epistemic or constitutive claims may use a logical argument or evidence object under their permitted mode. Every target supports replay of the assertion’s basis; it creates neither the direct occurrence nor entity identity.

  • Trace family. Γ_m.sum, Γ_m.set, and Γ_m.slice are the C.13 forms used by the covered branches. sum and slice report structural-parthood constructions; set reports an already grounded collection and the belongs-to occurrences established under its own rule. No form creates the facts it reports, and no temporal or workflow form is added.

  • Validation flag. tv:validationMode ∈ {postulate, inferential, axiomatic} is required on every claim covered by this elected profile. Structural parthood and collection belonging use axiomatic with their branch-specific current trace. A direct relation outside the profile has no B.3.5 field obligation.