Суждение

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

Простые суждения — суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.

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

Классификация простых суждений:

• По качеству

Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе».

Отрицательные — S не есть P. Пример: «Люди не поддаются лести».

• По объёму

Общие — суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».

Частные — суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

• По отношению

Категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».

Условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений

• По отношению между подлежащим и сказуемым

Распределено — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.

Не распределено — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Умозаключение

Умозаключение – это форма мышления, посредством которой из известного знания выводится новое знание.

В структуре любого умозаключения различаются два основных более или менее сложных элементы: посылки (одна или несколько) и заключение, между которыми тоже, конечно, существует определенная связь.

Посылки - это исходное, и притом уже известное, знание, служащее основанием умозаключения.

Заключение (или вывод) – производное, притом новое, знание полученное из посылок и выступающее их следствием.

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

Дедукция - это умозаключение от более общего знания к менее общему. Типичный пример дедукции, идущий от древности: Все люди смертны. Сократ – человек. Следовательно, Сократ смертен.

Индукция – умозаключение от менее общего знания к более общему. Например: наблюдая за движением каждой из планет Солнечной системы, можно сделать общий вывод: «Все планеты движутся с Запада на Восток».

Традукция – умозаключение, в котором посылки и заключение – одной и той же степени общности. Например: «На земле, где есть атмосфера, смена дня и ночи, времен года, есть также и жизнь. На Марсе, подобно Земле, есть атмосфера, смена дня и ночи, меня времен года. Возможно, что на Марсе тоже есть жизнь.

Упражнения

Задание 1.

13 – нечетное число; (суждение)

7 не делится на 3 без остатка; (суждение)

Сознательный; (понятие)

Искусственный интеллект; (понятие)

Париж – моя мечта; (суждение)

Контроллер; (понятие)

Безбилетный; (понятие)

Поскольку все химические элементы имеют атомный вес, то и ртуть, как химический элемент, также имеет атомный вес; (умозаключение)

автобус №81; (понятие)

Задание 2.

Оценка (понятие)

Я получу хорошую оценку (суждение)

Хорошие оценки получают только те, кто правильно решит контрольную, т.к. я правильно решил контрольную работу, я получу хорошую оценку. (умозаключение)

Задание 3.

Выражение (рр) является законом логики (закон противоречия).

Закон противоречия говорит о том, что если одно суждение что-то утверждает, а другое то же самое отрицает об одном и том же объекте, в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными.

p	p	(рр)	(рр)
0	1	0	1
1	0	0	1