I. Простые суждения

Теоретическая справка:



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

Выделяют простые и сложные суждения.

Простое суждение есть утверждение о наличии или отсутствии каких-либо характеристик у отдельного предмета, у части или у всех предметов некоторого класса.

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

Атрибутивным (категорическим) называется суждение, в котором утверждается (или отрицается) наличие некоторого свойства у предмета (S – Р). Структура атрибутивного суждения:

1) кванторного слова – количественной характеристики предметов, у которых утверждается или отрицается наличие некоторого свойства («все», «некоторые», «это»);

2) субъекта (S) – предмета или группы предметов, относительно которых что-либо отрицается или утверждается;

3) связки – элемента суждения, соединяющего субъект и предикат («суть»/«не суть», «есть»/«не есть», «является»/«не является»; в естественном языке связка может быть явно не выражена);

4) предиката (Р) – свойства, которое приписывается или отрицается у какого-либо предмета или группы предметов.

Релятивным называется суждение, выражающее какое-либо отношение между предметами (xRy). Релятивное суждение состоит из:

1) x, y, … – членов отношения, обозначающих понятия о предметах;

2) R – отношения, в котором находятся предметы.

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

Экзистенциальным называется суждение, выражающее факт существования или несуществования какого-либо предмета (x). Экзистенциальное суждение состоит из:

1) субъекта (x) – предмета, наличие которого утверждается или отрицается;

2)  – квантора существования.

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

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

Принята объединенная классификация суждений (ОКС) по количеству и качеству:

• общеутвердительные (А): «Все S есть (суть) Р»,

• общеотрицательные (Е): «Ни одно S не есть Р»,

• частноутвердительные (I): «Некоторые S есть Р»,

• частноотрицательные (О): «Некоторые S не есть Р».

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

Также следует помнить, что в некоторых случаях простые и сложные суждения выражаются в предложениях, начинающихся со слов «неверно, что» или «не». Это значит, что отрицается суждение, которое стоит после этих слов. Например: «Неверно, что всякий студент посещает все лекции» или «Не всякий студент посещается все лекции». Для прояснения смысла суждений, предваренных отрицанием, их следует преобразовывать в эквивалентные суждения, перед которыми отрицание не стоит.

 А  О  Е  I  O  A  I  E

Таким образом, к примеру, в суждениях вида:  (Все S суть P) – «не» не только ограничивает квантор, но и влияет на качество связки:

 (Все S суть P)  Некоторые S не суть Р.

Например: «Не все юристы адвокаты»  «Некоторые юристы не являются адвокатами».

Однако следует иметь в виду, что отрицание единичных утвердительных суждения, которые по ОКС считаются общеутвердительными (А), эквивалентно единичным отрицательным, которые по ОКС считаются общеотрицательными (Е), и наоборот:  (Это S суть Р)  Это S не суть Р.

Например, «Неверно, что Аристотель сформулировал принцип достаточного основания»  «Аристотель не сформулировал принцип достаточного основания».

Также важно помнить, что если в суждении, которое отрицается, предикат содержит кванторное слово, то он также изменяется в соответствии с правилом отрицания:

Например, «Неверно, что этот студент всегда опаздывает»  «Этот студент иногда не опаздывает».