R. Lanier Anderson presents a new account of Kant's distinction between analytic and synthetic judgments, and provides it with a clear basis within traditional logic. He reconstructs compelling claims about the syntheticity of elementary mathematics, and re-animates Kant's arguments against traditional metaphysics in the Critique of Pure Reason.