СУЖДЕНИЕ
1. Суждение как форма мышления
Суждение – форма мышления, посредством которой что-либо утверждается или отрицается о предмете и которая обладает логическим значением истины или ложности. Данное определение характеризует простое суждение.
Состав простого суждения. В традиционной логике установилось членение суждения на субъект, предикат и связку. Субъект – часть суждения, в которой выражается предмет мысли. Предикат – часть суждения, в которой что-либо утверждается либо отрицается о предмете мысли. Например, в суждении «Земля – планета Солнечной системы» субъектом является «Земля», предикатом «планета солнечной системы». Нетрудно заметить, что логический субъект и предикат не совпадают с грамматическими, т е. с подлежащим и сказуемым. Вместе субъект и предикат называются терминами суждения и обозначаются соответственно латинскими символами S и P.
Кроме терминов, суждение содержит связку. Как правило, связка выражается словами «есть», «суть», «является», «быть». В приведенном примере она опущена.
2. Классификация простых суждений
Деление суждений по характеру предиката
По характеру предиката все суждения делятся на суждения свойства (атрибутивные суждения) и суждения отношения.
Атрибутивные суждения – суждения, в предикате которых выражаются свойства или признаки предмета. Например, «Человек – разумное существо».
Атрибутивное суждение называют также категорическим, поскольку утверждение или отрицание свойств или признаков предмета производится с необходимостью, т. е. безотносительно к каким-либо условиям.
Логическая схема категорического (атрибутивного) суждения S есть P.
Суждения отношения (релятивные) – суждения, в предикате которых выражаются отношения между предметами. Например, «Иван любит Марью», «Волга длиннее Оки», «Свой дурак дороже чужих умников» и т. д.
В зависимости от числа предметов, вступающих в то или иное отношение, различают двухчленные, трехчленные, n-членные отношения. Например, в суждении «Иван брат Петра» мыслится двухчленное отношение, «Москва расположена между Брестом и Кировым» – трехчленное отношение. Соответственно этому выделяют суждения с двух-, трех-, n-местными предикатами, где в предикате R фиксируется определенное отношение, а в субъекте x1, … xn – предметы, вступающие в это отношение.
Структура суждения отношения символически записывается так: R (x1, … xn).
В настоящее время наиболее разработанной является теория двух членных (бинарных) отношений.
Деление атрибутивных суждений по качеству и количеству
Деление атрибутивных суждений по качеству производится в зависимости от характера связки, указывающей на наличие или отсутствие свойства предмета мысли и выражающейся словами «есть», «суть», «быть», «являться».
В соответствии с этим атрибутивные суждения делятся не утвердительные и отрицательные. Например, «Все люди суть разумные существа» – утвердительное суждение, «Ни один папоротник никогда не цветет» – отрицательное суждение.
Деление атрибутивных суждений по количеству. В зависимости от того, утверждается или отрицается что-либо о предмете мысли относительно всего логического класса, части его или одного предмета, атрибутивные суждения делятся на общие, частные или единичные. Например, суждение «Все металлы – проводники» – общее, «Некоторые люди не знают грамоты» – частное, «Иван Сергеевич Тургенев – автор романа «Отцы и дети»» – единичное.
Объединенная классификация суждений по качеству и количеству
По качеству и количеству атрибутивные суждения делятся на четыре вида.
1. Общеутвердительные – суждения, являющиеся одновременно общими и утвердительными. Например, «Все крокодилы суть пресмыкающиеся животные».
2. Частноутвердительные – суждения, частные и утвердительные одновременно. Например, «Некоторые юристы являются прокурорами».
3. Общеотрицательные – общие и отрицательные одновременно. Например, «Ни одна планета не светит собственным светом».
4. Частноотрицательные – частные и отрицательные одновременно. Например, «Некоторые утверждения не являются истинными».
Единичные суждения в отдельную группу не выделяются, анализируются как общие.
3. Распределенность терминов в суждении
Распределенность терминов – это количественная характеристика субъекта и предиката в суждении.
Термин считается распределенным, если его объем либо полностью включен в объем другого термина, либо полностью из него исключен. Или иначе – термин считается распределенным, если он мыслится в полном объеме. Для распределенного термина характерно кванторное слово «все», для нераспределенного – «некоторые».
Графически распределенность терминов изображается с помощью круговых схем и штриховки той части терминов, которые мыслятся в суждении.
В общеутвердительном суждении «Все S суть P» субъект распределен, так как мыслится в полном объеме, предикат не распределен, так как его объем не исчерпывается лишь объемом субъекта. Например, «Карась-рыба».
Исключение составляют выделяющие суждения, в которых объем субъекта и предиката совпадают. Например, «Все люди суть разумные существа», «Александр Сергеевич Пушкин – автор романа “Евгений Онегин”».
Логический квадрат
Между суждениями, имеющими один и тот же субъект и предикат, имеют место следующие отношения: отношение противоречия или контрадикторности; отношение противоположности или контрарности; отношение подпротивности; отношение подчинения.
Эти отношения принято изображать в виде схемы – так называемого «логического квадрата».
Буквы А, Е, I, О, помещенные в углах квадрата, обозначают виды суждений, а стороны и диагонали – возможные отношения между суждениями.
4. Модальность суждений
Всякое суждение может быть рассмотрено с точки зрения модальности (лат. мodus – мера, способ, вид). Модальность – характеристика суждения в зависимости от степени устанавливаемой им достоверности, т. е. от того, утверждается ли в нём возможность, действительность или необходимость чего-либо.
В традиционной формальной логике суждения по модальности делятся на три группы: суждения возможности (проблематические), суждения действительности (ассерторические) и суждения необходимости (аподиктические).
В суждении возможности отражается вероятность наличия или отсутствия признаков у предмета – напр.: «Возможно, в этом году я поеду к морю».
В суждении действительности констатируется наличие или отсутствие у предмета того или иного признака – напр.: «Некоторые числа делятся на 5».
В суждении необходимости отображается такой признак, который является необходимым, существенным для предмета – напр.: «Живые организмы не могут существовать без обмена веществ».
Модальность – одно из важнейших свойств суждения, так как она выражает степень существенности того или иного признака для данного предмета, отображённого в суждении. При этом следует иметь в виду, что различие суждений по модальности определяется не субъективными желаниями, а тем, насколько основательны и реалистичны способы установления и объяснения реальности. Например, наличие в суждении слова «необходимо» ещё не означает, что это суждение непременно аподиктическое.
Аналогично высказывания о вероятности наступления того или иного события или о принадлежности какого-либо признака предмету опираются на исследования фактов, на изучение объективной действительности.
5. Сложные суждения и их виды.
Понятие о логическом союзе
Сложное суждение – суждение, образованное из простых посредством логических союзов конъюнкции, дизъюнкции, импликации, эквивалентности.
Особенность сложных суждений заключается в том, что их логическое значение (истинность или ложность) определяется не смысловой связью простых суждений, составляющих сложное, но двумя параметрами:
1) логическим значением простых суждений, входящих в сложное;
2) характером логической связки, соединяющей простые суждения.
Современная формальная логика отвлекается от содержательной связи между простыми суждениями и анализирует такие высказывания, в которых эта связь может отсутствовать. Например, «Если квадрат гипотенузы равен сумме квадратов катетов, то на Солнце существуют высшие растения».
Конъюнктивные суждения
Дизъюнктивные суждения
Импликативные (условные) суждения
Суждения эквивалентности
|