Інфопакет

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

ННД.6

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

Перший

2023/2024

3 Семестр

4

ПРН 11. Вміти аналізувати міркування та робити ґрунтовні смислові узагальнення, висновки. ПРН 12. Вміти викладати власні міркування послідовно, логічно, систематично та аргументовано. ПРН 13. Критично оцінювати власну позицію та знання, порівнювати і перевіряти отримані результати. ПРН 15.Мати навички ведення інтелектуальних дискусій на засадах діалогу, відкритості й толерантності. ПРН 16. Вміти застосовувати загальногуманітарні та філософські знання в різних сферах життєдіяльності.

Очна форма

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

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

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

Лекції, семінари, самостійна робота

Підсумкове оцінювання у формі іспиту: Іспит у письмовій формі – 24 / 40 балів. Білет складається з 2 питань, кожне з яких оцінюється за шкалою 20 білів, що в загальному підсумку дає 40 балів за іспит. Для отримання загальної позитивної оцінки з дисципліни оцінка за іспит не може бути меншою 24 балів. У випадку, коли студент на іспиті набрав менше 24 балів, вони не додаються до семестрової оцінки (незалежно від кількості балів, отриманих під час навчального періоду). Рекомендований мінімум допуску до іспиту – 36 балів. Таким чином, підсумкова оцінка з дисципліни (мінімум 60, максимум 100 балів) складається із суми кількості балів за семестр (мінімум 36, максимум 60 балів) та екзаменаційної роботи (мінімум 24, максимум 40 балів).

Українська