Прості судження
Общеутвердітельное називаються судження, за кількістю, т. Е. За характером суб'єкта, загальні, а за якістю, т. Е. Характеру зв'язки, позитивні. Наприклад: «Всі адвокати - юристи».
Частноутвердітельние судження - приватні за кількістю, позитивні за якістю. Наприклад: «Деякі свідки дають достовірні свідчення».
Общеотріцательние судження - загальні за кількістю, негативні за якістю. Приклад: «Жоден обвинувачений не виправданий».
Нарешті, частноотріцательние судження - приватні за кількістю, негативні за якістю. Приклад: «Деякі свідки не дають вірних свідчень».
Для формульної записи цих видів суджень в логіці використовуються голосні букви двох латинських слів «аГПгто» ( «стверджую») і «пе§о» ( «заперечую»). Саме вони означають судження:
А - общеутвердітельние,
I - частноутвердітельние,
Е - общеотріцательние,
Про - приватнонегативне.
Щоб правильно розуміти сенс суджень і правильно оперувати ними, необхідно знати распределенность термінів в них - суб'єкта і предиката.
Розподіленим вважається термін, мислимий у всьому об'ємі; нерозподіленим - якщо він мислиться не в усьому обсязі, а частково.
У общеутвердітельних судженнях (А): «Все Б є Р» - суб'єкт розподілений, а предикат не розподілений. Це видно на графічній схемі (штрихуванням відзначена ступінь їх розподіленості).
Виняток становлять лише випадки, коли судження - общевиделяющее. Наприклад: «Тільки люди - розумні істоти на Землі». Тут розподілені і суб'єкт, і предикат.
У частноутвердітельних судженнях (I): «Деякі Б є Р» - суб'єкт і предикат не розподілені.
Виняток становлять лише випадки, коли суб'єкт за обсягом ширше предиката. Наприклад: «Деякі смертні істоти - люди», «Деякі юристи - адвокати». У них суб'єкт не розподілений, а предикат розподілений.
У общеотріцательних судженнях (Е): «Жодне Б не є Р» - суб'єкт і предикат розподілені.
Нарешті, в частноотріцательних судженнях (О): «Деякі Б не є Р» - суб'єкт не розподілений, предикат розподілений.
Узагальнюючи сказане, можна вивести такі закономірності, що характеризують розподіленість термінів у судженнях:
а) суб'єкт розподілений в загальних і не розподілений в приватних судженнях;
б) предикат розподілений в негативних і не розподілений в стверджувальних судженнях.
Знання распределенности термінів в судженнях має велике значення в практиці мислення. Воно необхідне, по-перше, для правильного перетворення суджень і, по-друге, для перевірки правильності умовиводів.
Види суджень за характером предиката. Предикат судження, будучи носієм новизни, може мати самий різний характер. З цієї точки зору у всьому різноманітті суджень виділяються три найбільш поширені групи: атрибутивні, реляційні та екзистенційні.