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 TimeTemporal 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 ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical EquivalencesBoolean AlgebraIntroduction to Propositional LogicIntroduction to Predicate Logic (First-Order Logic)First-Order Logic SyntaxTerms and Atomic Formulas in FOLVariable Binding and ScopeOpen and Closed Formulas in First-Order LogicVariable Substitution and Capture-Avoidance in First-Order LogicQuantifier Instantiation Rules in First-Order Proof SystemsUniversal Quantification: Meaning and ScopeFree Variables and Bound VariablesSubstitution and Instantiation in Predicate LogicTerms and Atomic FormulasFormulas and Well-Formed ExpressionsStructures and InterpretationsModel Interpretation and SatisfactionInterpretation, Truth, and Satisfaction of FormulasLogical Consequence and EntailmentSoundness Theorem and Validity of Proof SystemsDeductive Reasoning and Formal Proof SystemsFirst-Order ResolutionPropositional ResolutionSemantic Tableaux (Propositional)Semantic Tableaux (First-Order)Decidable Fragments of First-Order LogicGödel's Completeness Theorem for First-Order LogicGödel's Incompleteness TheoremsIntroduction to Intuitionistic LogicIntroduction to Modal LogicTemporal LogicPhilosophy of TimeA-Theory and B-Theory of TimeThe A-Theory and B-Theory of Time

Longest path: 101 steps · 526 total prerequisite topics

Prerequisites (2)

Leads To (2)