Колотілова Наталія Андріївна
Факультет гуманітарних наук
Кафедра філософії та релігієзнавства
n.kolotilova@ukma.edu.ua
Дисципліни, які викладає
Некласична логіка
Навчальна дисципліна знайомить студентів з періодами розвитку сучасної логіки, характерними ознаками класичної та некласичної логіки, специфікою побудови логічних теорій на семантичному та синтаксичному рівнях. Розглядаються мови класичної логіки висловлювань та предикатів, алетичної пропозиційної логіки. З’ясовуються семантичні методи класичної пропозиційної логіки (таблиці істинності та аналітичні таблиці), синтаксичні побудови класичної пропозиційної логіки (аксіоматичне числення та натуральне числення). Визначаються основні відношення між формулами класичної логіки.