Сложные и сложносокращенные силлогизмы.
Силлогизм с пропущенной посылкой или заключением носит название сокращенного силлогизма, или энтимемы. Например: «Он – ученый, поэтому любопытство ему не чуждо». В данном случае опущена большая посылка «Всякому ученому не чуждо любопытство».
Использование энтимем обусловлено тем, что пропущенные посылка либо заключение содержат известное положение, которое легко подразумевается. Поэтому рассуждение протекает в форме энтимем. Так как в энтимеме выражены не все части умозаключения, то обнаружить в ней наличие ошибки гораздо труднее, чем в полном умозаключении. Поэтому, чтобы проверить правильность рассуждения, следует восстановить энтимему в полный силлогизм.
Полисиллогизм (сложный силлогизм) – это соединение простых категорических силлогизмов, в котором заключение предшествующего силлогизма становится посылкой последующего.
Различают прогрессивный и регрессивный полисиллогизмы.
В прогрессивном полисиллогизме заключение предшествующего силлогизма становится большей посылкой последующего.
В регрессивном полисиллогизме заключение предшествующего силлогизма становится меньшей посылкой последующего.
Прогрессивный и регрессивный полисиллогизмы мышлении обычно применяются в сокращенной форме (некоторые из его посылок опускаются) – в виде соритов.
Различают два вида соритов:
1) гоклениевский (прогрессивный);
2) аристотелевский (регрессивный).
Гоклениевский (прогрессивный) сорит представляет собой прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов. Прогрессивный сорит начинается с посылки, содержащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения.
В аристотелевском (регрессивном) сорите пропущены меньшие посылки регрессивного полисиллогизма. Регрессивный сорит начинается с посылки, содержащей субъект заключения, и кончается посылкой, содержащей предикат заключения.
К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремой называется такой сложносокращенный силлогизм, обе посылки которого являются сокращенными простыми категорическими силлогизмами (энтимемы). Например: «Благородный труд заслуживает уважения, так как благородный труд способствует прогрессу общества». Данная посылка эпихейремы представляет собой энтимему, у которой одна из посылок опущена. Эпихейремы так же, как и энтимемы, значительно упрощают рассуждения.
Чисто условное умозаключение Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Схема чисто условного умозаключения: (р -» q) ^ (q -> г) р->г Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания. Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.
Условно-категорическое умозаключение Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения. Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий. 1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. 2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.
Условно-разделительное умозаключение Умозаключение, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или лемматическим. Разделительное суждение может содержать две, три и большее число альтернатив, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д. Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную. В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно и то же следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия. Схема простой конструктивной дилеммы: (р-»г)^(q->г),рvq В сложной конструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка утверждает оба возможных следствия. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий. Схема сложной конструктивной дилеммы: (p->q)^(r-»s), pvr qvs В простой деструктивной дилемме условная посылка содержит одно основание, из которого вытекает два возможных следствия. Разделительная посылка отрицает оба следствия, заключение отрицает основание. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания. Схема простой деструктивной дилеммы: (p->q)^(p-»r),1qv1r 1P В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований. Схема сложной деструктивной дилеммы: (p-»q)^(r->s),1qv1s 1pv1r
Разделительные умозаключения делятся на простые разделительные и разделительно категорические умозаключения. В первом случае разделительными являются все посылки. Соответственно, разделительно категорические суждения имеют в качестве одной из посылок простое категорическое суждение. Таким образом, разделительным считается умозаключение, все или часть посылок которого являются разделительными суждениями. Структура простого разделительного умозаключения отражается следующим образом. S есть А или В, или С. А есть А1 или А2. S есть А1 или А2, или В, или С. Примером такого умозаключения является следующее. Путь бывает прямым или окружным. Окружный путь бывает с одной пересадкой или с несколькими пересадками. Путь бывает прямым или с одной пересадкой, или с несколькими пересадками. Разделительно категорические умозаключения можно представить в виде схемы. S есть А или В. S есть А (В). S не есть В (А). Например: Выстрел бывает точным и неточным. Этот выстрел является точным. Этот выстрел не является неточным. Здесь необходимо упомянуть об условно- разделительных умозаключениях. От указанных выше умозаключений они отличаются посылками. Одна из них — это разделительное суждение, что не является особенным, однако вторая посылка таких суждений состоит из двух или нескольких условных суждений. Условно- разделительное суждение может быть или дилеммой, или трилеммой. Дилемма — это выбор одного из двух вариантов. Трилемма состоит из двух посылок и следствия и предлагает выбор из трех вариантов или констатирует три факта.
