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

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

1. Условный силлогизм - силлогизм, в котором хотя бы одна посылка является импликативным (условным) суждением.

Виды:

У этого силлогизма возможны 4 модуса:

Поненс Толленс

p→q p→q p→q p→q

p q ¬p ¬q

q p ¬q ¬p

Достоверные модусы

Модус поненс (лат. modus ponens) - утверждающий модус (его заключение утвердительное суждение)

Модус толленс (лат. modus tollens) отрицающий(его заключение отрицательное суждение).

Модус поненс (рассуждение идет от утверждения основания к утверждению следствия):

p→q Если в империях начинает рушиться семья, то они обращаются в прах.

p В Римской империи начала рушиться семья.

q Она обратилась в прах.

Модус толленс (рассуждение идет от отрицания следствия к отрицанию основания):

p→q Если подготовлюсь, то сдам экзамен.

¬q Экзамен я не сдал

¬p Я не подготовился.

33. Лемматические умозаключения. Конструктивные и деструктивные дилеммы. Их функции.

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

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

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

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

1. (Если А, тогда С) и (Если В, тогда С).

2. А или В.

3. Следовательно, С.

Опосредованные умозаключения из сложных суждений. Особенно в их сложной форме, используются главным образом в научной литературе, а также СМИ – всегда. Когда требуются более или менее тщательный, подробный и глубокий анализ возникновения, существования или развития предмета или явления, перебор возможных вариантов чего-либо, альтернатив развития.

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

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

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

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

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: (1) утверждающе-отрицающий и (2) отрицающе-утверждающий.

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

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация предъявительская (q)

Данная облигация не является именной (не-q)

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

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

Облигации могут быть предъявительскими (р) или именными (q) Данная облигация не является предъявительской (не-р)

Данная облигация именная (q)

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

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