глава 2
Судження - це форма мислення, виражена в мові оповідальним пропозицією, в якій стверджується або заперечується зв'язок між предметом і його ознакою, відносини між предметами або факт існування предмета; судження може бути істинним або хибним. Якщо визначати більш просто, то судження - це форма мислення, в якій щось стверджується або заперечується відносно чого-небудь.
У класичній (двозначної) логіці виходять з того, що будь-яке судження або істинно, або хибно. Справжнім називається то судження, яке відповідає дійсності, в іншому випадку - хибним. Саме судження володіє цією здатністю виражати істину або брехня (іншим формам мислення це не властиво).
Судження діляться на прості і складні. останні складаються з декількох простих. У мові прості судження виражаються за допомогою оповідних пропозицій та знаки запитання, що містять в собі риторичне питання.
Структура простого судження
Кожне просте судження включає в себе суб'єкт (S) - те, про що висловлюється щось (логічний підмет), і предикат (Р) - то, що висловлюється про суб'єкта, а також логічна зв'язка. виражає зв'язок між суб'єктом і предикатом судження.
За якістю предиката, т. Е. В залежності від того, які реальні ознаки предмета виражені в предикате, прості судження поділяються на 1) атрибутивні судження. 2) судження відносини і 3) судження існування.
Якщо поняття предиката відображає ознака предмета або клас предметів, то такі судження називаються атрибутивними (судженнями властивості). Наприклад: «Всі огірки зелені», «Все карасі - риби». Атрибутивні судження мають форму:
Розподіл простих суджень за характером предиката
Якщо поняття предиката відображає відношення між предметами, то такі судження називаються релятивними (судженнями відносини). Це можуть бути відносини рівності, нерівності, спорідненості, просторові, тимчасові, причинно-наслідкові та ін. Відносини. Наприклад: «Псков старше, ніж Харків», «А дорівнює В», «Ольга вчиться краще Сергія». Релятивних судження мають форму «S 1 PS , т. Е. В ньому два суб'єкта, зв'язок між якими висловлює предикат.
Екзистенційними (судженнями існування) називаються судження, в яких предикат є поняттям існування. Наприклад: «Існують динамічні закони», «Не існує безпричинних явищ». Форма екзистенціального судження: «S є», «S не є», тут поняття «є» (або його синоніми) виконує не роль логічної зв'язки, як це має місце в атрибутивном судженні, а є самостійним предикатом.
Розподіл простих суджень за якістю і кількістю
Якість судження залежить від визначеності логічної зв'язки. Якщо перед зв'язкою варто заперечення, то судження є негативним і має форму «S не є P»; якщо заперечення немає, то судження є ствердною ( «S є P»).
Кількість судження залежить від логічного обсягу суб'єкта судження. За кількістю судження поділяються на:
1. Поодинокі. в яких предикат висловлюється про якомусь одиничному суб'єкті. Мають форму: «ЕтоS є (не є) P». Наприклад: «Ця будівля - пам'ятник архітектури».
2. Приватні, в яких предикат висловлюється про частину будь-якого класу предметів. Мають форму: «НекоториеS є (не є) P». ( «Деякі студенти не склали іспит з математики»).
3. Загальні. предикат висловлюється про всіх представників будь-якого класу (про клас в цілому), мають формою: «ВсеS є (не є) P» ( «Будь-яка угода, яка відповідає вимогам законодавства, не визнається дійсною»).
Як видно з наведених прикладів, кількість судження позначається кванторного (від латинського слова, що означає «кількість») словами, що виражають логічний обсяг суб'єкта: «все», «жоден», «деякі», «це».
Об'єднавши кількісну і якісну характеристики судження, отримуємо наступні види атрибутивних суджень: