Хендауты текущей версии курса.
Предмет логики. Лингвистические предпосылки логики (03.09.2021)
Логика высказываний (10.09.2021)
Неклассические логики высказываний (01.10.2021)
Логика предикатов первого порядка (15.10.2021)
Силлогистика. Логика и семантика естественного языка (11.02.2022)
Нестандартные семантики классических логик (18.02.2022)
Хендауты предыдущей версии курса для справки и сравнения.
Предмет логики. Формализованные языки (03.09.2020)
Логика высказываний (10.09.2020)
Неклассические логики высказываний (08.10.2020)
Логика предикатов первого порядка (22.10.2020)
Силлогистика. Логика и семантика естественного языка (19.11.2020)
Нестандартные семантики классических логик (11.02.2021)
Способы построения семантик возможных миров (18.02.2021)
Модальная логика высказываний (04.03.2021); построение фрейма-контрпримера для аналитических таблиц
Модальная логика первого порядка (01.04.2021)
Модификации и приложения семантики возможных миров (20.05.2021)