Дедуктивные умозаключения, образованные на основе ПКС

Заключающие модусы ПКС

Фигуры   Модусы	1.	2.	3.	4.
1.	Barbara	Cesare	Darapti	Bramantip
2.	Celarent	Camestres	Disamis	Camenes
3.	Darii	Festino	Datisi	Dimaris
4.	Ferioque	Baroco	Felapton	Fesapo
5.			Bocardo	Fresison
6.			Ferison

Энтимема. Силлогизм, образованный на основе ПКС, у которого опущена одна из посылок или заключение. Из модусов четвертой фигуры ПКС энтимемы не образуют. В случае если посылки энтимемы сливаются в одно выражение, образуется энтимематическое изречение. Пример – смертный, не питай бессмертной ненависти.

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

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

Регрессивным называют полисиллогизм, где вывод предшествующего силлогизма становится меньшей посылкой последующего.

В прогрессивном и регрессивном полисиллогизмах субъект и предикат вывода – соответственно, субъект меньшей посылки и предикат большей посылки последнего силлогизма.

Сорит. Сорит представляет собой сокращенную форму прогрессивных и регрессивных полисиллогизмов.

Прогрессивный (гоклениевский) сорит образуется исключением из прогрессивного полисиллогизма выводов предшествующих и больших посылок последующих силллогизмов. Субъект заключения гоклениевского сорита – это субъект последней меньшей посылки, а предикат заключения – это предикат первой большей посылки. Схема: A–B, C–A, D–C, E–D/ E–B.

Регрессивный (аристотелевский) сорит образуется из регрессивного полисиллогизма исключением выводов предшествующих силлогизмов и меньших посылок последующих силлогизмов. Субъект заключения – это субъект 1-й посылки, а предикат заключения – это предикат большей посылки последнего силлогизма. Схема: A–B, B–D, D–E/ A–E.

Эпихейрема. Эпихейрема есть сложносокращенный силлогизм, посылки которого есть энтимемы.

Дата добавления: 2015-06-28