Ричард Монтегю: человек, который попытался формализовать язык

В мире науки есть фигуры, которые остаются загадкой даже после смерти. Ричард Меретт Монтегю — одна из них. Гениальный логик, философ и лингвист, он стал автором революционной идеи: естественный язык можно описать с математической точностью.

Это был дерзкий вызов как математикам, так и лингвистам. До Монтегю многие считали, что человеческая речь слишком хаотична и сложна, чтобы подчиняться строгим формулам. Но Монтегю думал иначе: «Нет никакой существенной разницы между языком математики и языком повседневным», — утверждал он.

Краткая биография.

Ричард родился 20 сентября 1930 года в Стоктоне (Калифорния). Сначала его интересовала журналистика, но вскоре он увлёкся математикой, философией и семитскими языками. Его учителем был сам Альфред Тарский — один из величайших логиков XX века.

В 1957 году Монтегю защитил диссертацию по аксиоматике теории множеств. С этого момента его жизнь была неразрывно связана с Калифорнийским университетом, где он преподавал и вел исследования.

Трагическая гибель.

7 марта 1971 года Монтегю был найден мертвым в своем доме в Лос-Анджелесе — задушенным полотенцем в ванной. Убийца так и не был найден. До сих пор обстоятельства его смерти остаются загадкой, а среди коллег ходили слухи о том, что она могла быть связана с его личной жизнью или научными спорами.

Главная идея: формализация языка.

В конце 1960-х Монтегю разработал то, что сегодня известно как грамматика Монтегю — модельно-теоретический подход к описанию языка.

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

Например:

«Каждый мальчик бежит».

Монтегю предложил переводить такие фразы в логические формулы, чтобы они могли быть обработаны формально. Это стало основой для создания языков программирования, автоматического перевода и современных чат-ботов — отчасти именно благодаря его идеям сегодня возможен диалог человека и машины.

Он также ввёл в лингвистику принцип композициональности, вдохновлённый Фреге:

Значение целого определяется значениями его частей и правилами их комбинации.

Именно этот принцип лежит в основе современных поисковиков, систем анализа текста и даже искусственного интеллекта.

PTQ — его главная работа.

В статье Proper Treatment of Quantification (1973) Монтегю показал, как с помощью логики можно описать даже такие сложные конструкции, как местоимения и кванторы («каждый», «некоторые»).

Эта работа стала для формальной семантики тем же, чем Синтаксические структуры Хомского были для синтаксиса.

Лингвист Эммон Бах писал:

«Хомский доказал, что английский язык можно описать как формальную систему.

Монтегю доказал, что английский язык можно описать как интерпретированную формальную систему».

Наследие Монтегю.

Сегодня его идеи применяются в самых разных областях:

• лингвистика и философия языка;

• искусственный интеллект и машинный перевод;

• логическое программирование и теория баз данных;

• когнитивные науки.

Без Монтегю современные голосовые ассистенты, нейросети и даже поисковые системы выглядели бы совсем иначе.

Его жизнь оборвалась слишком рано — в 40 лет. Но его идеи продолжают жить, а загадка его смерти до сих пор будоражит воображение исследователей.

Вопрос для размышления:

Может ли язык — такой живой и изменчивый — быть полностью описан с математической точностью? Или всегда останется неуловимая грань, ускользающая от формализации?

Источник: vk.com

Комментарии: