***
Но вернемся к Фреге. Научное творчество этого несомненно выдающегося немецкого логика и математика представляет собой хорошую иллюстрацию приведенных выше слов Энгельса о людях, которые, внося свой вклад в познание мира человеком, тем не менее исходят зачастую из неудачных и односторонних предпосылок, допускают теоретические промахи. Неудачные, односторонние предпосылки, из которых исходил Фреге – предпосылка о неизменности предметов мира, представление о возможности различения и отождествления любых объектов, с которыми мы можем иметь дело в познании, убеждение во всеобщем и неизменном характере законов мышления, рассматриваемых в формальной логике, представление о всецело объемном характере логики содержательного мышления и др.- были предпосылками метафизики. Фреге не видел ни диалектического характера процесса познания в целом, ни того, как диалектика проявляется в развитии самой математической логики.
Однако несмотря на то, что взгляды Фреге носили в целом метафизический характер, его труды (в частности, осуществленное им изучение понятия смысла) представляли собой большой вклад в развитие логики. Три линии в логике идут от Фреге. Одна из них заключается в построении объемной логики, ориентированной на обоснование математики. Эта линия идет от фрегевских «Основных законов арифметики», явившихся первым опытом применения аппарата математической логики для формализации конкретной математической дисциплины. Эту линию продолжили создатели «Principia Mathematica» и другие ученые, работавшие в области оснований математики.
Вторая линия больше связана с логикой в собственном смысле и хотя непосредственно в работах Фреге не намечена, однако вытекает из проблем, поставленных в его трудах. Она состоит в построении исчислений, выявляющих смысл содержательных логических понятий, примером которых могут быть исчисления Льюиса [30] и Аккермана [31], формализующих понятие логического следования по смыслу, в изучении логических модальностей, условно-сослагательных предложений, предложений, выражающих законы науки и причинные отношения и т. д. Третья линия в логике, берущая свое начало в трудах Фреге, непосредственно связана с тем, что явилось предметом рассмотрения в настоящей статье. Она приводит к семантическим проблемам современной логики. Дело в том, что предпринятое Фреге уточнение понятия смысла положило начало целому кругу проблем математической логики, связанных с изучением отношения между именем и предметом, между обозначающим и обозначаемым. Вместе с Пирсом Фреге явился основоположником той области современной логики, которая позднее получила название логической семантики[59].
В самые последние годы вопросы, связанные со смыслом языковых выражений, стали актуальными в связи с применением логико-математических методов в изучении естественных языков. Применение этих методов развилось вместе с работами по машинному переводу с одного языка на другой. Предпосылкой автоматического перевода является точное описание отношений между выражениями того языка, с которого переводят, и того языка, на который осуществляется перевод; только при этом условии возможно построение алгоритмов перевода. Практика, однако, показала, что то грамматическое описание языков, которое разработано обычным языкознанием, в целом мало пригодно для построения таких алгоритмов. Поэтому возник вопрос о более точной формулировке грамматик естественных языков. Так возникло то направление в изучении языка, за которым ныне все более укрепляется название математической лингвистики.
59 В математической логике термин «семантика» понимают в смысле, отличном от того, который в этот термин вкладывает обычное языкознание. Семантикой здесь называют логико-лингвистическую дисциплину, предметом изучения которой является отношение между формально построенным исчислением и той областью действительности, которая в нем отражается – его содержательной интерпретацией; в семантике стремятся уточнить такие – необходимые при интерпретации – понятия, как понятия «имени» и «предмета», «смысла» языкового выражения, «истинного» и «ложного» в формализованном языке и некоторые другие. Семантику как научное направление, как тесно связанную с лингвистикой ветвь математической логики не следует отождествлять с тем направлением в современной буржуазной философии, которое принято называть семантической философией и суть которого состоит в идеалистическом истолковании и субъективистском извращении результатов математической логики и логической семантики. При этом следует отметить, что многие работы в области семантики, принадлежащие зарубежным логикам, отражают субъективистские взгляды их авторов. Примером в этом отношении может быть книга Р. Карнапа [29]. критическое освещение которой читатель найдет к предпосланному русскому изданию предисловии С. А. Яновской.