Логика. Шпаргалка

Умозаключениями из сложных суждений

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

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

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

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

Правильными формами условно—категорического умозаключения будут следующие схемы:

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

Разделительно—категорическим называется умозаключение, в котором одна из посылок разделительное, а другая посылка и заключение – категорические суждения. Существуют две правильные формы разделительно категорического суждения:

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

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

55 ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ И ИХ ВИДЫ

Индуктивное умозаключение – это такая форма абстрактного мышления, в которой мысль развивается от знаний меньшей степени общности к знанию большей степени общности, а заключение, вытекающее из посылок, носит преимущественно вероятностный характер. Посылками индуктивного умозаключения являются суждения, в которых закрепляется информация, полученная опытным путем, об устойчивости признака у ряда явлений, принадлежащих одному и тому же классу. В зависимости от характера исследования различают полную и неполную индукцию. Полная индукция – это умозаключение, в котором общее заключение делается на основе изучения всех предметов или явлений данного класса. Индуктивным будет следующее умозаключение: «Вокруг остроугольного треугольника можно описать окружность, вокруг прямоугольного треугольника можно описать окружность, вокруг тупоугольного треугольника можно описать окружность. Никаких других треугольников не бывает. Значит, вокруг любого треугольника можно описать окружность». Схематически полную индукцию можно представить следующим образом:

S 1 – P

S 2 – P

S 3 – P

…

Sn – P