Hypergendered Logic Source

Hypergendered Logic — Page 21

HGL Source Framework · Page 21 of 293 · Source: Hypergendered Logic

SF^(alpha+1) = IH(SF^alpha) AND IH(NOT SM^alpha) AND PH(SF^alpha) AND NOT PH(SM^alpha) AND 
UD(SF^alpha) AND NOT FD(SF^alpha), for every defined ordinal alpha >= 2 
and 
SM^(alpha+1) = IH(SM^alpha) AND IH(NOT SF^alpha) AND PH(SM^alpha) AND NOT PH(SF^alpha) AND 
UD(SM^alpha) AND NOT FD(SM^alpha), for every defined ordinal alpha >= 2 
Layman master sentence 
Every higher Archwomanhood stage inherits the previous Archwomanhood whole, inherits the 
structured not-state of the corresponding previous Archmanhood whole, possesses the complete 
phenotype-profile of the previous Archwomanhood whole, and possesses the complete 
phenotype-profile of the corresponding not-Archmanhood whole. Every higher Archmanhood 
stage does the exact mirror image. 
This is now the canonical meaning of antithetically productive zig-zag logic. 
25. PH laws for the higher ladder 
PH-1: Whole-profile possession 
 means complete irreducible possession of the HGL phenotype-profile 
. 
𝑃𝐻𝑆
( )
Π 𝑆
( )
PH-2: No converse from arbitrary trait possession 
Even if an organism happens to possess each familiar trait in 
 through unrelated causes, HGL does not 
Π 𝑆
( )
automatically identify that state with 
 unless the whole-profile identity/provenance requirement is 
𝑃𝐻𝑆
( )
satisfied. 
PH-3: Negation scope 
 
𝑃𝐻¬𝑆
(
)≢¬𝑃𝐻𝑆
( ).
PH-4: No distribution 
 
𝑃𝐻𝐴∧𝐵
(
)≢𝑃𝐻𝐴
( ) ∧𝑃𝐻𝐵
( ),
 
𝑃𝐻𝐴∨𝐵
(
)≢𝑃𝐻𝐴
( ) ∨𝑃𝐻𝐵
( ).
PH-5: No PA collapse 
 
𝑃𝐻𝑆
( )≢𝑃𝐴𝑆
( ).
PH-6: No IH collapse 
 
𝑃𝐻𝑆
( )≢𝐼𝐻𝑆
( ).
PH-7: Stage-lagged well-foundedness 
A stage may contain 
 of already-defined lower stages/non-states but is not defined by 
 of itself. Thus 
𝑃𝐻
𝑃𝐻
no same-stage phenotype fixed point is required. 
PH-8: Profile membership deduction 
If 
 
𝑇∈Π 𝑆
( ),
then 
 
𝑃𝐻𝑆
( ) ⇒𝐻𝑎𝑠𝑇
( ).
This is a logical deduction relative to the stipulated phenotype-profile map, not a mere causal guess.

Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:21.