Если а, то в

Условные и разделительные суждения.

Все А есть D

Все В есть С

Все А есть В

Все D есть В

Все С есть А

Все А есть В

Все А есть О

Все А есть С

Все В есть С

Все А есть В

Все D есть В

Все С есть В

Все С есть А

Все А есть В

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

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

Общую схему полисиллогизма, состоящего из двух простых, можно представить следующим образом:

___Все D есть С___

- прогрессивный полисиллогизм.

Может быть и другая схема:

__Все С есть D__

- регрессивный полисиллогизм.

Разновидностями полисиллогизма являются сорит и эпихейрема.

Сорит - сокращенный полисиллогизм, в котором пропущены заключе­ния предшествующих силлогизмов и одна из посылок последующего силло­гизма. Например:

Всякое общественно опасное деяние наказуемо

Преступление - общественно опасное деяние

_____Склонение к потреблению наркотических средств – преступление_____

Следовательно, склонение к потреблению наркотических средств наказуемо

Так же, как и полисиллогизм, сорит имеет две схемы:

__Все D есть С__

- прогрессивный сорит;

__Все С есть D__

- регрессивный сорит.

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

___Ложь заслуживает презрения, так как она безнравственна ___

Лесть есть ложь, так как она есть умышленное искажение истины

Лесть заслуживает презрения

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

Особенность этих умозаключений состоит в том, что выведение заклю­чения из посылок определяется не отношениями между терминами, как в категорическом силлогизме, а характером логической связи между суждени­ями. Поэтому при анализе посылок их субъектно-предикатная структура не учитывается. Рассмотрим выводы из сложных суждений.

Условное умозаключение (условный силлогизм) - это такой вид опосре­дованного дедуктивного умозаключения, в котором по крайней мере одна из посылок - условное суждение. Выделяют чисто условные и условно-катего­рические умозаключения.

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

__Если в, то с__