Hypergendered Logic Source
Hypergendered Logic — Page 201
another explicitly stated Arthitean mechanism. SIH itself describes inheritance structure and does not silently supply the temporal traversal mechanism. What HGL must not do is silently infer the biological traversal mechanism from ordinal notation alone. Part XXXVII — Deduction, Inference, and Causal Status under the New Architecture 218. Strict logical deductions The following are deductions once the new definitions/axioms are adopted. D1 — Legacy notation migration. Any old first-ladder HF^n formula is now interpreted as SF^n; any old HM^n as SM^n. D2 — Suprafemale categorical saturation. If holds for a valid local substage, then holds. 𝑆𝐹 α 𝑎, 𝑡 ( ) 𝑆𝐹𝑎, 𝑡 ( ) D3 — No scalar category growth. From and both , one cannot deduce a larger degree of α < β 𝑆𝐹 α, 𝑆𝐹 β Suprafemale membership at . β D4 — Hyperomega saturation is not category identity. Under the SIH revision, completed SF Hyperomega saturation is a source-domain condition for the strict lift to HF1; SF^Omega_H != HF1. The male mirror is exact. D5 — Hyperfemale is not reachable at any strictly lower Suprafemale substage. For , is not α < Ω𝐻𝑆𝐹 α identical to . 𝐻𝐹 1 D6 — Cumulative category superinheritance. HF1 superinherits the completed Suprafemale/Supramale source axes under SIH; UF1 superinherits the complete Hyperfemale/Hypermale dimensional domains; AF1 superinherits the complete Ultrafemale/Ultramale dimensional domains. The current named order is Supra -> Hyper -> Ultra -> Apex, with exact male mirrors. D7 — Local reset is not regression. The boundary from local superscript to local superscript 1 does not Ω𝐻 imply decrease in global developmental address. D8 — First four minor categories. In Major Stage 1, minor categories 1-4 are Supra, Hyper, Ultra, Apex respectively. This order is current and must not be reversed by any older flat-ladder map. D9 — Countably many minor categories per major stage. The major-stage minor-category index has order type . ω D10 — Major-stage cardinality. If every minor category has many local positions and there are minor ℵω ℵ0 categories, the cardinal number of substage addresses in one major stage is . ℵω D11 — Major-stage order type. Under the block model, the ordered concatenation has type . Ω𝐻· ω D12 — Static address does not entail static ordinary phenotype. The pre-existing plateau theorem remains valid. D13 — Actual phenotype implies address-relative possibility. If actual occurs in a valid realization at 𝑝 address , then . 𝐴 ◇𝐴𝑝 D14 — Address-relative necessity entails actuality in a valid realization. If , then actual for every valid □𝐴𝑝 𝑝 bearer of . 𝐴
Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:201.