3.2. Общая структура и виды простых суждений
По традиции в составе простых суждений различают:
а) субъект, то есть понятие, выделяющее единичный предмет или некоторое множество однотипных предметов, относительно которых что-либо утверждается либо отрицается в данном суждении;
б) предикат, то есть понятие, посредством которого предметы, мыслимые в субъекте, каким-либо образом характеризуются в этом суждении;
в) связка между субъектом и предикатом, указывающая, что предметы, мыслимые в субъекте, имеют или не имеют соответствующую предикату характеристику.
Рассмотрим эти элементы структуры простых суждений на примерах.
Первый космонавт был гражданином СССР.
Некоторые космонавты – женщины
Ни один космонавт не летал на Марс.
«О ком или о чем идет речь?» – ответ на этот вопрос позволяет установить субъект суждения. В первом суждении речь идет об одном-единственном человеке, который выделен посредством единичного понятия «первый космонавт», и это понятие является субъектом данного суждения. Второе и третье суждения имеют одинаковый субъект, который выражен общим именем «космонавт». Ответ на вопрос «Что утверждается или отрицается в отношении предметов, мыслимых в субъекте?» приводит нас к установлению предиката суждения. В первом суждении таковым является общее понятие «гражданин СССР», посредством которого характеризуется Ю.А.Гагарин именно как первый космонавт; во втором – понятие «женщины», в третьем – «существо, летавшее на Марс».
Характеризовать – значит утверждать или отрицать наличие какого-то признака у некоторого предмета (или предметов). В русском языке это можно сделать посредством связки «есть» (или «суть» - во множественном числе), а также сочетания «есть» с частицей «не» («не есть»). Часто для этой же цели используют выражение «является» либо «не является». Нередко слово-связка вообще не фигурирует в явном виде, как это имеет место во втором суждении, однако сама логическая связь между субъектом и предикатом при этом не утрачивается. Предикат в суждениях 1. и 2. представлен общими именами («гражданин СССР» и «женщина»). Однако так бывает не всегда. В частности, в суждении 3. к предикату относится неполное в логико-лексическом отношении выражение «летал на Марс». В таких случаях полезно восполнять грамматическую структуру предиката до соответствующей понятийной знаковой формы (в нашем случае эта структура примет вид выражения «существо, которое летало на Марс»).
Из примеров 1-3 нетрудно усмотреть, что по характеру субъектов простые суждения делятся на единичные (первое суждение) и множественные (второе и третье суждения). В единичном суждении его субъект представлен единичным термином (понятием). Во множественном субъект представлен общим именем (понятием). Во множественных суждениях, наряду с субъектом, предикатом и связкой, имеются также кванторные слова – «все», «каждый», «всякий», «некоторые» («существуют»), «иные», «многие». Кванторы указывают, относится ли утверждение или отрицание ко всем выделяемым субъектом предметам или только к части соответствующего множества. Множественные суждения обычно называют категорическими.
В формулировке категорических суждений кванторное слово иногда опускается, как это имеет место в предложении «Металлы являются хорошими проводниками электрического тока». Однако, содержащееся в нем утверждение относится ко всем металлам, а не к их части (т.е. к некоторым металлам) и, тем более, не к одному какому-то металлу.
Отношения
между субъектом и предикатом простого
суждения можно также истолковать как
отношение включения или невключения
одного множества предметов (например,
множества космонавтов), в другое множество
(во множество женщин), или элемента
некоторого множества (например,
Ю.А. Гагарина как летчика-космонавта)
в другое множество (граждан СССР).
Отношение включения или невключения,
о которых идет здесь речь, выражается
в обычном языке с помощью тех же связок
«есть» («суть»), «не есть» («не суть»).
Напомним, что вместо слова «есть»
употребляются нередко тире « - », слово
«является», словосочетание «представляет
собой» и т.п.
С учетом изложенного, все простые суждения мы будем подразделять по двум основаниям:
по качеству – на утвердительные и отрицательные;
по количеству – на единичные, частные и общие.
Суждение 1. является по качеству утвердительным, по количеству – единичным; суждение 2. – утвердительным и частным; суждение 3. - отрицательным и общим.
Логику как науку иногда называют формальной логикой. И это не случайно. Дело в том, что те законы, принципы и правила, которые изучает данная наука, относятся не к конкретному содержанию наших понятий и суждений, а к их предельно общей структуре – логической форме. Напомним, логическую форму мыслей в данном аспекте мы будем истолковывать как способ связи их основных частей (компонентов). В простых суждениях к этим частям относятся их субъекты и предикаты, а способ их связи представлен логическими связками и кванторными словами. Для символической записи логической формы категорических суждений воспользуемся переменными S и P нашего логического языка, который мы будем строить по мере изложения курса, и рассмотрим следующую таблицу:
1 |
2 |
3 |
4 |
Виды суждений |
Логическая форма суждений |
Отношения терминов (S и P) |
Распределенность терминов |
Общеутвердительные |
Все S суть P |
|
S+
Р |
Общеотрицательные |
Все S не суть P |
|
S+
Р+ |
Частноутвердительные |
Некоторые S суть P |
|
S
Р |
Частноотрицательные |
Некоторые S не суть P |
|
S
Р+ |
Логическая форма общеутвердительных суждений представлена в этой таблице в виде формулы «Все S суть P» (см. столбец 2), смысл которой иллюстрирует отношение объемов субъектного термина S и предикатного термина P (см. столбец 3): их объемы находятся в отношении логического подчинения субъекта предикатом. Это, в свою очередь, означает, что в общеутвердительном суждении субъект распределен (S+), то есть имеется полная определенность относительно всех элементов объема этого понятия: любой из них входит в объем предиката P (см. столбец 4). Предикат же общеутвердительного суждения не распределен (P–), поскольку не исключен вариант, когда некоторые элементы объема термина P не входят в объем термина S (что хорошо видно на соответствующей схеме, см. столбец 3).
В общеотрицательном суждении речь идет о каждом элементе объема S в том смысле, что любой из них не входит в объем P; в отношении элементов P такая же картина: ни один из них не входит в объем S. Поэтому в этом виде суждений распределен и субъект (S+), и предикат (P+).
В частных суждениях определенности нет в отношении их субъектов: известно, что лишь некоторые из элементов их объемов (т.е. по меньшей мере один, но не исключено, что и все) включается в объем предиката, либо не входят в него. Поэтому субъекты этих видов суждений не распределены (S –). В частноутвердительном суждении не распределен также и предикат (P-), а в частноотрицательном предикат распределен (P+).
Вообще вопрос о распределенности терминов в категорических суждениях решается просто: в общих суждениях всегда распределен субъект (S+), а в отрицательных всегда распределен предикат (P+).