Судження

“Безсумнівно, що правознавці є знавцями законів”;

“Якщо буде погана погода, то ми не поїдемо на уїкенд”



“Імовірно, що якщо буде погана погода, то ми не поїдемо на уїкенд”

Ми бачимо, що модальні судження не просто заперечують або стверджують щось – натомість вони дають оцінку стосунків між S i P з певної точки зору.

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

Таблиця 3.3. Види модальностей (за О.Д.Гетьмановою)

Логічні

модальностіОнтологічні

модальності

Логічно необхідноОнтологічно необхідно

Логічно випадковоОнтологічно випадково

Логічно неможливоОнтологічно неможливо

Логічно можливоОнтологічно можливо

Епістемічні

модальності

ЗнанняВпевненістьАбсолютніПорівняльні

Може бути доведено (верифіковано)ВпевненістьІстинноІмовірніше

Невирішувано (не може бути перевірено)СумнівНе істинноМенш імовірніше

Спростовано (фальсифіковано)ВідкиданняНе визначеноРівноімовірно

Припущення

Деонтичні

модальності