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

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

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

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

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

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

Справжні і помилкові судження

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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