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

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:30:15 UTC

A.14:4 - Solution — extend the mereology catalogue, keep it clean

A.14 defines three direct sub-relations of partOf and re-affirms the firewall between mereology and neighboring claims:

  1. PortionOf — a measured part of a whole under one extensive measure and boundary rule.
  2. AspectOf — a bearer-dependent structural part distinguished under a named facet rule.
  3. PhaseOf — the same carrier restricted to a proper time interval.
  4. Keep local kinds, Methods, and Work out of structural part trees. Do not treat a local system-role kind or a Method as a structural part. A separately identified System or Episteme may have its own direct part relation; use method-composition patterns for submethods and A.15.1 for Work parts and occurrences.
  5. Use the collection’s own belongs-to rule. State who or what may belong, what makes belonging begin and end, and how recurrence and past belonging are handled. FPF does not use one public MemberOf relation for unlike collections. Belonging alone establishes neither holonhood nor parthood, and it does not rule out a separately grounded constructive part relation after all six A.1 matters pass.

The classical pair ComponentOf (structural, discrete) and ConstituentOf (conceptual, logical/epistemic) remain as in the kernel; § 6 distinguishes them from PortionOf, AspectOf, PhaseOf, and collection belonging.