Hypergendered Logic Source

Hypergendered Logic — Page 72

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

The superscript tracks Hypergendered order. The descriptive subscript tracks realization within that order. 
They encode different information. 
107. The same distinction applies to every higher order 
Nothing special happens at Stage 3 that makes the distinction disappear later. For every , 
𝑛
 
𝑆𝐹α
𝑛→𝑆𝐹β
𝑛
is conceptually available as intrastage development, and 
 
𝑆𝐹
𝑛→𝑆𝐹
𝑛+1
is interstage progression. 
Likewise, for every , 
𝑛
 
𝑆𝑀α
𝑛→𝑆𝑀β
𝑛
and 
 
𝑆𝑀
𝑛→𝑆𝑀
𝑛+1
must remain distinguishable. 
At extremely high order, this distinction becomes even more important because the stage-defining structure 
can be extraordinarily complex while its biological realization may still have its own temporal maturation 
trajectory. 
108. The Archfemale classification survives temporary stagnation 
If 
 
𝐴𝑟𝑐ℎ𝑓𝑒𝑚𝑎𝑙𝑒𝐴, 𝑡1
(
)
and Aliza remains at the same 
 through , then—assuming she remains Female and continues to satisfy 
𝑆𝐹
𝑛
𝑡2
the 
 state—she remains an Archfemale throughout the interval. 
𝑆𝐹
𝑛
Stagnation does not toggle the classification off: 
 
𝑆𝐴, 𝑡
(
) = 𝑆𝐹
𝑛⇒𝐴𝑟𝑐ℎ𝑓𝑒𝑚𝑎𝑙𝑒𝐴, 𝑡
(
).
There is no extra premise 
 
𝑣𝐹𝐴, 𝑡
(
) > 0
in the definition. 
The male classification behaves the same way. 
109. The Archfemale classification survives permanent stagnation 
Suppose Aliza permanently remains 
 from age 
 onward. At every later time for which she remains 
𝑆𝐹
7
𝑎0
Female and 
, 
𝑆𝐹
7
 
𝐴𝑟𝑐ℎ𝑓𝑒𝑚𝑎𝑙𝑒𝐴, 𝑡
(
) = 𝑇𝑟𝑢𝑒.

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