3.4. Качественно-количественная классификация простых атрибутивных суждений

Простые атрибутивные суждения делятся по качеству на утверди-

г

тельные и отрицательные суждения. Все суждения формы «Ж S являют­ся Р» относятся к утвердительным. Суждение «Галактика является дис­кообразным скоплением звезд» относится к числу утвердительных. Суж-

г

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

Способы языкового выражения общих простых атрибутивных суж­дений весьма разнообразны. Одна из этих форм уже рассматривалась - в ней в явном виде не выражается квантор всеобщности. Например, «Пре­зиденты США являются представителями белой расы». Есть и другие языковые формы выражения общих суждений: «100% промышленных предприятий являются собственностью государства», «Болезнь всегда является нарушением нормального функционирования организма», «Взаимодействие всюду является формой обмена энергией или инфор­мацией». Существуют и иные формы языкового выражения общих суж­дений. В связи с их разнообразием мы и выделили стандартную форму выражения общего суждения в виде «Все S являются (не являются) Р».

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

Подразделение простых атрибутивных суждений на утвердительные и отрицательные по качеству и на общие и частные по количеству позво­ляет развернуть совместную качественно-количественную классифика­цию рассматриваемых суждений. В рамках этой классификации выделя­ются четыре вида простых атрибутивных суждений:

общеутвердителльные (общие по количеству и утвердительные по качеству) со стандартной формой вида «Все S являются Р» («Все киты являются млекопитающими»);

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

общеотрицательные (общие по количеству и отрицательные по ка­честву) со стандартной формой вида «Ни одно S не является Р» (напри­мер, «Ни одно событие не является беспричинным»);

частноотрицательные (частные по количеству и отрицательные по качеству) со стандартной формой вида «Некоторые S не являются Р» («Некоторые истины не являются очевидными»).

Суждения каждого из четырех видов в логике обозначаются тради­ционно специальными знаками. Общеутвердительные суждения - строч­ной латинской буквой А (нетрадиционное обозначение SaP), частноут­вердительные суждения - строчной латинской буквой I (SP), общеотри­цательные суждения обозначаются строчной латинской буквой Е (второе рабочее обозначение SeP), а частноотрицательные суждения - строчной латинской буквой О (второе рабочее обозначение SoP).

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