Важным шагом в логических исследованиях Карнапа стало дополнение синтаксического анализа языка семантическим, т. е. опирающимся на понятия значения и истины. В 1920–1930-е годы главным образом усилиями логиков Львовско-Варшавской школы были заложены основы логической семантики. Так, Тарский разработал общий метод построения точных определений истины для дедуктивных языковых систем, т. е. метод формулировки правил, определяющих для каждого предложения такой системы необходимые и достаточные условия его истинности [Тарский, 1998, с. 90–129]. Эти правила формулируются в метаязыке, и каждому предложению объектного языка они ставят в соответствие задаваемые в метаязыке условия, при которых это предложение истинно [47]. Это позволяет дать строгое и точное описание отношений между предложениями языка и фактами. Взяв теорию Тарского в качестве основы, Карнап создал развернутую концепцию логической семантики в серии работ под общим названием «Исследования по семантике» («Studies in Semantics», 1942–1947) [48].
В рамках своей концепции Карнап сформулировал метод семантического анализа, который назвал методом экстенсионала и интенсионала и который является развитием и обобщением фрегевского подхода к анализу значения. Понятия экстенсионала и интенсионала соответствуют значению и смыслу, предложенным Фреге. Различие между этими парами терминов состоит лишь в том, что у Фреге они, по мнению Карнапа, являются экспликатами понятий «денотация» и «коннотация», предложенных Дж. С. Миллем, а экстенсионал и интенсионал являются экспликатами для таких логических терминов, как объем и содержание понятия. Все языковые выражения, к которым применяется семантический анализ и которые соответственно имеют более или менее независимое значение, Карнап называет десигнаторами и выделяет среди них три основных вида: индивидные выражения, предикаторы и (декларативные) предложения. Десигнатор любого вида обладает экстенсионалом и интенсионалом. Для определения последних Карнап вводит понятия фактической истинности (F — истинности) и логической истинности (L — истинности) [49], а также понятия (фактической) эквивалентности (F — эквивалентности) и логической эквивалентности (L — эквивалентности). Если для установления F — истинности предложения необходимо обращаться к внеязыковым фактам, то L — истинность устанавливается на основе одних лишь семантических правил языка. Два предложения являются F — эквивалентными, если они одновременно F-истинны или одновременно F — ложны. Понятие F — эквивалентности Карнап распространяет, с соответствующими уточнениями, на все виды десигнаторов и на его основе определяет L — эквивалентность: два десигнатора L — эквивалентны, если их F — эквивалентность вытекает из одних только семантических правил, т. е. если они одновременно L — истинны или одновременно L — ложны. Все эти понятия нужны Карнапу для того, чтобы сформулировать следующие два постулата. 1. Два десигнатора имеют один и тот же экстенсионал, если и только если они F — эквивалентны. Это означает, что экстенсионалом индивидного выражения является объект, предикатора — класс объектов, а предложения — истинностное значение. 2. Два десигнатора имеют один и тот же интенсионал, если и только если они L — эквивалентны. В результате интенсионалом индивидного выражения является индивидный концепт (смысл), предикатора — свойство или отношение, предложения — выражаемое им суждение [50]. Интенсионал десигнатора — это то, что известно человеку, когда он понимает данный десигнатор. Экстенсионалы десигнаторов определяются их интенсионалами, и механизм этого определения обеспечивается связью между интенсионалом и аналитической истиной. Так, в случае индивидных выражений этот механизм состоит в том, что некоторый объект входит в экстенсионал некоторого выражения, если и только если он имеет характеристики, включенные в интенсионал данного выражения [51].
Итак, в логической семантике Карнапа допускаются в качестве экстенсионалов разного рода языковых выражений (т. е. того, что обозначается ими) не только отдельные «индивиды», но и такие абстрактные сущности, как классы, свойства и т. п. Многие его молодые коллеги (У.В.О. Куайн, Н. Гудмен и др.) усмотрели в таком решении проявление платонизма и стали настаивать на том, что нельзя просто «гипостазировать» подобные сущности; необходимо доказать, что они «действительно существуют». Ответ на возражения своих оппонентов Карнап дал в статье «Эмпиризм, семантика и онтология» (1950), где и сформулировал теорию языковых каркасов. Чтобы лучше понять, чем вызвана предложенная в рамках этой теории трактовка онтологических вопросов, необходимо принять во внимание ряд важных аспектов логического эмпиризма Карнапа.
Как известно, одной из центральных тем в творчестве Карнапа был поиск точного и строгого выражения основной идеи эмпиризма, трактуемой им как сведение всех предложений науки к некоторому классу элементарных («протокольных») предложений, образующих предел их логического анализа и фиксирующих «чистый» опыт. Система знания воспринималась им как закрытая система, в которой протокольные предложения обеспечивали неопровержимый и абсолютно достоверный базис знания, а сводимость к ним всех других предложений науки трактовалась как критерий их истинности и осмысленности. В осуществлении эмпирической редукции Карнап отводил принципиальную роль построению формально-логических языков и строгому определению процедур сведения. Первую попытку соединения эмпиризма и логики Карнап предпринял в книге «Логическое построение мира» («Der logische Aufbau der Welt», 1928), где им была разработана «конструкционная» методология сведения всего массива знания к феноменалистическому базису, составленному из элементов индивидуального чувственного опыта [52]. Эта методология предполагала построение многоуровневой системы понятий, связанных между собой цепями определений, цель которых — обеспечить строгую сводимость понятий более «высоких» уровней к понятиям низшего уровня [53]. Возможность использования ресурсов символической логики для подобной реконструкции знания, а главное, для описания «сырого материала» опыта обосновывалась Карнапом тем, что наука имеет дело с описанием не содержания опыта, а лишь его структурных свойств, допускающих формальное представление в логических символах. С помощью разработанной им «конструкционной» методологии Карнап надеялся продемонстрировать адекватность предложенного логическими позитивистами верификационистского критерия значения, согласно которому предложение имеет значение, если оно может быть верифицировано, т. е. сведено к протокольным предложениям.
Вскоре, однако, под влиянием критики со стороны О. Нейрата, К. Поппера и др., а также в ходе собственных исследований Карнап осознал неосуществимость подобного проекта реконструкции знания. Во-первых, обнаружилась неприемлемость феноменалистического базиса, ибо сугубо индивидуальный характер опыта, фиксируемого в протокольных предложениях, противоречит общезначимости научного знания и не обеспечивает возможности коммуникации и интерсубъективной верификации. Во-вторых, логические исследования показали невозможность строгого определения в терминах наблюдаемых характеристик, даже наиболее близких к эмпирическому базису теоретических понятий — так называемых диспозиционных предикатов, выражающих предрасположенность объекта реагировать определенным образом при определенных обстоятельствах. В-третьих, была осознана чрезмерная жесткость верификационистского критерия значения, отсекающего от науки многие ее важные части (например, предложения, выражающие научные законы, утверждения о прошлом и др.). Все это побудило Карнапа пересмотреть и эмпирический базис системы знания [54], и процедуры сведения всего знания к этому базису [55], что повлекло за собой значительную либерализацию критерия значения и в конечном счете замену понятия верификации более слабым понятием подтверждения. Согласно новому критерию, значение предложения уже не заключается в фиксации «непосредственно данного», а раскрывается через бесконечный ряд предложений наблюдения, служащих элементами подтверждения.
Во всех своих попытках осуществить логическую реконструкцию системы знания Карнап, как и Рассел, стремился подвести под эту систему надежный и достоверный эмпирический базис, однако в их подходах в решении этой задачи есть существенные различия. Одно из различий состоит в том, как трактуется связь между понятиями истины и существования в их концепциях. У Рассела истинность атомарного предложения имеет в качестве необходимой предпосылки существование тех объектов и сущностей, которые обозначаются логическими именами собственными. Существование же этих объектов и сущностей удостоверяется тем непосредственным контактом с ними, который осуществляется в акте знания-знакомства. У Карнапа же «первичным» оказывается понятие истины. Языковыми выражениями, в которых фиксируется непосредственный опыт субъекта, являются протокольные предложения; в их истинности субъект удостоверяется сразу благодаря самому факту наличия у него такого опыта. Вопрос о том, что обозначают составные части протокольных предложений и существует ли обозначаемое ими, это уже следующий вопрос, и ответ на него предполагает проведение определенного логического анализа. О «приоритете» истины по отношению к существованию говорит хотя бы то, что верификационистский критерий значения формулируется для предложений («значение предложения есть способ его верификации»), а не для отдельных слов и словосочетаний. Таким образом, в трактовке значения начинается постепенный переход от «атомизма» к «холизму», когда не значение частей определяет значение целого, а значение целого определяет значение частей.
