5.3 Общая характеристика умозаключений (в традиционной силлогистике). Виды умозаключений

Пример 8. Форма записи умозаключений
		Все металлы электропроводны. Медь является металлом.
		Медь электропроводна.
	Пример 9. Ложное умозаключение
		Все вменяемые люди не лгут. Н. признана вменяемой.
		Н. не лжет.
	Пример 10. Неправильное умозаключение
		Некоторые студенты изучают логику. Н. является студентом.
		Н. изучает логику.

Умозаключение (в традиционной логике) – форма мышления, посредством которой выводится новое суждение на основании одного или более известных суждений. Исходные суждения называются посылками умозаключения, а получаемое суждение – заключением. Выводом называют логический переход от посылок к заключению. В аристотелевской
логике было принято записывать посылки строго друг под другом, а заключение отделять от посылок чертой (пример 8). При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий:

1. Посылки должны быть истинными суждениями.

2. Должны соблюдаться правила вывода.

Несоблюдение первого условия приводит к ложному заключению. В этом случае говорят: «Заключение делается из ложных посылок». Такое умозаключение называют ложным (пример 9). В случае нарушения второго условия возникает ошибка, о которой говорят: «Не следует» (пример 10).

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

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

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

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

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

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

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

В современной (классической и неклассической) логике под дедуктивными понимают умозаключения, между посылками и заключением которых имеет место отношение логического следования. Отношение логического следования можно определить так: из суждений логически следует суждение B, если и только если и B связаны по смыслу, а является логическим законом, т. е. тождественно-истинной формулой. Если между посылками и заключением нет отношения логического следования, то такое умозаключение называется недедуктивным. К последним как раз и относят индуктивные и традуктивные умозаключения.

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

Пример 11. Непосредственное умозаключение
	Все преступления являются общественно опасными.
	Все общественно опасные деяния – преступления.

Непосредственными называют умозаключения, включающие лишь одну посылку (пример 11). Опосредствованные умозаключения состоят из двух и большего числа посылок.