Виды суждений

 

Так же, как и понятия, суждения классифицируют на виды по количественному и качественному основаниям.

Качество суждения не определяется содержанием терминов, а определяется логической связкой. По качеству суждения делятся на утвердительные и отрица­тельные, атрибутивные категорические, суждения существова­ния (экзистенциальные категорические) и суждения отношений (релятивные).

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

Примеры:

«Екатерина II была императрицей России»,

«Царевич Дмитрий не стал российским императором».

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

Атрибутивными категорические суждения называются пото­му, что они отражают свойства предмета.

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

Общая формула простого атрибутивного категорического суждения такова:

S — Р.

 

Термины простого атрибутивного категорического сужде­ния — субъект и предикат, могут быть как совместимыми, так и несовместимыми. Это значит, что между терминами атри­бутивных категорических суждений наблюдаются все виды отношений между сравнимыми понятиями: тождество, пере­сечение, подчинение, соподчинение, противоречие и противопо­ложность.

Примеры:

Отношения субординации между S и P: «Московская немощёная улица XVII в. была очень неопрятна».

Отношения координации между S и P: «Соци­ально-культурные нормы не являются ценностями материальной культуры».

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

Отношения пересечения между S и P: «Некоторые свидетели обязаны давать показания».

Отношения противоположности между S и P: «Ни один материалист не является иде­алистом».

Отношения противоречия между S и P: «Ни один преступник не является ли­цом, освобождаемым от уголовной ответственности».

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

Примеры:

Справедливость существует. Есть такая партия.

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

 

S —.

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

Основанием определения релятивного суждения является не струк­тура, а качество или содержание суждений. Содержание суждения может быть представлено нелогическими — объективными предме­тами, признаками, процессами, связями, тогда как связь между субъектом и предикатом в атрибутивном суждении — только формальная, логическая.

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

Примеры:

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

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

Понятия-элементы релятивного суждения, обозначающие предметы мысли, называются терминами или членами отношения.

Понятие-элемент релятив­ного суждения, обозначающее отношение между предметами, называется предикатором.

В зависимости от положения (места) по отношению к связке выделяются два вида терминов релятивных суждений: предшест­вующий и последующий члены отношения.

Пример:

[Парламентская республика (предшествующий термин)] [демократичнее (предикатор)][ президентской (последующий термин)].

В релятивном суждении может быть больше двух терми­нов. Количество терминов в нем называется местностью. Если отношение связывает два термина, то суждение называется двухместным, три термина — трехместным, четыре — четы­рехместным и т. д.

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

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

Примеры:

«Исландия расположена севернее Испании» (двухместное простое релятивное суждение). «Исландия севернее и Испании, и Франции» (трёхместное релятивное суждение). «Рейкьявик севернее и западнее Дели» (двухместное сложное релятивное суждение).

Общая формула простого двухместного релятивного сужде­ния такова:

X R у.

 

Формула читается: «х находится к у в отношении R».

Релятивные суждения могут быть выражены в ка­честве атрибутивных категорических.

Пример:

«Успех предприятия зависит от квалификации его руководителей» (релятивное суждение). Успех предприятия является следствием квалификации его руководителей» (категорическое суждение).

Следующие два вида суждений по качеству — утвердитель­ные и отрицательные.

Утвердительным называется суждение, выражающее при­надлежность предмету определенного признака, наличие связи между предметами либо существование предмета мысли.

Отрицательным называется суждение, выражающее от­сутствие у предмета определенного признака, отсутствие свя­зи между предметами либо несуществование предмета мысли.

По количеству суждения могут быть общими, частными и единичными. Частные суждения по количеству могут быть опре­деленными и неопределенными.

По количеству элементов сужде­ния, в свою очередь, делятся на простые и сложные.

Количество суждения определяется количеством понятия, отражающего предмет мысли.В суждении оно выражено спе­циальным элементом — квантором.

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

Существуют два вида кванторов — общности и существования.

В простом атрибутивном категорическом суждении квантор предшествует субъекту и характеризует его объем.

Квантор общности — вид кванторов, указывающий, что в объеме субъекта мыслятся все элементы данного класса.

Квантор общности выражается словами «все», «любой», «вся­кий», «каждый», «без исключения», «ни один» и т. п. Обознача­ется символом «».

Пример:

В любой рыночной экономике действует закон стоимости; Все олигархические государства не являются де­мократическими.

Квантор существования — вид кванторов, указывающий, что в объеме субъекта мыслится лишь часть элементов данно­го класса.

Квантор существования выражается словами и словосочета­ниями «часть», «большинство», «меньшинство», «не все», «не каждый», «некоторые», «отдельные» и др. Обозначается симво­лом «».

Пример:

Некоторые граждане обладают избирательными пра­вами; Часть соискателей ученых степеней обучаются в очной или заочной аспирантуре.

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

Пример:

Швейк — бравый солдат; А.С. Пушкин – великий русский поэт.

Единичными могут быть атрибутивные и экзистенциальные категорические («Сократ существовал») суждения. Релятивные суждения являются единичными тогда и только тогда, когда пред­шествующий и последующий члены отношения являются еди­ничными понятиями («Российское государство возникло раньше, чем Соединенные Штаты Америки»). Если же хотя бы один из членов отношения не является единичным понятием, а один — является, то такое релятивное суждение будет комбинированным по количеству.

Частным называется суждение о части предметов класса, мыслимого в термине суждения.

Частными могут быть атрибутивные («Большинство совре­менных государств являются государствами с рыночной эко­номикой») и экзистенциальные категорические («Не все иде­алисты существуют»), а также релятивные суждения («Часть городов Европы севернее некоторых городов Азии»). Однако в утвердительном двухместном релятивном суждении с про­странственным отношением «Часть городов Европы севернее Волгограда» последующий член отношения — понятие еди­ничное («Волгоград»), поэтому суждение не может быть отне­сено ни к единичным, ни к частным. Такое суждение является частно-единичным.

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

 

S — Р.

 

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

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

В общих суждениях, как правило, применяется квантор общности. Однако он может быть пропущен, и общий харак­тер суждения может определяться контекстуально.

Примеры:

Жизнь каждого человека – это игра.

Жизнь - игра.

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

Формула простого атрибутивного категорического общего суждения:

 

S — Р.

 

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

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

Основными структурными элементами сложных суждений являются простые суждения и логические союзы.

Логическим союзом называется элемент сложного сужде­ния, соединяющий составляющие его простые суждения.

Примеры:

Сегодня хорошая погода и настроение тоже приподнятое. По прогнозу Гидрометцентра завтра будет либо дождь, либо снег.

По объединенному качественно-количественному основанию суждения подразделяют на общеутвердительные, общеотрица­тельные, частноутвердительные, частноотрицательные, единич-ноутвердительные и единичноотрицательные.

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

Формула простого общеутвердительного атрибутивного кате­горического суждения:

 

S есть Р.

 

Формула читается: «Все S суть Р».

Пример:

Все элементы выборки являются элементами гене­ральной совокупности.

Общеотрицательными называются суждения, общие по ко­личеству и отрицательные по качеству.

Общеотрицательное суждение обозначается заглавной латин­ской буквой «Е».

Формула простого общеотрицательного атрибутивного ка­тегорического суждения:

 

S не есть Р

 

или

( S есть Р).

 

Формула читается: «Все S не есть Р» или «Неверно, что S есть P».

Пример:

Ни один иностранный гражданин не является из­бирателем российских органов государственной власти.

Частноутвердительными называются суждения, частные по количеству и утвердительные по качеству.

Частноутвердительное суждение обозначается заглавной ла­тинской буквой «I».

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

 

S есть Р.

 

Формула читается: «Некоторые S есть Р».

Пример:

Некоторые теории являются истинными.

Частноотрицательными называются суждения, частные по количеству и отрицательные по качеству.

Частноотрицательное суждение обозначается заглавной ла­тинской буквой «О».

Формула простого частноотрщатепьного атрибутивного ка­тегорического суждения:

 

S не есть Р.

или

( S есть Р).

 

Формула читается: «Некоторые S не есть Р» или «Неверно, что некоторые S есть Р».

Пример:

Часть теорий не являются истинными.

Единичноутвердительными называются суждения, единич­ные по количеству и утвердительные по качеству.

Для единичноутвердительных и единичноотрицательных суж­дений не установлено специальных буквенных обозначений.

Пример:

А. В. Суво­ров— генералиссимус» «Чис­ленность населения Москвы больше чем Софии».

Единичноотрицательными называются суждения, единич­ные по количеству и отрицательные по качеству.

Примеры:

Лжедмитрий не являлся русским императором. Корпорация «Энрон» не су­ществует.

На количественной характеристике терминов, в свою очередь, основан признак распределенности терминов.

Распределенным называется термин суждения, взятый в полном объеме.

Нераспределенным называется термин суждения, взятый в части его объема.

Распределенность и нераспределенность терминов суждений в зависимости от их вида в объединенной качественно-количес­твенной классификации обобщает таблица 2 распределённости терминов атрибутивных суждений. Распределенность терминов обозначена знаком «+», нераспределенность — знаком «-». Исключения из правил обозначены скобками.

Таблица 2 – Распределённость терминов атрибутивного суждения

 

	Термины
Виды суждений	S	Р
А	+	-(+)
Е	+	+
I	-	-(+)
О	-	+

Примеры:

Общеутвердительное суждение с нераспределённым предикатом: «Все кошки – млекопитающие» (рисунок 12а).

Общеутвердительное суждение с распределённым предикатом: «Животное – это живое существо, способное чувствовать и передвигаться» (рисунок 12б).

Частноутвердительное суждение с нераспределённым предикатом: «Некоторые вопросы анкеты являются открытыми» (рисунок 12в).

Частноутвердительное суждение с распределённым предикатом: «Некоторые государства являются конфедеративными» (рисунок 12г).

 

Рисунок 12 – Распределённость терминов утвердительных суждения

 

Для того, чтобы избежать неоднозначности с распределённостью предикатов в суждениях, в логике используются специальные виды суждений — выделяющие и исключающие.

Выделяющими и исключающими могут быть не только утвер­дительные, но и отрицательные суждения.

Выделяющими являются суждения, в которых признак, мыслимый в предикате, характеризует только данный, но ника­кой другой предмет (предметы) мысли.

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

Примеры:

Студент Петров является отличником в нашей группе (невыделяющее суждение с неопределённой распределённостью предиката).

Только студент Петров является отличником в нашей группе (выделяющее суждение с определённо распределённым предикатом).

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

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

Так же, как и выделяющими, исключающими могут быть как утвердительные, так и отрицательные суждения. Однако в отли­чие от выделяющих, единичные и общие суждения исключающи­ми быть не могут. Исключающими могут быть только частные суждения.

Примеры:

Вузы нашего города, за исключением двух, являются негосударственными», «Обязательными для государства являются все международные договоры, кроме нератифицированных.