Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 08:50:20 UTC

A.6.REL:3 - Forces

ForceTension
Readable assertion vs explicit identityEngineers need short relation sentences, while some later assertion or description epistemes need one stable occurrence as their EntityOfConcern or designated object and receiving direct relations may need it as a participant.
Relation obtaining vs predicate satisfactionThe world-side relation obtains; the actual relation participants, considered under their participant meanings, satisfy the truth-valued condition stated by the semantic predicate. Conflating these substitutes a formal expression for the obtaining relation.
Relation kind vs semantic predicateA relation kind classifies occurrences under an identity rule; a predicate states a satisfaction condition for the jointly considered participants. One is not a synonym for the other.
Occurrence vs assertion or representationAn occurrence can exist before anyone asserts, describes, explicitly individuates, names, references, or represents it.
Participant identity vs repeated occurrencesIn one direct species under U.SystemRoleAssignment, the same complete participant set can recur after a demonstrated predicate-false gap; another direct relation may use a different discriminator only when its own pattern declares one.
Construction vs descriptionA system can create a relation occurrence while performing constitutive work when the direct construction rule says so; that work occurrence may contribute to identity. Producing a row or description episteme is not constitutive by form.
Subject-pattern variation vs universal reificationA.6.REL supplies no universal truth-maker, occurrence-identity discriminator, or representation form. Each direct relation pattern supplies its own obtaining and identity settlement; each concrete representation remains under its direct representation pattern and explicit correspondences.
Stable reference vs false creationIdentifiers enable later reference, but identifier assignment neither creates the occurrence nor makes the direct relation obtain.