История формальной семантики от Барбары Парти

Текст лекции Барбары Парти "Формальная семантика как порождение лингвистики и философии" -- http://polit.ru/article/2012/05/18/Partee/ (видео и аудио -- http://polit.ru/article/2012/03/28/anons_partee/). Формальная семантика, формальная прагматика. Мне почему-то кажется, что сейчас в области обработки естественного языка происходит самое интересное. И когда эта довольно мутная и эзотерическая теория вылезет на свет божий в форме публично доступных конкретных компьютерных приложений (обеспечив интерфейс между самыми разными формальными компьютерными моделями и эээ... неформальными белковыми носителями разума), никому уже мало не покажется. Я продолжаю утверждать, что в мозгу есть два разных когнитивных механизма: статистический (контент-анализ, ассоциации и аналогии, марковские цепи и т.д.) и формально-логический (с HOL). Оба важны.