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

Categorical Properties

College Depth 94 in the knowledge graph ☐ I know this ☆ Set as goal
2topics build on this
529prerequisites beneath it
See this on the map →
Categorical and Dispositional PropertiesCollective and Distributive Properties+5 more→→Dispositional PropertiesTemporal Properties and Temporal Change
properties categorical intrinsic-nature

Core Idea

Categorical properties are those with intrinsic natures that characterize how things are independent of what effects they produce. For example, mass might be categorical in determining an object's weight or acceleration. Some metaphysicians argue only categorical properties are truly fundamental.

Explainer

You already understand the categorical/dispositional distinction: dispositional properties like *fragility* or *solubility* characterize what an object *would do* under certain circumstances, while categorical properties characterize what the object *is* independently of any conditional behavior. Categorical properties are the purely intrinsic, occurrent features of things — the way something actually is right now, not how it would behave if circumstances were different. The shape of a crystal, for instance, is often cited as a paradigm categorical property: it just *is* the geometric arrangement of atoms, regardless of what effects that arrangement produces.

The philosophical significance of this distinction lies in questions about grounding. If you hold that dispositions need to be grounded in something non-dispositional, then categorical properties play the role of the ultimate foundation. Consider: *solubility* is grounded in the molecular structure of a substance — its arrangement and bonding patterns. Those structural features are categorical. If you then ask what grounds the categorical structure, a committed categoricalist says "nothing further — it just is that way." The categorical properties are the bedrock. This picture is sometimes called Humean or categoricalist metaphysics: the world's fundamental layer consists entirely of categorical, non-dispositional qualities distributed across space-time, and all dispositions reduce to or are grounded in these categorical bases.

The sparse/abundant distinction you have encountered is relevant here. If we are asking what the *fundamental* categorical properties are, we want the sparse list — the genuine, natural joints in reality, not every gerrymandered predicate we can construct. Mass, charge, spin, and other fundamental physical quantities are strong candidates for fundamental categorical properties. These are not defined by what they would do; they are just *there*, intrinsic to their bearers. From these, all the dispositional features of objects — their fragility, conductivity, magnetic behavior — are supposed to follow as consequences.

Not everyone accepts this picture. Pure dispositionalists argue that categorical properties are themselves just unmanifested dispositions, or that the categorical/dispositional divide is not as sharp as it seems. Mass, they note, is precisely defined by its role in gravitational and inertial relations — it is characterized by how it *behaves*. If that's right, categoricalism may be an illusion. The debate ultimately connects to deep questions about whether properties have intrinsic natures independent of their causal roles, or whether being a property just *is* playing a certain causal role.

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 → Fundamental and Derivative Properties: Sparse and Abundant Ontologies → Categorical Properties

Longest path: 95 steps · 529 total prerequisite topics

Prerequisites (7)

Leads To (2)