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

A-Theory and B-Theory of Time

College Depth 99 in the knowledge graph ☐ I know this ☆ Set as goal
19topics build on this
525prerequisites beneath it
See this on the map →
Philosophy of TimeTemporal Logic→→Four-Dimensionalism and Temporal PartsPresentism and Eternalism+2 more
A-theory B-theory presentism eternalism growing block temporal ontology

Core Idea

A-theories (dynamic theories) hold that temporal distinctions of past, present, and future are fundamental and objective, and that time genuinely passes — events become present and then recede into the past. Presentism (only the present exists) and the growing block (past and present exist, future does not) are major A-theory variants. B-theories (static theories) hold that all times exist equally in a four-dimensional spacetime manifold, and the only genuine temporal relations are tenseless earlier-than/later-than; 'now' is an indexical like 'here' with no ontologically privileged status. The debate turns on arguments from special relativity, the experience of temporal passage, and the truthmakers for tensed statements.

How It's Best Learned

Read Sider's Four-Dimensionalism Chapter 2 for the B-theory and Crisp's 'Presentism' for the A-theory. Evaluate the Einstein/relativity argument against presentism: does the relativity of simultaneity refute it, or can presenters relativize the present to a reference frame?

Common Misconceptions

Explainer

The A-theory/B-theory distinction is about what is metaphysically fundamental in our description of time. Ordinary temporal language includes two very different kinds of expression: tense (past, present, future) and relational order (earlier than, simultaneous with, later than). The debate is about which of these is more fundamental — or whether one can be reduced to the other. From your study of philosophy of time, you know that time is not obviously simple; the A/B debate sharpens that intuition into a precise philosophical question.

B-theory (the static, tenseless view) holds that all genuine temporal facts are relational: events are ordered by earlier-than/later-than, and this is the complete story. The word "now" is an indexical — it refers to whatever time the utterance is made, just as "here" refers to the speaker's location. There is nothing metaphysically special about the present moment; it is simply the time of this utterance. All times exist equally in a four-dimensional spacetime block. What we experience as "temporal passage" — the felt sense that time flows — is a feature of how we experience time, not a feature of time itself. B-theory finds natural support in special relativity: since the theory eliminates absolute simultaneity (two events can be simultaneous in one frame and non-simultaneous in another), "the present" cannot be a frame-independent objective feature of reality.

A-theory (the dynamic view) insists that the distinction between past, present, and future is genuine and metaphysically fundamental — not reducible to mere relational ordering. The world has a dynamic structure: events are first future, then present, then past. "Now" doesn't just pick out a time indexically; the present is the ontologically privileged moment. This intuition is hard to resist phenomenologically: the future feels genuinely open, the present feels vivid and immediate, and the past feels fixed. A-theorists argue that the phenomenology of temporal passage is veridical — it accurately reflects a real feature of the world. Presentism (only the present exists) and the growing block (past and present exist; future does not) are the major A-theory variants.

The debate crystallizes around concrete puzzles that connect to your temporal logic background. For the B-theorist: how do we formalize A-theoretic language without smuggling in absolute simultaneity? For the A-theorist: what are the truthmakers for past-tensed statements? If "Caesar was murdered" is true now, what in the world makes it true? The presentist says only present entities exist — Caesar doesn't exist — yet we make apparently true claims about him. Proposed solutions include ersatz past times (abstract objects representing past states) or primitive temporal operators that don't require past entities to exist. Neither is free of cost. These pressures make the A/B debate one of the most technically demanding and metaphysically consequential in contemporary philosophy.

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 → Temporal Logic → Philosophy of Time → A-Theory and B-Theory of Time

Longest path: 100 steps · 525 total prerequisite topics

Prerequisites (2)

Leads To (4)