• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
2026/2027

Логика в языке

Статус: Маго-лего
Охват аудитории: для всех кампусов НИУ ВШЭ
Язык: русский
Кредиты: 6
Контактные часы: 36

Программа дисциплины

Аннотация

Есть ли логика в языке? Как связаны язык и логика? В рамках нашего курса попытаемся найти ответы на эти вопросы. Будем смотреть на разные языковые явления в разных языках, которые указывают на «логичность» языка. Среди рассматриваемых вопросов будут обсуждаться следующие: Как так получается, что носитель любого языка в состоянии понять, что из предложения Вася купил слона вчера можно сделать вывод, что Вася купил слона, но не наоборот? Почему в языках часто встречаются языковые единицы, которые хорошо себя чувствуют в отрицательных контекстах, но не выносят положительных (например, any/ever в английском, какой-либо в русском, alcun в итальянском)? И, наоборот, почему есть языковые единицы, которые несовместимы с отрицанием? Есть ли что-то общее, что объединяет те и другие? Чем отличаются кванторы в естественном языке от кванторов в логике? Дизъюнкция в языке инклюзивная, как в логике, или эксклюзивная? В каких случаях язык запрещает логические противоречия и тавтологии, а в каких нет? Какие компоненты значения являются частью нашего знания языка, а какие компоненты нет? И откуда еще они могут браться?
Цель освоения дисциплины

Цель освоения дисциплины

  • понимать разницу между семантическим и несемантическим значением, познакомиться с базовыми понятиями и идеями формальной семантики и лингвистической прагматики
Планируемые результаты обучения

Планируемые результаты обучения

  • определять сферу действия операторных единиц
  • уметь интерпретировать выражения языка логики высказываний и логики первого порядка
  • анализировать явления взаимодействия между формальной семантикой и прагматикой
  • применять принципы семантической композиции к лингвистическим данным
  • отделять семантическое значение (условия истинности) от других компонентов значения
Содержание учебной дисциплины

Содержание учебной дисциплины

  • Логика
  • Формальная семантика
  • Прагматика
Элементы контроля

Элементы контроля

  • неблокирующий домашнее задание 1
  • неблокирующий домашнее задание 2
  • неблокирующий экзамен
Промежуточная аттестация

Промежуточная аттестация

  • 2026/2027 4th module
    0.25 * домашнее задание 2 + 0.5 * экзамен + 0.25 * домашнее задание 1
Список литературы

Список литературы

Рекомендуемая основная литература

  • 9783110368505 - Heusinger, Klaus; Maienborn, Claudia; Portner, Paul - Semantics - Foundations, History and Methods - 2019 - De Gruyter Mouton - http://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=2034463 - nlebk - 2034463
  • 9783110587142 - Maienborn, Claudia; Heusinger, Klaus von; Portner, Paul - Semantics - Theories - 2019 - De Gruyter Mouton - http://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=2034464 - nlebk - 2034464
  • A course in semantics, Altshuler, D., 2019
  • Studies in the way of words, Grice, P., 1991

Рекомендуемая дополнительная литература

  • Математическая логика : учеб. пособие для вузов, Колмогоров, А. Н., 2005

Авторы

  • Ивлиева Наталья Викторовна
  • Дьячкова Анна Евгеньевна