3.5 Суждение. Отношения между суждениями

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

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

Логическая структура суждения включает в себя три элемента: субъект, предикат и связку. Субъект - это та часть суждения, в которой отражается предмет мысли, иначе говоря, то, о чем идет речь в данном суждении. Предикат - та часть, которая отражает свойство предмета. Связка устанавливает отношения между субъектом и предикатом суждения. Обычно связка устанавливается словами «есть» или «не есть». Субъект и предикат суждения называются терминами суждения.

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

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

Между утверждением и отрицанием существует определенная взаимосвязь. Утверждение в одном отношении есть отрицание в другом. Утверждение «эта картина превосходна» означает одновременно отрицание «эта картина не является не-превосходной»; отрицание «Ростов не является центром России» есть утверждение «Ростов является не-центром России».

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

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

Например: Аристотель был учителем Александра Македонского

Гегель написал книгу “Феноменология духа.

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

Они имеют форму «Некоторые S есть P» или «Некоторые S не есть P». Например:

Некоторые русские философы являются учеными мирового значения,

Многие из логиков получили философское образование.

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

Они имеют форму “Все S есть P” или “Все S не есть P”.

Например: Все люди пользуются равными правами

Никто из неандертальцев не знал периодической

системы элементов”.

Обобщенной характеристикой суждений по качеству и количеству является выделение следующих четырех видов суждений:

А. общеутвердительные высказывания,

начинающиеся с «все» (всякий)

Е. Общеотрицательные

высказывания, начинающиеся с «ни один» (никакой)

I. частноутвердительные

высказывания, начинающиеся с «некоторые»

O. частноотрицательные

высказывания, начинающиеся с «некоторые - не суть»

Краткая система записи, используемая для обозначения четырех видов высказываний, представляет собой буквы алфавита - гласные из латинских слов affirmo - утверждаю, соответственно А, I - для утвердительных и nego - отрицаю, соответственно Е и О - для отрицающих.

Для запоминания некоторых логических отношений между суждениями вида A,E,I, и O используется схема, которая называется логическим квадратом. Она построена таким образом, что, зная истинность одного из суждений, можно сделать вывод об истинности трех остальных.