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