Раздел IV. Суждение

План

1. Суждение как форма мышления (понятие о суждении).

2. Состав простого суждения и его виды.

3. Сложное суждение и его виды.

4. Отношения между суждениями по истинности. «Логический квадрат».

5. Понятие модальности суждений.

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

Задачи раздела — изучение:

1. основных родовых признаков суждений;

2. структуры простых суждений и их разновидностей;

3. структуры сложных суждений и их разновидностей;

4. особенностей отношений суждений с учетом их строения и истинностных значений;

5. особенностей некоторых основных видов модальности суждений (алетической, эпистемической, деонтической и аксиологической).

Глава 1. Суждение как форма мышления (понятие о суждении)

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

В суждении выделяют предмет, или субъект (который принято обозначать латинской буквой S) и предикат (обозначается латинской буквой Р), а также связку, выражаемую словами «есть», «суть» (утвердительная связка) или «не есть», «не суть» (отрицательная связка), а также их синонимическими им словами. Простейшую форму суждения можно выразить следующим образом:

а) (S есть Р) — форма утвердительного суждения;

б) (S не есть Р) — форма отрицательного суждения.

Различают простые суждения («Иванов — юрист»; «Иванов любит музыку») и сложные суждения («Иванов — юрист и любит музыку»).

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

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

Истинным суждением является суждение, которое соответствует действительности: «Москва — столица России». Суждение «Киев — столица Белоруссии» ложное суждение, т.к. оно действительности не соответствует.

Глава 2. Состав простого суждения и его виды

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

Различают несколько типов простых суждений. По характеру признаков, которые утверждаются или отрицаются относительно субъектов (предметов мысли) простые суждения подразделяются на:

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

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

в) экзистенциальные суждения, или суждения существования — это суждения, в которых утверждается или отрицается существование или несуществование предметов, явлений, например: «Существует социальная демократия»; «Идеальных законов не бывает». В суждениях существования речь идет не о признаках предметов как таковых; в них утверждается или отрицается само наличие предметов. Такие суждения составляют основу всех наших рассуждений, так как прежде, чем выяснять признаки предметов, следует установить само существование этих предметов.

Если перейти к более формальному анализу простых суждений, то здесь следует рассмотреть традиционное подразделение всех, прежде всего атрибутивных суждений по количеству и по качеству. При этом учитывается наличие четырех основных элементов логической формы простого суждения: субъекта, предиката, связки (утвердительной или отрицательной) и квантора. О первых трех говорилось в самом начале раздела. Введем понятие «квантор».

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

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

В зависимости от связки различают:

а) утвердительные простые категорические суждения и

б) отрицательные простые категорические суждения.

В зависимости от особенностей квантора, то есть количественной характеристики субъекта по отношению к предикату, различают:

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

б) частные простые категорические суждения — суждения, в которых нечто высказывается только о части предметов, выраженных субъектом, которые обладают или не обладают некоторым признаком, например: «Некоторые студенты не сдали экзаменов». Форма таких суждений — «Некоторые S не суть (суть) Р». Здесь квантор выражен словом «некоторые», это квантор существования.

в) единичные простые категорические суждения, в которых речь идет об отдельно взятых индивидуальных предметах, например: «Александр Македонский — выдающийся полководец». Форму таких суждений можно выразить примерно следующим образом — «Тот самый S есть (не есть) Р».

Если, далее, объединить оба приведенные выше подразделения простых категорических суждений — по качеству (связка) и количеству (квантор), то мы получаем следующие виды этих суждений: 1) общеутвердительные, 2) общеотрицательные, 3) частноутвердительные, 4) частноотрицательные, 5) единичные утвердительные и 6) единичные отрицательные суждения.

Отношения между субъектами и предикатами всех видов простых категорических суждений можно выразить с помощью кругов Эйлера, в виде круговых схем. Объем единичного понятия будем обозначать точкой или звездочкой, или же маленьким кружочком — логический класс, состоящий из одного элемента. (см. Рис. 10).

Рис. 11

Общий анализ видов простых категорических суждений ограничивают обычно только первыми четырьмя разновидностями, так с точки зрения логической формы единичные суждения ведут себя как общие суждения соответствующего качества: единичные утвердительные — как общеутвердительные. Единичные отрицательные — как общеотрицательные, что также можно видеть по рисунку 11.

В традиционной логике принято обозначать различные категории простых категорических суждений латинскими прописными буквами, взятыми из латинских слов «afirmo» — «утверждаю» и «nego» — «отрицаю». При этом, общеутвердительные суждения обозначаются буквой А, частноотрицательные — буквой I, взятыми из слова «afirmo»; общеотрицательные — буквой Е, частноотрицательные — буквой О, взятыми из слова «nego». Это также отражено в таблице на рисунке 11.

Заметим также, что субъект и предикат простого категорического суждения называются его терминами, которые могут быть распределены или нераспределены, в зависимости от используемого в суждении квантора — общности или существования. Распределенным называется термин, который по отношению к другому термину (S по отношению к Р, Р по отношению к S) формально берется в полном объеме, т.е. либо полностью включается, либо полностью исключается, либо полностью совпадает с ним. Нераспределенным называется термин, который по отношению к другому берется не в полном объеме, а частично, частично включается или частично исключается из него. Для единичных суждений распределенность субъекта гарантирована тем, что он представляет собой единичное понятие. Кстати, введем также и для единичных суждений буквенные обозначения, а именно: для единичных утвердительных — Ае, так как они ведут себя формально как общеутвердительные, для единичных отрицательных — Ее, так как они ведут себя формально подобно общеотрицательным суждениям.

Будем обозначать распределенность термина знаком «плюс» (+), нераспределенность — знаком «минус» (–), что также отражено на рис. 10.

Распределенность терминов простых категорических суждений легко представить с помощью небольшой таблички (см. Рис. 12), в которой учтены также особенности еще двух разновидностей простых категорических суждений — общевыделяющих (обозначим их — Ав) и частновыделяющих (обозначим их — Iе).

	А	Е	I	О	Ае	Ее	Ав	Iв
S	+	+	–	–	+	+	+	–
Р	–	+	–	+	–	+	+	+

Рис. 12

Общевыделяющими называются такие общие простые категорические суждения, в которых субъект и предикат по объему полностью совпадают, оказываются в отношении равнозначности или тождества. Их форму можно представить следующим образом — «Все S, и только эти S, суть Р». В общевыделяющих суждениях распределены как субъекты, так и предикаты. В частновыделяющем утвердительном суждении (форма — «Некоторые S, но только эти S, суть Р») часть элементов субъекта составляют весь объем предиката, который поэтому оказывается распределенным термином. Круговые схемы этих суждений, а также распределенность их терминов можно видеть на Рис. 13.

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

Ав Iв

Рис. 13