4. Модальні судження

Модальним називається судження, в якому відношення між предметом думки та ознакою предмета думки обумовлюється своєрідним характером зв’язку.

Судження можливості – це модальне судження, яке відображає реально існуючу, але ще не реалізовану можливість. Наприклад: “Можливо, завтра випаде сніг”.

Судження дійсності відображає предмет думки як вже існуючий в дійсності, це судження про факт. Наприклад: “Робота першого блоку ЧАЕС зупинена”.

Судження необхідності – відображає неминучість існування якогось предмету чи зв’язку. Наприклад: “Необхідно, щоб всі закони затверджувала Верховна Рада”.

Проблематичним (імовірним) називається таке судження, в якому ознака стверджується чи заперечується відносно предмета думки лише передбачувано. Наприклад: “Прем’єра, можливо, відбулася минулого місяця.”

Достовірним називається судження, що фіксує знання про цілковиту визначеність ознаки предмету. Наприклад: “Достовірно, що паралельні прямі не перетинаються в жодній точці”.

Модальні

за об’єктивною модальністю

за

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

судження можливості

проблематичні

судження

судження дійсності

судження необхідності

Достовірні судження Розподіленість термінів у судженнях

Вид судження	Симво-лічне позна-чення	Формула судження		Роподіленість термінів судження		Відно- шення S і P
		В тради-ційній логіці	В матема- тичній логіці	S	P
Загально- ствердні	A	Всі S є P	х(S(x) P(x))	+	_ +	S+ P+ S+ P-
Частково- ствердні	I	Деякі S є P	х(S(x) P(x))	_	_ +	S- P- S- P+
Загально- заперечні	E	Жодне S не є P	х(S(x) P(x))	+	+	S+ P+
Частково- заперечні	O	Деякі S не є P	 х(S(x) P(x))	_	+	S- P+ S- P+

5. Складні судження та умови їх істинності

Складні судження

Єднальне (кон’юктивні)

Судження

еквіваленції

Розподільне (диз’юктивне)

Умовне (імплікативне)

Єднальне (кон`юнктивне) судження: АВ; А і В.

Розділове (диз`юнктивне) судження: АВ; “А або В“, А В; “або А, або В”.

Умовне (імплікативне) судження: АВ “якщо А, то В”.

Судження еквіваленції АВ; “якщо і тільки якщо А, то В”.

Таблиці істинності складних суджень

А	В	А  В	А	В	А  В
І	І	І	І	І	І
І	Х	Х	І	Х	І
Х	І	Х	Х	І	І
Х	Х	Х	Х	Х	Х

А	В	А ~ В
І	І	І
І	Х	Х
Х	І	І
Х	Х	І

А	В	А  В
І	І	Х
І	Х	І
Х	І	І
Х	Х	Х

А	В	А  В
І	І	І
І	Х	Х
Х	І	І
Х	Х	І

І – істинне

Х – хибне

Відношення між складними судженнями