De la noción kantiana de «ética autónoma» es parte el reconocimiento de que cada decisión tiene la forma lógica de universal sin tener, en cambio, efectiva universalidad, por lo cual es posible que una decisión esté en contradicción con su propia forma lógica. Esto exige una averiguación sobre el significado de «contradicción» y de «mera» lógica en Kant con el fin de aclarar en qué sentido el enjuiciamiento moral ha de tener el carácter de confrontación «lógica».