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 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 EntailmentSyntactic Consequence (⊢) Versus Semantic Consequence (⊨)Logical Consequence and ValidityGrounding and FundamentalityTruthmakers and GroundingTruthmaker Fundamentalism and Truth-Making RelationsGrounding and the Hierarchy of Fundamental FactsMetaphysical Structure and Architectural FormLiberal and Conservative Metaphysics

Longest path: 94 steps · 521 total prerequisite topics

Prerequisites (2)

Leads To (0)

No topics depend on this one yet.