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