Відношення між видами простих суджень

Види простих суджень.

Визначення і структура судження.

Лекція 5

ТЕМА 3 СУДЖЕННЯ

1. Визначення і структура судження. Судження – це форма раціонального мислення, в якій стверджується або заперечується існування предмета думки, зв'язок предметів з їх ознаками або відношення між предметами.

Мовною формою визначення судження є речення, але тільки розповідне, в якому існує інформація про щось («Криза надвиробництва – циклічне явище в економіці»). Питальні («А де він»?), спонукальні (« Дай Бог усім людям доброго здоров'я»), називні (« Яка любка сердечна!») і безособові (« Вже розвиднилось») речення судження не виражають. За своїм змістом будь-яке судження відображає в мові певні ознаки, які належать предмету судження. Предметом судження є все те, про що щось стверджується або заперечується. Слід знати, що граматична структура речення нетотожна логічній структурі судження. Незважаючи на їх подібність за наявністю основних і допоміжних елементів, для логіки є основним у реченні логічний підмет і логічний присудок, а також, зв'язок, що відображає їх, логічна зв'язка. Різноманітні другорядні члени речення (визначення, обставини місця, часу, образу дії, доповнення) логічно несуттєві, тобто суттєвої інформації не виражають.

Формальна логіка вивчає судження з боку їх форми і структури. Традиційна і класична логіка є двозначною. Тут кожне судження є або істинним, тобто в якому стверджується/заперечується існування (навіть неіснуючого)/неіснування предмета і притаманних/непритаманних йому ознак, наявність/відсутність зв'язку між предметами або їх ознаками, про які йде мова в судженні («Київ є столицею України», «Харків не є столицею України»), або неістинним, тобто в якому все відбувається навпаки («Київ не є столицею України», «Харків є столицею України»). Чи є неістинне судження заблудженням (неусвідомлена невідповідність знань дійсності) або хибою (навмисне, усвідомлене спотворення дійсності), логіка не з'ясовує, оскільки суб'єктивне усвідомлення неадекватності відображення дійсності самому об'єкту або відсутність такого усвідомлення – за межами предмета логіки. Значення істинності судження є логічним значенням.

Але деякі твердження не належать ні до істинних, ні до неістинних суджень.

Наприклад, «a<b» є таким. Цей вираз перетвориться на судження тоді, коли на місце логічних змінних (а, b) будуть підставлені імена об'єктів (a=8, b=9), після чого логічна постійна перетворює вираження з невизначеним логічним значенням на істинне (в даному випадку) судження – «8<9».

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

Виділяють також іменну функцію. Іменна функція – це вираз, який при заміні змінних постійними перетворюється на позначення предмету.

Так, в іменній функції «батько у», підставивши ім'я «філософ Вол.С.Соловйов», отримаємо «батько філософа Вол.С.Соловйова» – ім'я предмету (тут ім'я людини).

Деякі судження можуть мати невідомий або невияснений характер і вимагають додаткового дослідження.

Структура судження:

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

– предикат (від лат. praedikatum – ознака), або логічний присудок – елемент судження, який позначає ознаку предмета думки (позначається прописною латинською літерою P);

– зв'язка – елемент судження, який виражає відношення між суб'єктом і предикатом, тобто стверджує або заперечує наявність у предмета думки S ознаки P (позначається символом «–», тобто «тире» або виражається дієсловами (словосполученнями) «є», «не є», «суть», «не суть», які можуть випускатися і лише матися на увазі);

– квантор, який показує, в якій кількості береться суб'єкт судження (висловлюється «усі», «деякі», «жоден» та ін.).

Отже, логічна структура судження («Жоден двигун не є вічним») складається з суб'єкта (S – «двигун»), предиката (P – «вічний»), зв'язки (« ні») і квантора («жоден»). Тут головними елементами є перші три, серед яких логічний підмет (суб'єкт) і логічний присудок (предикат) називаються термінами судження.

2. Види простих суджень. Просте судження – це судження, яке не містить у собі як самостійну частину будь-яке інше судження, тобто в простому судженні міститься не більше за одне твердження або заперечення про ознаку предмета або про відношення між різними предметами або про існування одного предмету думки.

Судження підрозділяють на види суджень за кількісною, якісною і якісно-кількісною підставами.

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

Прості судження за якістю поділяють на такі види суджень за якістю: стверджувальні і заперечувальні, атрибутивні (від лат. attributo – наділяння; атрибутивні категоричні – від грец. κατηγορικες – ясний, безумовний), судження існування (екзистенціальні категоричні – від лат. existential – існування) і судження відношень (релятивні – від лат. relativus – відносний).

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

– атрибутивне, або судження властивості – це судження, в якому стверджується або заперечується наявність певних властивостей у предметів (загальна формула: S – P: стверджувального: S є Р: «Україна – суверенна держава», заперечувального: S не є Р, або (S є P), тобто «Невірно, що S є Р»: «Україна не є членом НАТО», або «Невірно, що Україна є членом НАТО». Зв’язки: «є», «не є», «суть», «не суть» та ін. Атрибутивне судження є категоричним, тобто атрибутивним категоричним судженням, оскільки воно строге і однозначне, не припускає невизначеності у розумінні його змісту. В атрибутивному судженні про належність або неналежність ознаки предмету виражається в безумовній формі, третє виключене. Оскільки постійними елементами атрибутивного судження є суб’єкт, предикат і зв’язка, дане судження має суб’єктно-предикатну структуру, де зв’язка є іманентний закон і виконує конструктивну функцію, а квантор непостійний. А значить, між термінами можуть мати місце усі види відношень між порівнюваними поняттями: тотожність, перетин, підпорядкування, супідрядність, протиріччя і протилежність: (Терміни судження «Московська немощена вулиця 17 ст. була дуже неохайна» є загальними, позитивними, порівнюваними, сумісними поняттями, що знаходяться у відношенні субординації. Терміни судження «Моральні норми не є цінностями матеріальної культури» – загальні, порівнювані, несумісні поняття, що знаходяться у відношенні координації. Терміни судження «Мова є форма суспільної культури, що представляє собою матеріальну знаково-символічну систему для спілкування і передачі інформації між людьми» – загальні, позитивні, порівнювані, сумісні поняття, що знаходяться у відношенні тотожності. Терміни судження «Деякі свідки зобов’язані надавати показання» – загальні, позитивні, порівнювані, сумісні поняття, що знаходяться у відношенні перетину. Терміни судження «Жодна людина не є особою, звільненою від виконання закону» – загальні, порівнювані, несумісні, що знаходяться у відношенні протиріччя);

– екзистенціальне, або судження існування – це судження, в якому виражається факт існування або неіснування предмета судження (формула: S –): стверджувального: S є: «Буття є», заперечувального: S не є, або (S є), тобто «Невірно, що S існує»: «Небуття немає», або «Невірно, що небуття є». Зв’язки: «є», «не є», «існує», «не існує». Тут чітко виділяється лише суб’єкт. Предикат в екзистенціальних категоричних судженнях поєднаний зі зв’язкою, або у предикаті не вказується інших ознак, крім відношення до буття («то, що є (існує»);

– релятивне, або судження відношення – це судження, в якому встановлюються або заперечуються об’єктивні відношення між двома і більше предметами думки – просторові, часові, причинно-наслідкові, кількісні, родинні (aRb, де a, b – члени відношення, а R – відношення між ними: «Біле море холодніше Чорного»). Зв’язки: «більше», «менше», «рівно», «старше», «молодше», «вище», «нижче», «швидше», «повільніше», «правіше», «лівіше», «північніше», «детермінується», «породжується» і т.п. Специфіка цих суджень визначається відсутністю суб’єкта і предиката. Постійна складова релятивних суджень – поняття-терміни і поняття-зв’язки. Поняття-елементи релятивного судження, що позначають предмети думки, називаються термінами (від лат. terminus – межа), або членами відношення. Поняття-елемент, що позначає відношення між предметами, – предикатор. Залежно від місця відносно зв’язки виділяють два виду термінів: попередній і наступний члени відношення. Кількість термінів у релятивному судженні називається місткістю. Якщо відношення пов’язує два терміни, то судження називається двомісним, три – тримісним і т.д. З тримісного судження («Внук молодше батька і діда»), а також із судження, в якому відображається більш одного відношення («Рейк’явік північніше і західніше Делі»), починаються складні релятивні судження;

– стверджувальне – це судження, в якому констатується існування предмета думки, наявність зв’язку між предметами або приналежність предмету певної ознаки: (формула: «Усі (деякі, дане) S є Р»: «Усі люди є живими істотами»; «Деякі з країн світу розташовані у Європі»; «Париж є столицею Франції»);

– заперечувальне – це судження, в якому констатується відсутність у предмета певної ознаки, відсутність зв’язку між предметами або неіснування предмета думки: (формула: «Усі (деякі, дане) S не є Р»: «Жоден лев не є травоїдною твариною»; «Деякі з людей не є приватними підприємцями»; «Ханін І.О. не працює у театрі»).

Прості судження усі є або стверджувальними («Диференціальна рента є надлишок прибутку понад середнього прибутку»), або заперечувальними («Ціна виробництва товару не менше надлишку його виробництва»), незалежно від їх видів за іншими підставами.

Кількість судження визначається кількістю поняття, що відображає предмет думки. У судженні кількість виражена квантором (від лат. quantum – скільки). Квантор – це додатковий елемент судження, що виражає кількісну характеристику предмета думки.

Існують два виду кванторів: загальності та існування.

Квантор загальності вказує, що в обсязі суб’єкта мисляться усі елементи даного класу (позначається символом – , і виражається словами: «усі», «будь-який», «усякий», «кожний», «без виключення», «жоден» і т.п.): «У будь-якій ринковій економіці діє закон вартості».

Квантор існування вказує, що в обсязі суб’єкта мислиться лише частина елементів даного класу (позначається символом – , і виражається словами: «частина», «більшість», «меншість», «не всі», «не кожний», «деякі», «окремі» і т.п.): «Не всі громадяни мають виборчі права».

Прості судження за кількістю поділяють на такі види суджень за кількістю: загальні, часткові і одиничні.

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

– загальне – це судження, в якому за кожним мислимим у суб’єкті елементом множини стверджується або заперечується певна ознака: (формула: «Усі S є (не є) Р»): «Усі літаки призначені для польотів у повітрі»; «Жодна людина не живе на Марсі»;

– часткове – це судження, яке містить знання про наявність або відсутність певної ознаки у частини предметів, що мисляться в суб’єкті: (формула: «Деякі S є (не є) Р»): «Деякі військові є курсантами»; «Деякі робочі не працюють на держпідприємстві»;

– одиничне – це судження, суб’єктом якого є одиничне поняття, яке позначає один предмет думки (формула: «Дане S є (не є) Р»): «Планета Марс знаходиться в Сонячній системі»; «Київ не є столицею Франції».

Прості судження за якісно-кількісною підставою підрозділяють на такі види судження за якісно-кількісною підставою: загальностверджувальні (А), частковостверджувальні (І), загальнозаперечувальні (Е), частковозаперечувальні (О).

Тип суджен-ня

По- зна-чен- ня

Фор-му-ла

Як читається

Розподіленість термінів

Діаграма відношень S і Р

Визначення типів судження

S

P

Загальностверджувальне

  А

  S а P

Усі S є P

  +

  − +

P S S P  

Загальне за кількістю і стверд-не за якістю

Частковостверджувальне

  І

  S i P

Деякі S є P  

  −

  − +

S P S P

Часткове за кількістю і стверд-не за якістю

Загальнозаперечувальне

  Е

  S е P

Жоден S не є P  

  +

  +

  S P    

Загальне за кількістю і заперечувальне за якістю

Частковозаперечувальне

  О

  S о Р

Деякі S не є P

  −

  +

S P S P  

Часткове за кількістю і заперечувальне за якістю

А – утворене по 1-й літері лат. слова affirmo – стверджую: «Кожна людина має право на щастя» (S є P); «Усі кандидати, що приймають участь на цих виборах, існують» (S є).

І – утворене по 2-й гласної лат. слова affirmo – стверджую: «У бібліотеці трапляються цікаві книжки» (S є P); «Деякі мертві мови досі використовуються» (S є).

Е – утворене по 2-й літері лат. слова nego – заперечую: «Жоден не може бути покараний за правду» (S не є P); «Невірно, що всі хребетні – тварини» (S є P); «Жодна ідеальна держава не існує» (S не є); «Невірно, що існують безпричинні явища» (S є).

О – утворене по 2-й гласної лат. слова nego – заперечую: «Деякі студенти не є спортсменами» (S не є P); «Невірно, що деякі електрони є позитивно зарядженими» (S є P); «Деякі мови більше не існують» (S не є); «Невірно, що деякі абсолютно чорні тіла існують» (S не є).

Виділяють також одиничностверджувальні і одиничнозаперечувальні судження.

Одиничностверджувальне (позначення немає) – це судження одиничне за кількістю і стверджувальне за якістю. («О.В.Суворов – генералісимус» – атрибутивне, «Чисельність населення Києва більше Донецька» – релятивне, «Ощадбанк України існує» – екзистенціальне).

Одиничнозаперечувальне (позначення немає) – це судження одиничне за кількістю і заперечувальне за якістю. («Алхімія не є наукою» – атрибутивне, «Обсяг вибірки даного КСД не більше обсягу генеральної сукупності» – релятивне, «Корпорація «Пронто» не існує» – екзистенціальне).

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

Важливим аспектом для наступного розгляду судження як форми мислення є питання про розподіленість термінів судження. Термінами судження є суб’єкт і предикат. Питання про те, яка інформація в судженні є, а яка відсутня (але може домислюватися) вирішується за допомогою наступних понять:

– розподілений термін (знак «+») – це термін, який мислиться у повному обсязі, тобто обсяг якого повністю включається в обсяг іншого терміна («Усі паралелограми – чотирьохкутники») або повністю з нього вилучається («Жодний хімічний елемент не є складна речовина»);

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

Розподіленість термінів у судженнях типу А, І, Е, О:

– в загальностверджувальних судженнях типу А («Усі S є P») суб’єкт завжди розподілений, а предикат у більшості випадків – нерозподілений. 1) «Усі (квантор загальності) православні (S) – християни (Р). Тут S, оскільки йдеться про усі предмети, що складають даний клас (обсяг поняття-суб’єкта), а саме про усіх православних, тобто S є видовим поняттям і усім обсягом повністю включений в обсяг Р, а Р, оскільки йдеться лише про ту частину обсягу Р, яка співпадає з обсягом S, тобто Р є родом, і частина елементів його обсягу не тотожна елементам, мислимим в обсязі S: не усі християни – православні. Тому, як правило, Р у судженнях А. Звідси, якщо обсяг Р більше (ширше) обсягу S, то Р. 2) Проте, як виняток, Р в судженнях А, якщо S и Р пов’язані відношенням тотожності, тобто якщо у Р мисляться ті і тільки ті предмети, які мисляться в обсязі S. «Усі (квантор загальності) квадрати (S) – рівносторонні прямокутники (Р)». Тут S і Р, тобто їх обсяги повністю співпадають; відрізняються вони тільки змістом. Якщо S дорівнює за обсягом Р, то Р, що буває у визначеннях і у виділяльних судженнях;

– в частковостверджувальних судженнях типу І («Деякі S є Р») розподіленість і суб’єкта, і предиката неможна визначити сугубо логічними засобами, тобто за структурою. 1) «Деякі (квантор існування) інженери (S) – електрики (Р)». Тут S, оскільки у ньому мислиться лише частина інженерів, тобто обсяг S лише частково включається в обсяг Р. Але й Р, оскільки він також лише частково включений в обсяг S: лише деякі електрики є інженерами. Це означає, що S і Р пов’язані відношенням перетину: не усі інженери – електрики і не усі електрики – інженери. Звідси, якщо поняття S і Р перетинаються, то Р. 2) Проте, як виняток, Р в судженнях І, якщо S і Р пов’язані відношенням субординації, тобто якщо в Р мисляться ті і лише ті предмети, які повністю включаються в обсяг S як підпорядковуючого поняття. «Деякі (квантор існування) письменники (S) – драматурги (Р)». Тут S, оскільки в ньому мислиться лише частина письменників, тобто обсяг S лише частково включається в обсяг Р, а Р, оскільки обсяг Р вужче обсягу S і повністю входить у нього, тобто в обсяг S. Р, якщо обсяг Р менший за обсяг S, що буває в часткових виділяльних судженнях;

– в загальнозаперечувальних судженнях типу Е («Жоден S не є Р») і суб’єкт, і предикат завжди розподілені. «Жоден (квантор загальності) депутат ВР України (S) не може бути на державній службі (Р)». Тут і S, і Р, оскільки обсяг S повністю виключається з обсягу Р, і навпаки. Необхідно доповнити, що завжди в судженнях Е (як і в судженнях А) S, оскільки в ньому мисляться усі предмети даного класу, а Р завжди, оскільки його обсяг повністю виключається з обсягу S. Жоден предмет, що володіє ознаками, відображеними в Р, як установлено зв’язкою, не входить в обсяг S;

– в частковозаперечувальних судженнях типу О суб’єкт є нерозподіленим (за виключенням деяких випадків), а предикат завжди розподілений, оскільки мислиться в повному обсязі, тобто його обсяг повністю виключається з обсягу суб’єкта, або (як і в судженнях Е) в судженнях О жоден предмет, що володіє ознаками, відображеними в Р, як установлено зв’язкою, не входить в обсяг S. «Деякі (квантор існування) студенти (S) не є спортсменами (Р)». Тут S, оскільки мислиться лише частина студентів, а Р, бо в ньому мисляться усі спортсмени і жоден з них не включений у ту частину студентів, яка мислиться в S.

Таким чином, S розподілений у загальних судженнях і нерозподілений у часткових; Р завжди розподілений в заперечувальних судженнях, у стверджувальних же він розподілений тоді, коли за обсягом Р≤S.

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

Виділяльними є судження, в яких ознака, мислима в предикаті, характеризує лише даний, але ніякий інший предмет (предмети) думки. У виділяльних атрибутивних категоричних судженнях використовується логічний оператор «тільки». Даний оператор може бути випущений, але припускатися змістом судження.

Приклади:

– одиничностверджувальне судження: «Тільки студент даної групи Ситін С.П. – відмінник», або воно ж: «Студент даної групи Ситін С.П., і тільки він, є відмінником»;

– одиничнозаперечувальне судження: «Тільки студент даної групи Нємов Є.М. не є устигаючим», або воно ж: «Студент даної групи Нємов Є.М., і тільки він, не є устигаючим»;

– частковостверджувальне судження: «Тільки деякі студенти даної групи є посередніми», або «Деякі, і тільки деякі студенти даної групи є посередніми»;

– частковозаперечувальні судження: «Тільки деякі студенти даної групи не виконують навчальну програму ВНЗ», або воно ж: «Деякі, і тільки деякі студенти даної групи не виконують навчальну програму ВНЗ».

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

Приклад: «Лише деякі, а не усі студенти – відмінники» – визначене часткове. У ньому не встановлений обсяг предиката, адже відмінниками є не тільки студенти. У частковозаперечувальним судженні «Деякі держави, і тільки, є тоталітарними» точно встановлено і відношення суб’єкта – «держава» – до предикату, і відношення предиката – «тоталітарна держава» – до суб’єкта. Дійсно, тоталітарними можуть бути або не бути лише держави: увесь обсяг предиката включений в обсяг суб’єкта.

Виключальними є судження, в яких ознака, мислима в предикаті, характеризує усі предмети, крім певної їх частини. У виключальних атрибутивних категоричних судженнях використовується логічний оператор «за виключенням», «крім», «зокрема». Він може бути пропущений, але припускатися змістом судження. Тут (на відміну від виділяльних) одиничні і загальні судження виключальними бути не можуть. Виключальними можуть бути лише часткові судження. Дійсно, з одного боку, в суб’єкті мислиться множина елементів, а з іншого – наявність підмножини елементів обсягу, які ознаку, що відображається в предикаті, не характеризує (у стверджувальному судженні ця ознака не належить, в заперечувальному – належить предмету думки). Тому виключальнесудження не може бути загальним.

Приклади: «ВНЗ даного міста, за виключенням семи, не є державними», «Обов’язковими для держави є усі міжнародні договори, крім нератифікованих».

3. Відношення між видами простих суджень. Між судженнями різних видів встановлюються логічні відношення. Відношення між простими судженнями бувають порівнювані і непорівнювані. Порівнювані прості судження, що мають у своєму складі загальний термін S або P, але які різні за якістю і за кількістю, іноді називають судженнями однієї матерії: «Деякі люди є студентами» і «Деякі люди не є студентами».

Порівнювані прості судження – це судження із загальними термінами, що розрізняються за кількістю або якістю: «Усі глядачі аплодували» і «Деякі глядачі аплодували». Ці судження мають однакові S («глядачі») і Р («глядачів, що аплодують»), але лише різні – квантори: перше судження: «» – «усі», друге судження: «» – «деякі».

Непорівнювані прості судження – це судження, що розрізняються хоч би одним терміном: «Дефіцит бюджету існує» і «Профіцит бюджету існує». Тут різні S.

Порівнювані прості судження бувають сумісними і несумісними:

– сумісні – це судження, які виражають думку повністю або частково: «Т.Г.Шевченко жив у 19 ст.» і «Автор поеми «Гайдамаки«жив у 19 ст.».

Відношення сумісності: відношення тотожності, підпорядкування (субординації) і підпротилежності, або часткової сумісності (субконтрарності);

– несумісні – це судження, які виражають думки, що знаходяться у відношеннях протиріччя («Усі люди мають вищу освіту» і «Деякі люди не мають вищої освіти») і протилежності («Усі люди мають вищу освіту» і «Жодна людина не має вищої освіти»).

Відношення несумісності: протилежності (контрарності) і протиріччя (контрадикторності).

Відношення між простими судженнями зручно розглядати за допомогою мнемонічної фігури (мнемоніка: від грец. μνημονικόν – мистецтво запам'ятовування), яка має назву логічного квадрата.

Логічний квадрат – це штучна схема, яка, апелюючи до уяви людини, полегшує їй запам'ятовування характеру відношень між судженнями типу А, I, Е, О, в яких йдеться про один і той же предмет, в один і той же час і в одному і тому ж відношенні.

Логічний квадрат:

А(SP) Е(SP)

I(SP) О(SP)

Вершини символізують прості категоричні судження: А, I, Е, О, сторони і діагоналі – логічні відношення між судженнями:

– верхня сторона символізує відношення (А – Е) протилежності (контрарності):

А «Усі люди працюють сумлінно» і

Е «Жодна людина не працює сумлінно»

Дата добавления: 2014-10-31