Определение и структура суждения. Суждение и предложе- ние

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

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

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

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

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

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

· утвердительное суждение - S есть Р; например, “Лев(S) - (есть) царь зверей(Р)”.

· отрицательное суждение - S не есть Р; например, “Кит(S) - не(не есть) рыба(Р)”.

По количественному составу суждения подразделяются на про- стые и сложные. С л о ж н ы м и называют суждения, составляющие которых также являются суждениями. Например, суждение “Вот дом, который построил Джек” является сложным, потому что оно состоит из суждений “Это - дом” и “Это построено Джеком”. П р о с т ы м и называются суждения, в составе которых невозможно обнаружить ни- каких других суждений, например, “Кошка - хищник”.

По качественному составу простые суждения подразделяются на следующие виды:

1. атрибутивные или суждения принадлежности, посредством которых утверждается или отрицается наличие у предмета определен- ных признаков, свойств, состояний; например, “Петров - учащийся школы”. Логическая схема простого атрибутивного суждения совпада- ет с логической схемой нормальной формы суждения: S есть(не есть) Р.

2. релятивные или суждения отношения, посредством которых выражаются отношения между предметами или группами предметов; например, “Москва севернее Самары”. Логическая схема релятивного суждения: aRb, где а - термин, обозначающий предшествующий член отношения, в данном случае Москву, b - термин, обозначающий после- дующий член отношения, в данном случае Самару, а R - термин, обозначающий само отношение, в данном случае “севернее”. Отрица- тельные отношения типа “не больше”, “не меньше” и т.д. на логиче- ских схемах обозначаются символом `R, например, “Иван не старше Федора” (a`R b).

3. экзистенциальные или суждения существования, посред- ством которых утверждается или отрицается факт существования или несуществования предметов и явлений; например, “Существует опро- вержение теоремы Ферма”. Логическая схема экзистенциального су- ждения: хР(х), где символ  обозначает т.н. квантор существования; буквальный смысл этой записи: “Существует некое х такое, что оно является опровержением теоремы Ферма”. Факт несуществования предмета выражается символом `$; например, “Круглых квадратов нет” - `$хР(х); буквальное прочтение: “Не существует х такого, что оно является круглым квадратом”.

Примечание. Релятивные и экзистенциальные суждения всегда мо- гут быть сведены к атрибутивным, например, “Тигр (S) сильнее льва (P) ” или “Билетов (S) нет (не есть Р(Æ)). ”

Дата добавления: 2014-12-16