Виды силлогизмов:а)чисто условный силлогизм. условно-категор.

Разделительно-категорический силлогизм– умозаключение, одной посылкой которого является разделительное (дизъюнктивное) суждение, другой – категорическое. Этот вид умозаключения содержит два модуса.

Iмодус – утверждающе-отрицающий (modusponendotollens). Его схема:

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

Правило modus ponendo tоllens - разделительная посылка должна быть исключающей (строгой) дизъюнкцией.

IIмодус – отрицающе-утверждающий (modustоllendoponens).

Его схема:

Во второй категорической посылке производится отрицание всех членов дизъюнкции, кроме одного, истинность которого утверждается в заключении. Например:

Правило modus tоllendo ponens – в разделительной посылке должны быть перечислены все возможные альтернативы.

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

В зависимости от того, сколько следствий установлено в условной посылке, различают дилеммы, трилеммы, n– леммы.

Лемма– означает по-гречески предложение. В выводе такого умозаключения утверждается альтернатива, т.е. необходимость выбора только одного из всех возможных предложений. Дилемма, таким образом, - это условно-разделительное умозаключение с двумя альтернативами.

Различают следующие виды дилемм: простые и сложные, конструктивные и деструктивные.

Простая конструктивная дилемма(«рассуждение по случаю») строится по схеме:

Пример:

Сложная конструктивная дилеммаотличается от простой тем, что оба следствия из условной посылки различны. Ее схема такова:

Пример (рассуждение Штирлица из книги Ю. Семенова «Семнадцать мгновений весны»):

Простая деструктивная дилеммастроится по схеме:

В условной посылке этого умозаключения из одного и того же основания вытекают два различных следствия; вторая посылка представляет собой дизъюнкцию отрицания обоих следствий; в заключении отрицается основание.

Пример: