>[59].
В самые последние годы вопросы, связанные со смыслом языковых выражений, стали актуальными в связи с применением логико-математических методов в изучении естественных языков. Применение этих методов развилось вместе с работами по машинному переводу с одного языка на другой. Предпосылкой автоматического перевода является точное описание отношений между выражениями того языка, с которого переводят, и того языка, на который осуществляется перевод; только при этом условии возможно построение алгоритмов перевода. Практика, однако, показала, что то грамматическое описание языков, которое разработано обычным языкознанием, в целом мало пригодно для построения таких алгоритмов. Поэтому возник вопрос о более точной формулировке грамматик естественных языков. Так возникло то направление в изучении языка, за которым ныне все более укрепляется название математической лингвистики.
Основной проблемой перевода, в том числе и автоматического перевода, является проблема сохранения смысла выражения (данного языка) при переводе его на другой язык. Уже Фреге, разъясняя понятие смысла языкового выражения, характеризовал его как то, что сохраняется неизменным при переводе с одного языка на другой. Естественно поэтому, что в математической лингвистике круг вопросов, связанных со смыслом, приобрел существенное значение. Как мы знаем, Фреге не сформулировал каких-либо правил, относящихся к смыслам. Последующее развитие семантики привело к построению семантических систем, в которых понятие смысла подвергалось уточнению (ср., например, [29]). Возникновение математической лингвистики, приступившей к логико-математическому анализу естественных языков, показало, что, с одной стороны, такого рода системы могут быть практически полезны в лингвистическом анализе, но, с другой стороны, обнаружило сильную ограниченность многих семантических систем (в том числе системы, развитой в [29], ср. предисловие С. А. Яновской к русскому изданию этой книги). Проблемы семантики, и в частности, вопросы, связанные со смыслом языковых выражений, в настоящее время оживленно обсуждаются в лингвистической и логико-математической литературе и было бы, пожалуй, преждевременным делать выводы, предвосхищающие результаты ведущихся в этой области исследований. Тем не менее вряд ли можно сомневаться, что окончательная ясность в эту область логико-лингвистической проблематики будет внесена практикой, в качестве которой в данном случае выступают работы по машинному переводу и усилия по созданию искусственных информационных языков и языков-посредников, используемых при автоматическом переводе. И очевидно, что каждый успех в этой области будет шагом вперед в решении той задачи, которую Фреге выражал словами «стараться разглядеть одну и ту же мысль в ее разнообразных одеяниях» [7, стр. 196], подчеркивая ее важность для логики.
