Б. Бирюков - Теория смысла Готлоба Фреге

Здесь возникает следующий вопрос. Высказывая предложения, люди обычно хотят выразить не просто то, что содержащиеся в них мысли либо истинны, либо ложны, а претендуют на истинность высказываемого. Но в предложении как имени истинности или ложности утверждения истины вовсе не содержится. Чтобы преодолеть это затруднение, Фреге вводит понятие суждения ‹Urteil›.

Суждением Фреге называет «признание истинности мысли» [3, стр. 9]. Пока предложение рассматривается просто как имя истины или лжи, в нем еще нет никакого утверждения. Последнее будет иметь место лишь тогда, когда к предложению будет присоединено указание на его истинность. В обычном мышлении и научном познании на высказываемое кем-либо предложение обычно смотрят как на утверждение истины; утверждение истины в этом случае выражается самим фактом высказывания предложения.

В соответствии с этим Фреге считает необходимым ввести в свое «исчисление понятий» особый знак утверждения. Фреге пишет, что в простом равенстве «2 2= 4» не содержится никакого утверждения; это равенство просто обозначает некоторое (причем не известно какое) истинностное значение. Чтобы показать, что речь идет об утверждении истины, Фреге предпосылает имени истинностного значения знак «|-», так что в «|- 2 2= 4» утверждается, что квадрат двух есть четыре. «Для меня, ― говорит автор «Основных законов арифметики», ― суждение является не пустой оболочкой мысли, но признанием ее истинности». [5, стр. 34, примечание] [34] .

Принцип замены равнозначным в применении к предложениям касается истинностных значений. Фреге пишет: «Если наше предположение, что значение предложения есть его истинностное значение, правильно, то тогда последнее должно оставаться без изменения, если заменить часть предложения выражением, имеющим то же значение, но другой смысл» [5, стр. 35].

Применимость этого принципа в простейших случаях очевидна. Так, если в предложении (5) заменить имя 4) на отличное по смыслу, но одинаковое по значению имя 6), то истинностное значение предложения (6), получающегося в результате этой замены, совпадает с истинностным значением исходного предложения (и то, и другое истинно).

Теперь возьмем такой пример:

(7) «Георг IV однажды спросил, является ли Вальтер Скотт автором Ваверлея» [35] .

Заменим в (7) имя «автор Ваверлея» равнозначным ему именем «Вальтер Скотт». Мы получим предложение:

(8) «Георг IV однажды спросил, является ли Вальтер Скотт Вальтером Скоттом».

В то время как предложение (7) истинно (то, что английский король некогда поставил указанный вопрос, это исторический факт), предложение (8), по всей вероятности ложно (вряд ли Георг IV сомневался в том, что Вальтер Скотт есть Вальтер Скотт). Мы видим, таким образом, что принцип замены нарушается. Это связано с тем, что заменяемое выражение входит в состав косвенной речи.

Как мы увидим далее, теория Фреге устраняет парадоксы этого рода, соответствующим образом объясняя смысл и значение слов в косвенной речи. К рассмотрению фрегевского истолкования косвенной речи мы и переходим.

Пользование языком основано на принципе, согласно которому, если мы в предложении хотим сказать нечто о каком-либо предмете, мы пользуемся не самим этим предметом, но его именем [20, стр. 68 и 224; 21, стр. 95]. Этот принцип очевиден и не может быть нарушен, пока предметом высказывания не оказываются сами языковые выражения. Естественные языки, служащие целям общения людей друг с другом, являющиеся материальной оболочкой мысли, орудием познания внешнего мира, как раз и отличаются тем, что на этих языках можно говорить также о самом языке, о выражениях языка, о смысле выражений языка. В этом случае, если мы смешаем знак и обозначаемое, может получиться парадокс, пример которого приводит переводчик книги С. К. Клини «Введение в метаматематику): А. С. Есенин-Вольпин [20, стр. 225].

Фреге это понимал. Он требовал строго различать предмет и его имя, критикуя тех, кто смешивал обозначаемое и обозначающее [ср. 6]. Чтобы предупредить такое смешение в случае, когда речь шла о самих выражениях языка, Фреге или употреблял метаязыковые знаки, или заключал языковые образования в кавычки (начиная с [5] он стал помещать выражения, о которых шла речь, между двумя запятыми). То, что Фреге обратил такое серьезное внимание на необходимость отличать знак от обозначаемого им предмета есть его бесспорная заслуга.