Классификация умозаключений.

В процессе познания мы приобретаем новые знания. Некоторые из них — непосредственно, в результате воздействия предметов внешнего мира на органы чувств. Но большую часть знаний — путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредствованными, или выводными. Логической формой получения выводных знаний является умозаключение.

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

посылок к заключению называется выводом. Например, из посылок «Преступление наказуемо» и «Мошенничество — преступление» следует заключение «Мошенничество наказуемо». Заключение получено благодаря связи посылок общим понятием «преступление».

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

Преступление наказуемо \ посылки.

Мошенничество — преступление >

Мошенничество наказуемо — заключение.

Посылки записываются над чертой, заключение — под чертой.

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

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

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

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

Дедуктивными (от латинского deductio — «выведение») называется умозаключение, в котором переход от общего знания к частному является логически необходимым.

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

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