Простые суждения их структура и виды простых суждений.

Сложные суждения.

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

Суждение может быть истинным или ложным.

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

Пример:

Кто над морем не философствовал (Маяковский) – это суждение.

При пожаре нужно звонить по телефону 01 – это суждение.

Прощай, свободная стихия! (Пушкин) – побудительное предложение, суждением не является.

В структуру суждения входят следующие компоненты:

Субъект (S), предикат (P), связка, кванторное слово. S и P называются терминами и являются логическими подлежащим и сказуемым.

Пример:

Все люди являются существами, желающими быть счастливыми.

Люди - субъект.

Все – кванторное слово.

Являются – утвердительная связка.

Существа, желающие быть счастливыми – предикат.

2. Суждения делятся на простые и сложные. В простых суждениях выражается связь между двумя понятиями. Различают 3 вида простых суждений:

Атрибутивное (S есть P).

Каждое государство имеет свою символику.

Суждение с отношениями (xR_y).

Ростов расположен южнее Москвы.

Суждение существования.

У Земли есть один естественный спутник – Луна.

Атрибутивные (категорические) суждения делятся по качеству на утвердительные и отрицательные, а по количеству - на общие, частные и единичные. Принята объединенная классификация суждений по качеству и количеству:

Общеутвердительные (А) – все 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 основных закона:

Закон тождества

Всякая мысль в процессе рассуждения должна быть тождественной самой себе.

Закон противоречивости

Два не совместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере, одно из них необходимо ложно.