Type II Exclusion (Prior Dominance)

Canonical definition

Type II Exclusion (Prior Dominance) is the condition where the true generative Hypothesis H is representable within the reasoner’s Hypothesis Space $\mathcal{H}$ (meaning H ∈ $\mathcal{H}$ and P(H) > 0) but the dominant false prior P(H₀) ≈ 1 prevents H from accumulating sufficient probability mass to compete. The Hypothesis is formulable but functionally inert: it arrives as a weak evidential signal that is absorbed by the dominant prior without generating meaningful posterior movement. Type II Exclusion is a result in generalised Bayesian epistemology that applies to any epistemic system operating on a dominated Hypothesis Space, regardless of the domain or the mechanism entrenching the dominant prior. The mechanism operates on a continuous spectrum, from imperceptible posterior movement (very low likelihood ratio) to full Hypothesis replacement (very high likelihood ratio). In AIM, the canonical instance is the Authenticity Belief: the Individual can formulate the Hypothesis “this desire is mimetically acquired” but the entrenched prior P(H_authentic) ≈ 1, continuously reinforced by Confabulation and Coupling-Induced Opacity, prevents the mimetic Hypothesis from accumulating probability mass. The Knowledge Patch solves this AIM-specific instance through Doubt Generation (Epistemic Suspension, the Two-Question Diagnostic, Behavioural Signatures, the Presumption Against Scapegoating, and the Push-Pull Obligation Principle), producing high-likelihood-ratio signals that dislodge the dominant prior and create a non-zero interference term, allowing probability mass to flow toward H*. The interpersonal obligation domain is where Type II is most resistant, due to Source Opacity rendering felt entitlements source-opaque, cultural norm reinforcement for demand-based obligation, and the meta-level false prior generated by successful application of Operations 1 through 5 in other domains. Other instances include: the Agentive Causal Default (structural causation is formulable but assigned near-zero prior under default conditions because agent-based causation is computationally cheaper and has been reinforced through repeated use), Coupling-Induced Opacity (endogenous evidence generated by coupled Belief dynamics swamps exogenous signal), institutional orthodoxy where the correct explanation is technically available but functionally unreachable under ordinary updating conditions, and any domain where an entrenched prior absorbs disconfirming evidence (pre-1982 ulcer aetiology, where the bacterial Hypothesis was formulable but could not accumulate probability mass against the dominant stress-causation prior).