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

Metaphysical Structure and Architectural Form

College Depth 92 in the knowledge graph I know this Set as goal
9topics build on this
515prerequisites beneath it
See this on the map →
Ontological CategoriesWhat Is Metaphysics?+2 moreFundamental and Derivative Properties: Sparse and Abundant OntologiesLiberal and Conservative Metaphysics
structure fundamentals ontology architecture

Core Idea

Metaphysical structure refers to the way entities, properties, and relations are organized in reality—what counts as fundamental versus derivative, how entities relate to their parts and properties, and what principles govern possible worlds. Formal metaphysics treats this structure as systematically analyzable, mapping the conceptual landscape that grounds all other facts.

Explainer

In your prerequisite work on what metaphysics is and ontological categories, you learned that metaphysics asks foundational questions about what exists and how it is categorized. Metaphysical structure takes the next step: given that things exist and fall into categories, how are those categories and things *organized*? Reality isn't a flat list of equally basic items — there appears to be hierarchy, dependency, and architecture. Some things exist because of other things; some properties are built out of simpler properties; some facts obtain because of more fundamental facts. Mapping this architecture is what formal metaphysics does.

The key organizing concept is the distinction between fundamental and derivative entities. Something is fundamental if it doesn't exist in virtue of something else — it has no metaphysical explanation in terms of more basic things. Something is derivative if it does exist in virtue of something more basic. A shadow is derivative: it exists because of the light and the object blocking it. The particles making up that object might be fundamental, or they might themselves be derivative with respect to quantum fields. Metaphysical structure is the question: how deep does this hierarchy go, and what does it look like?

The formal relation that articulates this hierarchy is grounding: a relation of non-causal metaphysical determination. The fact that a ball is red and round *grounds* the fact that there is something colored. The physical facts about a brain *ground* the mental facts about its subject (if physicalism is true). Grounding is asymmetric, irreflexive, and transitive — it's a strict partial order on facts or entities. The structural question is whether grounding bottoms out in some set of fully ungrounded fundamentalia, or whether it could be infinitely descending.

This architectural picture has direct implications for ontological parsimony — the methodological preference for not multiplying entities beyond necessity. If mental facts are fully grounded in physical facts, we don't need an additional ontological category for minds: they're real but derivative. This is the strategy that physicalists use. Metaphysical structure lets you make these commitments precise: rather than asking "does X exist?" the more refined question is "at what level of the metaphysical hierarchy does X sit, and what grounds it?" Understanding this architecture is prerequisite to the more specific debates in grounding, fundamentality, and the theory of properties that this course builds toward.

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 Form

Longest path: 93 steps · 515 total prerequisite topics

Prerequisites (4)

Leads To (2)