4.4. Сокращенный силлогизм или энтимема.

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

Руководствоваться при этом надо следующим:

1. Определить, какое из суждений является заключением.

2. По заключению определить крайние термины.

3. Во втором суждении выявить средний термин: наличный в ней крайний термин укажет вид посылки и вид энтимемы.

4. При помощи крайнего и среднего термина восстановить отсутствующую посылку.

5. Заключение должно быть истинным следовательно, восстанавливаемая посылка должна быть истинной.

4.5. Сложные и сложносокращенные силлогизмы.

ПРОГРЕССИВНЫЙ ПОЛИСИЛЛОГИЗМ

РЕГРЕССИВНЫЙ ПОЛИСИЛЛОГИЗМ

ПРОГРЕССИВНЫЙ СОРИТ

РЕГРЕССИВНЫЙ СОРИТ

ЭПИХЕЙРЕМА

4.6. Умозаключения из сложных суждений.

УСЛОВНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ: modus tollens

ЧИСТО РАЗДЕЛИТЕЛЬНОЕ УМОЗАКЛЮЧЕНИЕ

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

Пример:

Всякая философская система есть или идеализм, или материализм, или дуализм. Идеалистическая система является или объективным, или субъективным идеализмом.

В сякая философская система есть или объективный идеализм, или субъективный идеализм, или материализм, или дуализм.

РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ: modus ponendo tollens

РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ: modus tollendo ponens

Пример:

где {...} - символ закрытой дизъюнкции. При неполной (открытой) дизъюнкции - достоверного заключе­ния получить нельзя. Доказательство формул производится табличным методом

Преступление совершено умышленно (р) или по неосторожности (q). Строим умозаключение по отрицаюше-утверждающему модусу: Данное преступление не является умышленным (Тр). Следовательно, оно совершено по неосторожности ( q ). Заключение следует с необходимостью.

УСЛОВНО-РАЗДЕЛИТЕЛЬНЫЕ УМОЗАКЛЮЧЕНИЯ

Вопросы для самопроверки

1. Какие знания называются выводными?

2. Что такое умозаключение? На какие виды делятся умозаключения?

3. Какие умозаключения называются непосредственными?

4. В чем сущность операций превращения, обращения, противопоставления предикату?

5. Как строятся умозаключения по логическому квадрату? Какова зависимость истинности или ложности одного суждения от истинности или ложности другого, если эти суждения находятся в отношениях: противоречия, противоположности, частичной совместимости, подчинения?

6. Что такое простой категорический силлогизм и каков его состав?

7. Назовите общие правила категорического силлогизма и логические ошибки, связанные с их нарушением.

8. Что такое фигуры и модусы силлогизма? Какие особые правила имеют первая, вторая, третья фигуры? Охарактеризуйте значение этих фигур в познании.

9. Что представляют собой умозаключения из суждений с отношениями? Охарактеризуйте основные свойства отношений.

10. На какие виды делятся выводы из сложных суждений?

11. Как строятся чисто условные умозаключения?

12. Что такое условно-категорическое умозаключение?

13. Какое умозаключение называется разделительно категорическим?

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

15. Какое умозаключение называется условно-разделительным (лемматическим)?

16. Что такое диллема?

17. Что такое энтимема?