Програмний зміст теми
Алетична логіка. Темпоральна логіка. Контрфактичні ситуації. Жорсткий десигнатор. Деонтична логіка. Епістемічна логіка. Логічні аспекти теорії ігор.
План семінару
1. Модальна логіка про теорії можливих світів.
2. Питання можливості існування жорстких десигнаторів.
3. Теорія ігор і логіка.
Література для самостійної підготовки та підготовки до семінару
Конверський, А. Є. Логіка (традиційна та сучасна) [Текст] : підруч. для студ. вищих навч. закл. / А. Є. Конверський. – К. : Центр навч. літ-ри, 2008. – С. 489 – 530.
Кравец, А.С. Жёсткий десигнатор [Текст] / А. С. Кравец // Вестн. ВГУ. Сер. 1, Гуманитар. науки. – 2001. – № 2. – С. 94 – 127.
Крипке, С. Тождество и необходимость [Текст] / С. Крипке // Новое в зарубежной лингвистике. Логика и лингвистика. – М., 1982. – С. 340 – 376.
Куайн, У.О. Референция и модальность [Текст] / У.О. Куайн // Новое в зарубежной лингвистике. Логика и лингвистика. – С. 87 – 108.
Кулик, О. В. Посібник до вивчення курсу «Логіка» [Текст] / О. В. Кулик. – Д. : РВВ ДНУ, 2015. – 24 с.
Штегмюллер, В. Рациональная теория решений [Текст] / В. Штегмюллер //Философия, логика, язык. – М. , 1987. – С. 318 – 329.
Завдання для самостійної роботи
1. Проаналізуйте причини появи потреби використання в логіці операторів «необхідно», «можливо», «випадково».
2. Укажіть на відмінні та спільні риси різних систем модальної логіки.