Заметим, что в отличие от атрибутивных суждений в реляционных суждениях всегда более, чем один, субъект, и также, как в атрибутивных суждениях, один предикат, только выраженный признаком-отношением.

Пример. «Добродетель расположена посередине между двумя пороками» (Аристотель). Это - суждение с отношением. Субъектами являются «добродетель», «порок!» и «порок₂», а предикат отношение «быть расположенным посередине».

Для чего нам надо выделять реляционные суждения и отличать их от атрибутивных суждений? Для того, чтобы облегчить установление истинности этих суждений. Если мы будем трактовать суждения с отношением по аналогии с атрибутивными суждениями, то получится, что мы должны относить к одному субъекту суждения - Петру или Москве очень сложный признак «быть отцом Ивана» или «быть расположенным между Петербургом и Екатеринбургом». Сложность этого признака затрудняет оценку истинности или ложности рассматриваемого суждения. Тогда как выделение более одного субъекта позволяет значительно упростить предикат суждения и выделить простые по структуре субъекты суждения.

§ 2. Категорические суждения

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

Продолжим рассмотрение атрибутивных суждений. В логике принято делить атрибутивные суждения на виды по двум основаниям: а) качеству и б) количеству.

а) Деление атрибутивных суждений по качеству

В атрибутивном суждении наличие признака у субъекта может утверждаться, а может отрицаться.

Утвердительными называются суждения, говорящие о принадлежности предиката субъекту суждения.

Отрицательными называются суждения, говорящие об отсутствии у субъекта данного предиката.

Пример. «Эта метафора является удачной». Это утвердительное суждение, поскольку в нем говорится о принадлежности признака «быть удачным» нашему субъекту, выраженному понятием «метафора».

Пример. «Эта метафора является неудачной». Утвердительное это суждение или отрицательное? Для этого надо рассмотреть, что является предикатом суждения. Предикат здесь - признак «быть неудачной». Здесь точно так же, как в первом примере, говорится о принадлежности предиката «быть неудачной» субъекту суждения «метафора». Другое дело, что сам предикат является отрицательным, т. е. говорит об отсутствии свойства у предмета.

Пример. «Эта метафора не является удачной». Это уже явно отрицательное суждение, поскольку в нем говорится об отсутствии у субъекта суждения - «метафоры» — предиката «быть ясным».

б) Деление атрибутивных суждений по количеству

Предположим, что нам с вами приходится участвовать в дискуссии о природе человека. Выступает юрист и говорит: «Человек имеет преступные наклонности». Аудитория и мы с вами сразу же начинаем бурно обсуждать этот тезис. Одни говорят: «Нет, человек не имеет преступных наклонностей». Другой возражает: «Язнаю многих людей, которые имеют преступные наклонности»». Третьи заявляют: «Да каждого человека поставь в соответствующие условия, где ему не грозит наказание, и он совершит преступление, если это ему выгодно!»» Четвертые: «Вы очень плохого мнения о людях»». А пятый вкрадчиво спрашивает: «А скажите, Иисус Христос имел преступные наклонности?» Однако его вкрадчивый вопрос, естественно, остается без ответа, так как все участники дискуссии увлечены высказыванием своей точки зрения.

Что же скажет об этой дискуссии человек хотя бы немного знакомый с правилами ведения споров или имеющий большой опыт дискуссии? Он скажет, что с суждением, высказанным в такой форме, спорить вообще бессмысленно, поскольку вообще неясно, что было сказано. Мысль не была выражена в ясной и отчетливой форме. Действительно, из суждения «Человек имеет преступные наклонности» не ясно, имеется ли в виду один человек («Этот хеловек имеет преступные наклонности»), все люди («Каждый человек имеет преступные наклонности»), или только некоторые люди («Некоторые люди имеют преступные наклонности»). А это позволяет автору такого суждения чувствовать себя во время спора довольно свободно. Если ему предъявят человека, который не имел преступных наклонностей, то он вполне может сказать, например, что он и не имел в виду, что каждый человек имеет преступные наклонности, а, скорее, утверждал, что некоторые люди имеют преступные наклонносри, и, таким образом, вывернется из расставленной ему ловушки. Поэтому опытный спорщик или знаток теории аргументации сначала спросит его: «Что Вы имеете в виду? Уточните, пожалуйста, Ваше суждение». Но что же требуется уточнить? В логике это называется «количество суждения».

Количество суждения — характеристика суждения, определяющая, в каком объеме рассматривается субъект суждения.

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

Мы знаем, что понятия по количеству делятся на общие, единичные и пустые. Однако суждения с пустым субъектом - это тема для особого разговора, ибо этой теме посвящена специальная логика, свободная от экзистенциальных допущений. Она выходит далеко за пределы элементарного курса логики, который мы с вами изучаем. Поэтому мы не будем заниматься специально пустыми понятиями, а в рамках теории суждения будем их рассматривать как общие понятия. Так, русалка, древнегреческий бог и т. п. будут для нас в теории суждения общими понятиями, поскольку включают в свой объем более одного, хотя и несуществующего физически, объекта¹. Таким образом в основание классификации атрибутивных суждений по количеству мы положим два признака: 1) вид понятия, играющего роль субъекта суждения (единичное или общее), 2) количество субъекта, о котором идет речь в суждении. В результате получается следующая классификация:

Атрибутивные суждения

Единичные Неединичные

Общие Частные

Рис. 1

Единичные суждения - это суждения, субъектом иоторых является единичное понятие.

Пример. «Сократ является изобретателем диалектики»». В этом суждении субъект - единичное понятие, поэтому и все суждение будет единичным.

Неединичные суждения - это суждения, субъектом которых является общее понятие.

О б щ и е суждения — это суждения, в которых предикат высказывается обо всем объеме субъекта.

Пример. «Все профессоры рассеянны». Здесь предикат «быть рассеянным» относится к каждому объекту из объема понятия «профессор», а следовательно, это суждение является общим.

Пример. «Ни один профессор не является забывчивым». Здесь предикат «быть забывчивым» отрицается относительного каждого элемента объема понятия «профессор», а значит, также высказывается обо всем объеме субъекта суждения. Это суждение также общее.

Частные суждения — это суждения, в которых предикат высказывается о некоторых элементах объема субъекта.

Дело в том, что мы хотим рассматривать и такие суждения как «Некоторые русалки живут в Балтийском море» или «Все древнегреческие боги красивы».

Пример. «Некоторые студенты хорошо отзываются о своих преподавателях». Это суждение частное, поскольку здесь предикат «хорошо отзываться о своих преподаварелях» высказывается о части элементов объема понятия «студент».

Если рассмотреть единичные суждения с точки зрения второго основания деления (в каком объеме рассматривается субъект суждения), то напрашивается вывод о том, что единичные суждения больше похожи на общие, чем на частные. Действительно, в единичных суждениях субъект в любом случае рассматривается во всем объеме, поскольку в объеме единичного понятия имеется только один элемент, а части этого элемента, как мы уже знаем (§ 3 главы 2, §1 главы 5), будут физическими, а не логическими частями. Это дает нам основание при построении классификации категорических суждений отождествлять общие и единичные суждения.

Если вернуться к нашей дискуссии, то суждение «Человек имеет преступные наклонности» может быть уточнено трояким образом:

а) «Э т о т человек имеет преступные наклонности» (единичное суждение).

б) «Не к о т о ры е люди имеют преступные наклонности» (частное суждение).

в) «Вс е люди имеют преступные наклонности» (общее суждение).

Пояснение. В пояснении нуждается смысл слов «все» и «некоторые».

Мы будем считать, что слово «все» относит предикат к каждому предмету, входящему в объем субъекта. На первый взгляд это довольно тривиально. Но рассмотрим суждение, которое часто можно услышать от человека, уставшего от житейских передряг: «Все люди мерзавцы». Но действительно ли этот человек имеет в виду, что каждый человек является мерзавцем, или он все же предполагает, что есть некоторые исключения, например, он сам и некоторые дорогие ему люди. Я думаю, что существует довольно-таки мало людей, которые считают себя мерзавцами. Следовательно, в этой фразе подразумевается такой смысл: «все, кроме меня». Мы в этом смысле слово «все» употреблять не будем. А будем его употреблять в строго фиксированном логическом смысле. Поэтому если уж ты сказал «Все люди мерзавцы», то либо считай и себя мерзавцем, либо не считай себя человеком. Логика учит ответственно относиться не только к мыслям других, но и к своим собственным мыслям. А поэтому советует осторожно относиться к суждениям, начинающимся со слов «все» или «каждый». Это очень ответственные суждения.

Со словом «некоторые» также связаны определенные проблемы. Действительно, в нашем естественном языке есть два смысла слова «некоторые»: 1) «только некоторые, но не все», 2) «некоторые, а может быть, и все», или, что то же самое, «по крайней мере, один». В логике принято употреблять слово «некоторые» во втором смысле. Поэтому впредь там, где вы в этом учебнике встретите слово «некоторые», оно всегда будет употребляться в смысле «некоторые, а может быть, и все».

Теперь мы можем дать определение категорических суждений.

Кат е горич е с ким называется суждение, у которого точно выяснено качество и количество.