Este documento resume las ideas principales de la ética formal de Immanuel Kant. Kant argumenta que el conocimiento moral no es sobre lo que es, sino sobre lo que debe ser. Este conocimiento no puede ser verificado empíricamente. Kant desarrolló su teoría de la ética en obras como Fundamentación de la metafísica de las costumbres y Crítica de la razón práctica, donde propuso que la ley moral debe ser un imperativo categórico universal y que la autonomía de la voluntad es el único principio de todas las leyes morales.