1. Общая характеристика суждения

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

Примеры суждений: “Космонавты существуют”, “Париж больше Марселя”, “Некоторые числа не являются четными”. Если то, о чем говорится в суждении, соответствует действительному положению вещей, то суждение истинно. Указанные выше суждения являются истинными, так как в них адекватно (верно) отражено то, что имеет место в действительности. В противном случае суждение ложно (“Все растения являются съедобными”).

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

Например, суждение “На Марсе есть жизнь” в настоящее время не является ни истинным, ни ложным, а неопределенным. Многие суждения о будущих единичных событиях являются неопределенными. Об этом писал еще Аристотель, приводя пример такого неопределенного суждения: “Завтра необходимо будет морское сражение”1.

В простом атрибутивном суждении имеются субъект, предикат, связка и кванторное слово. В суждении “Некоторые птицы являются хищными” субъектом является понятие “птица”, предикатом - понятие “хищник”, кванторным словом - “некоторые”, связка выражена словом “являются”. В суждении “Ледоколы существуют” субъектом является понятие “ледокол”, а предикатом - понятие существования предмета; он выражен словами “то, что существует”.

Субъект атрибутивного суждения - это понятие о предмете суждения. Субъект суждения обозначается буквой S (от латинского слова subjectum). Предикатом атрибутивного суждения называется понятие о признаке предмета, о котором говорится в суждении. Предикат обозначается буквой Р (от лат. praedicatum). Связка может быть выражена одним словом (есть, суть, является), или группой слов, или тире, или простым согласованием слов (“Все бабочки суть насекомые”, “Рим является столицей Италии”, “Некоторые книги не относятся к букинистическим”).

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