Змістовий модуль № 1 Сучасні некласичні модальні логіки

Тема 1. Філософія і логіка

Сучасна логіка в структурі природничо-наукового та гуманітарного знання, в контексті культури з її раціональними та ірраціональними компонентами. Логіка – визначальний елемент культури.

Логіка як невід’ємна частина філософії. Головні етапи становлення логіки (традиційний і сучасний). Сучасна класична логіка. Математична логіка. Сучасна некласична логіка. Логіка і методологія. Логіка як формальний метод аналітичної філософії

Філософська логіка як аналітика, аксіоматика та еристика.

Логічність як критерій раціональності. Логіка та гуманітарні науки (лінгвістика, психологія, соціологія, правознавство, політичні науки, дипломатія, ідеологія).

Теорія аргументації, риторика і логіка. Логіка в педагогічному процесі. Міркування і дія. Доцільність вчинку та правильність міркування. Логічність і раціональність як критерії діяльності.

Логіка і наука про людську діяльність (праксеологія, когнітологія, соціологія, психологія, лінгвістика, теорія прийняття рішень,дослідження операцій, конфліктологія ).

Тема 2. Девіантні логіки

Підстави виникнення некласичних логік: зовнішня критика пов’язана із дослідженням міркувань логічними засобами у сфері психології, соціології, правознавства та під впливом філософії дії, феноменології, когнітивних наук тощо, та внутрішня критика принципів класичної логіки: тотожності, виключеного третього, несуперечності тощо як джерела девіантності.

Парадокси випливання та імплікації. Види парадоксів та її причини. Варіанти подолання парадоксів та їх наслідки (К. Льюіс, А. Андерсен, Н. Белнап, В. Аккерман).

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

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

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

Інші девіантні логіки: логіка перехідних станів, порогова логіка, логіка фрагментів, немонотонна логіка тощо.

Тема 3. Багатозначна логіка

Багатозначність – ознака девіантності. Невизначеність і парадокс. Абстракція багатозначності (Пост). Логіка невизначеності (тризначна логіка Я. Лукасевича.). Логіка беззмістовності (тризначна логіка Бочвара). Логіка неповного та суперечливого знання (чотиризначна логіка Н. Белнапа).

Нескінченнозначна логіка (логічна система Поста).

Ймовірнісна логіка: принципи побудови, головні напрямки, методологічне значення.

Вільна логіка: принципи побудови та методологічне значення.

Логічні інтерпретації понять «беззмістовно», «невизначено», «абсурдно». Специфіка багатозначної інтерпретації логічних сполучників.

Тема 4. Модальна логіка. Алетична модальна логіка

Модальність – категорія філософії та логіки.

Модальність як інтенційний модус. Типи модальності.

Структура модального висловлювання. Модальний оператор. Модальності de re і de dicto.

Алетична модальна логіка як модальна система. Необхідність, можливість, реальність (дійсність), випадковість. Закони і парадокси алетичної логіки.

Можливий світ. Опис стану, логіка альтернатива, можлива ситуація.

Загальні принципи побудови семантики модальної логіки: алгебраїчна семантика та семантика невідомих світів. Можливі світи та відношення досяжності.

Семантичні визначення модальностей.

Інтенсіональність як модальна характеристика.

Інтенсіональність та принцип логічної функціональності.

Аналітичні правила для формул з модальними операторами.Філософська оцінка модальної логіки: модальна логіка і філософія, онтологія, гносеологія, методологія.