«Аналитическое» суждение – это такое суждение, в котором предикат является частью субъекта. Например, «высокий человек есть человек» или «равносторонний треугольник есть треугольник». Все такие суждения следуют из закона противоречия: утверждать, что высокий человек не есть человек, было бы внутренне противоречиво. «Синтетическое» суждение – это такое суждение, которое не является аналитическим. Все суждения, которые мы знаем только благодаря опыту, являются синтетическими. Мы не можем просто путем анализа понятий открыть такие истины, как «вторник был дождливый день» или «Наполеон был великим полководцем». Но Кант в отличие от Лейбница и всех других предшествовавших ему философов не допускает обратного, т.е. того, что все синтетические суждения известны только благодаря опыту. Это приводит нас ко второму из вышеуказанных различий.
«Эмпирическое» суждение – это суждение, которое мы не можем знать, кроме как с помощью чувственного восприятия, либо нашего собственного, либо чувственного восприятия тех, чье словесное свидетельство мы принимаем. Факты истории и географии относятся к этому типу; такими же являются законы науки – всякий раз наше знание их истины зависит от данных наблюдения. «Априорные» суждения, с другой стороны, являются такими, которые, хотя они и могут быть извлечены из опыта, когда они известны, имеют, по-видимому, другую основу, чем опыт.
Ребенку, изучающему арифметику, может помочь восприятие двух шариков и двух других шариков, и, наблюдая их вместе, он воспринимает четыре шарика. Но когда он усвоит общее суждение «2+2=4», ему не потребуется больше подтверждения примерами; суждение имеет достоверность, которую индукция никогда не может дать общему закону. Все суждения чистой математики являются в этом смысле «априорными».
Это деление Кант создал в рамках своей философии. Характеристику философии Канта – родоначальника немецкого классического идеализма читатель может найти в «Философских тетрадях» В. И. Ленина. Сама же идея Лейбница – Канта о различии аналитических и синтетических суждений продолжает свою жизнь в современной логике.
Вот к каким представлениям кантовской философии прибегает Лем, когда говорит, что организм своими зародышевыми клетками высказывает синтетические априорные суждения. Они «синтетические», потому что новые и справедливые (так как обеспечивают выживание) и априорные (ибо верны до опытной проверки ).
Здесь мы приспустим занавес и перейдем к оценке последней главы книги «Пасквиль на эволюцию», а затем и к нашим общим замечаниям и оценкам.