Судження. Відношення між судженнями

~ - знак заперечення (читається: ”не”, ”невірно, що…”);

^ - знак конюнкції (читається: “…і…”);

- знак дизюнкції (читається: “…або…”);

- знак імплікації (читається: “якщо…,тоді…”).

3. Технічні знаки:

(- ліва дужка;

) – права дужка;

, - кома.

Ці знаки в мові логіки висловлювань виконують роль знаків пунктуації природної мови.

Ніяких інших знаків у мові логіки висловлювань немає.

Судження складається із судження, предиката і зв'язки.

Суб'єкт — це те, про що йдеться у судженні. Суб'єкт — не сам предмет дійсності, а поняття про нього. Суб'єкт позначається літерою S (перша літера латинського слова subjectum).

Предикат — це те, що мовиться у судженні про предмет думки. Предикат є поняттям про те, що стверджується або заперечується про предмет, виражений суб'єктом. Позначається предикат літерою Р (від латинського слова рraedicatum).

Суб'єкт і предикат судження називаються термінами судження.

Зв'язка в судженні є відображенням зв'язку, існуючого між предметом думки і певною властивістю; зв'язка установлює, належить чи не належить предметові судження властивість, мислима в предикаті. Зв'язка виражається такими словами, як "є", "не є" тощо.

Прості судження, залежно від того, що вони відображають — властивість чи відношення, поділяються на атрибутивні судження та судження із відношенням.

Атрибутивним судженням називається таке судження, у якому стверджується або заперечується належність предмету визначеної властивості чи ознаки.

Приклади атрибутивних суджень: "Цукор солодкий"; "Норми права мають примусовий характер"; "Суд не утворює нового права" тощо.

Структура атрибутивних суджень, у яких стверджується належність предмету певної властивості, виражається формулою S є Р. Атрибутивні судження, у яких заперечується належність предмету певної властивості, мають формулу S не є Р.

Судження із відношенням — це судження, що відображає відношення між окремими предметами або їхніми ознаками,

Прикладами таких суджень є; "Київ західніше від Харкова"; "Київ більший за Львів".

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

Структура суджень із відношеннями може бути виражене формулою aRb. Тут a і b позначають поняття про предмети, а R – відношення між ними. Читається ця формула так:

"Між предметами а і b існують відношення R". Якщо відношення існують не між двома, а між трьома предметами, то структуру судження записують так: "(а, b, с)R".

Особливий клас простих суджень утворюють судження існування. Судження існування (екзистенціальні судження — від латинського слова ехistentia — існування) — це такі судження, в яких утверджується чи заперечується сам факт існування або не існування предмета. Наприклад: "Матерія існує" "Світ існує", "Безпричинних явищ не буває", "Право окремо від держави не існує", "Існує незакінчений замах" тощо. Суб'єктом цих суджень є те, про що йдеться у судженні ("матерія", "світ", "право"), предикат виражений словом "існує". Зв'язка чітко не виражена словами ("є", "не є"), але це не означає, що вона відсутня. Структура цих суджень може бути виражена формулою: "S є Р", "S не є Р".

Категоричним судженням є судження, в якому щось стверджується чи заперечується у безумовній формі. Наприклад: "Петренко — студент", "Злочин є діяння суспільне небезпечне", "Купівля-продаж є договір" тощо.

Категоричне судження є судження атрибутивне, в ньому стверджується чи заперечується належність предмету певної властивості або ознаки. Категоричні судження поділяються на види за якістю та кількістю.

За якістю судження бувають ствердні і заперечні.