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

1. Соединительные (Подул ветер и пошел дождь) 2 простых + U (коньюнкция). Могут использоваться союзы: а, но, да но, но и, а также (Видит око, да зуб неймет).

Таблица истинности (конъюнкция в^а, ^=и):

а в а^в Конъюнкция истинна тогда, когда оба или

и и и все простые суждения истинны.

и л л

л и л

л л л

2. Разделительные суждения (Будет мороз или пойдет снег) дизъюнкция аvв, v=или. Нестрогая дизъюнкция - когда союз или имеет 1 или 2 смысла (Он шахматист и музыкант). Сторогая дизъюнкция - когда союз или означает 1 из 2, но не оба вместе (Вечером я пойду в театр или в библиотеку).

Таблица истинности (дизъюнкция):

а в аvв аv,в Нестрогая дизъюнкция истинна тогда, когда

и и и л хотя бы одно суждение истинно.

и л и и Строгая дизъюнкция истинна тогда, когда

л и и и только одно суждение истинно (или, либо, толи).

л л л л (Фосфор бывает либо белый либо красный)

3. Условные суждения (импликация) - когда в сложном суждении есть связка «если, то». а>в (Если сверкает молния, то гремит гром).

Таблица истинности (импликации): Таблица истинности (эквиваленции):

а в а^в а в а=в

и и и и и и

и л л и л л

л и и л и л

л л и л л и

4. Эквиваленция - когда в сложном суждении между простыми суждениями стоит логическая связка «если и только если» а=в.

Софизм и паралогизм

Софизм-это преднамеренная ошибка, совершаемая с целью запутать противника и выдать ложное суждение за истинное.

Д.б. один вывод.

Паралогизм – непреднамеренная ошибка, допущенная человеком в мышлении.

16 . Категорический силлогизм, его структура и общие правила

Простой категорический силлогизм - это разновидность дедуктивного умозаключения. Силлогизм - (от греч. sillogismos - сосчитывание, выведение следствия). Его называют категорическим потому, что в его основе лежат категорические суждения.

Пример: Все металлы - электропроводники. Медь - металл. Медь - электропроводник.

Он называется простым потому, что состоят только из двух посылок и они являются простыми суждениями. Простой категорический силлогизм содержит три термина: Первый термин называется большим

(обозначается Р) - это всегда предикат суждения. Второй - меньшим

(обозначается S) - это всегда субъект заключения. Третий - средний

(обозначается М) - понятие связывающее S и P в посылках и отсутствующее в заключении. Есть четыре разновидности Простого категорического силлогизма (их называют фигурой силлогизма):

1. Все злаки – растения. Рожь – злак. Рожь - растение.

2. Все честные люди – трудятся. Тунеядцы - не трудятся. Тунеядцы - не честные люди.

3. Все углероды - простые тела. Все углероды – электропроводники. Некоторые электропроводники - простые тела.

4. Все киты – млекопитающие. Не одно млекопитающее не является рыбой. Ни одна рыба не является китом.

Из истинных посылок не всегда можно получить истинное заключение. Его

истинность обусловлена правилами силлогизма. Этих правил семь: три

относятся к терминам и четыре — к посылкам.

Правила терминов.

1-е правило: в силлогизме должно быть только три термина. Вывод в

силлогизме основан на отношении двух крайних терминов к среднему, поэтому в

нем не может быть ни меньше, ни больше трех терминов.

2-е правило: средний термин должен быть распределен хотя бы в одной из

посылок. Если средний термин не распределен ни в одной из посылок, то связь

между крайними терминами остается неопределенной.

3-е правило: термин, не распределенный в посылке, не может быть

распределен и в заключении.

Меньший термин (S) не распределен в посылке (как предикат утвердительного

суждения), поэтому он не распределен и в заключении (как субъект частного

суждения). Делать вывод с распределенным субъектом в форме общего суждения

это правило запрещает. Ошибка, связанная с нарушением правила

распределенноcти крайних терминов, называется незаконным расширением

меньшего (или большего) термина.