Поділ суджень за модальністю

“Поділ суджень за модальністю”

1.Алетична модальність.

2.Епістемічна модальність.

3.Деонтична модальність.

4.Темпоральна модальність.

5.Логічна та фактична модальність.

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

Залежно від того, які види модальних висловлювань досліджуються, виділяють різні види модальних логік. Це, наприклад, алетична, темпоральна, епістимічна, деонтична та інші модальні логіки.

Щоб дати загальну характеристику всім цим логікам, побудуємо таку таблицю:

№МодальностіВиди модальних висловлюваньВиди модальних логік

1Необхідно,

Можливо,

Випадковоалетичні висловлюванняалетична логіка

2Доведено,

Спростовано,

не вирішено,

переконаний, сумнівається, припускаєепістемічні висловлюванняепістемічна логіка

3було,

є,

буде,

раніше, одночасно, пізнішетемпоральні (часові) висловлюваннятемпоральна логіка (логіка часу)

4обов’язково,

заборонено, дозволенодеонтичні висловлюваннядеонтична логіка

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