Нужна помощь в написании работы?

Условное умозаключение (условный силлогизм) – вид опосредованного дедуктивного умозаключения, в котором по крайней мере одна из посылок – условное суждение. Выделяют чисто условные и условно-категорические умозаключения.

Чисто условным умозаключением называется такое опосредованное умозаключение, в котором обе посылки  заключение являются условными суждениями.

Его логическая структура:

Если а, то в

Если в, то с

Если а, то с

Например:

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

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные корректировки и доработки. Узнайте стоимость своей работы.

Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)

Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)

В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.

Схема чисто условного умозаключения: (р -> q) и (q -> г), то р -> г

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

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

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

Его логическая структура:

Если а, то в

        а                               

        в

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий. Каждый из них встречается в двух формах: правильной и неправильной. В правильных формах выводы имеют достоверный характер, а в неправильных – вероятностный.

1. Правильная форма утверждающего модуса – это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от утверждения истинности основания условной посылки к утверждению истинности следствия условной посылки.

Например:

Если иск предъявлен недееспособным лицом (а), то суд оставляет иск без рассмотрения (в)

Иск предъявлен недееспособным лицом (а)

Суд оставляет иск без рассмотрения (в)

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

2. Неправильной формой утверждающего модуса является разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от утверждения истинности следствия условной посылки к утверждению истинности основания условной посылки

Например,

Если коллектив цеха не допустит брака в работе, то он получит премию.

Коллектив получит премию.

Следовательно, он не допустил брака в работе.

3. Правильная форма отрицательного модуса – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания следствия условной посылки к отрицанию основания условной посылки.

Например,

Если коллектив цеха не допустит брака в работе, то он получит премию.

Коллектив не получит премию.

Следовательно, он допустил брака в работе.

4. Неправильная форма отрицательного модуса – это разновидность условно-категорического умозаключения, в котором ход умозаключения направлен от отрицания основания условной посылки к отрицанию следствия условной посылки.

Например,

Если коллектив цеха не допустит брака в работе, то он получит премию.

Коллектив цеха допустил брак в работе.

Следовательно, он не получит премию.

Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q)

Суд не оставил иск без рассмотрения (не-q)

Неверно, что иск предъявлен недееспособным лицом (не-р)

Итак, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (3). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (2 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

Поделись с друзьями