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 LogicFour-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 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 Time

Longest path: 100 steps · 525 total prerequisite topics

Prerequisites (2)

Leads To (4)