Простые суждения

 

Простые суждения – такие суждения, где невозможно выделить некоторую часть, которая в свою очередь является суждением. К этим суждениям относятся атрибутивные суждения и суждения об отношениях.

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

Атрибутивные суждения состоят из следующих элементов: субъект (логическое подлежащее), предикат (логическое сказуемое, то, что говорится о субъекте) и связка (иногда она только подразумевается). В некоторых атрибутивных суждениях есть также кванторные (количественные) слова («некоторые», «все», «ни один» и т.д.).

Субъект обозначается латинской буквой S (от слова «subjectum»), предикат - буквой P (от слова «praedicatum»). Например, в суждении «Некоторые студенты являются спортсменами» субъект – «студенты», предикат – «спортсмены», связка – «являются», кванторное слово - «некоторые».

Субъект и предикат называются терминами суждения.

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

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

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

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

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

Кроме этой классификации, часто используют и объединенное деление атрибутивных суждений по качест­ву и количеству на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.

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

Общеотрицательные суждения – те, которые являются одновременно общими и отрицательными. Они имеют структуру «Ни одно S не есть Р». Например, «Ни один бегемот не умеет летать». Общеотрицательное суждение обозначается латинской буквой Е и записывается в виде SЕР.

Частноутвердительные суждения – те, которые одновременно являются частными и утвердительными. Его структура: «Некоторые S суть Р». Например, «Некоторые люди умеют кататься на коньках». Частноутвердительное суждение обознача­ется латинской буквой I и записывается в виде SIP.

Частноотрицательные суждения - это суждения, являющиеся одновременно частными и отрицательными. Они имеют структуру «Некоторые S не есть Р». Например, «Некоторые острова не являются обитаемыми». Частноотрицательное суждение обозначается ла­тинской буквой О и записывается в виде SОP.

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

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

В общеутвердительных высказываниях вида «Все S суть Р» утверждается, что класс S полностью включается в класс Р, таким образом, круговая схема может иметь вид:

 

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

В частноутвердительных высказываниях вида «Некоторые S суть Р» утверждается, что часть класса S включается в класс Р, и в этом случае круговые схемы могут быть четырех вариантов:

 

В частноотрицательных высказываниях вида «Некоторые S не суть Р» утверждает­ся, что часть класса S не включается в класс Р, в этом случае круговые схемы могут иметь вид:

 

(Б) Суждения об отношениях – те, в которых утверждается о том, что между элементами пар, троек и так далее предметов имеют место (или не имеют место) определенные отношения. Например, в суждении «Черное море находится южнее Охотского» утверждается, что отношение «находиться южнее» имеет место между Черным и Охотским морями; в суждении «Иванов старше Петрова, а Петров старше Кузнецова» утверждается, что отноше­ние «старший» имеет место между Ивановым, Петровым и Кузнецовым.

Подобно атрибутивным суждениям, суждения об отношениях также делятся по характеристикам качества и количества.

По качеству они подразделяются на утвердитель­ные и отрицательные. В утвердительных суждениях об отношени­ях говорится о том, что предметы находятся в определенном отношении, а в отрицательных – о том, что они в определенном отношении не находятся. ­Например, суждение «Москва больше Тулы» является утвердительным, а суждение «Эльбрус не выше Эвереста» - отрицательным.

Суждения об отношениях делятся на виды также и по количеству. Рассмотрим, на какие виды по количеству делятся суждения о двухместных отношениях: это единично-единичные, обще-общие, частно-частные, единично­-общие, единично-частные, обще-единичные, частно-единичные, об­ще-частные и частно-общие.

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

Аналогично деление по количеству суждений о трехместных, четырехместных и так далее отношениях.

Иногда в качестве особых видов простых суждений выделяют (C) суждения существования (типа «Черные лебеди существуют») и (Д)суждения тождества (равенства) (типа «a равно b»). В настоящем учебнике эти виды не рассматриваются, поскольку поскольку суждения су­ществования можно истолковать как атрибутивные («Черные лебеди существуют» можно представить в виде «Черные лебеди есть существующие», подобно суждению «Черные лебеди летают», которое представимо в виде «Черные лебеди есть летающие»), а суждения равенства - как суждения об от­ношениях («а находится в отношении равенства с b»).