λp.λw.∃p'∈CQ[p'(w) ∧ p' ⩾ p].∀p'∈CQ[p'(w) → p ⩾ p']

Перед вами значение английской частицы only, выполненное на языке формальной семантики. По-видимому, значение русской частицы только выглядит как-то похоже. Страшно?

Зачем лингвисты так делают? Почему перевод языковых значений на язык формальной логики помогает понять много важного о языке? Приходите, разберёмся.

Занятие проведет старший преподаватель Школы лингвистики ФГН НИУ ВШЭ Алексей Козлов.

Начало в 18.20, адрес: ул. Старая Басманная, 21/4, стр.1, ауд. 503 (аудитория находится в основном корпусе А на пятом этаже); м. Курская, Красные ворота). Внимание! Вход в здания НИУ ВШЭ – по пропускам. Поэтому, если вы еще не зарегистрированы в ШЮФ, необходима предварительная запись по адресу ilazareva@hse.ru или amikhaylenko@hse.ru Во время прохода в здание нужно иметь с собой паспорт.