Інфопакет

Сучасна логіка

Обов’язкова дисципліна для ОП

Перший

2023/2024

1 Триместр

1

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

Дистанційне навчання

1. До початку вивчення цього курсу студенти мають знати предмет та метод логіки; основні етапи розвитку логічного знання; основи логіко-семіотичного аналізу мови; табличне визначення логічних сполучників; основні формально-логічні закони; види міркувань. 2. Вміти виявляти логічну форму міркування за допомоги методу формалізації; будувати міркування відповідно до законів і правил логіки; знаходити помилки в текстах, пов'язаних з їхнім порушенням. 3. Володіти елементарними навичками роботи з фаховою літературою та пошуковими системами в інтернеті.

Навчальна дисципліна знайомить студентів з періодами розвитку сучасної логіки, характерними ознаками класичної логіки, специфікою побудови логічних теорій HA семантичному Ta синтаксичному рівнях. Розглядаються мови класичної логіки висловлювань та класичної логіки предикатів. З'ясовуються семантичні методи класичної пропозиційної логіки (таблиці істинності, аналітичні таблиці, теоретико-модельна семантика), синтаксичні побудови класичної пропозиційної логіки (аксіоматичне числення, натуральне числення, числення секвенцій). Визначаються основні відношення між формулами класичної логіки. Розглядаються метод аналітичних таблиць та числення секвенцій класичної логіки предикатів. Студенти вивчають питання щодо визначення некласичної логіки, знайомляться історією розвитку логічного знання кінця ХХ - початку ХХІ ст., опановують різні системи сучасної некласичної логіки. У процесі вивчення дисципліни студенти оволодівають логічним інструментарієм, який дозволяє використовувати його у подальшому для розв'язання філософських проблем.

1. Конверський, А.Є., (2004) Логіка (традиційна та сучасна). Підручник - Київ: Центр учбової літератури. 2. Хоменко, І., Шрамко Я., Козаченко Н., Санду Г. (2017) Сучасна логіка. Частинад. Некласична логіка. Підручник. Київ: ВПЦ «Київський університет». 3. De Swart, H., (2018). Philosophical and Mathematical Logic. Springer. 4. Girle, R. (2000). Modal logics and philosophy. Teddington: Acumen. 5. Sainsbury, R. М. (2001). Logical forms: An introduction to philosophical logic. Oxford: Blackwell.

Сучасна логіка