Теперь, поскольку, как мы видели, смысл является познавательным понятием, может показаться, что этот эпистемологический компонент теории значения должен относиться скорее к теории смысла, чем к теории действия. Даже если теория референции просто сообщает, как должно обстоять дело, чтобы предположение было истинным, разве не должна теория смысла сообщать не только то, каким образом нам известны условия истинности предложения, но и то, каким образом мы можем знать или на каком основании можем судить о том, что предложение истинно? Не следует ли это из того, что Фреге был прав, полагая, что понятие смысла может быть использовано не только для того, чтобы сделать теорию значения в то же время и теорией понимания, т.е. репрезентировать наше понимание значений наших выражений, но также и для того, чтобы дать объяснение употребления языка в целях передачи информации, поскольку информация является познавательным понятием, и что количество переданной информации должно зависеть от того, какие шаги первоначальный информатор должен был предпринять, чтобы получить ее?

Фреге на эти вопросы, конечно, ответил бы ”нет”. Для него смысл предложения выявляет его познавательное значение (информационное содержание) только в той мере, в какой он определяет, что знает тот, кто понимает предложение, когда он знает, что предложение истинно, и как он мог бы узнать об этом на основании собственного знания, и в гораздо меньшей степени то, что могло бы заставить его считать это предложение истинным, не зная, что оно истинно. Зная смысл предложения, он знает, что оно выражает определенную мысль, т.е. он знает, что предложение истинно, если, и только если, имеет место определенное условие; таким образом, при принятии предложения в качестве истинного мысль, выражаемая, по его мнению, этим предложением, представляет собой усвоенную им информацию, а именно информацию о том, что условие истинности предложения соблюдается; каким образом была первоначально получена эта информация — это совершенно другой вопрос, который относится к эпистемологии, а отнюдь не к теории значения.

На первый взгляд эта доктрина кажется ясной и четкой; однако при ближайшем рассмотрении такое впечатление исчезает. Если смысл предложения не связан с нашими методами определения его истинности, почему тогда Фреге отказывается признать, что два аналитически эквивалентных предложения имеют один и тот же смысл? Доктрина, в соответствии с которой в модальных контекстах предложение обозначает свой смысл, не нарушалась бы такой уступкой, поскольку из двух таких предложений невозможно было бы, чтобы одно из них было истинно, а другое ложно; а уступка соблазнительна, поскольку Фреге располагает хорошо разработанной теорией аналитичности, в то время как, если два аналитически эквивалентных предложения могут отличаться по смыслу, не возникает никакого очевидного критерия тождества смыслов. Разумеется, если бы мы согласились с этой уступкой, невозможно было бы утверждать, что смыслы предложений (мысли) являются объектами веры и знания, т.е. что референтом предложения является его смысл, когда оно входит в предложение с глаголом ”пропозициональной установки”: однако сама эта доктрина требует, чтобы смысл был связан со способом знания или основанием верования.

Наш вопрос таков: можем ли мы сказать, что смысл определяет только объект знания или веры — то, что известно или во что верят и не определяет, каким образом он известен и почему в него верят? Трудность состоит в том, что эти две вещи, на первый взгляд столь разные, связаны друг с другом слишком тесно, чтобы их можно было рассмотреть отдельно. Почему два предложения, A и В, не могут иметь один и тот же смысл? Вполне возможно, что единственный довод против этого состоит в том, что ”X верит (знает), что A” может быть истинным несмотря на то, что ”X верит (знает), что В” ложно. То, что делает такую ситуацию возможной, заключается в том, что основание для веры в истинность А не является основанием для веры в истинность В; и вывод таков, что, поскольку в этих косвенных контекстах А и В обозначают соответствующие смыслы, эти смыслы должны быть различными, иначе истинностные значения сложных предложений, в которые входят A и B, совпадут. Отсюда следует, что различие в возможных основаниях того или иного верования или в способе того или иного фрагмента знания порождает различие в объектах верования или знания; и это подтверждает наше первоначальное утверждение, что, постигая возможный объект веры или знания, т.е. понимая смысл предложения, мы тем самым должны знать, какие основания может иметь это верование и как можно прийти к этому знанию. Концепция Фреге, в соответствии с которой мысль представляет собой возможный объект знания или веры, не обязательно должна быть окружена доктринами, которые привели нас к этому выводу; однако в действительности это так и было.

Два аналитически эквивалентных предложения не могут в общем случае иметь одно и то же информационное содержание, и, следовательно, один и тот же смысл, так как можно знать, что одно из них истинно, не зная при этом, что истинно и другое; некто, зная, что одно из этих предложений истинно, мог бы, следовательно, получить информацию об истинности другого предложения, а это значит, что информация, содержащаяся в каждом из этих предложений, должна быть различной. Отсюда следует, что средства, с помощью которых предложение может быть распознано в качестве истинного, имеют отношение к смыслу этого предложения. Можно было бы утверждать, что показано лишь то, что если информация, содержащаяся в одном предложении, может быть усвоена независимо от информации, содержащейся в другом предложении, то эти два объема информации должны быть различными, поскольку относительно них верны разные вещи, и определение того, что собой представляют эти объемы информации, не предполагает того, каким образом они могут быть усвоены. Но этому противоречит тот факт, что, по Фреге, понятие аналитичности и более общее понятие априорности можно определить с помощью условий истинности предложения; и, конечно, смысла предложения достаточно, чтобы определить, аналитично оно или синтетично, априорно или апостериорно. И все-таки в объяснении Фреге мало указаний на то, каким образом способ, которым задан смысл предложения, связан с основаниями, на которых мы можем утверждать, что это предложение истинно.

Я думаю, что тот недостаток фрегевского объяснения смысла, с которым связан этот пробел, кроется в том, что Фреге не настаивал на том, что теория смысла должна объяснять, в чем же проявляется понимание смысла говорящим; и эта позиция Фреге обусловлена требованиями построить теорию смысла в рамках реалистической теории значения, оперирующей понятием условий истинности предложений. Смысл, полагает Фреге, есть нечто объективное; т. е. можно точно установить, употребляют ли двое говорящих какое-либо выражение в одном и том же смысле, и при этом один говорящий может эффективным образом сообщить другому смысл, который он придает тому или иному выражению. Это возможно только в том случае, если смысл слова однозначно определяется через наблюдаемые характеристики его языкового употребления (т.е. только если смысл — это употребление); отсюда следует, что понимание смысла слова полностью проявляется в том, каким образом использует это слово говорящий. Если бы было необходимо представить понимание говорящим смысла слова как знание им какого-нибудь суждения, осознание которого предполагало бы выход за пределы всякого простого практического знания, т.е. если бы смысл слова нельзя было исчерпывающе объяснить посредством способности употреблять конкретным образом предложения, содержащие это слово, тогда смысл не был бы полностью коммуникабельным: мы никогда не были бы уверены, что, обучив кого-нибудь определенной языковой практике, мы тем самым действительно сообщили ему правильный смысл этого слова. Тезис Фреге о том, что смысл объективен, является, таким образом, имплицитным предвосхищением (в отношении того аспекта значения, который конституирует смысл) доктрины Витгенштейна, в соответствии с которой (или одной из семейств такого рода доктрин) смысл есть употребление. Однако Фреге так и не сделал из этого выводов в отношении форм, в которых может проявляться смысл слова. Так, в случае собственных имен, в самом грубом приближении понимание говорящим смысла имени следовало бы представить как способность эффективно определить, по отношению к любому данному объекту, является ли он носителем этого имени. В соответствии с любой заслуживающей доверия теорией значения, это объяснение следует обобщить. В соответствии и с верификационистской, и с фальсификационистской теорией, нам следовало бы сказать, что понимание смысла имени заключается в способности распознавать то, что следует считать средством окончательного установления для данного объекта, того, что он является носителем имени. Однако в соответствии с реалистической теорией даже это является слишком ограниченным объяснением: мы должны сказать, скорее, что понимание смысла имени заключается в знании того, что должно быть истинно по отношению к любому данному объекту для того, чтобы он был носителем этого имени; а поскольку условие, которое должно быть выполнено объектом, может быть таким, что будет выходить за пределы нашей способности распознавать, в тех или иных случаях, соблюдается оно или нет, то понимание имени при таком толковании не будет, вообще говоря, тем, что может быть полностью выявлено в процессе употребления имени. Подобным же образом требование Фреге о том, что предикат должен быть всюду определен, выражено им в виде требования, чтобы он был определен для любого объекта, независимо от того, приложим к объекту этот предикат или нет; но он эксплицитно допускает, что мы можем и не быть способны в тех или иных случаях сделать это. Наша способность распознать, что предикат тем не менее определен, должна, следовательно, зависеть от придания нами этому предикату такого смысла, что мы можем сказать, что имеется определенное условие для его применимости, не зная при этом, как показать, выполняется это условие или нет; и снова из этого следует, что наше понимание смысла предиката не может полностью проявиться в нашем употреблении этого предиката. Можно было бы утверждать, что определенные черты этого употребления, например в конкретных случаях применения закона исключенного третьего, свидетельствуют о нашем убеждении в том, что предикат обозначает некоторое условие, которое определенно либо выполняется, либо не выполняется каждым объектом; но наше употребление предиката никогда не может полностью выявить, каково же то условие, которое мы связываем с данным предикатом. Первый из двух доводов Фреге в пользу различия между смыслом и референтом имеет целью показать, что нельзя приписать говорящему знание референта какого-либо выражения, не приписывая ему знание определенного суждения; но Фреге не сумел решить проблему, каким образом в объяснении понимания говорящим какого-либо выражения как знания им соответствующего суждения можно избежать порочного круга, если знание суждения не может быть в свою очередь объяснено без апелляции к способности формулировать это суждение. Именно из-за этого он не сумел дать убедительного объяснения связи между смыслом и знанием.

Заменить реалистическую теорию значения верификационистской теорией — значит сделать первый шаг в выполнении требования, чтобы мы включили в нашу теорию смысла объяснение того основания, исходя из которого мы судим об истинностных значениях наших предложений, поскольку это действительно объясняет значения выражений с учетом реальных человеческих способностей распознания истины. Я уже отмечал, однако, что этот шаг сам по себе еще не приводит нас к удовлетворению этого требования, и у меня нет ясного представления о том, как это можно сделать. Естественно считать это требование чрезмерным и рассматривать его как требование, чтобы теория значения взяла на себя функции теории знания. Если бы мы были убеждены в том, что мы понимаем в принципе, каким образом смысл предложения определяет то, что мы считаем свидетельством истинности предложения , и что проблемы в этой области, как бы сложны они ни были, касаются отдельных деталей, тогда вполне можно было бы отнести их к другой философской дисциплине; но трудность состоит в том, что мы не вправе так поступить. Концепция значения — т.е. выбор центрального понятия для теории значения — является адекватной только в том случае, если существует общий метод получения, из значения предложения как оно дано, каждой характеристики употребления предложения, то есть всего, что должно быть известно говорящему, если он собирается правильно употреблять это предложение; несомненно, среди тех вещей, которые он должен знать, есть и то, что является основанием истинности предложения. Большинство из нас безмятежно полагает, что теория значения, оперирующая понятием условий истинности, способна выполнить эту роль, не останавливаясь при этом на трудностях создания рабочей теории такого типа. С учетом нашего нынешнего, весьма несовершенного понимания этих вопросов нам следует признать, что верификационистская теория значения более предпочтительна, чем радикальная реалистическая теория, а фальсификационистская теория, вероятно, еще лучше. Но до тех пор, пока мы не имеем при том или ином выборе центрального понятия теории значения убедительного объяснения того способа, которым каждая особенность употребления предложения может быть определена, исходя из значения предложения, посредством применения к нему центрального понятия, мы остаемся без твердого основания, которое позволило бы нам заявить, что мы знаем, чем, в сущности, является значение. И до тех пор, пока мы остаемся в этом неустойчивом философском положении, любую проблему, решение которой, при условии что выбор центрального понятия для теории значения сделан, поможет ответить на вопрос о правильности этого выбора, следует считать прямым делом философии языка.