Категоричні судження, їхні види. Поняття про квантори

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

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

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

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

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

"Студент Іваненко не відмінник", "Жодна держава не має права втручатися у внутрішнє життя іншого народу" тощо. Формула заперечного судження: S не є Р.

У заперечних судженнях заперечення "не" може стояти як перед зв'язкою, так і перед предикатом (Р). Наприклад, у судженні "Ця дошка не є чорна", частка "не" стоїть перед зв'язкою, а в судженні "Ця дошка є не чорна" — перед предикатом. Такі заперечні судження мають формулу: S є не Р.

Заперечними є також судження, в яких заперечення "не" стоїть безпосередньо перед суб'єктом, тобто судження, що має структуру "не S є Р".

Прикладом таких заперечних суджень є: "Не злочин це", "Не Іваненко був у Петренка", "Не підпал є причиною пожежі" тощо. Ці судження слід відрізняти від ствердних, суб'єктами яких є заперечні поняття.

У правовій науці й судовій практиці такого типу ствердні судження трапляються досить часто. Наприклад: "Незаконне позбавлення волі е злочин", "Недонесення про державний злочин є державний злочин" і т. д.

За кількістю судження бувають одиничні, часткові та загальні.

Одиничним судженням називається судження, в якому щось стверджується чи заперечується про один предмет. Наприклад: "Київ — столиця України". Одиничне судження має формулу

S є Р, S не є Р.

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

Наприклад: "Деякі студенти — відмінники".У цьому судженні йдеться не про всіх, а про деяких студентів. Суб'єкт часткового судження виражається словами "деякі", "більшість", "частина", "кілька", "іноді" тощо.

Формула часткового судження

Деякі S є Р. Деякі S не е Р.

Часткові судження бувають означені та неозначені.

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

Наприклад: "Тільки деякі договори є безплатні", "Деякі злочини здійснюються з необережності". У цих судженнях слово "деякі" має зміст "тільки деякі", а не всі.

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

Приклади неозначеного часткового судження: "Деякі співучасники у справі визнали свою вину"; "Частину викрадених злочинцями речей уже знайдено" і т. д.

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

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

Всі S е Р. Жодне S не є Р.

Із загальних суджень логіка виділяє в окрему групу неозначені судження, тобто такі, які не мають показника кількості (квантора). До них належать такі судження, як "Юристи добре знають закони"; "Пілоти — сміливі люди" і т. д.

Суб'єктом цих суджень є не кожен предмет класу, а клас предметів у цілому. Тому ознака, виражена предикатом, не обов'язково належить кожному предметові класу; предикат характеризує клас у цілому, клас як такий, а не кожен предмет класу окремо. Отже, те, про що йдеться у предикаті судження, не можна приписувати будь-якому предметові класу; той чи інший окремий предмет класу цією ознакою може й не володіти. Наприклад, судження "Юристи добре знають закони" не можна розуміти так, що кожен юрист добре знає закони; судження це характеризує клас юристів у цілому, а не кожного юриста окремо.

У класі загальних суджень розрізняються також судження такі, що виділяють і виключають.

Судження, що виділяє,— це судження з осібно визначеним суб'єктом або предикатом. Існує два види тих суджень, що виділяють: із суб'єктом і предикатом.

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

Наприклад: у судженні "Тільки посадова особа може бути суб'єктом халатності" стверджується, що властивість "бути суб'єктом халатності" належить тільки і тільки посадовій особі, ніхто інший цією ознакою не володіє.

Формула судження з суб'єктом, що виділяє: тільки S е Р.

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

Приклади суджень із предикатом, що виділяє: "Кримінальне покарання застосовується тільки за вироком суду"; "Розбій може бути здійснений тільки з прямим наміром"; "Шантаж здійснюється тільки зумисно" і т. д.

Судження з предикатом, що виділяє, має таку формулу: S є тільки Р.

Судження, яке виділяє, дає змогу висловити думку настільки виразно, що інше розуміння її стає неможливим. Не можна, наприклад, тлумачити судження "Розбій здійснюється тільки з прямим наміром" якось інакше, ніж сказано в самому цьому судженні. Слово "тільки" виключає належність предмету думки якоїсь іншої ознаки, наприклад необережності, і навіть евентуального (побічного) умислу. Тому виділяючі судження дуже часто використовуються в юридичному законодавстві та правовій теорії. Особливо важлива роль належить їм при характеристиці суб'єктивної сторони складу злочину, оскільки форма вини для кожного складу злочину має бути вказана абсолютно точно. Виділяючі судження застосовуються у науці взагалі завжди, коли є необхідність чітко, однозначно висловити думку.

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

Виключаючими є такі судження: "Допит обвинувачуваного не може проводитися у нічний час, окрім випадків, коли справа не терпить зволікання"; "Усі види перевезень, окрім морських, регулюються імперативними нормами" тощо. Вказівка в судженні на те, що воно є винятковим, досягається за допомогою таких слів: "окрім", "за винятком", "якщо не брати до уваги" і т. д

Оскільки кожне судження володіє певною якістю і кількістю одночасно, то в практиці мислення користуються об'єднаною класифікацією суджень за кількістю та якістю. За цією класифікацією існують такі чотири основні види суджень:

1. Загальноствердні судження — це судження за кількістю загальні, а за якістю ствердні. Наприклад: "Усі студенти складають екзамени"; "Всі договори е угоди". Формула загально-ствердного судження: Всі S е Р.

Загальноствердні судження прийнято позначати літерою А (перша літера латинського слова affizmo — стверджую).

2. Загальнозаперечні судження — це судження за кількістю загальні, а за якістю заперечні. Наприклад:

"Жодне явище не існує ізольовано від інших явищ'*. Формула загальнозаперечного судження: Жодне S не є Р.

Загальнозаперечні судження позначають літерою Е (перший голосний латинського слова пе&о — заперечую).

3. Частковоствердні судження — це судження за кількістю часткові, а за якістю ствердні. Наприклад: "Деякі студенти — відмінники"; "Деякі злочини здійснюються з необережності". Формула частковоствердного судження: Деякі S е Р.

Позначаються ці судження літерою / (другий голосний латинського слова affizmo).

4. Частковозаперечні судження — це судження за кількістю часткові, а за якістю заперечні. Наприклад:

"Деякі майнові відношення не регулюються цивільним правом". Формула частковозаперечного судження: Деякі S не є Р.

Позначаються ці судження літерою О (другий голосний латинського слова nego). Одиничні судження при використанні їх в умовиводах прирівнюються за кількістю до загальних суджень, оскільки в одиничному судженні, як і в загальному, говориться про увесь клас, виражений суб'єктом. Одиничні ствердні судження у дедуктивних умовиводах розглядаються як судження загальноствердні типу А, а одиничні заперечні судження — як загальнозаперечні судження типу Е.

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

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

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

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