Сокращенные и сложные силлогизмы презентация

Сокращённые силлогизмы (энтимемы)
Сложные силлогизмы (полисиллогизмы)
Прогрессивный полисиллогизм
Регрессивный полисиллогизм
Сложносокращённые силлогизмы
Сориты
Прогрессивный (гоклениевский) сорит
Регрессивный (аристотелевский) сорит
Эпихейремы
Сокращённые и сложные силлогизмы

Сокращённый силлогизм
Энтимема
Энтимема
(греч. ένθυμημα, от ένθυμέομαι, иметь в уме) –
сокращённый (неполный) силлогизм,
в котором одна из посылок или вывод
явно не формулируется
а лишь подразумевается.

Сокращённый силлогизм
Энтимема
Все люди смертны
Сократ – человек
Сократ смертен
Следовательно,
Все люди смертны
Сократ – человек
Сократ смертен
Следовательно,
Энтимема
с подразумеваемой
бóльшей посылкой
Все люди смертны
Сократ – человек
Сократ смертен
Следовательно,
Энтимема
с подразумеваемой
меньшей посылкой
Энтимема
с подразумеваемым
выводом
Все люди смертны
Сократ – человек
Сократ смертен
Следовательно,
Энтимемы
по первой фигуре
простого
категорического
силлогизма

Сокращённый силлогизм
Энтимема
Все люди смертны
Зевс не смертен
Зевс не человек
Следовательно,
Все люди смертны
Зевс не смертен
Зевс не человек
Следовательно,
Энтимема
с подразумеваемой
бóльшей посылкой
Все люди смертны
Зевс не смертен
Зевс не человек
Следовательно,
Энтимема
с подразумеваемой
меньшей посылкой
Энтимема
с подразумеваемым
выводом
Все люди смертны
Зевс не смертен
Зевс не человек
Следовательно,
Энтимемы
по второй фигуре
простого
категорического
силлогизма

Сокращённый силлогизм
Энтимема
Архилох – грек
Архилох – поэт
нек. поэты – греки
Следовательно,
Архилох – грек
Архилох – поэт
нек. поэты – греки
Следовательно,
Энтимема
с подразумеваемой
бóльшей посылкой
Архилох – грек
Архилох – поэт
нек. поэты – греки
Следовательно,
Энтимема
с подразумеваемой
меньшей посылкой
Энтимема
с подразумеваемым
выводом
Архилох – грек
Архилох – поэт
нек. поэты – греки
Следовательно,
Энтимемы
по третьей фигуре
простого
категорического
силлогизма

Сокращённый силлогизм
Энтимема
Турки не греки
Нек. греки – поэты
нек. поэты не турки
Следовательно,
Турки не греки
Нек. греки – поэты
нек. поэты не турки
Следовательно,
Энтимема
с подразумеваемой
бóльшей посылкой
Турки не греки
Нек. греки – поэты
нек. поэты не турки
Следовательно,
Энтимема
с подразумеваемой
меньшей посылкой
Энтимема
с подразумеваемым
выводом
Турки не греки
Нек. греки – поэты
нек. поэты не турки
Следовательно,
Энтимемы
по четвёртой фигуре
простого
категорического
силлогизма

Сокращённый силлогизм
Энтимема
В дождь крыши мокрые
Идёт дождь
крыши мокрые
Следовательно,
В дождь крыши мокрые
Идёт дождь
крыши мокрые
Следовательно,
Энтимема
с подразумеваемой
бóльшей посылкой
В дождь крыши мокрые
Идёт дождь
крыши мокрые
Следовательно,
Энтимема
с подразумеваемой
меньшей посылкой
Энтимема
с подразумеваемым
выводом
В дождь крыши мокрые
Идёт дождь
крыши мокрые
Следовательно,
Энтимемы
по модусу ponens
условно-
категорического
силлогизма

Сокращённый силлогизм
Энтимема
В дождь крыши мокрые
Крыши не мокрые
дождя нет
Следовательно,
В дождь крыши мокрые
Крыши не мокрые
дождя нет
Следовательно,
Энтимема
с подразумеваемой
бóльшей посылкой
В дождь крыши мокрые
Крыши не мокрые
дождя нет
Следовательно,
Энтимема
с подразумеваемой
меньшей посылкой
Энтимема
с подразумеваемым
выводом
В дождь крыши мокрые
Крыши не мокрые
дождя нет
Следовательно,
Энтимемы
по модусу tollens
условно-
категорического
силлогизма

Сокращённый силлогизм
Энтимема
Это или утка, или гусь
Это – утка
это не гусь
Следовательно,
Это или утка, или гусь
Это – утка
это не гусь
Следовательно,
Энтимема
с подразумеваемой
бóльшей посылкой
Это или утка, или гусь
Это – утка
это не гусь
Следовательно,
Энтимема
с подразумеваемой
меньшей посылкой
Энтимема
с подразумеваемым
выводом
Это или утка, или гусь
Это – утка
это не гусь
Следовательно,
Энтимемы по модусу
ponendo tollens
разделительно-
категорического
силлогизма
Не проще ли получить тот же вывод
умозаключением контрарности?

Сокращённый силлогизм
Энтимема
Это или утка, или гусь
Это не утка
это – гусь
Следовательно,
Это или утка, или гусь
Это не утка
это – гусь
Следовательно,
Энтимема
с подразумеваемой
бóльшей посылкой
Это или утка, или гусь
Это не утка
это – гусь
Следовательно,
Энтимема
с подразумеваемой
меньшей посылкой
Энтимема
с подразумеваемым
выводом
Это или утка, или гусь
Это не утка
это – гусь
Следовательно,
Энтимемы по модусу
tollendo ponens
разделительно-
категорического
силлогизма

Сложные силлогизмы (полисиллогизмы)
Полисиллогизм
(от греч. πολυ-, в сложных словах – много, и συλλογισμός) –
соединение нескольких силлогизмов
в связное рассуждение, в котором
вывод предшествующего силлогизма (просиллогизма)
используется в качестве посылки
последующего силлогизма (эписиллогизма).
Прогрессивный полисиллогизм –
полисиллогизм, в котором
вывод просиллогизма
используется в качестве
бóльшей посылки эписиллогизма.
Регрессивный полисиллогизм –
полисиллогизм, в котором
вывод просиллогизма
используется в качестве
меньшей посылки эписиллогизма.

Полисиллогизмы
Прогрессивные и регрессивные полисиллогизмы
Все люди смертны
Все греки – люди
Все греки смертны
Все афиняне – греки
Все афиняне смертны
Сократ – афинянин
Сократ смертен
Следовательно,
Следовательно,
Следовательно,
Все афиняне – греки
Сократ – афинянин
Все греки – люди
Сократ – грек
Все люди смертны
Сократ – человек
Сократ смертен
Следовательно,
Следовательно,
Следовательно,

Сложносокращённые силлогизмы
Сориты
Сорит
(от греч. σωρός, куча) –
сложносокращённый силлогизм,
образующийся из полисиллогизма путём исключения посылок, являющихся заключениями просиллогизмов;
в сорите явно формулируется только последнее заключение,
промежуточные же заключения
(они же – посылки эписиллогизмов) лишь подразумеваются.
Прогрессивный
(гоклениевский) сорит –
сорит, в котором опущены
бóльшие посылки
эписиллогизмов.
Регрессивный
(аристотелевский) сорит –
сорит, в котором опущены
меньшие посылки
эписиллогизмов.

Сориты
Гоклениевский и аристотелевский сориты
Все люди смертны
Все греки – люди
Все греки смертны
Все афиняне – греки
Все афиняне смертны
Сократ – афинянин
Сократ смертен
Следовательно,
Следовательно,
Следовательно,
Все афиняне – греки
Сократ – афинянин
Все греки – люди
Сократ – грек
Все люди смертны
Сократ – человек
Сократ смертен
Следовательно,
Следовательно,
Следовательно,
Все афиняне – греки
Сократ – афинянин

Сложносокращённые силлогизмы
Эпихейрема
Эпихейрема
(греч. έπιχείρημα, от έπιχείρέω,
предпринимать, начинать, нападать) –
сложносокращённый силлогизм,
в котором каждая из посылок
представляет собой энтимему.

Сложносокращённые силлогизмы
Эпихейрема
Все греки смертны, потому что они – люди
Сократ – грек, ибо афиняне – греки
Сократ смертен
Следовательно,
Все люди смертны
Все греки – люди
Все греки смертны
Следовательно,
Бóльшая посылка – энтимема
с подразумеваемой
бóльшей посылкой
Афиняне – греки
Сократ – афинянин
Сократ – грек
Следовательно,
Меньшая посылка – энтимема
с подразумеваемой
меньшей посылкой

Сложносокращённые силлогизмы
Эпихейрема
Греки смертны, потому что люди смертны
Сократ – грек, ибо он – афинянин
Сократ смертен
Следовательно,
Все люди смертны
Все греки – люди
Все греки смертны
Следовательно,
Бóльшая посылка – энтимема
с подразумеваемой
меньшей посылкой
Афиняне – греки
Сократ – афинянин
Сократ – грек
Следовательно,
Меньшая посылка – энтимема
с подразумеваемой
бóльшей посылкой