Mill moves from names, propositions, and syllogisms to the harder problem of induction: how observations can warrant general laws without simple enumeration. His methods of agreement, difference, residues, and concomitant variation compare cases to isolate causes, before the final books ask how this experimental logic can—and cannot—be extended to human conduct and social inquiry.