29.Сокращенный силлогизм (энтимема)

Умозаключение, в которых пропущена одна из посылок или заключение

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

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

Восстановление:

1.Нужно определить что пропущенно

2.определив заключение, можно определить больший или меньший термин силлогизма

3.с помощью правила фигуры достроить пропущенную посылку

4. восстановить полный силлогизм

30.Условно-категорическое умозаключение

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

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

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

Утверждающий модус дает достоверные выводы. Он имеет схему:

(P->q, P)/q

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

(P-»q, q)/P

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

31.Чисто условное умозаключение

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

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

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

В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q). из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.

Схема чисто условного умозаключения:

A->B

B->C

А->C

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

Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего' числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.

32.Разделительно-категорическое умозаключение.

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

Простые суждения, из которых состоит разделительное суждение, называются членами дизъюнкции, или дизъюнктами.

1. В утверждающе-отрицающем модусе меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член.

p˅q,p/˥q

Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающеразделительным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя

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

Схема отрицающеутверждающего модуса:

<p˅q>,˥p/q

< > — символ закрытой дизъюнкции.

Утвердительный вывод получен посредством отрицания. Отрицая один дизъюнкт, мы утверждаем другой. Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка, должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывав достоверного заключения получить нельзя.

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