Суждения с отношениями.

В них говорится об отношениях между предметами. Напри­мер: “Всякий протон тяжелее электрона”, “Французский писатель Виктор Гюго родился позднее французского писателя Стендаля”, “Отцы старше своих детей” и др.

Формула, выражающая суждение с двуместным отношени­ем, записывается как aRb или R (a, b), где а и b - имена предме­тов, а R - имя отношения.

3. Суждения существования (экзистенциальные). В них утверждается или отрицается существование предме­тов (материальных или идеальных) в действительности. При­меры этих суждений: “Существуют атомные электростанции”, “Не существует беспричинных явлений”.

В традиционной логике все три указанных вида суждений пред­ставляют собой простые категорические суждения. По качест­ву связки (“есть” или “не есть”) категорические суждения де­лятся на утвердительные и отрицательные.

В познании утвердительное суждение имеет в общем случае большее значение, чем отрицательное, ибо важнее раскрыть, ка­ким признаком обладает предмет, чем то, каким он не обладает, так как любой предмет не обладает очень многими свойствами.

В зависимости от того, обо всем ли классе предметов, о ча­сти этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, частные и единичные. Структура общего суждения: “Все S суть (не суть) P ”. Еди­ничные суждения будут трактоваться как общие, так как их субъ­ектом является одноэлементный класс.

Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, на основе которой выделяются следующие четыре типа суждений:

1. А - общеутвердительное суждение. Структура его: “Все Sсуть Р ”. Например: “Все люди хотят счастья”.

2. I- частноутвердительное суждение. Структура его: “Неко­торые S есть P ). Например, “Некоторые уроки стимулируют творческую активность учащихся”. Условные обозначения для утвердительных суждений взяты от слова affirmo, или утвер­ждаю; при этом берутся две первые гласные буквы: А - для обозначения общеутвердительного и I - для обозначения частноутвердительного суждения.

3. Е - общеотрицательное суждение. Его структура: “Ни одно S не есть Р ”. Пример: “Ни один океан не является пресновод­ным”.

4. О - частноотрицательное суждение. Структура его: “Неко­торые S не есть Р ”. Например, “Некоторые спортсмены не явля­ются чемпионами Олимпийских игр”. Условное обозначение для отрицательных суждений взяты от слова nego, или отрицаю.

Так как простое категорическое суждение состоит из терми­нов S и Р, которые, являясь понятиями, могут рассматриваться со стороны объема, то любое отношение между S и Р в простых суждениях может быть изображено при помощи круговых схем Эйлера, отражающих отношения между понятиями.

В суждени­ях термины S и Р могут быть либо распределены, либо не распределены. Итак, S распределен в общих суждениях и не распреде­лен в частных; Р всегда распределен в отрицательных су­ждениях, в утвердительных же он распределен тогда, ко­гда по объему Р ≤ = S.