Аналитическая философия

В конце 30-х годов Тарскому удалось убедить Карнапа, что синтаксис не является единственной основой логики и что для полного анализа логических связей нужно также учитывать и значения. Это обстоятельства отнюдь не заставило Карнапа отказаться от попытки построить формализованный язык науки; оно лишь побудило его добавить к правилам построения и преобразования правила, управляющие значениями терминов, а же ввести другие дополнения в свою систему. Это нашло свое отражение в его работах «Введение в семантику» (1942) и «Формализация логики» (1943). Построение системы языка уже не является абсолютно свободным: оно в какой-то мере ограничивается смыслом, приписываемым терминам этого языка, и область смыслов, которые могут быть приписаны построенной системе, зависит от характера данной системы. Правила построения и преобразования в Карнаповой системе остаются по существу экстенсиональными в том смысле, что любое интенсиональное выражение, которое может появиться в системе, переводимо в экстенсиональное. Что же касается основных правил, на которые опирается логика, то переход от синтаксиса к семантике привел к существенным изменениям в них, поскольку логическая истинность теперь определяется не в синтаксических, а в семантических понятиях. Однако в отношении формального аналитического характера языка, в терминах которого, по мнению Карнапа, лучше всего эксплицируется логика науки, его взгляды по существу не изменились. Карнап доказывал Куайну, сомневающемуся в обоснованности различия между аналитическими и синтетическими высказываниями, что как бы ни обстояли дела в естественных языках, «постулаты значения» формальных систем достаточны для выделения и обоснования в них аналитических суждений.

После опубликования «Введения в семантику» Карнапово понимание системы формального языка, в терминах которого философия должна прояснять и эксплицировать язык науки, стало еще более широким признание значительной роли интенсиональной формы значения. Теперь Карнап в любом языковом выражении находит как экстенсионал, так и интенсионал. Интенсионалы требуются, помимо всего прочего, для введения логических модальностей, таких, как необходимость и невозможность. Экстенсионалом какого-либо имени или определенной дескрипции является именуемый или описываемый индивид, а интенсионалом – некоторое индивидуальное понятие. Экстенсионалом высказывания является истинностное значение этого высказывании, а интенсионалом – выражаемое им суждение. Экстенсионалом предиката является обозначаемый им класс, а интенсионалом – отличительное свойство членов данного класса. Любой экстенсионал можно выразить в терминах интенсионала, но не наоборот. Перевод как интенсионала, и экстенсионала на некоторый нейтральный язык даже лучше, чем перевод одного из них на другой, поскольку такой нейтральный перевод подчеркивает отсутствие какого бы то ни было метафизического смысла в различии экстенсиональной и интенсиональной форм значения и в то же время устраняет многие сложности в логике и языке. Карнап идет еще дальше и утверждает, что хотя интенсиональная форма значения не имеет следствий, связанных с сознанием, и может быть определена даже для робота, она необходима для понимания и употребления как языка здравого смысла, так и науки.