Кант различал два типа истин – аналитические суждения, исходящие из логики и “самого разума”, но не из наблюдений за миром (например, “все холостяки не женаты”, “два плюс два равно четыре”, “сумма всех углов в треугольнике составляет 180 градусов”), и синтетические суждения, основанные на опыте и наблюдениях (например, “Мюнхен больше Берна” или “все лебеди белые”). Синтетические суждения могут быть пересмотрены при появлении новых эмпирических фактов, а аналитические – нет. Мы можем обнаружить черного лебедя, но не можем обнаружить женатого холостяка или треугольник с суммой углов 181 градус (по крайне мере, так считал Кант)