<<
>>

Виды умозоключений

1. По характеру логического следования заключений из посылок все умозаключения делятся на дедуктивные (необходимые) и недедуктивные (выроятностные).

Дедуктивные - умозаключения, между посылками и заключением которых имеет место отношение логического следования, кото-рое можно определить следующим образом: из суждения а логически следует суждение (3 тогда и только тогда, когда а и (3 связаны по смыслу, а а—>Р является логическим законом.

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

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

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

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

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

Опосредствованные умозаключения - умозаключения, заключение в которых выводится из двух и более посылок. Например:

Все люди смертны Сократ - человек Сократ - смертен

<< | >>
Источник: Черняк Н.А.. Логика: Учебное пособие. - Омск: Омск. гос. ун-т,2004. -84 с.. 2004

Еще по теме Виды умозоключений:

  1. Виды умозоключений