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

Liberal and Conservative Metaphysics

College Depth 93 in the knowledge graph ☐ I know this ☆ Set as goal
521prerequisites beneath it
See this on the map →
Metaphysical Structure and Architectural FormNecessary and Sufficient Conditions→
ontology parsimony liberalism

Core Idea

Liberal metaphysics readily posits entities and categories to match our discourse (objects, properties, possible worlds, abstractions). Conservative metaphysics favors ontological parsimony, positing only what is strictly necessary. This divide fundamentally shapes positions on composition, abstract objects, and fundamental categories.

Explainer

When metaphysicians disagree, they are often disagreeing not just about a specific question (Do numbers exist? Are there composite objects?) but about a deeper methodological stance: how much the ontological inventory of the world should cost. This is the divide between liberal and conservative metaphysics. Understanding this axis helps you see what is really at stake in debates about abstract objects, composition, and fundamental categories.

The conservative's guiding principle is ontological parsimony — roughly, Ockham's razor applied to existence claims. Do not multiply entities beyond necessity. You know from your prerequisite study of metaphysical structure that every posited entity comes with explanatory obligations: what is it, how does it interact with the rest of reality, how do we come to know it? Conservative metaphysicians argue that the burden of proof lies with those who posit entities. Until an entity earns its place by doing genuine explanatory work that cannot be done more cheaply, it should not be admitted into one's ontology. Mereological nihilism is a paradigm conservative view: it says there are no composite objects — just simples arranged in various ways. What we ordinarily call a "table" is not a further entity over and above the particles; it is just those particles arranged table-wise.

The liberal metaphysician pushes back: if we talk about tables, properties, numbers, and possible worlds — and this talk is useful, systematic, and apparently commits us to their existence — why strain to eliminate them? Liberal metaphysics posits entities generously, trusting that systematizing ordinary discourse is itself good metaphysical evidence. David Lewis's modal realism is a paradigm: rather than treating "possible worlds" as a manner of speaking, Lewis posited that they are concrete realities just as real as the actual world. This is ontologically extravagant, but Lewis argued it delivered enormous theoretical payoffs — a unified, uniform semantics for modal claims. The liberal says: parsimony is a virtue but not the only one; simplicity of theory sometimes requires accepting complexity of ontology.

The practical stakes of this divide appear throughout metaphysics. In debates about composition (when do several things form one?), liberals say composition is unrestricted — any collection of objects forms a further object. Conservatives say composition rarely or never occurs. In debates about abstract objects — numbers, properties, propositions — liberals accept Platonism readily; conservatives prefer nominalist strategies that try to paraphrase abstract talk away. Neither position is obviously correct, because "necessity" in Ockham's razor is contested: what counts as a necessary entity depends on what your theory needs to explain. The liberal-conservative axis is ultimately about where you set the bar for ontological admission — and setting it differently produces radically different metaphysical pictures of the world.

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 → Syntactic Consequence (⊢) Versus Semantic Consequence (⊨) → Logical Consequence and Validity → Grounding and Fundamentality → Truthmakers and Grounding → Truthmaker Fundamentalism and Truth-Making Relations → Grounding and the Hierarchy of Fundamental Facts → Metaphysical Structure and Architectural Form → Liberal and Conservative Metaphysics

Longest path: 94 steps · 521 total prerequisite topics

Prerequisites (2)

Leads To (0)

No topics depend on this one yet.