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

Характер философских взглядов Фреге освещен в [32]. О том, как метафизические установки Фреге проявились в его теории смысла, см. ниже в настоящей статье.

28Именно потому, что предложение, содержащее мнимые собственные имена, не может быть истинным, такие имена, указывает Фреге, не могут применяться в науке.

29В России в некотором смысле аналогичного взгляда придерживался М. И. Каринский (см. [14], стр. 398), причем этот взгляд Каринского был связан с материалистической исходной точкой его логики (ср., например, [14], стр. 387, а также [15]). Подобным же образом и у Фреге его убеждение в том, что предикат приписывается или отвергается не относительно имени (логического субъекта), а относительно предмета имени, находился в непосредственной связи с материалистическими тенденциями его логических взглядов. О взглядах Фреге на логику см. [32].

30Это положение распространяется и на случаи, когда предметом имени в свою очередь является какое-либо имя или вообще языковое образование, а также и на случаи так называемого автонимного употребления имен. При автонимном употреблении языковых выражений последние выступают одновременно и в качестве обозначаемого – предмета, и в качестве обозначающего – имени этого предмета Об автонимном употреблении выражений см. [33].

31Теория смысла Фреге, и в частности его понимание предложения, оказала глубокое влияние на последующую логику. Однако отнюдь не все логики приняли фрегевскую трактовку предложений. Иногда взгляд Фреге даже называют абсурдным (ср. [26]). Но такое обвинение несправедливо. Можно, конечно, не соглашаться с Фреге. Но бесспорно одно: если принять фрегевскую теорию смысла имен и пожелать распространить ее на предложения, то волей-неволей придется рассматривать истинность и ложность в качестве их значений.

32Ср. [22], раздел «Введение», примечание 67.

33Следует иметь в виду, что выражение «мысль» Фреге употребляет в специальном смысле, как термин своей теории. В то время как обычно термин «мысль» применяют не только к смыслам повествовательных предложений, но также и содержанию (смыслу) имен (в собственном смысле), вопросительных предложений и других выражений языка, Фреге употребляет этот термин только в отношении смыслов повествовательных предложений ‹ Behauptungssatze ›.

34Предложенное Фреге различение между утверждением предложения и использованием его в качестве особого рода имена получило в дальнейшем распространение в математической логике. С некоторыми отклонениями от концепции Фреге (связанными с отказом от некоторых положений фрегевской семантики) его проводят Рассел и Уайтхед [16, стр. 92- 93], И. И. Жегалкин [17, стр. 14-15; 18, стр. 314-315, 321; 19, стр. 207] и другие авторы. Наиболее, пожалуй, полно концепцию Фреге в этом вопросе принимает Чёрч [22, раздел «Введение»].

35Этот пример разбирается у Рассела в [24] и [25] (глава «Описания»), у Чёрча в [22] (Введение. 5 01) и у других авторов. Антиномию, составляющую содержание этого знаменитого примера в современной литературе, называют антиномией отношения именования, см. [29]. § 32.

36Передача прямой речи не есть единственная форма упоминания слов. Так, в следующих предложениях (в которых нет передачи прямой речи) слово «Маша» упомянуто:

«Маша» состоит из 4 букв»,

«Слово Маша состоит из 4 букв».

«Маша состоит из 4 букв».

В последнем примере имя «Маша» употреблено автонимно – как имя самого себя. Чтобы автонимия не приводила к парадоксам, надо иметь возможность всегда отличить автонимное употребление слов от его неавтонимного употребления.

37Что касается применения принципа замены равнозначным к прямой речи (и вообще к случаю упоминания выражений), то очевидно, что слово (имя, выражение, целое предложение) в этом случае не может быть заменено ни словом с тем же обычным, ни словом с тем же косвенным значением, что и у заменяемого имени (слова, выражения, предложения). Так, в предложении

«Сенека писал: «Rationale animal est homo»

(А) выражение, стоящее в кавычках, может быть «заменено» только… тем же самым выражением. Если же учесть, что выражение

«Rationale animal est homo» (вместе с кавычками) есть имя выражения

«Rationale animal est homo»

и что для этого последнего всегда можно образовать другие имена, например, употребить кавычки иного рода

«"Rationale animal est homo"»

или, скажем, условиться обозначать его буквой «Ф», то применение принципа замены равнозначным даст предложения:

«Сенека писал: «"Rationale animal est homo"» и

«Сенека писал: Ф.