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

54Слова в уступительном придаточном предложении имеют прямое значение.

55С объемной точки зрения материальная импликация есть множество пар (истина, истина), (ложь, истина), (ложь, ложь).

56См. предисловие Фреге к его книге «Основания арифметики» [10].

57Следует отметить, что предлагаемый Фреге способ проведения объемной точки зрения в обычных языках не носит эффективного характера, поскольку в теории Фреге отсутствует строгий критерий решения вопроса о том, употреблено ли данное выражение прямо, употреблено ли оно косвенно или упомянуто. Ни чисто лингвистический критерий, о котором шла речь на стр. 532-533, ни тем более прием, о котором говорится далее, на стр. 533-534, не эффективны. Неэффективным характером отличаются и другие известные способы проведения принципа объемности в естественных языках (примером может служить способ, предлагаемый Расселом в [25]). Эффективное проведение принципа объемности в обычных языках, по-видимому, вообще невозможно, хотя бы уже в силу того, что живые языки находятся в состоянии непрерывного развития; но оно возможно для некоторых частей естественных языков, выделенных таким образом, что их словарный состав и грамматические правила могут быть точно определены логико-математическими средствами. Эта задача и решается при построении алгоритмов машинного перевода с одного языка на другой.

58Имеются в виду интерпретированные логические исчисления.

59В математической логике термин «семантика» понимают в смысле, отличном от того, который в этот термин вкладывает обычное языкознание. Семантикой здесь называют логико-лингвистическую дисциплину, предметом изучения которой является отношение между формально построенным исчислением и той областью действительности, которая в нем отражается – его содержательной интерпретацией; в семантике стремятся уточнить такие – необходимые при интерпретации – понятия, как понятия «имени» и «предмета», «смысла» языкового выражения, «истинного» и «ложного» в формализованном языке и некоторые другие. Семантику как научное направление, как тесно связанную с лингвистикой ветвь математической логики не следует отождествлять с тем направлением в современной буржуазной философии, которое принято называть семантической философией и суть которого состоит в идеалистическом истолковании и субъективистском извращении результатов математической логики и логической семантики. При этом следует отметить, что многие работы в области семантики, принадлежащие зарубежным логикам, отражают субъективистские взгляды их авторов. Примером в этом отношении может быть книга Р. Карнапа [29]. критическое освещение которой читатель найдет к предпосланному русскому изданию предисловии С. А. Яновской.