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

Філософія часу. Логіка часу. Онтологічний, лінгвістичний та логічний аспекти часових характеристик.

Предмет часової (темпоральної) логіки – міркування, що мають часовий зміст.

Часові модальності («Було», «Буде», «Завжди було», «Завжди Буде »).

Семантика часової логіки: особливості побудови. Закони «змішування часу».

Темпоральні та алетичні модальності. Темпоральні структури: лінійна та розгалужена. Гіпотетична універсальна часова структура.

Аналітичні правила для часової логіки.

Мінімальна часова логіка: опис мінімального часового числення (К_t). Модифікації часової логіки: метрична логіка, логіка дат, інтервальна логіка, логіка змін.

Тема 6. Епістемна логіка

«Знання» та «опінія». Епістемна модальна логіка. Принципи аналізу пропозиційних настанов.

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

Семантичні визначення епістемних операторів.

Аналітичні правила для формул з операторами сумніву, вірування, знання, незнання тощо.

Закони і парадокси епістемної логіки.

Способи подолання парадоксальності.

Модифікації абстрактної епістемної логіки: немонотонна логіка, автоепістемна логіка.

Тема 7. Деонтична логіка

Філософські засади деонтичної логіки. Деонтичні модальності в структурі нормативного дискурсу. Дилема Йоргенсена. «Моральний світ» І.Канта. Деонтично можливий світ як моральний кодекс.

Семантика деонтичної логіки. Деонтичне тлумачення відношення досяжності між деонтично можливими світами.

Деонтичні та алетичні оператори. Деонтичні закони і парадокси.

Аналітичні правила для деонтичних операторів. Мова деонтичної логіки. Ускладнення деонтичних операторів ( індексування).

Імператив, право та обов’язок у термінах мови деонтичної логіки. Норма, санкція, необхідність (деонтична логіка Андерсена). Умови зобов’язання.

Зм 2. Логіка і діяльність

Тема 8. Логічний аналіз дії та взаємодії

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

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

Предметна сфера досліджень логіки діяльності. Дія як елемент діяльності. Людська дія і фізична подія. Структурні елементи дії (суб’єкт, контекст, мотив, план).

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

Логіка норм і логіка оцінок.

Логіка цілі та логіка емоцій. Принципи логічного моделювання внутрішнього світу індивіда.

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

Логіка запитань і відповідей (принципи побудови). Поняття питальної форми. Питання і відповідь як когнітивні події.

Схеми (моделі) питань і відповідей.

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