Суждения опыта, все без исключения, имеют синтетический характер. Поэтому появление противоречия в составе такого суждения – естественный и неизбежный феномен в процессе уточнения понятий в согласии с данными опыта.
Иначе говоря, для способности суждения общая логика не имеет права давать рекомендаций, ибо сия способность вправе подводить под определения понятия такие факты, которые этим определениям прямо и непосредственно противоречат.
Любое эмпирическое понятие всегда находится поэтому под угрозой опровержения со стороны опыта, со стороны первого же попавшегося на глаза факта. Следовательно, суждение чисто эмпирического характера, т.е. такое, где субъектом выступает эмпирически данный, чувственно созерцаемый предмет или объект (например, то же суждение о лебедях), верно и правильно лишь с обязательной оговоркой: «Белы все лебеди, до сих пор побывавшие в поле нашего опыта». Такое суждение бесспорно, ибо оно и не претендует на отношение к тем единичным вещам того же самого рода, которых мы ещё не успели повидать. И дальнейший опыт вправе корректировать наши определения, менять предикаты суждения.
С подобными трудностями действительно постоянно сталкивается и всегда будет сталкиваться наше теоретическое познание.
Но если так, если наука развивается только через постоянное сопоставление понятий с фактами, через постоянный и никогда не завершающийся процесс разрешения вновь и вновь возникающего здесь конфликта, то сразу же остро встаёт проблема научно-теоретического понятия. Отличается ли научно-теоретическое обобщение (понятие), претендующее на всеобщность и необходимость, от любого эмпирически-индуктивного «обобщения»? (Сложности, здесь возникающие, остроумно обрисовал столетием позже Б. Рассел в виде забавной притчи: живёт в курятнике курица, каждый день приходит хозяин, приносит ей зёрнышек поклевать, курица, несомненно, сделает отсюда вывод: появление хозяина связано с появлением зёрнышек. Но в один прекрасный день хозяин явится в курятник не с зёрнышками, а с ножом, чем убедительно и докажет курице, что ей не мешало бы иметь более тонкое представление о путях научного обобщения...)
Иначе говоря, возможны ли такие обобщения, которые, хотя и сделаны на основе лишь фрагментарного опыта относительно данного объекта, могут тем не менее претендовать на роль понятий, обеспечивающих научное предвидение, т.е. быть с гарантией «экстраполированы» и на будущий опыт относительно того же самого объекта (учитывая, разумеется, влияние всех разнообразных условий, внутри которых он может в будущем наблюдаться)? Возможны ли понятия, выражающие не только и не просто более или менее случайные общие признаки, могущие в другом месте и в другое время и отсутствовать, а самоё «существо», самую «природу» данного рода объектов, закон их существования? То есть возможны ли такие определения, при отсутствии которых отсутствует (невозможен и немыслим) и сам объект данного понятия, а имеется уже другой объект, который именно поэтому не правомочен ни подтвердить, ни опровергать определения данного понятия? (Как, например, рассмотрение квадратов или треугольников не имеет никакого отношения к нашему пониманию свойств окружности или эллипса, поскольку в определения понятия «окружность» входят только такие предикаты, которые строго описывают границы данного рода фигур, границы, которые нельзя переступить, не переходя в другой род.) Понятие, стало быть, предполагает такие «предикаты», устранить которые (без устранения самого объекта данного понятия) не может никакой будущий, «всякий возможный», по терминологии Канта, опыт.
Так и возникает кантовское различие чисто эмпирических и научно-теоретических обобщений. Определения понятий должны характеризоваться всеобщностью и необходимостью, т.е. должны быть заданы так, чтобы их не мог опровергнуть никакой будущий опыт.