Hypergendered Logic Source
Hypergendered Logic — Page 64
The male system is symmetric: σ𝑀: 𝐵𝑀→𝑁≥1, 𝐵𝑀,𝑛= σ𝑀 −1 𝑛 ( ). This representation makes the theory unusually clear: a stage is an equivalence-class-like region of biological state-space, not a single frozen phenotype. 88. Temporary Archstage stagnation Temporary stagnation means that the stage remains constant over a finite interval : 𝐼= 𝑡1, 𝑡2 [ ] 𝑆𝑡𝑎𝑔𝐹𝑎, 𝐼, 𝑛 ( ) ⇔∀𝑡∈𝐼, 𝑆𝑎, 𝑡 ( ) = 𝑆𝐹 𝑛. The male definition is 𝑆𝑡𝑎𝑔𝑀𝑎, 𝐼, 𝑛 ( ) ⇔∀𝑡∈𝐼, 𝑆𝑎, 𝑡 ( ) = 𝑆𝑀 𝑛. Temporary stagnation does not contain the premise ∀𝑡∈𝐼, 𝐷𝑎, 𝑡 ( ) = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡, and it does not contain the premise ∀𝑡∈𝐼, 𝐵𝑎, 𝑡 ( ) = 𝑐𝑜𝑛𝑠𝑡𝑎𝑛𝑡. Therefore neither conclusion can be extracted by logic alone. A simple countermodel proves the point. Let Aliza remain for twelve months while her maturity state 𝑆𝐹 3 changes from to . Then all stage-stagnation premises are true while the proposition “her maturity 𝐷1 𝐷2 stayed unchanged” is false. Hence the latter is not entailed by the former. 89. Permanent Archstage stagnation Permanent stagnation beginning at is 𝑡0 𝑃𝑒𝑟𝑚𝑆𝑡𝑎𝑔𝐹𝑎, 𝑡0, 𝑛 ( ) ⇔∀𝑡≥𝑡0, 𝑆𝑎, 𝑡 ( ) = 𝑆𝐹 𝑛. Symmetrically, 𝑃𝑒𝑟𝑚𝑆𝑡𝑎𝑔𝑀𝑎, 𝑡0, 𝑛 ( ) ⇔∀𝑡≥𝑡0, 𝑆𝑎, 𝑡 ( ) = 𝑆𝑀 𝑛. Again, the only variable held fixed by definition is the stage. Permanent stagnation says nothing by itself about whether puberty continues, whether already-existing Archgendered structures mature, whether age-related changes occur, whether tissue remodeling occurs, or whether other biological processes continue. There is also an epistemic distinction. During an observed plateau, a finite observer may know only that the stage has so far remained constant. Calling the plateau temporary requires that a later higher stage actually occurs; calling it permanent requires that no later stage ever occurs. Therefore “temporary” versus “permanent” is partly a statement about the future trajectory, not merely the current snapshot. A current observation of plus several months of no change does not, by itself, logically reveal which kind of 𝑠𝐹= 𝑛 stagnation the person is in. It is therefore invalid to infer
Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:64.