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 DeontologyAutonomy 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 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 EntailmentSoundness Theorem and Validity of Proof SystemsDeductive Reasoning and Formal Proof SystemsFirst-Order ResolutionPropositional ResolutionSemantic Tableaux (Propositional)Semantic Tableaux (First-Order)Decidable Fragments of First-Order LogicGödel's Completeness Theorem for First-Order LogicGödel's Incompleteness TheoremsIntroduction to Intuitionistic LogicIntroduction to Modal LogicA Priori and A Posteriori KnowledgeKantian DeontologyThe Categorical Imperative

Longest path: 100 steps · 557 total prerequisite topics

Prerequisites (1)

Leads To (3)