Будь-яке судження є істинним або хибним - студопедія

Якщо судження відповідає дійсності, воно істинне, а то й відповідає - помилкове. Наприклад, судження Всі троянди - це квіти є істинним, а судження Всі мухи - це птахи - хибним. Треба відзначити, що поняття, на відміну від суджень, не можуть бути істинними або помилковими. Неможливо, наприклад, стверджувати, що поняття школа - справжнє, а поняття інститут - помилкове, поняття зірка - справжнє, а поняття планета - помилкове і т. П. Але хіба поняття Змій Горинич, Кощій Безсмертний, вічний двигун не помилкові? Ні, ці поняття є нульовими (порожніми), але не істинними і не помилковими. Згадаймо, поняття - це форма мислення, яка позначає який-небудь об'єкт, і саме тому не може бути істинним або хибним. Істинність або хибність - це завжди характеристика якогось висловлювання, твердження або заперечення, тому вона може бути застосована тільки до суджень, а не до понять.

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

Як бачимо, судження - це більш складна форма мислення в порівнянні з поняттям. Тому не дивно, що судження має певну структуру, в якій можна виділити чотири частини: суб'єкт, предикат, зв'язка і квантор.

Суб'єкт (позначається латинською буквою S) - це те, про що йде мова в судженні. Наприклад, у постановах своїх Усі підручники є книгами мова йде про підручники, тому суб'єктом даного судження виступає поняття підручники.

Предикат (позначається латинською буквою Р) - це те, що говориться про суб'єкта. Наприклад, в тому ж судженні Всі підручники є книгами про суб'єкта (про підручники) говориться, що вони - книги, тому предикатом даного судження виступає поняття книги.

Зв'язка - це те, що з'єднує суб'єкт і предикат. У ролі зв'язки можуть бути слова є, є, це і т. П.

Квантор - це покажчик на обсяг суб'єкта. У ролі квантора можуть бути слова все, деякі, жоден і т. П.

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

Ставлення рівнозначності припускає, що суб'єкт і предикат є рівнозначні поняття. У судженні Всі квадрати - це рівносторонній прямокутники суб'єкт квадрати і предикат равносторонние прямокутники знаходяться в відношенні рівнозначності, тому що квадрат - це обов'язково рівносторонній прямокутник, а рівносторонній прямокутник - це обов'язково квадрат (рис. 17).

Відносини рівнозначності суб'єкта і предиката ілюструють приклади нижче:

Антарктида являє собою льодовий материк (рівнозначність).

Д. І. Менделєєв - творець Періодичної системи хімічних елементів (рівнозначність).

Ставлення перетину показує, що суб'єкт і предикат судження є пересічними поняттями. У судженні Деякі письменники - це американці суб'єкт письменники і предикат американці перебувають у відношенні перетину (так як письменник може бути американцем і може їм не бути, і американець може бути письменником, але також може їм не бути) (рис. 18).

Ставленням перетину пов'язані суб'єкт і предикат таких міркувань:

Деякі українські письменники - це всесвітньо відомі люди.

Деякі гриби - неїстівні об'єкти.

Деякі вчені - стародавні греки.

При відношенні підпорядкування суб'єкт і предикат судження співвідносяться як видове і родове поняття. У судженні Всі тигри - це хижаки суб'єкт тигри і предикат хижаки перебувають у відношенні підпорядкування, тому що тигр - це обов'язково хижак, але хижак не обов'язково тигр. Так само в судженні Деякі хижаки є тиграми суб'єкт хижаки і предикат тигри знаходяться у відношенні підпорядкування, будучи родовим і видовим поняттями.

Відношення підпорядкування добре ілюструють такі судження:

• Всі бактерії є живими організмами.

• Сонце - це одна з зірок.

• Не всі спортсмени є олімпійськими чемпіонами.

Відзначимо, в разі підпорядкування між суб'єктом і предикатом судження можливі два варіанти відносин: обсяг суб'єкта повністю включається в обсяг предиката (рис. 19), або навпаки (рис. 20).

Ставлення несумісності означає, що суб'єкт і предикат судження є несумісними (супідрядними) поняттями. У судженні Всі планети не є зірками суб'єкт планети і предикат зірки перебувають у відношенні несумісності, так як ні одна планета не може бути зіркою, і жодна зірка не може бути планетою (рис. 21).

У наведених нижче судженнях суб'єкт і предикат перебувають у відношенні несумісності:

Паралельні прямі не перетинаються (несумісність).

Підручники не можуть бути розважальними книгами (несумісність).

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

Спочатку знаходимо суб'єкт судження, - це поняття військовослужбовці, потім встановлюємо його предикат, - це поняття Украінане. Поняття військовослужбовці і Украінане перебувають у відношенні перетину (військовослужбовець може бути Украінаніном і може їм не бути, і Украінанін може як бути, так і не бути військовослужбовцям). Отже, в зазначеному судженні суб'єкт і предикат перетинаються.

Точно так же в судженні Всі планети - це небесні тіла суб'єкт і предикат перебувають у відношенні підпорядкування, а в судженні Жоден кит не є рибою суб'єкт і предикат несумісні.

Як правило, всі судження поділяють на три види:

Атрибутивні судження (від лат. Attributum - «невід'ємною ознакою») - це судження, в яких предикат представляє собою який-небудь істотний, невід'ємною ознакою суб'єкта. Наприклад, судження Всі горобці - це птахи - атрибутивное, тому що його предикат є невід'ємною ознакою суб'єкта, адже бути птахом - це головна ознака горобця, його атрибут, без якого він не буде самим собою (якщо якийсь об'єкт не птах, то він обов'язково і не горобець).

Треба відзначити, що в атрибутивном судженні не обов'язково предикат є атрибутом суб'єкта, може бути і навпаки - суб'єкт являє собою атрибут предиката. Наприклад, у постановах своїх Деякі птахи - це горобці (як бачимо, в порівнянні з вищенаведеним прикладом, суб'єкт і предикат помінялися місцями) суб'єкт є невід'ємною ознакою (атрибутом) предиката. Однак ці судження завжди можна формально змінити таким чином, що предикат стане атрибутом суб'єкта. Тому атрибутивними зазвичай називаються ті судження, в яких предикат є атрибутом суб'єкта.

Екзистенційні судження (від лат. Existentia - "існування") - це судження, в яких предикат вказує на існування або неіснування суб'єкта. Наприклад, судження Вічних двигунів не буває є екзистенційним, так як його предикат не буває свідчить про неіснування суб'єкта (вірніше - предмета, який позначений суб'єктом).

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

У мисленні і мові більшу частину складають атрибутивні судження. Вони зустрічаються частіше, ніж екзистенційні та релятивних. Крім того, останні, в принципі, можна уявити як атрибутивні. Повернемося до екзистенціального судження Вічних двигунів не буває. Його предикат (Не бути чи не існувати) цілком можна розглядати як атрибут суб'єкта (вічні двигуни), адже не існувати - це дійсно невід'ємною ознакою вічних двигунів, отже, дане судження можливо розцінювати як атрибутивное.

Тепер звернемося до релятивним судження Київ заснована раніше Харкова, предикат якого (бути заснованим раніше Харкова) цілком можна розглядати як атрибут суб'єкта (Москва), адже бути старше Харкова (раніше заснованим містом) - це дійсно невід'ємною ознакою Москви. Таким чином, це судження також можливо охарактеризувати як атрибутивное.