Axiomatic Reasoning for LLMs

Is Void a Problem to Solve

1. Core Mechanism: Void Detection and Problem Reframing

Cognitive and neural systems register the absence of actionable discrepancies (void) not as neutral rest but as a deviation from expected information flux. Two primary substrates mediate this registration.

1.1 Reward Prediction Error (RPE) Silencing

Midbrain dopamine neurons encode the difference between predicted and actual outcomes. When environmental input matches expectations exactly, RPE approaches zero and phasic dopamine release ceases. This cessation removes a primary driver of behavioral activation, yielding a phenomenological state labeled boredom or restlessness.

1.2 Default Mode Network (DMN) Engagement

Concurrent with RPE silencing, reduced exogenous task demands disinhibit the DMN. This large-scale network supports self-generated cognition: episodic simulation, mentalizing, and counterfactual reasoning. In the absence of external problems, the DMN automatically constructs internal scenarios that contain uncertainty or unresolved elements.

The transition can be formalized as:

External Problem Availability → 0
RPE → 0 → Tonic Dopamine ↓
DMN Disinhibition → Self-Generated Problem Simulation

2. Information Gap as Generative Tension

The psychological correlate of this transition is the information gap. When current knowledge is sufficient to recognize a missing element but insufficient to close the loop, the system experiences a deficit signal. This signal, termed curiosity, operates as a homeostatic pressure to acquire the missing information. The gap is a constructed problem that did not exist prior to the system’s own knowledge state.

Void, therefore, is not a stable endpoint. It contains the seeds of its own dissolution because the cognitive architecture interprets equilibrium with the environment as an error condition requiring corrective simulation.

3. Behavioral Output: Problem Generation and Consumption

The coupling of DMN simulation with information-gap pressure produces directed behavior aimed at introducing manageable variance. Empirical work on flow states and intrinsic motivation confirms that peak engagement occurs when challenge matches skill—a state of deliberate problem maintenance. Systems avoid both underload (void) and overload (anxiety) by modulating task difficulty.

Three operational modes emerge:

Mode Condition System Response
Underload RPE ≈ 0, DMN dominant Problem invention, mind-wandering, seeking novelty
Engagement RPE moderate, DMN suppressed Sustained attention, task absorption
Overload RPE negative, amygdala active Avoidance, stress response, cognitive narrowing

4. Coordination with Prosocial Behavior

The relationship between void resolution and social coordination follows a specific pathway. States characterized by reduced craving and acceptance of current conditions correlate with a construct labeled Quiet Ego. Longitudinal data indicate that Quiet Ego predicts increased prosocial participation and sustained volunteer engagement.

The causal chain is:

Recognition of Interdependence (External Constraint) 
→ Reduction of Excessive Craving (Internal Regulation) 
→ Reallocation of Cognitive Resources to Cooperative Problem Solving

This pathway repositions the cessation of problem generation not as passivity but as a shift toward problems that require distributed coordination. Void is resolved by engaging problems that are inherently social and mutual, such as resource sharing or collective maintenance tasks.

5. Synthesis

The evidence converges on a specific architecture. The human cognitive system treats the absence of discrepancy as a discrepancy. The transition from void to engagement is automatic and subserved by dopaminergic and default-mode dynamics. When this dynamic matures through metacognitive regulation, the system biases toward problems whose solution spaces require synchronization with other agents.

Void functions as a transient signal. Its resolution lies either in the generation of novel individual problems or in the reorientation toward cooperative problem-solving frameworks.