Судження в логіці. Що таке судження, види суджень
Судження є формою мислення, стверджується або заперечується що-небудь про існування предметів, про зв'язки між ними та їх властивостями, а також про відносини між предметами.
Зміст
Приклади суджень: «Волга впадає в Каспійське море», «А.С. Пушкін написав поему «Мідний вершник», «Уссурійський тигр занесений до Червоної книги», і т.д.
Структура судження
Судження включає в себе наступні елементи: суб'єкт, предикат, зв'язка і квантор.
що таке судження
- Суб'єкт (лат. Subjektum - «лежить в основі») - те, про що йдеться в даному судженні, його предмет («S»).
- Предикат (лат. Praedicatum - «сказаний») - відображення ознаки предмета, те, що говориться про суб'єкта судження («Р»).
- Зв'язка - відношення, між суб'єктом («S») і предикатом («Р»). Визначає наявність / відсутність у суб'єкта якої-небудь властивості, вираженого в предикате. Може як подразумеваться, так і позначається знаком «тире» або словами «є» («не є»), «є», «є», «суть» та ін.
- Квантор (кванторное слово) визначає обсяг поняття, до якого відноситься суб'єкт судження. Стоїть перед суб'єктом, але може також бути і відсутніми в судженні. Позначається такими словами, як «все», «багато», «деякі», «жоден», «ніхто» і ін.
Істинні і помилкові судження
Судження є істинним в тому випадку, коли наявність ознак, властивостей і відносин предметів, затверджуваних / заперечуваних в судженні, відповідає дійсності. Наприклад: «Все ластівки - птахи», «9 більше 2-х» і т. Д.
судження в логіці
Якщо твердження, що міститься в судженні, не відповідає дійсності, ми маємо справу з помилковим судженням: «Сонце обертається навколо Землі», «Кілограм заліза важче, ніж кілограм вати» та ін. Правильні судження складають основу правильних умовиводів.
Однак крім двозначної логіки, в якій судження може бути або істинним, або хибним, існує також багатовимірна логіка. Відповідно до її умов, судження може бути ще і невизначеним. Особливо це стосується майбутніх одиничних суджень: «Завтра відбудеться / не відбудеться морський бій» (Арістотель, «Про тлумачення»). Якщо припустити, що це істинне судження, то морський бій завтра вже не може не відбутися. Отже, необхідно, щоб воно відбулося. Або навпаки: стверджуючи, що дане судження зараз є помилковим, ми тим самим робимо необхідної неможливість завтрашнього морської битви.
судження це
Судження за типом висловлювання
Як відомо, за типом висловлювання виділяють три типи пропозицій: оповідної, спонукальне і питальне. Наприклад, пропозиція «Я помню чудное мгновенье» відноситься до повествовательному типу. Доцільно запропонувати, що таке судження також буде розповідним. Воно містить певну інформацію, повідомляє про певну подію.
У свою чергу, питальне речення містить у собі питання, що припускає відповідь: «Що день прийдешній мені готує?» При цьому воно нічого не констатує і не заперечує. Відповідно, твердження, що таке судження є питальним, помилково. Питальне речення в принципі не містить в собі судження, так як питання не може диференціюватися за принципом істинності / хибності.
приклади суджень
Спонукальний тип пропозицій утворюється в тому випадку, коли має місце певне спонукання до дії, прохання або заборона: «Повстань, пророк, і відь, і почуй». Що стосується суджень, то на думку одних дослідників, вони не містяться в пропозиціях подібного типу. Інші ж вважають, що мова йде про різновиди модальних суджень.
істинне судження
Якість судження
З точки зору якості, судження можуть бути як стверджувальними (S є P), так і негативними (S не є P). У випадку з ствердною судженням, за допомогою предиката суб'єкту надається певне властивість (-ва). Наприклад: «Леонардо да Вінчі - італійський живописець, архітектор, скульптор, вчений, природознавець, а також винахідник і письменник, найбільший представник мистецтва Відродження».
У негативному судженні, навпаки, властивість від суб'єкта віднімається: «Теорія 25-го кадру Джеймса Вайкері не має експериментального підтвердження».
Кількісна характеристика
Судження в логіці можуть мати загальний характер (які стосуються усіх предметів даного класу), приватні (до деяких з них) і поодинокі (коли мова йде про предмет, існуючому в єдиному екземплярі). Наприклад, можна стверджувати, що таке судження, як «Вночі всі кішки сірі» буде ставитися до загального вигляду, оскільки воно зачіпає всіх представників котячих (суб'єкт судження). Затвердження ж «Деякі змії не є отруйними» - приклад приватного судження. У свою чергу, судження «Чудовий Дніпро при тихій погоді» є одиничним, тому що мова йде про одну конкретної річці, існуючої в єдиному вигляді.
Прості і складні судження
В залежності від структури, судження може ставитися до типу простих або складних. Структура простого судження включає в себе два пов'язаних між собою поняття (SP): «Книга - джерело знань». Також існують судження з одним поняттям - коли друге тільки мається на увазі: «Сутеніло» (P).
Складний вид утворюється за допомогою з'єднання декількох простих суджень.
Класифікація простих суджень
Прості судження в логіці можуть бути наступних видів: атрибутивні, судження з відносинами, екзистенційні, модальні.
Атрибутивні (судження-властивості) спрямовані на утвердження / заперечення наявності у предмета певних властивостей (атрибутів), видів діяльності. Дані судження мають категоричну форму і не піддаються сумніву: «Нервова система ссавців складається з головного мозку, спинного мозку і відходять нервових шляхів».
У судженнях з відносинами розглядаються певні відносини між предметами. Вони можуть мати просторово-часової контекст, причинно-наслідковий та ін. Наприклад: «Старий друг краще нових двох», «Водень легше вуглекислого газу в 22 рази».
правильні судження
Екзистенціальне судження - це твердження існування / неіснування предмета (як матеріального, так і ідеального): «Немає пророка у своїй вітчизні», «Місяць є супутником Землі».
Модальне судження - це форма затвердження, у складі якого присутній певний модальний оператор (необхідно, добре / погано-доведено, відомо / невідомо, заборонено, вірю, і ін.). Наприклад:
- «У Росії необхідно проведення освітньої реформи» (алетіческая модальність - можливість, необхідність чого-небудь).
- «Кожен має право на особисту недоторканність» (деонтическая модальність - моральні норми суспільної поведінки).
- «Недбале ставлення до державного майна призводить до його втрати» (аксіологічна модальність - ставлення до матеріальних і духовних цінностей).
- «Ми віримо у вашу невинність» (епістеміческі модальність - ступінь достовірності знань).
Складні судження і види логічних зв'язок
Як вже зазначалося, складні судження складаються з кількох простих. В якості логічних зв'язок між ними виступають такі прийоми, як:
- Кон'юнкція (а b - з'єднувальні судження). Судження-Кон'юнктів мають зв'язку «і»: «Здійснення прав і свобод людини і громадянина не повинно порушувати права і свободи інших осіб».
- Диз'юнкція (avb - розділові судження). В якості складових елементів використовуються судження-диз'юнкт, як зв'язки - союз «або». Наприклад: «Позивач має право збільшити або зменшити розмір позовних вимог».
- Імплікація (a - b - судження-наслідок). Якщо в структурі складного судження виділяється посилка і слідство, то можна стверджувати, що таке судження відноситься до імплікатівнимі. У якості зв'язки в даному виді використовуються такі союзи, як «якщо ... то». Наприклад: «Якщо через провідник пропустити електричний струм, то провідник нагріється», «Хочеш бути щасливим - будь ним».
- Еквіваленція (a equiv- b - тотожні судження). Має місце в тому випадку, коли значення a і b збігаються (або обидва істинні, або обидва хибні): «Людина створена для щастя, як птах для польоту».
якість судження
- Заперечення (¬a, a - судження-інверсія). Кожному вихідного твердженням ставиться у відповідність складене твердження, що заперечує вихідне. Здійснюється за допомогою зв'язки «не». Відповідно, якщо вихідне твердження виглядає так: «Бик реагує на червоне світло» (а) - то заперечення буде звучати як: «Бик НЕ реагує на червоне світло» (¬a).