Язык, онтология и реализм - [25]

-истинности) и логической истинности (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]. Возможность использования ресурсов символической логики для подобной реконструкции знания, а главное, для описания «сырого материала» опыта обосновывалась Карнапом тем, что наука имеет дело с описанием не содержания опыта, а лишь его структурных свойств, допускающих формальное представление в логических символах. С помощью разработанной им «конструкционной» методологии Карнап надеялся продемонстрировать адекватность предложенного логическими позитивистами верификационистского критерия значения, согласно которому предложение имеет значение, если оно может быть верифицировано, т. е. сведено к протокольным предложениям.

Вскоре, однако, под влиянием критики со стороны О. Нейрата, К. Поппера и др., а также в ходе собственных исследований Карнап осознал неосуществимость подобного проекта реконструкции знания. Во-первых, обнаружилась неприемлемость феноменалистического базиса, ибо сугубо индивидуальный характер опыта, фиксируемого в протокольных предложениях, противоречит общезначимости научного знания и не обеспечивает возможности коммуникации и интерсубъективной верификации. Во-вторых, логические исследования показали невозможность строгого определения в терминах наблюдаемых характеристик, даже наиболее близких к эмпирическому базису теоретических понятий — так называемых диспозиционных предикатов, выражающих предрасположенность объекта реагировать определенным образом при определенных обстоятельствах. В-третьих, была осознана чрезмерная жесткость верификационистского критерия значения, отсекающего от науки многие ее важные части (например, предложения, выражающие научные законы, утверждения о прошлом и др.). Все это побудило Карнапа пересмотреть и эмпирический базис системы знания