3.2. Общая структура и виды простых суждений

По традиции в составе простых суждений различают:

а) субъект, то есть понятие, выделяющее единичный предмет или некоторое множество однотипных предметов, относительно которых что-либо утверждается либо отрицается в данном суждении;

б) предикат, то есть понятие, посредством которого предметы, мыслимые в субъекте, каким-либо образом характеризуются в этом суждении;

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

Рассмотрим эти элементы структуры простых суждений на примерах.

1. Первый космонавт был гражданином СССР.

2. Некоторые космонавты – женщины

3. Ни один космонавт не летал на Марс.

«О ком или о чем идет речь?» – ответ на этот вопрос позволяет установить субъект суждения. В первом суждении речь идет об одном-единственном человеке, который выделен посредством единичного понятия «первый космонавт», и это понятие является субъектом данного суждения. Второе и третье суждения имеют одинаковый субъект, который выражен общим именем «космонавт». Ответ на вопрос «Что утверждается или отрицается в отношении предметов, мыслимых в субъекте?» приводит нас к установлению предиката суждения. В первом суждении таковым является общее понятие «гражданин СССР», посредством которого характеризуется Ю.А.Гагарин именно как первый космонавт; во втором – понятие «женщины», в третьем – «существо, летавшее на Марс».

Характеризовать – значит утверждать или отрицать наличие какого-то признака у некоторого предмета (или предметов). В русском языке это можно сделать посредством связки «есть» (или «суть» - во множественном числе), а также сочетания «есть» с частицей «не» («не есть»). Часто для этой же цели используют выражение «является» либо «не является». Нередко слово-связка вообще не фигурирует в явном виде, как это имеет место во втором суждении, однако сама логическая связь между субъектом и предикатом при этом не утрачивается. Предикат в суждениях 1. и 2. представлен общими именами («гражданин СССР» и «женщина»). Однако так бывает не всегда. В частности, в суждении 3. к предикату относится неполное в логико-лексическом отношении выражение «летал на Марс». В таких случаях полезно восполнять грамматическую структуру предиката до соответствующей понятийной знаковой формы (в нашем случае эта структура примет вид выражения «существо, которое летало на Марс»).

Из примеров 1-3 нетрудно усмотреть, что по характеру субъектов простые суждения делятся на единичные (первое суждение) и множественные (второе и третье суждения). В единичном суждении его субъект представлен единичным термином (понятием). Во множественном субъект представлен общим именем (понятием). Во множественных суждениях, наряду с субъектом, предикатом и связкой, имеются также кванторные слова – «все», «каждый», «всякий», «некоторые» («существуют»), «иные», «многие». Кванторы указывают, относится ли утверждение или отрицание ко всем выделяемым субъектом предметам или только к части соответствующего множества. Множественные суждения обычно называют категорическими.

В формулировке категорических суждений кванторное слово иногда опускается, как это имеет место в предложении «Металлы являются хорошими проводниками электрического тока». Однако, содержащееся в нем утверждение относится ко всем металлам, а не к их части (т.е. к некоторым металлам) и, тем более, не к одному какому-то металлу.

Отношения между субъектом и предикатом простого суждения можно также истолковать как отношение включения или невключения одного множества предметов (например, множества космонавтов), в другое множество (во множество женщин), или элемента некоторого множества (например, Ю.А. Гагарина как летчика-космонавта) в другое множество (граждан СССР). Отношение включения или невключения, о которых идет здесь речь, выражается в обычном языке с помощью тех же связок «есть» («суть»), «не есть» («не суть»). Напомним, что вместо слова «есть» употребляются нередко тире « - », слово «является», словосочетание «представляет собой» и т.п.

С учетом изложенного, все простые суждения мы будем подразделять по двум основаниям:

• по качеству – на утвердительные и отрицательные;

• по количеству – на единичные, частные и общие.

Суждение 1. является по качеству утвердительным, по количеству – единичным; суждение 2. – утвердительным и частным; суждение 3. - отрицательным и общим.

Логику как науку иногда называют формальной логикой. И это не случайно. Дело в том, что те законы, принципы и правила, которые изучает данная наука, относятся не к конкретному содержанию наших понятий и суждений, а к их предельно общей структуре – логической форме. Напомним, логическую форму мыслей в данном аспекте мы будем истолковывать как способ связи их основных частей (компонентов). В простых суждениях к этим частям относятся их субъекты и предикаты, а способ их связи представлен логическими связками и кванторными словами. Для символической записи логической формы категорических суждений воспользуемся переменными S и P нашего логического языка, который мы будем строить по мере изложения курса, и рассмотрим следующую таблицу:

Логическая форма общеутвердительных суждений представлена в этой таблице в виде формулы «Все S суть P» (см. столбец 2), смысл которой иллюстрирует отношение объемов субъектного термина S и предикатного термина P (см. столбец 3): их объемы находятся в отношении логического подчинения субъекта предикатом. Это, в свою очередь, означает, что в общеутвердительном суждении субъект распределен (S+), то есть имеется полная определенность относительно всех элементов объема этого понятия: любой из них входит в объем предиката P (см. столбец 4). Предикат же общеутвердительного суждения не распределен (P–), поскольку не исключен вариант, когда некоторые элементы объема термина P не входят в объем термина S (что хорошо видно на соответствующей схеме, см. столбец 3).

В общеотрицательном суждении речь идет о каждом элементе объема S в том смысле, что любой из них не входит в объем P; в отношении элементов P такая же картина: ни один из них не входит в объем S. Поэтому в этом виде суждений распределен и субъект (S+), и предикат (P+).

В частных суждениях определенности нет в отношении их субъектов: известно, что лишь некоторые из элементов их объемов (т.е. по меньшей мере один, но не исключено, что и все) включается в объем предиката, либо не входят в него. Поэтому субъекты этих видов суждений не распределены (S –). В частноутвердительном суждении не распределен также и предикат (P-), а в частноотрицательном предикат распределен (P+).

Вообще вопрос о распределенности терминов в категорических суждениях решается просто: в общих суждениях всегда распределен субъект (S+), а в отрицательных всегда распределен предикат (P+).