Логика (шпаргалка)
с другом, образуя цепь силлогизмов, в которой заключение предшествующего
силлогизма становится посылкой последующего. Предшествующий силлогизм
называется просиллогизмом, последующий — эписиллогизмом.
Соединение простых силлогизмов, в котором заключение предшествующего
силлогизма (просиллогизма) становится посылкой последующего силлогизма
(эписил-логизма), называется сложным силлогизмом, или полисиллогизмом.
Различают прогрессивный и регрессивный полисиллогизмы.
В прогрессивном полисиллогизме заключение просиллогизма становится большей
посылкой эписиллогизма.
В регрессивном полисиллогизме заключение просиллогизма становится меньшей
посылкой эписиллогизма.
Сложными могут быть чисто условные силлогизмы, которые имеют схему:
(p-»q)A(q->r)A(r-»s)^...^(r1-»S1)
p->s1
Из схемы видно, что, как и в простом чисто условном умозаключении,
заключение представляет собой импликативную связь основания первой посылки
со следствием последней.
В процессе рассуждения полисиллогизм принимает обычно сокращенную форму;
некоторые из его посылок опускаются. Полисиллогизм, в котором пропущены
некоторые посылки, называется соритом. Различают два вида соритов:
прогрессивный полисиллогизм с пропущенными бoльшими посылками
эписиллогизмов и регрессивный полисиллогизм с пропущенными меньшими
посылками.
К сложносокращенным силлогизмам относится также эпихейрема. Эпихейремоч
называется сложносокращенный силлогизм, обе посылки которого являются знти-
мемалш.
Развертывание эпихейремы в полисиллогизм позволяет проверить правильность
рассуждения, избегать логических ошибок, которые могут остаться
незамеченными в эпихейреме.
В – 29
Сокращенный силлогизм (энтимема)
Силлогизм, в котором выражены все его части — обе посылки и заключение,
называется полным. Однако на практике чаще используются силлогизмы, в
которых одна из посылок или заключение явно не выражаются, а
подразумеваются.
Силлогизм с пропущенной посылкой или заключением называется сокращенным
силлогизмом, или энтимемой.
Энтимема в переводе с греческого буквально означает «в уме»/
Широко используются энтимемы простого категорического силлогизма, особенно
выводы по первой фигуре. Например: «Н. совершил преступление и поэтому
подлежит уголовной ответственности». Здесь пропущена большая посылка:
«Лицо, совершившее преступление, подлежит уголовной ответственности». Она
представляет собой общеизвестное положение, формулировать которое
необязательно.
Полный силлогизм строится по 1-й фигуре:
Лицо, совершившее преступление (М), подлежит уголовной
ответственности (р)
Н. (s) совершил преступление (М)
Н. (s) подлежит уголовной ответственности (р)
В зависимости от того, какая часть силлогизма пропущена, различают три вида
энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и
с пропущенным заключением.
Умозаключение в форме энтимемы может быть построено и по 2-й фигуре; по 3-й
фигуре оно строится редко.
Форму энтимемы принимают также умозаключения, посылками которых являются
условные и разделительные суждения.
Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное
дело не может быть возбуждено, так как событие преступления не имело
места».
Здесь пропущена большая посылка — условное суждение «Если событие
преступления не имело места, то уголовное дело не может быть возбуждено».
Она содержит известное положение Уголовно-процессуального кодекса, которое
подразумевается.
Разделительно-категорический силлогизм с опущенной большей посылкой: «По
данному делу не может быть вынесен оправдательный приговор, он должен быть
обвинительным».
Большая посылка — разделительное суждение «По данному делу может быть
вынесен либо оправдательный, либо обвинительный приговор» не формулируется.
Разделительно-категорический силлогизм с опущенным заключением: «Смерть
произошла либо в результате убийства, либо в результате самоубийства, либо
в результате несчастного случая, либо в силу естественных причин. Смерть
произошла в результате несчастного случая».
Заключение, отрицающее все другие альтернативы, обычно не формулируется.
Использование сокращенных силлогизмов обусловлено тем, что пропущенная
посылка или заключение либо содержит известное положение, которое не
нуждается в устном или письменном выражении, либо в контексте выраженных
частей умозаключения она легко подразумевается. Именно поэтому рассуждение
протекает, как правило, в форме энтимем. Но, поскольку в энтимеме выражены
не все части умозаключения, скрывающуюся в ней ошибку обнаружить труднее,
чем в полном умозаключении. Поэтому для проверки правильности рассуждения
следует найти пропущенные части умозаключения и восстановить энтимему в
полный силлогизм.
В – 30
Чисто условное умозаключение
Чисто условным называется умозаключение, обе посылки которого являются
условными суждениями.
Схема чисто условного умозаключения:
(р -» q) ^ (q -> г) р->г
Вывод в чисто условном умозаключении основывается на правиле: следствие
следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок,
относится к простым. Однако заключение может следовать из большего числа
посылок, которые образуют цепь условных суждений. Такие умозаключения
называются сложными.
В – 31
Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок
—условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2)
отрицающий.
1. В утверждающем модусе посылка, выраженная категорическим суждением,
утверждает истинность основания условной посылки, а заключение утверждает
истинность следствия;
рассуждение направлено от утверждения истинности основания к утверждению
истинности следствия.
2. В отрицающем модусе посылка, выраженная категорическим суждением,
отрицает истинность следствия условной посылки, а заключение отрицает
истинность основания. Рассуждение направлено от отрицания истинности
следствия к отрицанию истинности основания.
Из четырех модусов условно-категорического умозаключения, исчерпывающих все
возможные комбинации посылок, достоверные заключения дают два: утверждающий
(modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы
логики и называются правильными модусами условно-категорического
умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет
к утверждению следствия и отрицание следствия — к отрицанию основания. Два
других модуса (3 и 4) достоверных заключений не дают. Они называются
неправильными модусами и подчиняются правилу: отрицание основания не ведет
с необходимостью к отрицанию следствия и утверждение следствия не ведет с
необходимостью к утверждению основания.
В – 32
§ 2. Разделительно-категорическое умозаключение
Разделительно-категорическим называется умозаключение, в котором одна из
посылок — разделительное, а другая посылка и заключение — категорические
суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное)
суждение, называются членами дизъюнкции, или дизъюнктами.
1. В утверждающе-отрицающем модусе меньшая посылка — категорическое
суждение — утверждает один член дизъюнкции, заключение — также
категорическое суждение — отрицает другой ее член.
Заключение по этому модусу всегда достоверно, если соблюдается правило:
большая посылка должна быть исключающе-раздели-тельным суждением, или
суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного
заключения получить нельзя.
2. В отрицающе-утверждающем модусе меньшая посылка отрицает один
дизъюнкт, заключение утверждает другой.
Заключение по этому модусу всегда достоверно, если соблюдается правило: в
большей посылке должны быть перечислены все возможные суждения -—
дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым)
дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное
высказывание, достоверного заключения получить нельзя.
Однако это заключение может оказаться ложным, так как в большей посылке
учтены не все возможные виды сделок: посылка представляет собой неполное,
или открытое, дизъюнктивное высказывание.
Заключение будет истинным, если в условной посылке учтены все возможные
случаи.
Разделительно-категорическое умозаключение находит широкое применение в
судебно-следственной практике, особенно при построении и проверке
следственных версий.
В – 33
§ 3. Условно-разделительное умозаключение
Умозаключение, в котором одна посылка условное, а другая — разделительное
суждения, называется условно-разделительным, или лемматическим.
Разделительное суждение может содержать две, три и большее число
альтернатив, поэтому лемматические умозаключения делятся на дилеммы (две
альтернативы), трилеммы (три альтернативы) и т.д.
Различают два вида дилемм: конструктивную (созидательную) и деструктивную
(разрушительную), каждая из которых делится на простую и сложную.
Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11