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

Приватні судження містять узагальнені знання. У невизначеному приватному судженні ці знання характеризуються незавершеністю: відомо, що деякий ознака належить (або не належить), по крайней мере, деякої частини елементів класу. Завершені знання виражаються у формі певних приватних суджень, які мають у порівнянні з невизначеними приватними судженнями велику пізнавальну цінність.

Знання, що містяться в загальних судженнях, характеризуються завершеністю. У загальних судженнях виражаються закони науки, закони, що встановлюються державою, правові норми і т. д. У формі загальних суджень сформульовані, наприклад, основні права у Загальній декларації прав людини.

Перш ніж сформулювати загальне судження, наука досліджує і узагальнює велика кількість фактів про окремі речі, події, процеси. Від розгляду окремих предметів наукове пізнання переходить до вивчення певної частини певного множини, а потім до знання всіх предметів цією множини. Загальні судження формуються, таким чином, на основі одиничних і приватних суджень.

3. Об'єднана гиассіфікація суджень. Об'єднуючи кількісну та якісну характеристики, судження поділяють на 1) общеутвердітельние, 2) общеотріцательние, 3) частноутвердітельние, 4) частноотріцательние.

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

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

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

3) Частноутвердітельное судження - судження, приватне за кількістю і стверджувальне за якістю. Наприклад: «Деякі вироки суду (S) є обвинувальними (Р)». Схема цих суджень «Деякі S є Р». Кількість суджень характеризує кванторное шару «деякі», якість - стверджувальна зв'язка, виражена слоюм «є».

4) Частноотріцател'ное судження - судження, приватне за кількістю і негативне за якістю. Наприклад: «Деякі вироки суду (S) не є обвинувальними (Р)». Це судження має схему «Деякі S не є Р». Квангорное шару «деякі» вказує на кількість судження, негативна зв'язка «не є» - на його якість.

У логіці прийнято скорочене позначення суджень щодо їх об'єднаної класифікації. Ствердні судження позначаються двома першими голосними буквами латинського слова affirmo («стверджую»), негативні - двома голосними буквами латинського слова nego («заперечую»). Відповідно до цього судження позначаються: А - общеугвердітельное, Е - общеотріцательное, I - частноутвердітельное, О - частноотріцател'ное.

Мовою логіки предикатів судження А, Е, I, Про записують наступним чином:

А (Усі S є Р): V х (S (x) - Р (х)) -

для всіх х, якщо х властива S, то х властива Р.

Е (Жодне S не є Р): V х (S (x) - ¬ Р (х)) -

жодному х, якому властива S, не властива Р.

I (Деякі S є Р): 3 х (S (x) Λ Р (х)) -

існують х, яким властива S і властивість Р.

О (Деякі S не є Р): 3 х (S (x) Λ ¬ Р (х)) -

існують х, яким властива S і не властива Р.