3. Суждения существования (экзистенци­альные).

В них утверждается или отрицается суще­ствование предметов в действительности: «Не существует беспричинных явлений», «Суще­ствуют белоухие мармазетки».

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

Кроме того, по количеству суждения де­лятся на:

I)общие, в которых что-либо утверждает­ся обо всей группе предметов: «Все S есть (не есть) Р».

В них также входят выделяющие суждения с кванторным словом «только» («Только доб­рый человек может быть великодушным») и исключающие суждения («Все студенты нашей группы, за исключением больных, пришли на семинар»);

2)частные, в которых что-либо высказы­вается о части какой-то группы предметов -«Некоторые S есть (не есть) Р»;

122

Тема 5. Суждение

Они состоят изнеопределенных суждений

(«Некоторые грибы съедобны»), и определен­ных суждений («Только некоторые грибы съе­добны»);

3)единичные, в которых нечто высказыва­ется об отдельном предмете: «Это S есть (не есть) Р» («Москва — столица России»).

Существует еще одно деление простых суж­дений на виды — по модальности. Модальными называются высказывания, в состав которых входят так называемые «модальные понятия» (операторы) типа «возможно», «необходимо», «случайно», «хорошо», «плохо» и т. д. В совре­менной логике модальные понятия объедине­ны в виды, и модальные операторы каждого вида формально определяются по отношению друг к другу. Кроме того, модальные высказы­вания можно охарактеризовать как те, в кото­рых помимо основной, описательной части (ас­серторической), содержится еще и оценка того положения дел, которое описывается в основ­ной части.

В настоящее время изучены многие виды модальностей. Те из них, которые сравни­тельно хорошо изучены, систематизированы в таблице, предложенной А. А. Ивлевым (табл 1.).

123

W UV^IIUVIiiihm -

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

В каждом суждении имеется количествен­ная и качественная характеристики. Поэтому в логике применяется объединенная классифи­кация суждений по количеству и качеству, на

основе к-отп—~ Тема 5. Суждение

ре типа _Суж?ений^{ЫДеЛЯЮТСЯ СЛед}У^Ю1«^ие четы- Суждение А - общеутвердительное. «Все S

S суть Р» Например- «R⁶^"^{06 Суждение <<Все} !• В суждении «Все скрипачи - музыканты»

2.1 - частноутвердительмТстГ^Н,: ^Ф*^К1Ш "^ ^n<™^e 1^{СКрипаЧ>>}' ^{а npe№Ka}"

которые S есть Р» Напои ^•'^дсние «не- том - понятие «музыкант». Квантор общности -

денты являются спортсменами» ^еК°^{ТОрые сту}" «^все>>- ^s - распределен, так как речь идет о всех

3. Е — обтептпм1гс.--_а ' скрипачах, то есть его объем полностью включен

""*^^и1рицательное сужттрнир ,ц„ , г,

одно S не есть Р» Няпг«,,„_а„ ■'^•-""с «пи в объем предиката. Р - не распределен, так как в

не является пресноводным» "кеан нем мыслится только часть музыкантов, которые

4.0- частноотрицательное суждение н совпадают со скрипачами; речь идет лишь о той

которые S не есть Р» Напои • "ТТ * ^части объема Р, которая совпадает с объемом S.

музыканты не являются лауое ^{Р < рые} Если объем Р шире объема S, то Р не распределен.

родных конкурсов». ^{ТаМИ межд}У^на~ 2. В суждении «Все квадраты - равносто-

Буквы А I Е О взяты из двух латинских слои ^Р°™^{Ие 11}Р^ЯМОУ^{ГОЛЬНИКИ>>} S и Р - оба распре-

AjjJrmo (утверждаю) и nEgO (otdh I ^делены> ^иб° ^{их объемы} полностью совпадают.

_Р„„„ паю). Суждение I - частноутвердительное. «Неко-

Распределенность терминов торые S есть Р».

в категорических суждениях 1. В суждении «Некоторые студенты -

тобы правильно понимать смысл сужде- спортсмены» S не распределен, так как в нем

и правильно оперировать ими, необходи- мыслится только часть подростков, то есть

о знать распределенность терминов в них - объем субъекта лишь частично включается в

су ъекта и предиката. Термин считается рас- объем предиката. Р - тоже не распределен по

пределенным, если его объем полностью вклю ^{той же п}Р^ичине- ^Если S и Р перекрещиваются,

иск^ючя °^{бЪеМ ДРУГ0Г}° ^{ТСрМИНа или} полностью ^{то Р не} Распределен.

^{ч<1ется из} него. Термин будет нераспре- "*" ^{В CV5l}^^eHJlH «Некоторые писатели - дра-

деленным, если его объем частично включает- матурги» S не распределен, так как в нем мыс-

ся в объем другого термина или частично ис- лится только часть писателей. Р - распреде- ключается из него. | лен, ибо объем предиката полностью входит в

I объем субъекта. 127

Логика

Суждение Е - общеотрицательное. «Ни одно S не суть Р»: «Ни один лев не есть травоядное животное». Здесь объем субъекта полностью исключается из объема предиката и наоборот. Поэтому и S, и Р распределены.

Суждение О — частноотрицательное. «Неко­торые S не суть Р»: «Некоторые учащиеся не являются спортсменами». S не распределен, а Р - распределен.

Раопределенность терминов в категоричес­ких суждениях можно изобразить при помощи схемы, где знаком «+» выражена распределен-ность термина, а знаком «—» его нераспреде-ленность (табл. 2).

Сложные суждения образуются из простых путем того или иного их соединения при помо­щи логических связок: конъюнкции, дизъюнк­ции, импликации, эквиваленции.

Виды сложных суждений 1. Конъюнктивные (от лат. conjunction -«связь, соединение» ), или соединительные суж­дения. Образуются посредством логической конъюнкции «и» (символически «л») по схеме: А л В (читается: «А и В»), где А и В — исходные суждения, а знак л — символ их конъюнкции. Например: «Никто не забыт, и ничто не за­быто». В русском языке логический союз конъюнкции выражается многими граммати-128