СУЖДЕНИЕ Логика. Общий курс. СУЖДЕНИЕ Мысль, содержащая утверждение

СУЖДЕНИЕ Логика. Общий курс

СУЖДЕНИЕ Мысль, содержащая утверждение о наличии или отсутствии в действительности некоторого положения дел. Форма мысли, в которой устанавливается логическая связь между несколькими понятиями, называется суждением

СУЖДЕНИЕ ВЫСКАЗЫВАНИЕ - предложение, выражающее определенное суждение ПРЕДЛОЖЕНИЕ – синтаксическая форма естественного языка СУЖДЕНИЕ – логическая форма мысли

Структура суждения Логическое подлежащее (субъект S) Логическое сказуемое (предикат P) Логическая связь между ними (есть, не есть) Количество суждения (квантор) Все девушки – красивы Некоторые страусы не быстроногие

ВИДЫ СУЖДЕНИЙ По количеству По качеству По структуре По наличию модального оператора

Количество и качество суждений Общеутвердительные Все S есть Р S А Р Частноутвердительные Некоторые S есть Р S I Р Общеотрицательные Ни один S не есть Р S Е Р Частноотрицательные Некоторые S не есть Р S О Р

Распределенность терминов в суждении S a P S o P S e P S i P + + + + - - (+) - (+) S P P S S P P S S P - S P S P

Простые и сложные суждения Простые – один субъект + один предикат Сложные – 2 и более субъекта + логический союз между ними

Отношения между суждениями A O I E подчинение подчинение п р о т и в о п о л о ж н о с т ь п о д п р о т и в о п о л о ж н о с т ь п р о т и в о р е ч и е п р о т и в о р е ч и е

Отношения между суждениями по логическому квадрату

Операции с простыми суждениями По логическому квадрату S a P  S i P S a P  ~(S o P) S a P  ~(S e P) S e P  S o P S i P  ~(S e P) S e P  ~ (S i P) S e P  ~ (S a P) S o P  ~ (S a P) Непосредственный вывод: Обращение Превращение Противопоставление субъекту Противопоставление предикату