Умозаключения

Если а, то с; если a, то сВ символической записи:

не-в или не-с (pr) Λ (рr)q v ~r

не-а ~p

В сложной деструктивной дилемме условная предпосылка содержит две основы и два последствия. Рассуждение направлено от отрицания истинности последствий к отрицанию истинности основы :

Если а, то в; если с, то dВ символической записи:

не-в или не-d (pq) Λ (rs)q v ~s

не-а или не-с ~p v ~r

ИИ. Видами дедуктивных умозаключений также являются такие силогизми:

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

Условно-категорические - с пропущенной большей предпосылкой.

Разделительно-категорические - с пропущенной большей предпосылкой.

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

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

В прогрессивном вывод просилогизма становится большей предпосылкой еписилогизма.

АBА - должностное преступление

CAВ - общественно опасное деяние.

CBС - халатность (преступление)

DCD - приказываем (дача взятки).

DB.

В регрессивном полисилогизми вывод просилогизма становится меньшей предпосылкой еписилогизма :

А - В

С - В

С - В



Вернуться назад