A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Eternalism (Formalized)

Graduate Depth 109 in the knowledge graph ☐ I know this ☆ Set as goal
13topics build on this
704prerequisites beneath it
See this on the map →
Temporal BecomingTemporal Logic+1 more→→Presentism (Formalized)Presentism and Eternalism
time eternalism block-universe temporal-metaphysics

Core Idea

Eternalism is the metaphysical view that all times—past, present, and future—are equally real. There is no special present moment; time is like space, with all temporal locations having the same ontological status. This view challenges our intuitive sense of temporal flow.

Explainer

From your work on temporal becoming, you know the debate between views that treat the present as metaphysically special—where time flows and the future is open—and views that reject this. Eternalism is the most radical rejection: it holds that past, present, and future are all equally real, and that "now" is no more objectively privileged than "here." Just as we don't think our location in space makes things nearby more real than things far away, eternalism says our location in time makes present events no more real than past or future ones. The universe, on this view, is a four-dimensional block—the block universe.

Your study of four-dimensionalism should make this intuitive. If objects persist through time by having temporal parts at each moment—the way a road extends through space by having spatial parts at each location—then every temporal part is equally real. The you of ten years ago is not some ghostly remnant; it is a genuine entity located at a different temporal address. The you of ten years hence already exists, located at a future address. Eternalism takes this seriously: nothing pops in or out of existence as time passes, because "time passing" is itself a feature of our perspective from within the block, not a feature of the block itself.

Temporal logic gives this view formal content. In tense logic, operators like P (it was the case that) and F (it will be the case that) quantify over times just as modal operators quantify over possible worlds. Eternalism corresponds to a semantic framework where all times in the model are equally real domains—no time is metaphysically privileged, and the truth of "dinosaurs exist" at past times is just as much a fact as the truth of "humans exist" at the present time. The contrast is with presentism, which holds that only the present is real, making past and future times either non-existent or merely possible. On the eternalist picture, tensed sentences like "the war is over" are implicitly indexed to a time, not descriptions of an absolutely present state of affairs.

The deepest challenge for eternalism is explaining the phenomenology of temporal passage—why it feels as though time flows, as though we are moving from past through present into future, when on the eternalist picture nothing is actually moving. The block universe is static; change is real, but only as variation along the time dimension, not as an ongoing process of becoming. Eternalists typically respond that our sense of temporal flow is a feature of our psychology, not of time itself: memory of the past, anticipation of the future, and the causal asymmetry between past and future combine to create the experience of flow without requiring any objective flowing. Whether this response is adequate is one of the live questions in the metaphysics of time.

What did you take from this?

Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.

Quiz me anyway →

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Introduction to Propositional Logic → Introduction to Predicate Logic (First-Order Logic) → First-Order Logic Syntax → Terms and Atomic Formulas in FOL → Variable Binding and Scope → Open and Closed Formulas in First-Order Logic → Variable Substitution and Capture-Avoidance in First-Order Logic → Quantifier Instantiation Rules in First-Order Proof Systems → Universal Quantification: Meaning and Scope → Free Variables and Bound Variables → Substitution and Instantiation in Predicate Logic → Terms and Atomic Formulas → Formulas and Well-Formed Expressions → Structures and Interpretations → Model Interpretation and Satisfaction → Interpretation, Truth, and Satisfaction of Formulas → Logical Consequence and Entailment → Soundness Theorem and Validity of Proof Systems → Deductive Reasoning and Formal Proof Systems → First-Order Resolution → Propositional Resolution → Semantic Tableaux (Propositional) → Semantic Tableaux (First-Order) → Decidable Fragments of First-Order Logic → Gödel's Completeness Theorem for First-Order Logic → Gödel's Incompleteness Theorems → Introduction to Intuitionistic Logic → Introduction to Modal Logic → Modal Semantics: Necessity and Possibility → Intensionality and Possible Worlds Semantics → Event Semantics → Aktionsart (Lexical Aspect) → Tense and Aspect in Formal Semantics → Viewpoint Aspect (Perfective and Imperfective) → Formal Semantics of Tense and Time → Formal Semantics of Modality and Possibility → Possible Worlds Semantics → Counterfactual Theory of Causation → Causal Order and Temporal Order → Temporal Becoming → Eternalism (Formalized)

Longest path: 110 steps · 704 total prerequisite topics

Prerequisites (3)

Leads To (2)