We study optimal income tax progressivity in an environment where individuals are exposed to idiosyncratic income and health risks over the lifecycle. Our results, based on a calibration for the US economy, indicate that the presence of health risk combined with incomplete insurance markets amplifies the social insurance role of progressive income taxes. The government...