---
title: Rumsfeld Ignorance in Decision Theory & Logic
url: https://www.emergentmind.com/topics/rumsfeld-ignorance
type: topic
---

# Rumsfeld Ignorance in Decision Theory & Logic

Searching arXiv for recent and foundational papers on Rumsfeld ignorance, unawareness, and related ignorance formalisms.
Rumsfeld ignorance denotes the distinction between ignorance about the likelihood of recognized possibilities and ignorance about possibilities that are not represented in an agent’s conceptual or subjective state space. In the literature reviewed by Svetlova and van Elst, this distinction appears within decision theory as the contrast between non-knowledge of likelihoods on a fixed state space and unawareness of consequence-relevant states themselves [1407.0787]. In modal and neighborhood logics, the term is used more narrowly for higher-order ignorance: ignorance of the fact that one is ignorant whether a proposition holds [2309.09451], [2309.09451]. Across economics, logic, epistemology, forecasting, and adjacent formal disciplines, the common theme is a separation among known knowns, known unknowns, and unknown unknowns, together with the problem of how to represent them without collapsing all ignorance into ordinary probabilistic uncertainty [1407.0787].

## 1. Conceptual scope and basic distinctions

Rumsfeld ignorance is not a single formal notion but a family resemblance across several traditions. In decision theory, it is associated with two dimensions of non-knowledge: lack of knowledge of event likelihoods and lack of knowledge of the very list of possible events [1407.0787]. In this setting, the standard Savage / Anscombe–Aumann framework assumes a set of states of Nature \( \Omega \), a set of outcomes \( X \), acts \(f:\Omega \to A(X)\), and a preference relation \( \succeq \) over acts. Under the usual axioms, preferences admit a subjective expected utility representation
\[
V(f) = \int_\Omega \mathbb{E}_{f(\omega)}[U] \,\mu(d\omega),
\]
or, in discrete form,
\[
V(f) = \sum_{\omega \in \Omega} \mu(\omega)\,u(f(\omega)).
\]
The structural assumption is that the state space \( \Omega \) is exogenously complete and known to the decision maker [1407.0787].

Within that framework, the tripartite mapping is straightforward. Known knowns are states, consequences, and probabilities that are already specified in the model. Known unknowns are cases where the state space is fixed and recognized but the likelihood of events is uncertain or ambiguous. Unknown unknowns are states or contingencies that are not in the agent’s subjective state space at all [1407.0787]. The crucial claim is that assigning probability zero to an event does not represent unawareness, because zero probability presupposes that the event is at least conceived [1407.0787].

In logical work, especially after Fine’s taxonomy, Rumsfeld ignorance acquires a more specific higher-order meaning. In the neighborhood-semantical treatment of ignorance, Fitchean ignorance and first-order ignorance are primitive, while Rumsfeld ignorance is defined as ignorance of the fact that one is ignorant whether \( \varphi \), formalized as \( \bullet \nabla \varphi \) [2309.09451]. A related but distinct notion is second-order ignorance, \( \nabla \nabla \varphi \), ignorance whether one is ignorant whether \( \varphi \) [2309.09451]. This logical line focuses less on incomplete state spaces and more on the structure of higher-order epistemic failure.

A third usage appears in formal forecasting and model evaluation. There, “ignorance” is an information-theoretic score rather than a taxonomic category. For a continuous probabilistic forecast \(p(y)\) and realized outcome \(Y\), Ignorance is defined as
\[
S(p(y),Y) = -\log_2 p(Y),
\]
with empirical and implied variants used to distinguish forecast uncertainty from model inadequacy [1206.1268]. This is not itself Rumsfeld’s trichotomy, but the paper explicitly maps parameter uncertainty to known unknowns and structural model error to unknown unknowns [1206.1268].

## 2. Decision-theoretic representations of known unknowns

The first major formalization of Rumsfeld ignorance in economics concerns uncertainty over a known state space. Here the state space remains fixed, finite, exhaustive, and mutually exclusive, while non-knowledge is represented through richer belief models than a unique prior [1407.0787].

The benchmark remains subjective expected utility. A unique prior \( \mu \in \Delta(\Omega) \) and utility \(U\) suffice to evaluate every act on the assumption that the agent already recognizes all relevant states [1407.0787]. This framework captures risk and some ordinary uncertainty, but it suppresses the distinction between well-grounded probabilities and ignorance about how probabilities should be assigned.

The principal alternatives all preserve the fixed-state-space assumption. In multiple-priors models, the decision maker considers a non-empty set of priors \( \mathcal{P} \subset \Delta(\Omega) \), often using maxmin expected utility:
\[
V(f) = \min_{P \in \mathcal{P}} \sum_{\omega \in \Omega} P(\omega)u(f(\omega)).
\]
The size and structure of \( \mathcal{P} \) encode the difference between risk and Knightian uncertainty [1407.0787]. In non-additive models, the prior is replaced by a capacity \(v\), yielding Choquet expected utility
\[
V(f) = \int u(f(\omega))\,dv.
\]
These models allow distinctions between probabilities supported by evidence and probabilities induced by ignorance [1407.0787]. Possibility-theoretic variants replace additive probabilities with a possibility distribution \( \pi:S\to L \), typically \(L=[0,1]\), interpreted as degrees of possibility or plausibility rather than precise probabilities [1407.0787].

These approaches correspond to Rumsfeld’s known unknowns. The agent knows what could happen, but does not know how to quantify the likelihoods with full precision. Their shared limitation is exact: they do not represent unknown unknowns because all consequence-relevant possibilities are already elements of \( \Omega \) [1407.0787].

This limitation also appears in epistemic probability models outside economics. Snow’s analysis of ignorance and belief orderings takes a finite partitioned domain of mutually exclusive, exhaustive atoms \(s_1,\dots,s_N\), with qualitative comparisons \(S >_e T\) and incomparability \(S\ ?_e?\ T\) [1302.6845]. The core axiom of prior ignorance is that before evidence, the only admissible orderings are those induced by logical implication:
\[
S >_{\text{nil}} T \Rightarrow T \text{ implies } S.
\]
Single probability distributions cannot represent this, since they induce complete prior orderings [1302.6845]. Non-singleton sets of probability distributions, especially convex sets, can represent partial orderings, but with three or more exclusive alternatives no single set suffices to satisfy the paper’s assumptions on prior ignorance, impartiality, and evidence-driven recovery from ignorance [1302.6845].

Snow’s solution is an ensemble of sets \( \{\mathcal{P}_s\} \), one for each atom \(s\), where
\[
\mathcal{P}_s = \left\{ p : p(s)\ge w,\ p(t)\ge 0\ \forall t\neq s,\ \sum_t p(t)=1 \right\},
\quad 0<w<\frac12.
\]
An ordering \(S >_e T\) is asserted iff there exists at least one set \( \mathcal{P}_s \) such that every probability distribution in \( \mathcal{P}_s \) satisfies \(p(S\mid e)\ge p(T\mid e)\) [1302.6845]. This formalism yields a partial qualitative probability rather than a complete ordering, and it models structured known unknowns rather than genuine unknown unknowns, since the atomic partition is still fixed and exhaustive [1302.6845].

## 3. Unawareness and incomplete state spaces

Unknown unknowns require alteration of the state-space assumption itself. In the unawareness strand reviewed by Svetlova and van Elst, the modeller posits a rich full state space \(S\), while the decision maker operates on a subjective state space \(S_i \subset S\). States in \(S \setminus S_i\) are consequence-relevant but absent from the agent’s conceptual repertoire [1407.0787].

A foundational negative result is that standard partitional state-space models preclude nontrivial unawareness. Dekel, Lipman, and Rustichini show that in ordinary state-space models the agent either knows the full state space or knows nothing, and that true unawareness cannot coexist with standard introspective assumptions in the intended way [1407.0787]. This motivates several modifications.

One approach is two-stage choice. Menus of actions replace an exogenous state space as primitives. The agent first chooses a menu and later, after a subjective contingency is realized, chooses an element from that menu. Preference for flexibility then reveals an endogenous subjective state space rather than presupposing one [1407.0787]. The formal significance is that unknown unknowns are represented not as low-probability recognized events but as contingencies that may matter ex post while remaining indescribable ex ante.

A second approach is epistemic and modal. States are treated as maximally consistent sets of propositions, and awareness is modeled as a restriction on the language available to the agent [1407.0787]. Halpern and Rêgo’s framework is central here. Their earlier logic allowed quantification over primitive propositions and hence formulas such as
\[
K_i \exists x\,\neg A_i x,
\]
which express that an agent knows there exists some formula of which she is unaware [0906.4321]. The difficulty was that in the earlier semantics the agent could not be uncertain whether she was fully aware. The revised framework therefore associates a possibly different language \(L(s)\subseteq \Phi\) with each world \(s\). A model is
\[
M=(S,L,T,K_1,\dots,K_n,A_1,\dots,A_n),
\]
where the language varies by world, awareness is generated by primitive propositions, and knowledge ranges over formulas expressible in the local language [0906.4321]. This makes satisfiable formulas expressing uncertainty about whether one’s awareness is complete, which the earlier system could not model [0906.4321].

A third approach uses set-theoretic hierarchies of state spaces. Heifetz, Meier, and Schipper’s framework introduces a lattice \( \{S^\alpha\}_{\alpha\in A} \) of disjoint spaces of differing expressive power, with projection operators
\[
\pi_{\beta,\alpha}:S^\beta\to S^\alpha,\quad \alpha<\beta,
\]
that forget distinctions unavailable at lower awareness levels [1407.0787]. The top space \(S^{\max}\) is the full state space; lower spaces correspond to reduced awareness. Li’s product model explicitly separates the factual component from the awareness component, while Schipper defines awareness-dependent expected utility over the union \( \bigcup_\alpha S^\alpha \), so that preferences themselves become awareness-relative [1407.0787].

A more recent intervention revisits the classical impossibility result within the standard state-space framework itself. The 2023 paper on the state-space model of unawareness argues that non-trivial unawareness is inconsistent not with the standard state-space model as such, but with the standard necessitation property. For a knowledge operator \(K\) induced by a possibility correspondence \(P:\Omega\to 2^\Omega\),
\[
K(E)=\{s\in\Omega\mid P(s)\subseteq E\},
\]
and unawareness is defined as
\[
U(E)=\bigcap_{i=1}^{\infty}(-K)^i(E).
\]
The paper proves that non-trivial unawareness \(U(E)\neq\varnothing\) violates necessitation, so a revised knowledge operator
\[
K'(E)=K(E)\setminus U(E)
\]
is introduced, yielding the revised principle
\[
K'\Omega=\Omega\setminus U\Omega,
\]
called “R necessitation” [2304.04626]. This suggests that a single standard state space can still host Rumsfeld-style unknown unknowns provided knowledge is made awareness-sensitive [2304.04626].

## 4. Higher-order ignorance in modal, neighborhood, and many-valued logics

A second major line of work treats Rumsfeld ignorance as a higher-order epistemic notion rather than as incomplete state-space representation. In Fine’s taxonomy, Fitchean ignorance concerns a true proposition that is not known; first-order ignorance is ignorance whether \( \varphi \); Rumsfeld ignorance is ignorance of the fact that one is ignorant whether \( \varphi \); and second-order ignorance is ignorance whether one is ignorant whether \( \varphi \) [2309.09451].

In the neighborhood-semantical reconstruction, first-order ignorance \( \nabla \varphi \) and Fitchean ignorance \( \bullet \varphi \) are primitive. Given a neighborhood model \( \mathcal{M}=\langle S,N,V\rangle \), one has
\[
\mathcal{M},s \vDash \nabla \varphi
\iff
\llbracket \varphi \rrbracket \notin N(s)
\ \text{and}\
S\setminus \llbracket \varphi \rrbracket \notin N(s),
\]
and
\[
\mathcal{M},s \vDash \bullet \varphi
\iff
\mathcal{M},s \vDash \varphi
\ \text{and}\
\llbracket \varphi \rrbracket \notin N(s).
\]
Rumsfeld ignorance and second-order ignorance are then defined respectively as
\[
\bullet \nabla \varphi
\quad\text{and}\quad
\nabla \nabla \varphi.
\]
Thus Rumsfeld ignorance of \( \varphi \) holds iff the agent is ignorant whether \( \varphi \) and does not know that she is in that state [2309.09451].

The paper’s central contrast with Fine’s S4 results is that under general neighborhood semantics higher-order ignorance does not collapse. In arbitrary frames, \( \bullet \nabla \varphi \) implies \( \nabla \varphi \), but Rumsfeld ignorance and second-order ignorance are distinct. Under condition \((c)\), closure under complements,
\[
X\in N(s)\Rightarrow S\setminus X\in N(s),
\]
one gets
\[
\bullet \varphi \leftrightarrow (\varphi \land \nabla \varphi),
\]
and hence
\[
\bullet \nabla \varphi \leftrightarrow (\nabla \varphi \land \nabla\nabla \varphi)
\]
on \((c)\)-models [2309.09451]. This isolates precisely the symmetry condition under which Rumsfeld ignorance coincides with first- plus second-order ignorance, rather than collapsing into second-order ignorance alone.

A different attempt to avoid trivial definability appears in the 2025 paper “Axiomatizing Rumsfeld Ignorance” [2507.17776]. In Fine’s one-relation semantics, Rumsfeld ignorance is definable in the language of first-order ignorance, which trivializes its axiomatization. Fan avoids this by introducing two accessibility relations, \(R\) for first-order ignorance \(I\) and \(R^{\bullet}\) for Rumsfeld ignorance \(I^R\), with \(R\subseteq R^{\bullet}\). A bi-model is
\[
M=\langle S,R,R^{\bullet},V\rangle,
\]
with semantics
\[
M,s\models I\varphi
\iff
\exists t(sRt\land M,t\models \varphi)
\ \text{and}\
\exists u(sRu\land M,u\not\models \varphi),
\]
and
\[
M,s\models I^R\varphi
\iff
M,s\models I\varphi
\ \text{and}\
\exists t(sR^{\bullet}t\land M,t\not\models I\varphi).
\]
Over proper bi-frames, \(I^R\) is not definable in the language with \(I\) alone, while many of Fine’s higher-order validities are retained [2507.17776]. This makes Rumsfeld ignorance a genuinely distinct operator.

The many-valued route uses Belnap–Dunn logic, where propositions can be true only, false only, both, or neither. The standard \(\Box\) modality turns out to behave poorly as a knowledge operator in that setting. A non-standard modality \(\blacksquare\) is therefore introduced, with truth conditions requiring both universal truth and uniformity of falsity across accessible worlds [2309.01449]. From \(\blacksquare\), one defines unknown truth
\[
\bullet \phi := \phi \wedge \neg \blacksquare \phi
\]
and ignorance as not knowing whether,
\[
\blacktriangledown \phi := \neg \blacktriangle \phi,
\]
where \(\blacktriangle \phi\) expresses non-contingency of the Belnapian value across accessible worlds [2309.01449]. A further modality \(\mathbf{I}\) captures factive ignorance, with
\[
\mathfrak{M},w \Vdash^+ \mathbf{I}p
\text{ iff }
\mathfrak{M},w\Vdash^+ p \wedge \blacksquare^! \neg p,
\]
so that \(p\) is actually true while strict alternatives uniformly support its negation [2309.01449]. This framework distinguishes unknown truths, ignorance, and factive ignorance in the presence of both information gaps and gluts.

## 5. Information-theoretic and predictive reinterpretations

Rumsfeld ignorance also appears operationally in forecasting and model assessment. In nonlinear dynamical systems, Ignorance is the logarithmic score
\[
S(p(y),Y)=-\log_2 p(Y),
\]
measuring the surprise, in bits, of the realized outcome under the forecast distribution [1206.1268]. The paper defines empirical Ignorance, adjusted by climatology, as
\[
S_{EI}(p(y),Y)=\frac1N\sum_{i=1}^N -\log_2 p_i(Y_i)-S_{clim},
\]
where
\[
S_{clim}=\int -p_c(y)\log_2 p_c(y)\,dy
\]
is the entropy of the climatological distribution [1206.1268].

The method of Minimum Ignorance parameter estimation chooses model parameters by minimizing the average log-score:
\[
\hat a = \arg\min_a
\left\{
\frac1N \sum_{i=1}^N -\log_2 p_i(Y_i\mid a)
\right\}.
\]
This is especially useful when forecast error distributions are non-Gaussian, as in the Logistic Map, Henon Map, and Lorenz96 systems [1206.1268]. Within the paper’s epistemological interpretation, parameter mis-specification and initial-condition uncertainty are known unknowns, while persistent structural error in the model class corresponds to unknown unknowns [1206.1268].

Two diagnostic quantities are central. Implied Ignorance is the entropy of the model’s own predictive distribution,
\[
S_{II}=\int -p_m(y)\log_2 p_m(y)\,dy,
\]
while the information deficit is
\[
\text{Information deficit} = S_{EI}^{(raw)} - S_{II}.
\]
If empirical Ignorance exceeds implied Ignorance, the outcomes are more surprising than the model’s self-description of uncertainty would warrant, indicating model inadequacy or mis-specified uncertainty quantification [1206.1268]. The paper explicitly interprets such persistent information deficit, in the imperfect-model scenario, as the signature of unknown unknowns: aspects of the dynamics that the model cannot represent even after parameter optimization [1206.1268].

A related but distinct information-theoretic reinterpretation arises in universal artificial intelligence. In a generalized AIXI setting, semimeasure loss can be read either as literal death or as total ignorance. Under the second interpretation, the environment is treated as an imprecise probability model with a credal set
\[
\mathrm{Core}(\nu)=\{p \text{ probability measure} \mid \forall A,\ p(A)\ge \nu(A)\},
\]
and expected utility is computed by Choquet integration:
\[
\int f\,d\nu
=
\int_0^\infty \nu(f\ge b)\,db
+
\int_{-\infty}^0 [\nu(f\ge b)-\nu(\Omega)]\,db.
\]
For convex semimeasures, this equals the worst-case expectation
\[
\int f\,d\nu = \min_{p\in \mathrm{Core}(\nu)} \int f\,dp
\]
[2512.17086]. This explicitly treats semimeasure loss as “total ignorance” rather than a precise stochastic event, linking imprecise probability, Choquet expectation, and a Rumsfeld-style distinction between quantified risk and genuinely incomplete probabilistic specification [2512.17086].

## 6. Deliberate ignorance, beneficial ignorance, and normative complications

A recurring normative issue is whether more information is always better. One paper on rational aversion to information shows that Good’s theorem presupposes certainty that the agent will conditionalize after learning. If the agent is modest and assigns positive probability to her future failure to conditionalize, then even an expected-utility maximizer may rationally reject free and relevant information [2309.12374]. The general value of information is written as
\[
Val_{General}(\mathcal{E}) =
\mathbb{E}_p\left(
\argmax_{f\in\mathcal{S}} \mathbb{E}_{\mathcal{P}_{\mathcal{E}}}(f)
\right)
-
\max_{f\in\mathcal{S}} \mathbb{E}_p(f),
\]
where \(\mathcal{P}_{\mathcal{E}}\) is the random future credence function after learning [2309.12374]. Under immodesty, this collapses to Good’s non-negative value theorem. Under modesty, \(Val_{General}\) can be negative. This formalizes deliberate ignorance about known unknowns as rational self-protection against expected future mis-updating [2309.12374].

A complementary result comes from congestion games. In a random network with fast congestible links \(c_i(x_i)=x_i\) and slow incongestible links \(c_i(x_i)=1\), the global average cost is
\[
C(\mathbf{x}) = \sum_{i\in s} x_i + \sum_{i\in f} x_i^2.
\]
Users are uncertain about link types, and ignorance is parameterized by \( \alpha \in [0,1] \). The paper defines the price of ignorance as
\[
P_I(\alpha)=\frac{C(\mathbf{x}_\alpha)}{C(\mathbf{x}_{\alpha=0})},
\]
comparing the true total cost under equilibrium with ignorance level \( \alpha \) to the cost under full information [2503.09684]. One of the paper’s key findings is that a small level of user ignorance universally improves traffic, and that in the model an optimal level of ignorance causes selfish behavior to coincide with the optimum [2503.09684]. This is not an unknown-unknown result; it concerns structured known unknowns about link types. Still, it shows that deliberate blurring of information can reduce overreaction to local incentives and improve collective outcomes [2503.09684].

These normative results complicate the usual assumption that all ignorance is a deficit to be eliminated. They suggest at least three distinct possibilities. First, ignorance can be epistemically defective because relevant possibilities or model structures are absent. Second, ignorance can be normatively rational because information is expected to be processed badly. Third, ignorance can be instrumentally beneficial because coarsened beliefs damp harmful strategic responses. The literature does not collapse these cases into a single principle; it separates their formal mechanisms.

## 7. Open problems and synthesis

Several unresolved issues recur across the literature. One is integration. Probability-based models capture known unknowns on a fixed state space, while unawareness models capture incomplete subjective state spaces, but a fully unified framework that combines ambiguity aversion, changing awareness, and dynamic learning remains incomplete [1407.0787]. Schipper’s awareness-dependent expected utility is an important step, but the integration of multiple priors or non-additive beliefs into unawareness models remains an open research agenda [1407.0787].

A second issue is dynamics. Many models are static or one-shot. Yet Rumsfeld ignorance is characteristically about discovery: how agents come to learn that there are possibilities they had not represented. The unawareness literature allows movement up awareness lattices or across world-dependent languages, but dynamic learning about unknown unknowns is still only beginning to be explored [1407.0787], [0906.4321]. In logic, public-announcement dynamics for ignorance have been studied under neighborhood semantics, where reduction axioms make it possible to track how formulas such as \( \bullet \nabla \varphi \) evolve under announcements [2309.09451].

A third issue is the modeller’s own epistemic status. Most state-space and unawareness frameworks assume that the modeller sees the full state space \(S\), the full language, or the top element \(S^{\max}\) of an awareness hierarchy. Svetlova and van Elst explicitly question whether this omniscience is realistic, since real-world modellers may suffer their own unawareness and unknown unknowns [1407.0787]. A plausible implication is that any complete formalization of Rumsfeld ignorance must eventually turn reflexive and allow incomplete modelling vocabularies at the meta-level as well.

A fourth issue concerns scope. Some frameworks model only uncertainty over states of Nature while holding actions and consequences fixed. Svetlova and van Elst argue that this is unrealistic in complex environments, where agents may be unaware of available actions or of possible consequences [1407.0787]. This suggests that the Rumsfeld triad extends beyond state-space incompleteness into decision-matrix incompleteness more generally.

The following summary organizes the main formalizations already present in the literature.

| Formal setting | What “Rumsfeld ignorance” denotes | Core formal device |
|---|---|---|
| Decision theory | Unknown unknowns as omitted states or contingencies | Incomplete subjective state space \(S_i \subset S\) or awareness lattices [1407.0787] |
| Neighborhood logic | Ignorance of the fact that one is ignorant whether \( \varphi \) | \( \bullet \nabla \varphi \) [2309.09451] |
| Bi-relational ignorance logic | Primitive Rumsfeld-ignorance operator not reducible to first-order ignorance | \(I^R\) over bi-frames \( \langle S,R,R^{\bullet},V\rangle \) [2507.17776] |
| Belnap–Dunn epistemic logic | Unknown truth, ignorance, and factive ignorance under inconsistent/incomplete information | \( \bullet \phi\), \( \blacktriangledown \phi\), \( \mathbf{I}\phi \) [2309.01449] |
| Forecasting/model diagnosis | Structural model inadequacy revealed by excess surprise | Information deficit \(=S_{EI}^{(raw)}-S_{II}\) [1206.1268] |

Taken together, these traditions support a common encyclopedic conclusion. Rumsfeld ignorance names a family of formal distinctions that all oppose a complete, fully articulated, fully probabilized epistemic state. In economics, it marks the boundary between ambiguity over recognized states and unawareness of states themselves [1407.0787]. In logic, it identifies higher-order ignorance about one’s own ignorance and the conditions under which that phenomenon collapses or remains distinct [2309.09451], [2507.17776]. In forecasting and AI, it appears as a gap between model-implied uncertainty and the uncertainty revealed by data, or as total ignorance represented by imprecise probability rather than precise stochastic termination [1206.1268], [2512.17086]. Across these domains, the central lesson is stable: unknown unknowns are not reducible to low probability, and any formal treatment of them requires either incomplete state spaces, richer logics of awareness, non-additive or set-valued belief models, or explicit measures of model inadequacy.

Source: https://www.emergentmind.com/topics/rumsfeld-ignorance