Страница:
Важным шагом в логических исследованиях Карнапа стало дополнение синтаксического анализа языка семантическим, т. е. опирающимся на понятия значения и истины. В 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], что повлекло за собой значительную либерализацию критерия значения и в конечном счете замену понятия верификации более слабым понятием подтверждения. Согласно новому критерию, значение предложения уже не заключается в фиксации «непосредственно данного», а раскрывается через бесконечный ряд предложений наблюдения, служащих элементами подтверждения.
Во всех своих попытках осуществить логическую реконструкцию системы знания Карнап, как и Рассел, стремился подвести под эту систему надежный и достоверный эмпирический базис, однако в их подходах в решении этой задачи есть существенные различия. Одно из различий состоит в том, как трактуется связь между понятиями истины и существования в их концепциях. У Рассела истинность атомарного предложения имеет в качестве необходимой предпосылки существование тех объектов и сущностей, которые обозначаются логическими именами собственными. Существование же этих объектов и сущностей удостоверяется тем непосредственным контактом с ними, который осуществляется в акте знания-знакомства. У Карнапа же «первичным» оказывается понятие истины. Языковыми выражениями, в которых фиксируется непосредственный опыт субъекта, являются протокольные предложения; в их истинности субъект удостоверяется сразу благодаря самому факту наличия у него такого опыта. Вопрос о том, что обозначают составные части протокольных предложений и существует ли обозначаемое ими, это уже следующий вопрос, и ответ на него предполагает проведение определенного логического анализа. О «приоритете» истины по отношению к существованию говорит хотя бы то, что верификационистский критерий значения формулируется для предложений («значение предложения есть способ его верификации»), а не для отдельных слов и словосочетаний. Таким образом, в трактовке значения начинается постепенный переход от «атомизма» к «холизму», когда не значение частей определяет значение целого, а значение целого определяет значение частей.
Логический эмпиризм Карнапа обладает еще одной интересной особенностью: в нем принципиальное значение имеет четкое различение аналитических и синтетических истин. Поскольку эмпиристы считают опыт единственным источником знания о мире, которое является поэтому апостериорным и случайным, для них всегда серьезную проблему представляло объяснение необходимого и априорного характера истин математики и логики. Решение этой проблемы логическим позитивистам, и Карнапу в частности, подсказал Витгенштейн, предложивший трактовать предложения логики и математики как тавтологии. Тем самым эти предложения перестали быть угрозой для эмпиризма: как тавтологии, они лишены эмпирического содержания и не несут никакой экзистенциальной нагрузки, а их необходимый характер проистекает из их аналитичности, ибо предложения логики и математики оказываются истинными (или ложными) исключительно в силу значений входящих в них слов. Помимо того, что аналитикосинтетическое различие позволило Карнапу безболезненно включить математику и логику в систему знания, оно дало ему и ключ к объяснению того, как нетавтологичное (синтетическое) знание получается из чувственного опыта. Карнап прекрасно понимал, что науку нельзя получить из одних только эмпирических данных. Наука имеет некоторый ненаблюдаемый, неэмпирический «компонент», который, согласно Карнапу, и придает ее законам всеобщий характер и концептуальную силу. Этот компонент выявляется при реконструкции процесса сведения научного знания к эмпирическому базису. Он фиксирует чисто формальные, структурные характеристики используемого языка и предстает в виде концептуального «каркаса» для фактуального знания. Будучи аналитическим и априорным, он создает, таким образом, структуру, в которой становятся возможными синтетические предложения.
Именно в таком духе Карнап характеризует языковой каркас в своей статье «Эмпиризм, семантика и онтология». Для него это некоторая система способов речи, подчиненная определенным правилам. Как было сказано выше, вопрос, который Карнап рассматривает в этой статье, касается существования таких абстрактных объектов, как свойства, классы, числа и т. п. Он отмечает, что эмпиристы вообще, и логические эмпиристы в частности, с подозрением относятся к такого рода абстрактным объектам, однако это не означает, что они не могут использовать язык, ссылающийся на подобные объекты, ибо «употребление такого языка не означает признания платоновской онтологии и вполне совместимо с эмпиризмом и строго научным мышлением» [Карнап, 1959, с. 299]. В целях обоснования этого положения Карнап указывает на принципиальную важность различения для каждого языкового каркаса двух типов вопросов о существовании: внутренних и внешних. Хотя внешне эти два типа вопросов могут не отличаться друг от друга, они имеют кардинально разное содержание и требуют кардинально разных ответов. Внутренние вопросы задаются и решаются в рамках определенного языкового каркаса. Идея Карнапа состоит в том, что если мы устанавливаем «язык» с его синтаксисом, словарем, правилами и процедурами проверки, то мы в принципе можем найти решение внутренним вопросам. Например, если у нас есть каркас в виде «числового языка» (содержащий, в частности, переменные для чисел, общие термины вроде «число», «четное число», «простое число», а также соответствующие правила их употребления), то вопрос «Существует ли четное простое число?» является внутренним в этом каркасе и мы располагаем концептуальными средствами для его решения. Или, скажем, на вопрос, сформулированный в каркасе «вещного языка»: «Существуют ли белые тигры?», также может быть получен ответ; только в этом случае потребуется не концептуальный анализ или вычисление, а определенное эмпирическое исследование. Внутренние вопросы могут иметь и очень общий характер, например: «Существуют ли числа?» или «Существуют ли физические вещи?», но, будучи заданными в соответствующем каркасе, они, как правило, являются аналитическими и тривиальными, ибо «если кто-либо принимает каркас для определенного рода объектов, то он обязан допустить и эти объекты в качестве возможных десигнатов» [Карнап, 1959, с. 314–315]. Таким образом, внутренние вопросы имеют отношение к введению или использованию в языковом каркасе тех или иных форм выражений, и дать на них утвердительный ответ, т. е. признать какую-либо вещь (не только абстрактную, но и физическую) существующей, значит «суметь включить эту вещь в систему других вещей, признанных реальными, в соответствии с правилами каркаса» [Карнап, 1959, с. 301].
Однако, отмечает Карнап, когда философы традиционно задают вопросы вроде «Существуют ли числа?», они, как правило, ставят вовсе не внутренний вопрос. Ибо они прекрасно знают, что существует четное простое число и что отсюда следует, что числа существуют. Их интересует не существование чисел «в арифметике», а их «реальное» существование вне какого-либо языкового каркаса. Такого рода вопросы Карнап называет внешними. Они задаются «вне» каркаса и касаются существования всей системы объектов, признаваемых в языковом каркасе. В некотором смысле они «предшествуют» введению или принятию языкового каркаса, поскольку часто считается, что введение языкового каркаса оправданно, если только можно показать, что утвердительный ответ на внешний вопрос существования является истинным. Для Карнапа же тезис о реальности, скажем, мира вещей «не может быть сформулирован на вещном языке и, по-видимому, ни на каком другом теоретическом языке» [Карнап, 1959, с. 302]. Поэтому если внешние вопросы существования истолковываются как теоретические, то они являются «псевдовопросами» и на них не может быть дано ответа[56]. Эти вопросы и ответы на них лишены познавательного значения, и их следует воспринимать как практические вопросы, касающиеся целесообразности, удобства, простоты и плодотворности использования того или иного языкового каркаса. Для Карнапа введение языкового каркаса «не нуждается в каком-либо теоретическом оправдании, потому что оно не предполагает какого-либо утверждения о реальности» [Карнап, 1959, с. 310]; оно не подразумевает никакой метафизической доктрины. Принятие или отказ от языковых каркасов «будет в конце концов решаться эффективностью их как инструментов, отношением достигнутых результатов к количеству и сложности требуемых усилий» [Карнап, 1959, с. 320]. Поэтому в соответствии со своим принципом терпимости Карнап призывает предоставить «тем, кто работает в любой специальной области исследования, свободу употреблять любую форму выражения, которая покажется им полезной» [Карнап, 1959, с. 320].
Итак, мы видим, что при таком подходе онтология становится зависимой от языка: она варьирует от языка к языку. В одном языковом каркасе числа определяются на основе множеств, которые поэтому считаются существующими; в другом каркасе существование чисел признается напрямую без ссылок на множества, существования которых не требуется. Поэтому на онтологический вопрос о том, существуют ли множества, нет прямого ответа. Ответ зависит от того, какой языковой каркас мы выберем. Независимо от выбора языка, полагает Карнап, такой вопрос просто не имеет смысла. Мы можем говорить на языке, в котором осуществляется квантификация по множествам, но это не обязывает нас принять существования множеств в каком-либо независимом от языка смысле. Мы вообще не можем говорить о том, что есть и чего нет, в независимом от языка смысле. Выбор же языкового каркаса свидетельствует лишь о том, что нам оказалось удобно или полезно для некоторых целей использовать этот каркас. Это означает, что мы ничего не можем знать о том, как детерминируется и детерминируется ли вообще наш выбор языкового каркаса внеязыковой реальностью. Что считать истинным или ложным, правильным или неправильным, существующим или несуществующим, определяют правила языкового каркаса; именно их мы выбираем, выбирая языковой каркас, но при выборе самого каркаса мы не можем руководствоваться этими правилами; наш выбор в этом случае не может с ними согласовываться, поскольку он предшествует их принятию.
Таким образом, онтологические вопросы, которые пытались ставить и решать традиционные философы, должны быть просто отброшены. По словам М. Шлика, с которым Карнап здесь полностью согласен, «мы не можем с помощью философского анализа решить, является ли что-либо реальным или нет; мы можем лишь установить, что значит сказать, что что-то является реальным» [Schlick, 1959, p. 86]. Это позволяет найти «простое» разрешение метафизических споров, в частности спора между реалистами и их противниками, поскольку этот спор, по сути, сводится к выбору между двумя языками – языком материальных вещей и языком чувственных данных[57].
В рамках своей концепции Карнап сформулировал метод семантического анализа, который назвал методом экстенсионала и интенсионала и который является развитием и обобщением фрегевского подхода к анализу значения. Понятия экстенсионала и интенсионала соответствуют значению и смыслу, предложенным Фреге. Различие между этими парами терминов состоит лишь в том, что у Фреге они, по мнению Карнапа, являются экспликатами понятий «денотация» и «коннотация», предложенных Дж. С. Миллем, а экстенсионал и интенсионал являются экспликатами для таких логических терминов, как объем и содержание понятия. Все языковые выражения, к которым применяется семантический анализ и которые соответственно имеют более или менее независимое значение, Карнап называет десигнаторами и выделяет среди них три основных вида: индивидные выражения, предикаторы и (декларативные) предложения. Десигнатор любого вида обладает экстенсионалом и интенсионалом. Для определения последних Карнап вводит понятия фактической истинности (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], что повлекло за собой значительную либерализацию критерия значения и в конечном счете замену понятия верификации более слабым понятием подтверждения. Согласно новому критерию, значение предложения уже не заключается в фиксации «непосредственно данного», а раскрывается через бесконечный ряд предложений наблюдения, служащих элементами подтверждения.
Во всех своих попытках осуществить логическую реконструкцию системы знания Карнап, как и Рассел, стремился подвести под эту систему надежный и достоверный эмпирический базис, однако в их подходах в решении этой задачи есть существенные различия. Одно из различий состоит в том, как трактуется связь между понятиями истины и существования в их концепциях. У Рассела истинность атомарного предложения имеет в качестве необходимой предпосылки существование тех объектов и сущностей, которые обозначаются логическими именами собственными. Существование же этих объектов и сущностей удостоверяется тем непосредственным контактом с ними, который осуществляется в акте знания-знакомства. У Карнапа же «первичным» оказывается понятие истины. Языковыми выражениями, в которых фиксируется непосредственный опыт субъекта, являются протокольные предложения; в их истинности субъект удостоверяется сразу благодаря самому факту наличия у него такого опыта. Вопрос о том, что обозначают составные части протокольных предложений и существует ли обозначаемое ими, это уже следующий вопрос, и ответ на него предполагает проведение определенного логического анализа. О «приоритете» истины по отношению к существованию говорит хотя бы то, что верификационистский критерий значения формулируется для предложений («значение предложения есть способ его верификации»), а не для отдельных слов и словосочетаний. Таким образом, в трактовке значения начинается постепенный переход от «атомизма» к «холизму», когда не значение частей определяет значение целого, а значение целого определяет значение частей.
Логический эмпиризм Карнапа обладает еще одной интересной особенностью: в нем принципиальное значение имеет четкое различение аналитических и синтетических истин. Поскольку эмпиристы считают опыт единственным источником знания о мире, которое является поэтому апостериорным и случайным, для них всегда серьезную проблему представляло объяснение необходимого и априорного характера истин математики и логики. Решение этой проблемы логическим позитивистам, и Карнапу в частности, подсказал Витгенштейн, предложивший трактовать предложения логики и математики как тавтологии. Тем самым эти предложения перестали быть угрозой для эмпиризма: как тавтологии, они лишены эмпирического содержания и не несут никакой экзистенциальной нагрузки, а их необходимый характер проистекает из их аналитичности, ибо предложения логики и математики оказываются истинными (или ложными) исключительно в силу значений входящих в них слов. Помимо того, что аналитикосинтетическое различие позволило Карнапу безболезненно включить математику и логику в систему знания, оно дало ему и ключ к объяснению того, как нетавтологичное (синтетическое) знание получается из чувственного опыта. Карнап прекрасно понимал, что науку нельзя получить из одних только эмпирических данных. Наука имеет некоторый ненаблюдаемый, неэмпирический «компонент», который, согласно Карнапу, и придает ее законам всеобщий характер и концептуальную силу. Этот компонент выявляется при реконструкции процесса сведения научного знания к эмпирическому базису. Он фиксирует чисто формальные, структурные характеристики используемого языка и предстает в виде концептуального «каркаса» для фактуального знания. Будучи аналитическим и априорным, он создает, таким образом, структуру, в которой становятся возможными синтетические предложения.
Именно в таком духе Карнап характеризует языковой каркас в своей статье «Эмпиризм, семантика и онтология». Для него это некоторая система способов речи, подчиненная определенным правилам. Как было сказано выше, вопрос, который Карнап рассматривает в этой статье, касается существования таких абстрактных объектов, как свойства, классы, числа и т. п. Он отмечает, что эмпиристы вообще, и логические эмпиристы в частности, с подозрением относятся к такого рода абстрактным объектам, однако это не означает, что они не могут использовать язык, ссылающийся на подобные объекты, ибо «употребление такого языка не означает признания платоновской онтологии и вполне совместимо с эмпиризмом и строго научным мышлением» [Карнап, 1959, с. 299]. В целях обоснования этого положения Карнап указывает на принципиальную важность различения для каждого языкового каркаса двух типов вопросов о существовании: внутренних и внешних. Хотя внешне эти два типа вопросов могут не отличаться друг от друга, они имеют кардинально разное содержание и требуют кардинально разных ответов. Внутренние вопросы задаются и решаются в рамках определенного языкового каркаса. Идея Карнапа состоит в том, что если мы устанавливаем «язык» с его синтаксисом, словарем, правилами и процедурами проверки, то мы в принципе можем найти решение внутренним вопросам. Например, если у нас есть каркас в виде «числового языка» (содержащий, в частности, переменные для чисел, общие термины вроде «число», «четное число», «простое число», а также соответствующие правила их употребления), то вопрос «Существует ли четное простое число?» является внутренним в этом каркасе и мы располагаем концептуальными средствами для его решения. Или, скажем, на вопрос, сформулированный в каркасе «вещного языка»: «Существуют ли белые тигры?», также может быть получен ответ; только в этом случае потребуется не концептуальный анализ или вычисление, а определенное эмпирическое исследование. Внутренние вопросы могут иметь и очень общий характер, например: «Существуют ли числа?» или «Существуют ли физические вещи?», но, будучи заданными в соответствующем каркасе, они, как правило, являются аналитическими и тривиальными, ибо «если кто-либо принимает каркас для определенного рода объектов, то он обязан допустить и эти объекты в качестве возможных десигнатов» [Карнап, 1959, с. 314–315]. Таким образом, внутренние вопросы имеют отношение к введению или использованию в языковом каркасе тех или иных форм выражений, и дать на них утвердительный ответ, т. е. признать какую-либо вещь (не только абстрактную, но и физическую) существующей, значит «суметь включить эту вещь в систему других вещей, признанных реальными, в соответствии с правилами каркаса» [Карнап, 1959, с. 301].
Однако, отмечает Карнап, когда философы традиционно задают вопросы вроде «Существуют ли числа?», они, как правило, ставят вовсе не внутренний вопрос. Ибо они прекрасно знают, что существует четное простое число и что отсюда следует, что числа существуют. Их интересует не существование чисел «в арифметике», а их «реальное» существование вне какого-либо языкового каркаса. Такого рода вопросы Карнап называет внешними. Они задаются «вне» каркаса и касаются существования всей системы объектов, признаваемых в языковом каркасе. В некотором смысле они «предшествуют» введению или принятию языкового каркаса, поскольку часто считается, что введение языкового каркаса оправданно, если только можно показать, что утвердительный ответ на внешний вопрос существования является истинным. Для Карнапа же тезис о реальности, скажем, мира вещей «не может быть сформулирован на вещном языке и, по-видимому, ни на каком другом теоретическом языке» [Карнап, 1959, с. 302]. Поэтому если внешние вопросы существования истолковываются как теоретические, то они являются «псевдовопросами» и на них не может быть дано ответа[56]. Эти вопросы и ответы на них лишены познавательного значения, и их следует воспринимать как практические вопросы, касающиеся целесообразности, удобства, простоты и плодотворности использования того или иного языкового каркаса. Для Карнапа введение языкового каркаса «не нуждается в каком-либо теоретическом оправдании, потому что оно не предполагает какого-либо утверждения о реальности» [Карнап, 1959, с. 310]; оно не подразумевает никакой метафизической доктрины. Принятие или отказ от языковых каркасов «будет в конце концов решаться эффективностью их как инструментов, отношением достигнутых результатов к количеству и сложности требуемых усилий» [Карнап, 1959, с. 320]. Поэтому в соответствии со своим принципом терпимости Карнап призывает предоставить «тем, кто работает в любой специальной области исследования, свободу употреблять любую форму выражения, которая покажется им полезной» [Карнап, 1959, с. 320].
Итак, мы видим, что при таком подходе онтология становится зависимой от языка: она варьирует от языка к языку. В одном языковом каркасе числа определяются на основе множеств, которые поэтому считаются существующими; в другом каркасе существование чисел признается напрямую без ссылок на множества, существования которых не требуется. Поэтому на онтологический вопрос о том, существуют ли множества, нет прямого ответа. Ответ зависит от того, какой языковой каркас мы выберем. Независимо от выбора языка, полагает Карнап, такой вопрос просто не имеет смысла. Мы можем говорить на языке, в котором осуществляется квантификация по множествам, но это не обязывает нас принять существования множеств в каком-либо независимом от языка смысле. Мы вообще не можем говорить о том, что есть и чего нет, в независимом от языка смысле. Выбор же языкового каркаса свидетельствует лишь о том, что нам оказалось удобно или полезно для некоторых целей использовать этот каркас. Это означает, что мы ничего не можем знать о том, как детерминируется и детерминируется ли вообще наш выбор языкового каркаса внеязыковой реальностью. Что считать истинным или ложным, правильным или неправильным, существующим или несуществующим, определяют правила языкового каркаса; именно их мы выбираем, выбирая языковой каркас, но при выборе самого каркаса мы не можем руководствоваться этими правилами; наш выбор в этом случае не может с ними согласовываться, поскольку он предшествует их принятию.
Таким образом, онтологические вопросы, которые пытались ставить и решать традиционные философы, должны быть просто отброшены. По словам М. Шлика, с которым Карнап здесь полностью согласен, «мы не можем с помощью философского анализа решить, является ли что-либо реальным или нет; мы можем лишь установить, что значит сказать, что что-то является реальным» [Schlick, 1959, p. 86]. Это позволяет найти «простое» разрешение метафизических споров, в частности спора между реалистами и их противниками, поскольку этот спор, по сути, сводится к выбору между двумя языками – языком материальных вещей и языком чувственных данных[57].