Структура (виды) простых суждений.

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

Субъект представляет в суждении именно то, что мы хотим охарактеризовать, а предикат суждений – саму характеристику. Таким образом, найти субъект суждения – это ответить на вопрос: «Что (или кого) хотят охарактеризовать в суждении?» Для нахождения предиката суждения надо ответить на вопрос: «Как, каким образом хотят охарактеризовать предметы, которые представляет субъект или субъекты?»

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

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

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

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

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

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

Выделение субъекта суждения существенно в процессах рассуждения. Он задает тему рассуждения. Одна из логических ошибок в рассуждении – нарушение требования последовательности может состоять в подмене одной темы другой, в скачке от одного к другому.

Категорические суждения.

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

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

общеутвердительные: стандартная (логическая) форма – Все S есть Р (суждение типа А);

общеотрицательные: стандартная форма – Ни одно S не есть Р (суждение типа Е);

частноутвердительные: стандартная форма – Некоторые S есть Р (суждение типа I);

частноотрицательные: стандартная форма – Некоторые S не есть Р (суждение типа О),

где S и Р – общие понятия, соответственно субъект и предикат суждения, «есть» и «не есть» – связки, «все» («ни один») и «некоторые» – кванторные слова (количественные характеристики суждения).

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

В нестандартной форме в суждении мы можем просто утверждать или отрицать наличие у всех или некоторых предметов S каких-то признаков Р.

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

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

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