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

Общеотрицательное суждение. Этот вид суждения является общим по количеству и отрицательным по качеству - у всех предметов отрицается какое-либо свойство: все (никакое) S не есть P. 1) "Никакая параллель не пересекает экватор", 2) "Дельфин не рыба", 3) "Всякая война не обходится без жертв" - примеры таких суждений. Их обозначают первой гласной из латинского nego (отрицаю) - E (e). Краткая запись: S e P. Читается: все (никакое) S не есть P.

Общеотрицательное суждение "Ни одно S не есть P" изображается двумя кругами вне друг друга, как для несравнимых понятий (рис. 4).

Частноутвердительное суждение образуется тогда, когда берется высказывание, частное по количеству и утвердительное по качеству, стало быть, части предметов приписывается какое-то свойство. Например, 1) "Некоторые студенты изучают китайский язык", 2) "Большинство учебников не являются задачниками", 3) "Преступники порой избегают наказания". Символическим обозначением ему служит вторая гласная из того же слова affirmo - I (i), так что записывается оно так: S i P; читается: некоторые S есть P.

Частноутвердительным суждениям соответствуют две круговые схемы (рис. 5). Чаще всего S и P являются перекрещивающимися понятиями, поэтому круги, отображающие объемы субъекта и предиката пересекаются. Так, круг лиц, называемых студентами, лишь частично накладывается на круг лиц, которые изучают китайский язык; и в первой и второй категории людей есть такие, кто принадлежит только к одной из них и не принадлежит к другой. Учебники же и задачники находятся в отношении подчинения (хотя лишь некоторые учебники - задачники, но все задачники являются учебниками, поэтому круг для P полностью входит в круг для S).

Используя круговые схемы, надо помнить, что, строго говоря, содержание понятий задается только определением, а оно чаще всего лишь подразумевается и иногда может быть истолковано неодинаково. Так, в суждении о преступниках под избегающими наказания можно иметь в виду вообще всех, кто сумел уйти от него: нерадивых работников, проштрафившихся учеников и т.п. Тогда между S и P отношение перекрещивания. Но если сюда относить только преступников, которым удалось избегнуть кары, то тогда те же понятия окажутся в отношении подчинения.

Частноотрицательное суждение, как легко понять по аналогии с предыдущими, является частным по количеству и отрицательным по качеству. Для обозначения берется вторая гласная из слова nego - O (o). Тогда структура суждения - S o P; читается: некоторые S не есть P. 1) "Некоторые законы не имеют обратной силы", 2) "Большинство музыкантов не скрипачи", 3) "Иные из бабочек не являются однодневками", 4) "По меньшей мере, часть грибов не относят к высшим растениям".

Соотношение по объему может изображаться тремя вариантами, показанными на рисунке 6. Закон, с одной стороны, и все то, что можно назвать имеющим обратную силу, с другой стороны (о которых идет речь в первом суждении), образуют, очевидно, отношение пересечения. Легко также понять, что в суждении (2) понятия "музыкант" и "скрипач" образуют отношение подчинения. В суждении (3), однако, такой однозначности уже нет. Если под "однодневками" иметь в виду только однодневных бабочек, то тогда между понятиями, стоящими на месте субъекта и предиката, отношение подчинения. Но, строго говоря, под "однодневным" можно понимать и все, что длится не более одного дня, - от грозы до курса ценных бумаг; в таком случае те же понятия образуют отношение пересечения. В суждении (4) речь идет о несовместимых понятиях, поскольку все грибы - низшие растения (поэтому не только некоторые из них, но и все они не относятся к высшим). Тем не менее, данное суждение является истинным, так как в нем дается осторожное ручательство всего лишь за часть грибов. Напомним еще раз, что в традиционной логике квантор "некоторые" имеет (когда не сделано специальных оговорок) именно такой смысл - "некоторые, но, может быть, и все".

Следует твердо помнить, что, определяя вид суждения по объединенной классификации, мы должны принимать во внимание только то, что в нем говорится, а не отображаемую в нем действительность. Между ними может не быть совпадения, поскольку встречаются высказывания также и ложные. Например, суждение "Утка - домашняя птица" является, очевидно, общеутвердительным и ему соответствует круговая схема рис. 3 (все утки входят в круг домашних птиц). В действительности же их следует изображать, как легко понять, пересекающимися, ведь некоторые из уток являются дикими и, следовательно, не входят в число домашних птиц. Тем не менее, в дальнейшем анализе данное суждение все равно должно остаться для нас общеутвердительным по своим логическим свойствам и его надо будет изображать кругами для подчиненных понятий, но только при этом придется помнить, что мысль, содержащаяся в этом суждении, является ложной.

§14. (3) Распределенность терминов в суждении

Свойства суждений определяются еще одним важным показателем - распределенностью их терминов, который играет большую роль в правилах умозаключений. Оно отображает полноту выраженных в суждении знаний о тех предметах, явлениях, свойствах, которые входят в объемы понятий субъекта и предиката, то есть об упоминаемых в суждении вещах и их свойствах. Одни из них характеризуются прямо, другие же лишь косвенно. Например, суждение "Передвижники являлись русскими художниками", с одной стороны, дает сведения непосредственно о членах Товарищества передвижных художественных выставок (все они русские художники), с другой стороны, окольным путем характеризует и русских художников того времени (часть из них была передвижниками). Точно также и суждение, допустим, "Невменяемые не привлекаются к ответственности" дает информацию как о невменяемых, о так и привлекаемых к ответственности: все невменяемые не принадлежат к числу тех, кого привлекают к ответственности, и все привлекаемые к ответственности не являются невменяемыми.

Оба термина суждения характеризуются, следовательно, и в качестве свойства предмета, и в качестве самого предмета. Но надо помнить, что характеристика такого рода зависит от многих обстоятельств и может не в одинаковой мере затрагивать оба термина.