6.14. Логический анализ языка

6.14. Логический анализ языка

Итак, для логического анализа, т. е. для построения логического эквивалента фразы естественного языка, мы должны прежде всего провести синтаксический анализ фразы; результаты анализа непосредственным образом отразятся на синтаксической структуре логического выражения. Но и семантика отнюдь не останется в стороне. Когда мы говорим, что «рыжий» — это одноместный предикат, «загрыз» — двуместный предикат, «расстояние» — функция, «и» — логическая связка, «все» — квантор и т.д., мы выполняем семантический анализ понятий, выражаемых естественным языком. Мы классифицируем понятия в соответствии со схемой, зафиксированной в языке логики, и устанавливаем связь между понятиями. Логический анализ — это по существу семантический анализ. Синтаксический анализ нужен постольку, поскольку он необходим для семантического.

Логический анализ может быть более или менее глубоким. В нашем примере он весьма поверхностен. Посмотрим, могли бы мы его продолжить, и если да, то как именно.

Понятия «пес», «рыжий» и «кошка» — одноместные предикаты, которые можно признать элементарными и не подлежащими дальнейшему анализу. Это простые аристотелевские понятия, опирающиеся непосредственно на чувственный опыт; каждый нормальный человек умеет их распознавать, и единственный способ объяснить, что такое «кошка», — это показать кошку.

Понятие «бродячая» — тоже одноместный предикат, но уже более сложный. Рассуждая формально грамматически, можно было бы заключить, что «бродячая» означает «которая бродит». Но это было бы неверным заключением, ибо глагол «бродит» не указывает длительности время провождения, которое он именует. Вполне добропорядочная семейная кошка может выйти на часок побродить по крыше, и это никому не дает права назвать ее «бродячей». Правильнее определить бродячую кошку как кошку, у которой нет хозяина, или же, пользуясь отношением, которое уже входит в наше логическое выражение, как кошку, которая никому не принадлежит. Вот формальная запись этого определения:

«бродячий»(x) ? ¬(?y)(«принадлежит»(x, y)).

(Здесь подразумевается, что х — произвольный объект.)

Обратимся к отношению «принадлежит». Мы ввели его, в некотором смысле, контрабандой, ибо слова «принадлежать» не было в исходной фразе. Но оно подразумевалось и семантический анализ выявил его! Отношение принадлежности передавалось в русской фразе родительным падежом. Здесь мы видим яркий пример неоднозначности и недостаточности синтаксического анализа. Тот же самый родительный падеж, который используется в конструкции «собака вдовы», используется в конструкции «хозяйка собаки», но никак нельзя сказать, что хозяйка «принадлежит» своей собаке. Конструкцию «нос вдовы» можно, конечно, истолковать как «нос, который принадлежит вдове». Но здесь мы уже встречаемся, с семантической неоднозначностью слова «принадлежит», ибо нос, очевидно, принадлежит вдове не так, как принадлежит ей собака.

Чтобы разложить понятие «принадлежит» на элементарные составные части, надо проделать изрядную работу: описать обычаи и законы, связанные с правом собственности. Только в этом случае можно объяснить, что значит «принадлежит». Предикат «вдова» и функции «чин» и «фамилия» (которые мы уже ввели, анализируя понятие «поручик Пшебысский») также связаны с социальной сферой и требуют дальнейшего анализа. Наконец, понятие «загрыз», хотя оно и не связано с социальной сферой и явно проще (ближе к чувственному опыту), чем предыдущие понятия, также могло бы быть подвергнуто логическому анализу. В нем можно выделить, во-первых, элемент завершенности действия, выражающийся глагольной формой, во-вторых, конечный результат — смерть жертвы и, в-третьих, характерную особенность действия — использование зубов.

Логический анализ языка — чрезвычайно интересное направление исследований, но мы не можем останавливаться на нем более фундаментально. Интересующихся отошлем к книге одного из основоположников этого направления Г.Райхенбаха¹.

Итог сравнения естественного языка и языка логики подведем следующим образом. Язык логики обладает простым и полностью формализованным синтаксисом. Текст на естественном языке можно путем синтаксического и семантического анализа перевести на язык логики, т. е. сопоставить ему текст на языке логики, имеющий тот же смысл. Семантический анализ естественного текста при переводе может быть более или менее глубоким, т. е. предикаты и функции, входящие в логический текст, могут быть ближе или дальше от непосредственного чувственного и духовного опыта. Существуют такие предикаты и функции, которые разложимы на более элементарные слагающие и которые поэтому нельзя определить иначе, как сославшись на опыт. Такие предикаты и функции мы будем называть первичными.

¹ Reihenbuch H. Elements of symbolic logic. New York, 1960.