La formulación kantiana de este problema se corresponde con su distinción entre las afirmaciones o "juicios" analíticos —esto es, aquellos cuyo predicado está implícita o explícitamente contenido en el sujeto, como las tautologías del tipo "lo blanco es blanco", o las afirmaciones, como "todos los carnívoros son animales", en que la definición del sujeto ya presupone lo predicado; "carnívoro" es "animal que come carne"— y los sintéticos —aquellos en que se afirma algo no previamente contenido en la noción del sujeto, como "este papel es blanco" o "este animal está enfermo"—.