Логика. Радько О.Ю. - 47 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

ме энтимемы может быть построено и по второй фигуре; по третьей фигуре оно строится редко. Форму энти-
мемы принимают также умозаключения, посылками которых являются условные и разделительные суждения.
Условно-категорический силлогизм с пропущенной большей посылкой: «Уголовное дело не может быть
возбуждено, так как событие преступления не имело места». Здесь пропущена большая посылка – условное
суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она
содержит известное Положение Уголовно-процессуального кодекса, которое подразумевается.
Разделительно-категорический силлогизм с опущенной большей посылкой: «По данному делу не может
быть вынесен оправдательный приговор, он должен быть обвинительным». Большая посылка – разделительное
суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не
формулируется.
Разделительно-категорический силлогизм с опущенным заключением: «Смерть произошла либо в резуль-
тате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естествен-
ных причин. Смерть произошла в результате несчастного случая». Заключение, отрицающее все другие альтер-
нативы, обычно не формулируется.
Использование сокращённых силлогизмов обусловлено тем, что пропущенная посылка или заключение
либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в кон-
тексте выраженных частей умозаключения она легко подразумевается. Именно поэтому рассуждение протека-
ет, как правило, в форме энтимем. Но, поскольку в энтимеме выражены не все части умозаключения, скрываю-
щуюся в ней ошибку обнаружить труднее, чем в полном умозаключении. Поэтому для проверки правильности
рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.
Чисто условным называется умозаключение, обе посылки которого являются условными сужде-
ниями. Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следст-
вие основания. Умозаключение, в котором заключение получается из двух условных посылок, относится к
простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных
суждений. Такие умозаключения называются сложными.
Условно-категорическим называется умозаключение, в котором одна из посылок – условное, а другая по-
сылка и заключение – категорические суждения.
Это умозаключение имеет два правильных модуса: утверждающий и отрицающий.
Утверждающий модус (
modus ponens) – умозаключение формы
В
АВА ,→
.
Отрицающий модус (modus tollens) – умозаключение формы
В
ВВА ,→
.
1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность
основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено
от
утверждения истинности основания к утверждению истинности следствия
.
2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следст-
вия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено
от отрицания
истинности следствия к отрицанию истинности основания
.
Из четырёх модусов условно-категорического умозаключения, исчерпывающих все возможные комбина-
ции посылок, достоверные заключения дают два: утверждающий (
modus ponens) и отрицающий (modus tollens).
Они выражают законы логики и называются правильными модусами условно-категорического умозаключения.
Эти модусы подчиняются правилу:
утверждение основания ведёт к утверждению следствия и отрицание
следствия
– к отрицанию основания. Два других модуса достоверных заключений не дают. Они называются
неправильными модусами и подчиняются правилу: отрицание основания не ведёт с необходимостью к отрица-
нию следствия и утверждение следствия не ведёт с необходимостью к утверждению основания
.
Разделительно-категорическим называется умозаключение, в котором одна из посылок – раздели-
тельное, а другая посылка и заключение – категорические суждения. Простые суждения, из которых со-
стоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами.
1. В утверждающе-отрицающем модусе меньшая посылка – категорическое суждение – утверждает
один член дизъюнкции, заключение – также категорическое суждение, которое отрицает другой её член.
Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть
исключающе-разделительным суждением, или суждением строгой дизъюнкции. Если это правило не со-
блюдается, достоверного заключения получить нельзя.
2. В отрицающе-утверждающем модусе меньшая посылка отрицает один дизъюнкт, заключение утвер-
ждает другой. Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке
должны быть перечислены все возможные суждения – дизъюнкты, иначе говоря, большая посылка
должна быть полным (закрытым) дизъюнктивным высказыванием.

Страницы