К сложным и сложносокращенным силлогизмам относятся полисиллогизмы сориты

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

Схема прогрессивного полисиллогизма: Все А есть В. Все С есть А. Значит, все С есть В Все D есть С. Все D есть В. Все Е есть D. Все Е есть В. Схема регрессивного полисиллогизма: Все В есть С. Все А есть В. Все С есть D. Все А есть С. Все А есть D.

• Соритом называется сокращенный полисиллогизм, в котором пропущено заключение предыдущего силлогизма. прогрессивный сорит регрессивный сорит: Все А есть В. Все С есть А. Все В есть С. Все D есть С. Все А есть В. Все Е есть D. Все С есть D. Все Е есть В. Все А есть D.

• Эпихейремой называется сложносокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорические силлогизмы (энтимемы). Все А суть С, так как А суть В. Все D суть А, так как D суть Е. Все D суть С.

Сокращенный силлогизм (энтимема). • Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой (от греч. — в уме). • Например: «Н. совершил преступление и поэтому подлежит уголовной ответственности» . Здесь пропущена большая посылка: «Лицо, совершившее преступление, подлежит уголовной ответственности» .

Лицо, совершившее преступление (М), подлежит уголовной ответственности (Р). • Н. (S) совершил преступление (М). • Н. (S) подлежит уголовной ответственности (Р). •

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

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

• Условно-категорическим называется умозаключение, в котором одна из посылок — условное, а другая посылкой заключение — категорические суждения. • 1) В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Например: Если иск предъявлен недееспособным лицом(а), то суд оставляет иск без рассмотрения(в). Иск предъявлен недееспособным лицом (а). Суд оставляет иск без рассмотрения (в).

• Можно строить достоверные умозаключения от утверждения основания к утверждению следствия. • Схема: Если а, то в. а в

• В отрицающем модусе (тоdus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Можно строить достоверные умозаключения от отрицания следствия к отрицанию основания. Например: • Если иск предъявлен недееспособным лицом(а), то суд оставляет иск без рассмотрения(в). • Суд не оставил иск без рассмотрения (не-в). • Неверно, что иск предъявлен недееспособным лицом (не-а).

Схема отрицающего модуса: Если а, то в. Не - а в • отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

• Умозаключение, в котором одна из посылок суждение эквивалениции, а вторая простое категорическое суждение, называется эквивалентно-категорическим силлогизмом. Если и только если число делится на 2 без остатка, то оно четное. Число 8 делится на 2 без остатка. Число 8 четное.

Разделительные дедуктивные умозаключения. Разделительным (дизъюнктивным) называется умозаключение, в котором одна или несколько посылок разделительные (дизъюнктивные) суждения. Чисто разделительные умозаключения имеют обе или все посылки разделительных суждений. N есть А, или В, или С. А есть А 1 или А 2 ________ N есть А 1 или А 2 или В, или С.

Например: • Человек может быть добрым, или злым, или конформистом. • Добрые бывают бедные или богатые. • Человек может быть бедным добрым, или богатым добрым, или злым, или конформистом.

• Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения. • 1. В утверждающе-отрицающем модусе (тоdus ропепdо tollепs) меньшая посылка, категорическое суждение, утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. • Облигации могут быть предъявительскими (f) или именными (m). • Данная облигация предъявительская (f). • Данная облигация не является именной (не- m)

2. В отрицающе-утверждающем модусе (тоdus tollendo роnепs) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например: • Облигации могут быть предъявительскими (f) или именными (m) • Данная облигация не является предъявительской ( f). • Данная облигация именная (m).

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

В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Схема простой конструктивной дилеммы: • Если А есть В, то С есть D; если Е есть F, то С есть D. • А есть В или Е есть F. • С есть D.

• В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий. • Схема сложной конструктивной дилеммы: • Если А, то В; если С, то D. • А или С. • В или D.

В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания. Пример: • Если Н. совершил умышленное преступление (а), значит, в его действиях может быть прямой (в) и косвенный умысел (с). • Но в действиях Н. не было прямого (не- в) или не было косвенного умысла (не-с). • Преступление, совершенное Н. , не является умышленным ( ).

• В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований. • Схема сложной деструктивной дилеммы: • Если А есть В, то С есть D; если Е есть F, то К есть М. • С не есть D или К не есть М • А не есть В или Е не есть F.

Трилеммы, так же как и дилеммы, могут быть конструктивными и деструктивными; каждая из этих форм в свою очередь может быть простой или сложной. Простая конструктивная трилемма состоит из двух посылок и заключения. В первой посылке констатируется то, что из трех различных оснований вытекает одно и то же следствие; вторая посылка представляет собой дизъюнкцию этих трех оснований; в заключении утверждается следствие. • Пример: • Если у больного грипп, то рекомендуется обратиться к врачу; если у больного острое респираторное заболевание, то рекомендуется обратиться к врачу; если у больного ангина, то рекомендуется обратиться к врачу. • У данного больного или грипп, или острое респираторное заболевание, или ангина. • Данному больному рекомендуется обратиться к врачу.

• В сложной конструктивной трилемме первая посылка состоит из трех различных оснований и трех различных вытекающих из них следствий, т. е. содержит три условных суждения. Вторая посылка является дизъюнктивным суждением, в котором утверждается (по крайней мере) одно из трех оснований. В заключении утверждается (по крайней мере) одно из трех следствий. например • Кто поедет прямо, будет в холоде и голоде; кто поедет направо, тот сам останется цел, а конь будет убит; кто поедет налево, тот сам будет убит, а конь останется цел. • Человек может поехать либо прямо, либо направо, либо налево. • Он или будет в холоде и голоде, или сам останется цел, а конь будет убит, или сам будет убит, а конь останется цел.

• Деструктивные трилеммы, так же как и деструктивные дилеммы, бывают простые и сложные. Структура их аналогична структуре дилеммы, только предусматриваются не две, а три возможные альтернативы. Приведем пример простой деструктивной трилеммы. • Если это тройное убийство, то стрелять могли группа преступников, один преступник, преступник и его сообщники. • Экспертиза установила, что стреляли или не группа преступников, или не один преступник, или не преступник и его сообщники. • Значит это не тройное убийство, а инсценировка под него.