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

The A-Theory and B-Theory of Time

College Depth 100 in the knowledge graph ☐ I know this ☆ Set as goal
12topics build on this
526prerequisites beneath it
See this on the map →
A-Theory and B-Theory of TimePhilosophy of Time→→Temporal Properties and Temporal ChangeThe Growing Block Theory of Time
time A-theory B-theory

Core Idea

The B-theory (tenseless) treats all times as metaphysically equivalent with no genuine passage; the A-theory (tensed) posits genuine temporal flow where only the present is uniquely real. This fundamental division determines whether time involves real becoming or merely logical and causal ordering within a static four-dimensional block.

How It's Best Learned

Study arguments from physics (relativity theory), language (tense and temporal reference), and phenomenology (temporal experience) for each view. Examine hybrid theories that combine A and B features.

Common Misconceptions

Assuming relativity or modern physics definitively settles the A/B-theory debate. Conflating the A/B-theory with presentism/eternalism (which are distinct but related positions).

Explainer

From your prerequisite work in the philosophy of time and the A-theory/B-theory distinction, you know the basic contrast: the B-theory says all times are equally real, arranged in a permanent "block" of past, present, and future, ordered by the earlier/later-than relation. The A-theory says there is genuine temporal flow — events are not just earlier or later than each other but are *really* past, present, or future, and these properties change. Now let's build sharper intuitions about what's actually at stake.

The B-theory's central claim is that temporal language is misleading. When you say "the battle *was* fought yesterday," B-theorists say this is just a tensed way of saying that the battle is earlier-than your utterance — a permanent, unchanging relational fact. Time is like space: just as every spatial location is equally real, every temporal location is equally real. The year 1066 is "past" only relative to us, just as London is "north" only relative to somewhere south of it. On this view, temporal becoming — the sense that the present is constantly advancing, that events genuinely come to be and then cease — is a psychological illusion, not a feature of reality.

The A-theory insists this analysis loses something essential. A-properties — being past, present, or future — are not mere relations to other times; they are intrinsic, monadic properties of events that genuinely change. The Battle of Hastings was future, then present, then past, and these transitions are real features of the world, not just perspectival descriptions. The present moment is not just the time at which you happen to be located; it is *metaphysically special*. This is the intuitive pull of the A-theory: the "flow" of time, the sense that now is here and then is gone, seems to be something the B-theory flatly denies.

The crucial point your prerequisites noted — that these theories are distinct from presentism/eternalism — is worth unpacking. Presentism says only present entities exist; eternalism says past, present, and future entities all exist. These are claims about what exists. A-theory and B-theory are claims about what temporal properties are fundamental and whether time flows. Many A-theorists are presentists, but the A-theory is compatible with holding that past and future things also exist, as long as you maintain that the present is ontologically privileged. Similarly, a B-theorist might be an eternalist (the block universe view), but the logical connections are not forced. Keeping these distinctions sharp is essential for evaluating arguments in temporal metaphysics that trade on moving between them.

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 → The A-Theory and B-Theory of Time

Longest path: 101 steps · 526 total prerequisite topics

Prerequisites (2)

Leads To (2)