Судження в логіці. Що таке судження, види суджень

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

Приклади суджень: «Волга впадає в Каспійське море», «А.С. Пушкін написав поему «Мідний вершник», «Уссурійський тигр занесений до Червоної книги», і т.д.

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

Судження включає в себе наступні елементи: суб`єкт, предикат, зв`язка і квантор.

1. Суб`єкт (лат. Subjektum - «лежить в основі») - те, про що йдеться в даному судженні, його предмет («S»).
2. Предикат (лат. Praedicatum - «сказаний») - відображення ознаки предмета, те, що говориться про суб`єкта судження («Р»).
3. Зв`язка - відношення, між суб`єктом («S») і предикатом («Р»). Визначає наявність / відсутність у суб`єкта якої-небудь властивості, вираженого в предикате. Може як подразумеваться, так і позначається знаком «тире» або словами «є» («не є»), «є», «є», «суть» та ін.
4. Квантор (кванторное слово) визначає обсяг поняття, до якого відноситься суб`єкт судження. Стоїть перед суб`єктом, але може також бути і відсутніми в судженні. Позначається такими словами, як «все», «багато», «деякі», «жоден», «ніхто» і ін.

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

Судження є істинним в тому випадку, коли наявність ознак, властивостей і відносин предметів, затверджуваних / заперечуваних в судженні, відповідає дійсності. Наприклад: «Все ластівки - птахи», «9 більше 2-х» і т. Д.

Якщо твердження, що міститься в судженні, не відповідає дійсності, ми маємо справу з помилковим судженням: «Сонце обертається навколо Землі», «Кілограм заліза важче, ніж кілограм вати» та ін. Правильні судження складають основу правильних умовиводів.

Однак крім двозначної логіки, в якій судження може бути або істинним, або хибним, існує також багатовимірна логіка. Відповідно до її умов, судження може бути ще і невизначеним. Особливо це стосується майбутніх одиничних суджень: «Завтра відбудеться / не відбудеться морський бій» (Арістотель, «Про тлумачення»). Якщо припустити, що це істинне судження, то морський бій завтра вже не може не відбутися. Отже, необхідно, щоб воно відбулося. Або навпаки: стверджуючи, що дане судження зараз є помилковим, ми тим самим робимо необхідної неможливість завтрашнього морської битви.

Судження за типом висловлювання

Як відомо, за типом висловлювання виділяють три типи пропозицій: оповідної, спонукальне і питальне. Наприклад, пропозиція «Я помню чудное мгновенье» відноситься до повествовательному типу. Доцільно запропонувати, що таке судження також буде розповідним. Воно містить певну інформацію, повідомляє про певну подію.

У свою чергу, питальне речення містить у собі питання, що припускає відповідь: «Що день прийдешній мені готує?» При цьому воно нічого не констатує і не заперечує. Відповідно, твердження, що таке судження є питальним, помилково. Питальне речення в принципі не містить в собі судження, так як питання не може диференціюватися за принципом істинності / хибності.

Спонукальний тип пропозицій утворюється в тому випадку, коли має місце певне спонукання до дії, прохання або заборона: «Повстань, пророк, і відь, і почуй». Що стосується суджень, то на думку одних дослідників, вони не містяться в пропозиціях подібного типу. Інші ж вважають, що мова йде про різновиди модальних суджень.

Якість судження

З точки зору якості, судження можуть бути як стверджувальними (S є P), так і негативними (S не є P). У випадку з ствердною судженням, за допомогою предиката суб`єкту надається певне властивість (-ва). Наприклад: «Леонардо да Вінчі - італійський живописець, архітектор, скульптор, вчений, природознавець, а також винахідник і письменник, найбільший представник мистецтва Відродження».

У негативному судженні, навпаки, властивість від суб`єкта віднімається: «Теорія 25-го кадру Джеймса Вайкері не має експериментального підтвердження».

Кількісна характеристика

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

Прості і складні судження

В залежності від структури, судження може ставитися до типу простих або складних. Структура простого судження включає в себе два пов`язаних між собою поняття (SP): «Книга - джерело знань». Також існують судження з одним поняттям - коли друге тільки мається на увазі: «Сутеніло» (P).

Складний вид утворюється за допомогою з`єднання декількох простих суджень.

Класифікація простих суджень

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

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

У судженнях з відносинами розглядаються певні відносини між предметами. Вони можуть мати просторово-часової контекст, причинно-наслідковий та ін. Наприклад: «Старий друг краще нових двох», «Водень легше вуглекислого газу в 22 рази».

Екзистенціальне судження - це твердження існування / неіснування предмета (як матеріального, так і ідеального): «Немає пророка у своїй вітчизні», «Місяць є супутником Землі».

Модальне судження - це форма затвердження, у складі якого присутній певний модальний оператор (необхідно, добре / погано-доведено, відомо / невідомо, заборонено, вірю, і ін.). Наприклад:

• «У Росії необхідно проведення освітньої реформи» (алетіческая модальність - можливість, необхідність чого-небудь).
• «Кожен має право на особисту недоторканність» (деонтическая модальність - моральні норми суспільної поведінки).
• «Недбале ставлення до державного майна призводить до його втрати» (аксіологічна модальність - ставлення до матеріальних і духовних цінностей).
• «Ми віримо у вашу невинність» (епістеміческі модальність - ступінь достовірності знань).

Складні судження і види логічних зв`язок

Як вже зазначалося, складні судження складаються з кількох простих. В якості логічних зв`язок між ними виступають такі прийоми, як:

• Кон`юнкція (а b - з`єднувальні судження). Судження-Кон`юнктів мають зв`язку «і»: «Здійснення прав і свобод людини і громадянина не повинно порушувати права і свободи інших осіб».
• Диз`юнкція (avb - розділові судження). В якості складових елементів використовуються судження-диз`юнкт, як зв`язки - союз «або». Наприклад: «Позивач має право збільшити або зменшити розмір позовних вимог».
• Імплікація (a - b - судження-наслідок). Якщо в структурі складного судження виділяється посилка і слідство, то можна стверджувати, що таке судження відноситься до імплікатівнимі. У якості зв`язки в даному виді використовуються такі союзи, як «якщо ... то». Наприклад: «Якщо через провідник пропустити електричний струм, то провідник нагріється», «Хочеш бути щасливим - будь ним».
• Еквіваленція (a equiv- b - тотожні судження). Має місце в тому випадку, коли значення a і b збігаються (або обидва істинні, або обидва хибні): «Людина створена для щастя, як птах для польоту».

  

• Заперечення (¬a, a - судження-інверсія). Кожному вихідного твердженням ставиться у відповідність складене твердження, що заперечує вихідне. Здійснюється за допомогою зв`язки «не». Відповідно, якщо вихідне твердження виглядає так: «Бик реагує на червоне світло» (а) - то заперечення буде звучати як: «Бик НЕ реагує на червоне світло» (¬a).