2026/2027
Введение в неклассические логики
Статус:
Дисциплина общефакультетского пула
Кто читает:
Школа философии и культурологии
Где читается:
Факультет гуманитарных наук
Когда читается:
1 модуль
Охват аудитории:
для всех кампусов НИУ ВШЭ
Преподаватели:
Долгоруков Виталий Владимирович
Язык:
русский
Кредиты:
3
Контактные часы:
28
Программа дисциплины
Аннотация
Курс будет посвящен введению неклассические логики. Главным образом мы сосредоточимся на семействе модальных и интуиционистских логик, однако затронем и другие логики. Мы поговорим о переводах межу логиками, построении исчислений различного типа, а также обсудим вопросы полноты, разрешимости и вычислительной сложности.
Планируемые результаты обучения
- знает основные системы модальных логик
- знает основные этапы развития современной философской логики
- знает основы интуиционистской логики
- знает основы многозначных логик
- умеет устанавливать выполнимость в модели Крипке для модальной формулы
Список литературы
Рекомендуемая основная литература
- A logical theory of causality, Bochman, A., 2021
- Васюков, В. Л. Категорная логика : учебник для вузов / В. Л. Васюков. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2025. — 178 с. — (Высшее образование). — ISBN 978-5-534-09585-2. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/563895 (дата обращения: 02.07.2026).
- Введение в логику. Университетский курс : учебник, Бочаров В.А., Маркин В.И., 2013
- Логика вопросов и ответов, Белнап, Н., 1981
- Математическая логика : доп. главы: учеб. пособие для вузов, Колмогоров, А. Н., 1984
- Математическая логика : учеб. пособие для вузов, Колмогоров, А. Н., 2006
- Основы логики : учебник для вузов, Бочаров, В. А., 2007
Рекомендуемая дополнительная литература
- Johan Van Benthem. (2010). Modal logic for open minds.