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

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

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

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

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

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

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

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

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

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

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

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

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

ЭПИХЕЙРЕМА

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

УСЛОВНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ: 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. Что такое энтимема?

Литература.

1. Бартон В.И. Логика: Учеб. пособие. – Мн., 2001. Гл. VI.

2. Гетманова А.Д. Логика. – М., 2002. Гл.V.§ 1-9.

3. Горский Д.П. и др. Краткий словарь по логике. – М., 1991.

4. Кириллов В.И., Старченко А.А. Логика. – М., 1998. Гл. VIII-IX.

5. Логика/ Под ред. В.Ф. Беркова. – Мн., 2002. Гл.IV. § 1-10

6. Сборник упражнений по логике. – Мн., 1990. Гл.VI.§ 87-102.

7. Свинцов В.И. Логика. – М., 1987. Гл.II.§ 12-23.

8. Формальная логика. – Л., 1987. Гл.IV.§ 28-32.

       Глава 5. ДОКАЗАТЕЛЬСТВО И ОПРОВЕРЖЕНИЕ.