•В отрицающем модусе (то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.