Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Методичка по логике (2011-2012).doc
Скачиваний:
1
Добавлен:
01.05.2025
Размер:
335.87 Кб
Скачать

7. Выводы из сложных суждений.

Наиболее распространенными сложными умозаключениями являются чисто условное умозаключение, условно-категорическое умозаключение, разделительно-категорическое умозаключение и условно-разделительное умозаключение.

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

(A B) (B C)

(A C)

Вывод основан на правиле: следствие следствия есть следствие ос­нования.

Заключение в чисто условном умозаключении может быть полу­чено не из 2-х, а из большего числа посылок. Такие умозаключения относятся к сложным, они имеют схему:

(A B) (B C) (C D) … (C1 D1)

(A D1)

Как и в простом чисто условном умозаключении, заключение представляет собой импликативную связь основания первой посылки со следствием последней.

Условно-категорическим называется умозаключение, в котором одна из посылок — уcловное, а другая посылка и заключение — ка­тегорические суждения.

Различают два правильных модуса условно-категорического умо­заключения: 1) утверждающий (modus ponens) — категорическая посылка утверждает истинность основания, заключение утверждает истинность следствия. Его схема в символической записи:

l) A B, A

B

2) отрицающий (modus tollens) — категорическая посылка отри­цает истинность следствия, заключение отрицает истинность основа­ния. Его схема в символической записи:

2) A B, B

A

Два других модуса: 3) от отрицания истинности основания к отри­цанию истинности следствия и 4) от утверждения истинности след­ствия к утверждению истинности основания — достоверных выводов не дают. Их схемы в символической записи:

3) A B, A

B

4) A B, B

A

Если условная посылка — выделяющее суждение, достоверный вывод получается по всем четырем модусам.

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

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

Различают два модуса разделительно-категорического умозаклю­чения: утверждающе-отрицающий (modus ponendo-tollens) и отрицающе-утверждающий (modus tollendo-ponens).

В утверждающе-отрицающем модусе меньшая посылка (категори­ческое суждение) утверждает один из дизъюнктов, заключение отри­цает другой (другие) дизъюнкты. Его схема в символической записи:

A B, A

B

Заключение всегда достоверно, если соблюдается правило: боль­шая посылка должна быть исключающе-разделительным суждением (суждением строгой дизъюнкции).

В отрицающе-утверждающем модусе меньшая посылка отрицает один (или несколько) из дизъюнктов, заключение утверждает остав­шийся дизъюнкт. Его символическая запись:

<A B>, A

B

Заключение будет достоверным, если соблюдается правило: в большей посылке должны быть перечислены все возможные дизъюнкты (большая посылка — полное (закрытое) дизъюнктивное высказывание).

Умозаключение, в котором одна посылка условная, а другая разделительное суждение, называется условно-разделительным. Eго разновидностью является дилемма, в которой разделительное суждение содержит две альтернативы.

Различают конструктивную (созидательную) и деструктивную (разрушительную) дилеммы, каждая из которых делится на простую; и сложную.

Их схемы в символической записи:

1. Простая конструктивная дилемма:

(A C) (B C), A B

C

2. Сложная конструктивная дилемма:

(A B) (C D), A C

B D

3. Простая деструктивная дилемма:

(A B) (A C), B C

A

4. Сложная деструктивная дилемма:

(A B) (C D), B D

A C