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

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 13:30:20 UTC

A.6.P:4.8 - Preserve polarity and inverse meaning

Participant order is part of many relation predicates. Bearing_B isPartOf Pump_P and Pump_P hasPart Bearing_B can be paired as inverse readings only when that inverse law is declared under the direct parthood pattern. A symmetric relation is symmetric under its direct law, not because a sentence sounds reciprocal.

When two viewpoints use different readable directions:

  1. keep the same participant referents and their exact kinds;
  2. name the forward predicate defined or constrained by the direct relation rule;
  3. use an explicit inverse predicate or inverse reading when one is available under that pattern;
  4. keep scope, time, viewpoint, and reference scheme fixed while checking equivalence;
  5. treat a change of participant kind or predicate as a semantic change rather than a stylistic rewrite.