Hypergendered Logic Source
Hypergendered Logic — Page 100
2.
IH: what properties are inherited from what source?
But it lacked a direct operator for:
3.
what complete phenotype-profile is actually possessed?
This created repeated ambiguity. A reader could see a high stage with rich PA/IH structure and reasonably
expect phenotype consequences, yet the formal language had no dedicated symbol telling the reader which
phenotype-profiles were positively part of the stage.
PH fills that exact gap.
182. Formal semantics of PH
Let
be the HGL phenotype-profile assigned to source .
is not assumed to contain every possible
Π 𝑍
( )
𝑍Π 𝑍
( )
ordinary female/male trait across age, puberty, pregnancy, aging, environment, and personal history. It is the
phenotype-profile canonically associated with the HGL source itself.
𝑍
Then
𝑃𝐻𝑍
( )
means:
the organism irreducibly possesses all phenotype-traits in
as the complete
Π 𝑍
( )
𝑍
phenotype-profile.
A useful semantic expansion is
𝑃𝐻𝑍
( ) ⇒⋀𝑇∈Π 𝑍
( )𝐻𝑎𝑠𝑇
( ),
provided the relevant profile members have actually been specified.
However, HGL deliberately does not adopt the converse merely from extensional co-occurrence:
⋀𝑇∈Π 𝑍
( )𝐻𝑎𝑠𝑇
( )
(
) ⇏ 𝑃𝐻𝑍
( )
as a general law, because PH includes whole-profile identity and irreducible provenance, not merely trait
coincidence.
Layman explanation
Suppose two paintings contain exactly the same colors. That does not make them the same painting. PH is
interested in the organized phenotype-profile as the phenotype of a particular HGL source, not only a
checklist of surface features.
183. PH irreducibility and the whole-more-than-parts principle
The most important phenotype law is
𝑃𝐻𝐴∧𝐵
(
)≢𝑃𝐻𝐴
( ) ∧𝑃𝐻𝐵
( ).
Why? Because
may contain traits that arise only from and operating as one compound source.
Π 𝐴∧𝐵
(
)
𝐴
𝐵
Let
Π 𝐴
( ) = {𝑎1, 𝑎2},
Π 𝐵
( ) = {𝑏1, 𝑏2},
while
Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:100.