Hypergendered Logic Source
Hypergendered Logic — Page 193
to mean that phenotype proposition is true in every biologically valid realization permitted by the female 𝑝 metaexpressive regime at address . 𝑀, µ, α ( ) Define ◇𝑀,µ,α 𝐹 𝑝 to mean that is true in at least one biologically valid realization permitted by that regime. 𝑝 Then ¬◇𝑀,µ,α 𝐹 𝑝 means that is biologically unexpressible under that specific Archwomanhood address. 𝑝 The male operators are exact mirrors. The modality is stage-relative biological modality. It is not a claim about metaphysical possibility in all reality. 195. Minor Hypercategorical Distinctness Axiom A new minor hypercategory must not be merely a relabeling of the previous category. The current edition therefore adopts a Minor Hypercategorical Distinctness Axiom: Γ𝑀,µ+1,1 𝐹 ≢Γ𝑀,µ,α 𝐹 𝑓𝑜𝑟 𝑒𝑣𝑒𝑟𝑦 α < Ω𝐻, and likewise on the male side. This means the first Hyperfemale metaexpressive regime is not identical to the completed Suprafemale regime that supplies its SIH source-domain. The first Ultrafemale regime is not identical to the completed Hyperfemale dimensional domain; the first Apexfemale regime is not identical to the completed Ultrafemale dimensional domain. Distinctness is now strengthened by strict SIH category-lift nonidentity. The axiom does not force any particular breast size, body shape, genital form, facial morphology, or hormone value. It forces a difference in the governing rule-system. One possible manifestation of the difference is a modal-status change: ¬◇1,1,α 𝐹 𝑝 𝑓𝑜𝑟 𝑎𝑙𝑙 α < Ω𝐻, ◇1,2,1 𝐹 𝑝. But this is an illustrative schema unless the phenotype proposition is explicitly canonized. 𝑝 196. Hypercategorical Modal Novelty A useful classification distinguishes three ways a new minor category can differ. Possibility opening: a phenotype or phenotype-combination impossible throughout the prior category becomes possible in the next. ∀α < Ω𝐻: ¬◇𝑀,µ,α𝑝, ◇𝑀,µ+1,1𝑝. Necessitation: something merely possible in the prior category becomes required in the next. ◇𝑀,µ,α𝑝∧¬□𝑀,µ,α𝑝, □𝑀,µ+1,1𝑝. Exclusion: something previously possible becomes impossible under the new category. ◇𝑀,µ,α𝑝, ¬◇𝑀,µ+1,1𝑝.
Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:193.