Суждение. 
Логика

Помыслив вещи посредством идей, мы сопоставляем эти идеи; обнаруживая, что одни из них соответствуют друг другу, а другие нет, мы связываем их либо разделяем. Это называется утверждать или отрицать, а в общем — выносить суждение.

А. Арно, П. Николь «Логика, или искусство мыслить».

Определение суждения

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

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

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

Задать некоторое отношение из множества элементов некоторого класса означает упорядочить их согласно условию, выражаемому этим отношением. Вне зависимости от содержания данного отношения упорядоченность элементов предполагает различение мест, ими занимаемых. Если 1 меньше 2, то 2 не может быть меньше или равно 1. Если А — отец В, то В не может быть отцом А. Если С тяжелее Д то D не может быть тяжелее С. Во всех этих примерах места, занимаемые первым и вторым элементами, различаются своим порядком, т. е. упорядочены. Пониманию отношения как упорядочивания не противоречит существование разнообразных отношений тождества (равенства). Последние определяются как результат композиции (умножения) обратно упорядоченных отношений. Например, сказать, что А равно В, — то же самое, если сказать, что А больше (меньше) В и В больше (меньше) А одновременно.

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

Для понятий логическое отрицание равносильно образованию дополнения. Для суждений мы имеем два вида логического отрицания — дополнение и уничтожение различия, которое достигается построением симметричного исходному отношению. Дополнение дает суждение, противоречащее исходному. Уничтожение различия приводит к образованию суждения эквивалентности. Суждение «А умнее В» в первом смысле отрицается суждением «Неверно, что А умнее В» или суждением «Л не умнее В». Во втором смысле суждение «Л умнее В» отрицается суждением «Л умнее Л», и оба вместе делают истинным суждение «Л и В оба умны в одинаковой степени».

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

Как и понятия, суждения не совпадают с выражающими их грамматическими конструкциями. Основная языковая форма выражения суждений — повествовательное предложение. Считается, что всякое суждение выражается в том или ином предложении, но обратное верно только для предложений повествовательных. Мы не будем столь категоричны, поскольку, на наш взгляд, любое законченное предложение явно или неявно выражает некоторое суждение. Ничто не мешает полагать, что вопросу «Кто здесь?» соответствует суждение «Я не знаю, кто здесь находится, но хочу это узнать». Аналогично приказу «Следуйте за мной!» соответствует суждение «Я хочу, чтобы вы тотчас же последовали за мной».

В зависимости от того, имеет ли место выражаемое суждением отношение, можно говорить об истинности, ложности или неопределенности данного суждения. Так, «Л любит 5» истинно, если и только если между Л у В существует указанное отношение; ложно в противном случае; неопределенно, если нет ни первого, ни второго.

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

Итак, когда мы говорим о суждениях, то имеем в виду знание, которое:

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