Логика - доступно для всех

Энтимема – сокращенный силлогизм, в котором пропущено одно из суждений (посылка либо вывод).

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

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

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

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

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

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

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

Правильные модус (дают вывод с необходимостью: утверждающий модус, отрицающий модус).

Вероятностные модусы (не гарантируют истинности вывода).