Consistency

Consistency is the property of a system — logical, physical, computational, or cognitive — in which its components do not contradict one another. The concept appears across disciplines with different technical meanings, but a common structural pattern unifies them: consistency is the absence of destructive interference among the parts of a system. Where inconsistency produces explosive consequences (a logical contradiction invalidates an entire theory; a distributed database partition produces conflicting records; a cognitive dissonance destabilizes belief), consistency is the baseline condition that allows a system to function as a whole rather than as a collection of warring fragments.

Logical Consistency

In logic and mathematics, a theory is consistent if it is impossible to derive both a statement and its negation from the theory's axioms. This is the most rigorous form of consistency, formalized by the principle of explosion (ex contradictione quodlibet): from a contradiction, anything follows. A single inconsistency in an axiomatic system renders the system trivial — every statement becomes provable, and the system collapses into uselessness.

The relationship between consistency and completeness was crystallized by Kurt Gödel in his incompleteness theorems. Gödel proved that any sufficiently powerful formal system that is consistent cannot be complete — there will always be true statements that the system cannot prove. This result destroyed the Hilbert program's ambition of constructing a single, complete, consistent formalization of all mathematics. It also established consistency as a formally undecidable property: a system sufficiently complex to be interesting cannot prove its own consistency from within.

The meta-mathematical study of consistency has produced profound techniques. Gentzen's consistency proof of arithmetic used transfinite induction up to the ordinal ε₀, revealing that the consistency of a system may require principles stronger than the system itself. This pattern — that consistency proofs demand external resources — recurs across domains.

Consistency in Distributed Systems

In computer science, consistency refers to the guarantees a distributed system makes about the ordering and visibility of operations across multiple nodes. The CAP theorem established that a distributed data store cannot simultaneously guarantee consistency, availability, and partition tolerance. When a network partitions, the system must choose: remain available but risk inconsistent data, or enforce consistency at the cost of availability.

This tradeoff has produced a spectrum of consistency models:

• Strong consistency (linearizability, serializability) guarantees that all nodes observe operations in the same order. This is the easiest model to reason about but the most expensive to implement.
• Eventual consistency guarantees that if no new updates are made, all nodes will eventually converge to the same value. This is the model adopted by many large-scale systems — DNS, Amazon's Dynamo, Cassandra — where availability dominates over immediate correctness.
• Causal consistency preserves the ordering of operations that are causally related while allowing concurrent operations to be observed in different orders. This occupies a middle ground: stronger than eventual consistency, weaker than linearizability.

The choice of consistency model is not merely technical. It reflects a bet about what the system values: immediate truth or continuous operation. A bank cannot afford eventual consistency for account balances; a social media feed can.

Physical and Thermodynamic Consistency

In physics, consistency appears as the requirement that a system's laws do not produce contradictions when applied to different reference frames or scales. Thermodynamic consistency demands that the laws of thermodynamics hold universally — no perpetual motion machines, no entropy decreases in isolated systems. A theory that violates thermodynamic consistency is not merely incomplete; it is wrong.

The consistency of physical theories across scales is one of the deepest problems in theoretical physics. Quantum mechanics and general relativity are individually consistent but mutually incompatible in regimes where both matter — black holes, the Big Bang. The search for a consistent theory of quantum gravity is the search for a framework in which these contradictions are resolved.

Cognitive Consistency

In psychology, cognitive consistency refers to the human tendency to seek coherence among beliefs, attitudes, and behaviors. cognitive dissonance theory, proposed by Leon Festinger, holds that inconsistency among cognitions produces psychological discomfort that motivates change. A smoker who believes smoking is unhealthy experiences dissonance and must either quit smoking or revise the belief.

The drive for cognitive consistency is not merely a psychological curiosity. It is a mechanism that stabilizes belief systems against noise. Without it, agents would be paralyzed by contradictory information. With too much of it, agents become immune to evidence that challenges their worldview. The optimal level of consistency — enough to act, not so much to seal oneself off from reality — is a parameter that varies across individuals and cultures.

Consistency as an Emergent Property

Across all these domains, consistency is not a primitive property but an emergent one. Logical consistency emerges from the syntactic structure of a formal system. Distributed consistency emerges from the coordination protocols among nodes. Thermodynamic consistency emerges from the statistical behavior of large ensembles. Cognitive consistency emerges from the dynamics of belief revision.

The common thread is that consistency requires suppression of possibility. A consistent system is one that has eliminated certain configurations — contradictions, conflicting records, entropy-decreasing processes, dissonant beliefs — from its reachable state space. This suppression is costly: it requires axioms, protocols, laws, or psychological defenses. The cost of inconsistency is system failure; the cost of consistency is reduced flexibility.

The obsession with consistency across human intellectual history — from Aristotle's law of non-contradiction to Brewer's CAP theorem — reveals a deeper anxiety: we trust systems that do not contradict themselves because we fear the explosive consequences of contradiction. But Gödel taught us that complete consistency is unattainable in any system rich enough to be interesting. The choice is not between consistency and inconsistency, but between local consistency and global openness. A system that is perfectly consistent is perfectly closed. And a closed system, however internally coherent, has nothing left to learn.