То ли дождик, то ли снег (Умозаключения с союзом ИЛИ)

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

Учебное заведение может быть начальным, или средним, или высшим.

МГУ является высшим учебным заведением.

=> МГУ – это не начальное и не среднее учебное заведение.

Разделительно-категорический силлогизм имеет два модуса: утверждающе-отрицающий и отрицающе-утверждающий.

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

Леса бывают хвойными, или лиственными, или смешанными.

Этот лес хвойный.

=> Этот лес не лиственный и не смешанный.

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

Люди бывают европеоидами, или монголоидами, или негроидами.

Этот человек не монголоид и не негроид. => Этот человек является европеоидом.

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

Деление в первой посылке должно проводиться по одному основанию.Например:

Транспорт бывает наземным, или подземным, или водным, или воздушным, или общественным.

Пригородные электропоезда – это общественный транспорт.

=> Пригородные электропоезда – это не наземный, не подземный, не водный и не воздушный транспорт.

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

Почему так получается? Потому что в первой посылке деление проводилось по двум разным основаниям: в какой природной среде передвигается транспорт и кому он принадлежит. Уже знакомая нам подмена основания деления в первой посылке разделительно-категорического силлогизма приводит к ложному выводу.

Деление в первой посылке должно быть полным.Например:

Математические действия бывают сложением, или вычитанием, или умножением, или делением.

Логарифмирование – это не сложение, не вычитание, не умножение и не деление.

=> Логарифмирование – это не математическое действие.

Известная нам ошибка неполного деления в первой посылке силлогизма обусловливает ложный вывод, вытекающий из истинных посылок.

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

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

Канада – это северная страна.

=> Канада – это не южная, не западная и не восточная страна.

В силлогизме вывод является ложным, так как Канада в такой же степени северная страна, в какой и западная. Ложный вывод при истинных посылках объясняется в данном случае пересечением результатов деления в первой посылке, или, что одно и то же, – нестрогой дизъюнкцией. Следует отметить, что нестрогая дизъюнкция в разделительно-категорическом силлогизме допустима в том случае, когда он построен по отрицающе-утверждающему модусу. Например:

Он силен от природы или же постоянно занимается спортом.

Он не является сильным от природы.

=> Он постоянно занимается спортом.

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