СУЧАСНА ЛОГІКА

Опис курсу

Це вступ до сучасної логіки для гуманітарних спеціальностей. Його мета - ознайомити студентів з основними формальними методами представлення міркувань та їхнього аналізу.

Контактна інформація

Викладач: професор Олександр Кулик

Аудиторія: пр. Гагаріна, 72, ауд. 813

Електронна адреса викладача: prof.kulyk@gmail.com 

Веб-сторінка курсу: https://sites.google.com/site/kuliktexts/home/u/logurm 

Основна література:

Marcus R. (2018). Introduction to Formal Logic. Oxford University Press.

Chiswell, I. and Hodges, W. (2007). Mathematical Logic. Oxford University Press.

Конверський, А. Є. (2008). Логіка (традиційна та сучасна): підруч. для студ. вищих навч. закл. К. : Центр навч. літ-ри.

Davoren J., Restall G. (2015). Logic: Language & Information. Melbourne: The University of Melbourne.

Результати навчання студентів

По закінченню цього курсу студенти зможуть:

- виділяти логічну структуру висловлювання;

-  аналізувати низку практичних проблем мислення  у вигляді дослідження питання про несуперечність логічних формул;

- надавати точні значення термінам і реченням символічних мов.

Оцінювання 

Оцінки будуть базуватися на 100-бальній шкалі, розподіленій таким чином:

Участь (20%) – 20 балів

Домашні завдання (40%) – 40 балів

Іспит (40%) – 40 балів

Підсумкова оцінка

А 90–100 балів

В 82–89 балів

С 75–81 балів

D 64–74 балів

Е 60–63 балів

F 0–59 балів

Що студенти мають виконувати під час навчання?

Участь

Потрібно приходити на заняття та регулярно і активно брати участь в обговореннях під час семінарів.

Домашні завдання

Після кожної лекції студенти виконують комплекс вправ для самостійної роботи вдома.

Іспит

Під час іспиту студенти відповідатимуть на два запитання щодо пройденого матеріалу. Перше питання буде теоретичним. У другому питанні буде практичне завдання, яке має виконати студент.

Орієнтовний план занять

Вересень

Лекція:

Вступ до сучасної логіки

Лекція:

Історія логіки

Лекція:

Логіка і мова

Жовтень

Лекція:

Логіка висловлювань

Лекція:

Таблиці істинності

Лекція:

Валідні та невалідні аргументи

Листопад

Лекція:

Правила висновку

Лекція:

Логіка предикатів

Лекція:

Парадокси матеріальної імплікації

Грудень

Лекція:

Багатозначна логіка

Лекція:

Модальна логіка

Лекція:

Темпоральна логіка

Січень

Повторення пройденого матеріалу  

Консультація

Іспит