Hypergendered Logic Source
Hypergendered Logic — Page 23
One whole-state PH profile may contain zero, one, many, or extremely many concrete traits once is Π defined. Several source profiles may share traits. Interactions may create emergent traits not attributable to any one profile separately. Higher order therefore increases structured phenotype-source richness, not a guaranteed linear count. Part VIII — The three layers of inference 29. Logical deduction A logical deduction is a conclusion that must be true in every interpretation satisfying the premises and the adopted HGL axioms. Example: Premise: SF2 = IH(SF1) AND IH(NOT SM1) AND PH(SF1) AND NOT PH(SM1) AND UD(SF1) AND PA(x) AND PA(NOT y) AND NOT FD(SF1) Therefore, by conjunction elimination: SF2⇒PAx and SF2⇒IHSF1. Then by IH projection: SF2⇒SF1. These are deductive results. No empirical guess is involved. 30. Logical inference more broadly The phrase logical inference can include strict deduction but can also be used more broadly for conclusions supported by formal relations without being guaranteed under every model. To avoid ambiguity, this document marks strict results as deductions and defeasible results as inferences. For example, if many higher-order formulas repeatedly contain and in different structured combinations, 𝑥 ¬𝑦 one may infer that the hierarchy is exploring a female-directed logical region. That is a highly supported interpretation, but the phrase “exploring a region” is explanatory language rather than a primitive theorem of Boolean algebra. 31. Causal deduction Causal deduction is used here in a model-relative sense: if the fictional theory explicitly stipulates a causal law 𝐶→𝐸, and obtains, then follows within that causal model. 𝐶 𝐸 For example, if HGL later adds the causal law 𝑆𝐹 4 →𝑇𝑟𝑎𝑖𝑡 𝑇, then an Archfemale at Stage 4 would have Trait by causal deduction. At present, PH determines which 𝑇 HGL phenotype-profiles are possessed when a PH node is present, but most concrete trait memberships
Source Canon: Verbatim mathematical and modal logic. Interactive navigation and operator lookups available at /#hgl-part:23.