Феномен науки. Кибернетический подход к эволюции

         

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


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

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

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

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

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



Содержание  Назад  Вперед







Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий