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

Пример :

Если деятельность порождает полезные факты, ею следует заниматься. Если деятельность развивает мозг, ею следует заниматься. (условные суждения)

Наука или порождает полезные факты, или развивает мозг. (разделительное суждение)

----

Значит, наукой следует заниматься . (заключение)

Типы

В риторике

В логике

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

• простая конструктивная полилемма (см. пример во введении);
• простая деструктивная полилемма;
• сложная конструктивная полилемма;
• сложная деструктивная полилемма.

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

Примечания

Литература

• Условно-разделительное умозаключение // В. А. Светлов. Современная логика. Издательский дом «Питер», 2006. С. 254—255.

Это заготовка статьи по логике . Помогите Википедии, дополнив её.