Судження

(нормативні)Аксіологічні

модальності

(оціночні)Часові модальності

АбсолютніпорівняльніАбсолютніпорівняльні

Обов’язковоДобреКращеЗавждиРаніше

Нормативно

(байдуже)Аксіологічно байдужеРівноцінноТільки інодіОдночасно

ЗабороненоПоганоГіршеНіколиПізніше

Дозволено

До кожної з груп модальностей входять три основних модальних поняття. Друге називається слабкою характеристикою, перше і третє – відповідно сильною позитивною і сильною негативною характеристиками. Іноді у якості доповнення вводиться четверте модальне поняття, яке може вживатися для означення об’єднання сильного позитивного та нейтрального.

Зазначимо, що логічні модальності вивчалися ще Аристотелем і середньовічними логіками. Детальне дослідження численних груп модальностей почалося у 50-ті роки ХХ ст., хоча перші згадки про них належать до пізньої античності і Середньовіччя.

Взаємовідношення між судженнями

Між судженнями, як і між поняттями, існують взаємовідношення. Вони можуть бути порівнювані (мають загальний суб’єкт або предикат) і непорівнювані. Наприклад, непорівнюваними будуть судження “Україна – незалежна і суверенна держава” і “Деякі з студентів ДонДУУ навчаються за фахом “соціологія”. Порівнювані судження поділяються на сумісні і несумісні за критерієм істинності або неістинності.

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

“Логіка – наука про закони і форми вірного мислення”

“Наука, яка вивчає закони і форми вірного мислення називається логікою”.

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

“Всі студенти даної навчальної групи є спортсменами”

“Деякі студенти даної навчальної групи є спортсменами”

У відношенні логічної підлеглості знаходяться судження А та І, а також Е та О (дивись “Розподіл термінів у простому судженні”). Зрештою відношення між порівнюваними судженнями можна виразити у вигляді схеми, яка традиційно називається “Логічними квадратом” (див. рисунок 4.1.).