Сложные суждения.
1. Суждение – форма мышления, в которой утверждается или отрицается нечто о предмете, его признаках или отношениях.
Суждение может быть истинным или ложным.
В языке суждения выражаются повествовательными предложениями. Вопросительные и побудительные предложения суждениями не являются. Однако риторические вопросы и побудительные предложения, содержащие инструкции, могут утверждать или отрицать нечто, а значит обладать значением истинности и ложности. Такие предложения являются суждениями.
Пример:
Кто над морем не философствовал (Маяковский) – это суждение.
При пожаре нужно звонить по телефону 01 – это суждение.
Прощай, свободная стихия! (Пушкин) – побудительное предложение, суждением не является.
В структуру суждения входят следующие компоненты:
Субъект (S), предикат (P), связка, кванторное слово. S и P называются терминами и являются логическими подлежащим и сказуемым.
Пример:
Все люди являются существами, желающими быть счастливыми.
Люди - субъект.
Все – кванторное слово.
Являются – утвердительная связка.
Существа, желающие быть счастливыми – предикат.
2. Суждения делятся на простые и сложные. В простых суждениях выражается связь между двумя понятиями. Различают 3 вида простых суждений:
Атрибутивное (S есть P).
Каждое государство имеет свою символику.
Суждение с отношениями (xRy).
Ростов расположен южнее Москвы.
Суждение существования.
У Земли есть один естественный спутник – Луна.
Атрибутивные (категорические) суждения делятся по качеству на утвердительные и отрицательные, а по количеству - на общие, частные и единичные. Принята объединенная классификация суждений по качеству и количеству:
Общеутвердительные (А) – все S есть P.
Общеотрицательные (Е) – ни одно S не есть P.
Частноутвердительные (I) – некоторые S есть P.
Частноотрицательные (O) – некоторые S не есть P.
Единичные суждения в данной классификации рассматриваются как общие.
Термины суждения (S и P) могут быть распределены (то есть, взяты в полном объеме) или не распределены (то есть, взяты в части объема). Распределенность наглядно проявляется в схематическом изображении отношения между терминами (круги Эйлера).
Примеры:
а) Все монархи являются самодержцами. – А
S – распределен,
P – распределен
 |
б) Всякий политик есть человек. – А
S – распределен,
P – не распределен
в) Ни один немой не является говорящим (Е)
S – распределен,
P – распределен
г) Некоторые инициативные люди – старосты – I
S - не распределен,
P – распределен
д) Некоторые настольные игры являются русскими – I
S - не распределен,
P – не распределен
е) Некоторые инициативные люди не являются старостами – [О]
S - не распределен.
P – распределен
 |
ж) Некоторые настольные игры не являются русскими – [О]
 |
S - не распределен,
P – распределен
4. Сложные суждения включают в себя простые в качестве составных частей. Простые суждения связываются логическими связками:
конъюнкция 
дизъюнкция 
строгая дизъюнкция
импликация 
эквиваленция ≡
В соответствии с функциями логических связок основными видами сложных суждений являются:
соединительные - конъюнктивные
разделительные - дизъюнктивные
условные - импликативные
эквивалентные – двойная импликация
Символическая запись сложного суждения приводится следующим образом. Простое суждение обозначается заглавной буквой латинского алфавита.
Курить – здоровью вредить. Приведем к нормальной логической форме. Если человек курит, то он вредит своему здоровью. Это сложное суждение состоит из двух простых, соединенных импликаций.
A 
Β
Памятники культуры, истории и природы являются достояния народа. Это сложное суждение состоит из 3 простых, соединенных конъюнкцией:
A B C.
5. Приведение к нормальной форме.
Как и понятия, суждения не всегда совпадают со своими языковыми выражениями и поэтому требуют специального анализа для своей формулировки. Чтобы сформулировать суждение, его надо привести к нормальной форме. Это делается следующим образом:
Не все то золото, что блестит
Субъект – нечто блестящее
Предикат – золото
Универсум – вещи (предметы)
Связка – не является
Кванторное слово – некоторые
Некоторые блестящие предметы не являются золотом.
Для выполнения нижеследующего упражнения необходимо изучить тему:Основные формально-логические законы.
Закон мышления – зафиксированная в сознании внутренняя, существенная, устойчивая, необходимая повторяющаяся связь между элементами мысли и самими мыслями.
Различают 2 вида формально-логических законов:
А) законы, связанные с отдельными формами абстрактного мышления – понятием, суждением, умозаключением.
Б) законы, проявляющиеся во всех формах мышления и потому, имеющие всеобщий характер.
Традиционная логика выделяет 4 основных закона:
Закон тождества
Всякая мысль в процессе рассуждения должна быть тождественной самой себе.
Закон противоречивости
Два не совместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере, одно из них необходимо ложно.
