2026/2027

Введение в неклассические логики

Статус: Дисциплина общефакультетского пула

Кто читает: Школа философии и культурологии

Где читается: Факультет гуманитарных наук

Когда читается: 1 модуль

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Долгоруков Виталий Владимирович

Язык: русский

Кредиты: 3

Контактные часы: 28

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

Аннотация

Курс будет посвящен введению неклассические логики. Главным образом мы сосредоточимся на семействе модальных и интуиционистских логик, однако затронем и другие логики. Мы поговорим о переводах межу логиками, построении исчислений различного типа, а также обсудим вопросы полноты, разрешимости и вычислительной сложности.