Загальна характеристика суджень

Пояснимо на прикладах. Візьмімо такі судження:

Суддя — юрист.

Слідчий — юрист.

Адвокат — юрист.

Предикат у цих суджень один і той же – “юрист”, а суб’єкт – різний: “суддя”, “слідчий”, “адвокат”. Якщо замінити суб’єкт цих суджень знаком х, то дістанемо вираз: х – юрист.

Таке мовне висловлювання називається про позиційною функцією, або функцією висловлювання. Як приклади можна навести такі: “х – людина”, “х – норма права”, "х > у" тощо.

Пропозиційна функція не є судженням, вона не істинна й не хибна, її не можна ні спростувати, ні довести. Функція висловлювання стає судженням лише тоді, коли на місце невідомого предмета (змінної х) стає якийсь конкретний предмет. Наприклад, якщо ми візьмемо функцію висловлювання "х — норма права" і підставимо під х щось конкретне, визначене, то матимемо судження, яке буде або істинним, або хибним: "Стаття 144 КК України — норма права" — судження, до того ж істинне, а "Вирок народного суду в справі Петренка — норма права" — судження, але хибне.

У пропорційній функції розрізняють аргумент і предикат. У функції висловлювання "х – юрист" знак х — аргумент, а поняття "юрист" — предикат. У функції висловлювання "х менший від у" один предикат — поняття "менший" і два аргументи — х та у; у пропозиційній функції "х знаходиться між у і z" один предикат — поняття "знаходитися" і три аргументи — х, у і z. Звідси й розрізняють одномісні пропозиційні функції (з одним аргументом) і багатомісні

пропозиційні функції (з кількома аргументами).

Пропозиційні функції у вигляді формул записують так:

Р(х), Р(х, у), Р(х, у, z) і т. д., де х, у, z — предметні змінні (аргументи), а Р — предикат, який виражає конкретну властивість або відношення.

Поняття про квантори

У традиційній (аристотелівській) логіці для вираження кількості судження використовують слова: "всі", "жоден", "кожен", "деякі" тощо. Наприклад, загальне судження "Всі метали — провідники" записують у вигляді формули так: "Всі S є Р".

Математична логіка увела для кількісної характеристики суджень (висловлювань) спеціальні оператори, що дістали назву кванторів (від латинського слова quantum — скільки).

Квантори бувають двох видів: квантор існування і квантор спільності.

Квантор спільності означає вислів: "Для усякого (всіх) х”. Позначається він знаком — х.

Квантор існування позначає ствердження: "Існують такі х". Відображається знаком — х.Використовуючи квантори, ми можемо виразити у символах математичної логіки всі чотири типи судження (А, Е, І, 0} за кількістю і якістю. Загальноствердні судження А ("Всі S є Р") можуть бути записані так: х (якщо х є S, то х є Р), або коротше: х (S(х)—>Р(х)), де знак "–>" позначає сполучник "якщо... ...то". Цей вираз читається так: "Якщо усякий предмет володіє властивістю S, то він володіє і властивістю Р", або "Всі S є Р", Наприклад, судження "Будь-який договір є угода" ("Всі S є Р") можна записати так: х (якщо х — договір, то х є угода"). Читається цей вислів так: "Будь-який предмет х, який володіє властивістю договору, володіє і властивістю угоди".