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

The Categorical Imperative

College Depth 99 in the knowledge graph ☐ I know this ☆ Set as goal
168topics build on this
557prerequisites beneath it
See this on the map →
Kantian Deontology→→Autonomy and Moral WorthContractualism+1 more
Kant categorical-imperative universalizability autonomy formula-of-humanity

Core Idea

Kant's categorical imperative is the supreme principle of morality, binding unconditionally on all rational beings regardless of their desires. Kant articulates it in several formulations he takes to be equivalent: (1) the Formula of Universal Law—'Act only on that maxim through which you can at the same time will that it should become a universal law'; (2) the Formula of Humanity—'Act so that you treat humanity, whether in your own person or in that of another, always as an end and never as a means only'; (3) the Formula of the Kingdom of Ends—act as a legislating member of a possible realm of rational beings. The universalizability test exposes self-defeating maxims: a maxim to lie whenever convenient cannot be universalized because universal lying would destroy the practice of truth-telling on which successful lying depends.

How It's Best Learned

Apply the universalizability test step by step: identify the maxim, universalize it, check for contradiction in conception or contradiction in will. Separately apply the humanity formula and compare results—cases where they diverge are instructive.

Common Misconceptions

Explainer

You already understand Kantian deontology — the view that the moral worth of an action depends not on its consequences but on whether it is performed from duty in accordance with the moral law. The categorical imperative is the precise content of that moral law: Kant's attempt to state, in a single supreme principle, what rationality itself requires of any moral agent.

The word "categorical" does the crucial work. A hypothetical imperative takes the form "if you want X, do Y" — it binds you only conditionally, depending on whether you happen to have that goal. Most of life runs on hypothetical imperatives: if you want to pass the exam, study; if you want to stay healthy, exercise. A categorical imperative binds unconditionally: it applies to you regardless of your desires, goals, or circumstances, simply in virtue of being a rational agent. Kant argues that genuine moral obligations must be categorical — if a moral obligation could be escaped by simply not wanting the relevant outcome, it would not be a real moral obligation at all.

The Formula of Universal Law operationalizes this through the concept of a maxim. A maxim is the principle on which you act, stated as a rule: "I will lie when it benefits me." The universalizability test asks: can I will that this maxim become a universal law — a rule that everyone follows? Two kinds of failure are possible. A *contradiction in conception* occurs when universalizing the maxim makes it self-defeating: if everyone lied when convenient, the institution of truth-telling would collapse, and with it the very practice of lying (which requires others to expect truthful speech). You cannot coherently will universal lying because universal lying destroys what makes individual lying work. A *contradiction in will* is subtler: you can conceive of a world where the maxim is universalized, but you cannot rationally will that world as a rational agent — such as willing universal indifference to others while yourself depending on their help.

The Formula of Humanity approaches the same ground from a different angle. It prohibits treating rational agents — persons — as mere means to your ends. This does not prohibit using people at all; you "use" a shopkeeper when you buy something, but you also treat them as an end (you pay fairly, you acknowledge their agency). What is prohibited is treating someone *merely* as a means — using them as a tool while ignoring their own rational purposes and interests. This formula has direct bite in cases involving deception and coercion: both override another's rational agency, substituting your judgment for theirs. Together, the two formulas converge on a picture of morality as what rational agents could collectively legislate for themselves — the Kingdom of Ends, a community of mutual respect where every member is treated as a co-legislator of the moral law, not as an instrument.

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 → Soundness Theorem and Validity of Proof Systems → Deductive Reasoning and Formal Proof Systems → First-Order Resolution → Propositional Resolution → Semantic Tableaux (Propositional) → Semantic Tableaux (First-Order) → Decidable Fragments of First-Order Logic → Gödel's Completeness Theorem for First-Order Logic → Gödel's Incompleteness Theorems → Introduction to Intuitionistic Logic → Introduction to Modal Logic → A Priori and A Posteriori Knowledge → Kantian Deontology → The Categorical Imperative

Longest path: 100 steps · 557 total prerequisite topics

Prerequisites (1)

Leads To (3)