В) сложные умозаключения

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

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

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

Пример: «Если спортсмен плохо подготовлен физически, то он не сможет результативно участвовать в соревнованиях. Если он не сможет результативно участвовать в соревнованиях, это скажется на его квалификационных достижениях. Следовательно, если спортсмен плохо подготовлен физически, это скажется на его квалификационных достижениях». Представим данное умозаключение в символической форме. Обозначим каждое простое суждение, входящее в состав сложного, какой-либо латинской буквой (p, q, r,…):

- «спортсмен плохо подготовлен физически» - р;

- «он не сможет результативно участвовать в соревнованиях» - q;

- «это скажется на его квалификационных достижениях» - r;

(p→q) & (q→r)

P→r

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

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

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

Пример: «Если студенты I курса успешно сдадут зимнюю сессию, то они смогут поехать в студенческий лагерь на Сенежском озере. Студенты I курса успешно сдали экзамены. Следовательно, они отправятся на Сенежское озеро». Этот модус на латыни обозначается как modus ponens, и в символической форме может быть записан следующим образом:

- «студенты I курса успешно сдадут зимнюю сессию» - р;

- «они смогут поехать в студенческий лагерь на Сенежском озере» - q;

(p→q) & p

Q

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

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

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

Пример: «Если допинг-пробы спортсмена, участвующего в международных соревнованиях, показывают положительный результат, то его дисквалифицируют. Данные спортсмены, участвующие в чемпионате мира по зимним видам спорта не дисквалифицированы. Следовательно, их допинг-пробы показывают отрицательный результат (не показывают положительный результат)». Этот модус на латыни обозначается как modus tollens, и в символической форме может быть записан так:

- «допинг-пробы спортсмена, участвующего в соревнованиях, показывают положительный результат» - р;

- « его (спортсмена) дисквалифицируют» - q;

(p→q) & q

P

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

Пример: «Если врач разглашает врачебную тайну (исключая специально оговоренные законом случаи), то он несет дисциплинарную, административную либо уголовную ответственность в соответствии с законодательством РФ. Врач не разглашает врачебную тайну. Следовательно, он не несет дисциплинарную, административную, уголовную ответственность в соответствии с законодательством РФ».

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

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

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

Пример: «Соревнования по плаванию проводятся следующим образом: плавание вольным стилем, либо плавание на спине, либо стилем баттерфляй, либо стилем брасс, либо комплексное плавание, либо разного рода эстафеты.

Данные соревнования в бассейне РГУФКСиТ проводились среди пловцов брассом. Следовательно, данные соревнования не имели в программе плавания вольным стилем, на спине, баттерфляем и т. д.». Данный модус на латыни обозначается как modus ponendo-tollens и в символической форме выглядит таким образом:

- «соревнования по плаванию проводятся вольным стилем» - p;

- «соревнования по плаванию проводятся плаванием на спине» - q;

- «соревнования по плаванию проводятся стилем баттерфляй» - s;

- «соревнования по плаванию проводятся стилем брасс» - r;

- «соревнования по плаванию проводятся комплексным плаванием» - m;

- «соревнования по плаванию проводятся посредством разного рода эстафет» - n;

(p ۷ q ۷ s ۷ r ۷ m ۷ n) & r