Умозаключение как форма мышления
Умозаключение –это форма мышления, посредством которой из одного или несколько суждений выводится новое знание.
Всякое умозаключение состоит из посылок, заключения, вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение.
Заключение представляет новое суждение, полученное логическим путем из посылок.
Логический переход от посылок к заключению называется выводом.
Например, «Все граждане России имеют право на отдых (1), а Иванов – гражданин России (2), следовательно, Иванов имеет право на отдых (3).
В этом умозаключении 1-е и 2-е суждения – посылки, суждение (3) является заключением.
Отношения логического следования между посылками и заключением предполагают связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен.
При наличии содержательной связи между посылками и заключением мы можем получить в процессе рассуждения новое истинное суждение при соблюдении двух условий:
а) посылки должны быть истинными суждениями;
б) в процессе рассуждения должны соблюдаться правила вывода, соответствующего вида умозаключений, которые определяют логическую правильность умозаключения.
ВИДЫ УМОЗАКЛЮЧЕНИЙ
Все умозаключения делятся на виды:
I. По строгости правил вывода различают демонстративные(достоверные, необходимые) и недемонстративные (правдоподобные) умозаключения.
Демонстративныминазываются умозаключения, в которых заключение с необходимостью следует из посылок, т.е. логическое следование в таких умозаключениях опирается на логические законы.
Недемонстративными называются умозаключения, в которых правила вывода, обеспечивают лишь вероятностное следование заключения из посылок.
II. Понаправленности логического следования различают три вида умозаключений: дедуктивные, индуктивные и традуктивные (по аналогии).
Дедуктивным (от лат. deduction – выведение) называется умозаключение, в котором переход от общего знания к частному является логически необходимым.
Индуктивным (от лат. induction - наведение) называется умозаключение, в котором содержится эмпирическое обобщение от знания меньшей степени общности к знанию большей степени общности.
Традуктивным (по аналогии) называется умозаключение, в котором вывод о принадлежности единичному предмету определенного признака делается на основе сходства этого предмета в существенных признаках с другим единичным предметом.
Индуктивные и традуктивные умозаключения в логике называются недедуктивными, в которых вывод не следует с необходимостью из посылок, но посылки дают основание считать заключение вероятным.
Дедуктивные умозаключения делятся в свою очередь на:
- умозаключения логики суждений – умозаключения из сложных суждений, в которых выводы зависят от логических связей между суждениями;
- силлогизмы – умозаключения из простых суждений, в которых выводы зависят от внутренней (субъективно-предикатной) структуры суждений.
Заключение в дедуктивных умозаключениях всегда носит необходимый характер, т.е. гарантирует истинность заключения из истинных посылок.
III. По количеству посылок в умозаключении различают непосредственные (из одной посылки) и опосредованные (из двух и более посылок) умозаключения.
Непосредственные и опосредованные умозаключения являются видами дедуктивных умозаключений и в свою очередь подразделяются на виды.
Непосредственные:
а) через отношение суждений (выводы по логическому квадрату);
б) через преобразование суждений (превращение, обращение, противопоставление предикату, противопоставление субъекту).
Опосредованные:
а) умозаключения из простых суждений (простой категорический силлогизм и полисиллогизм);
б) умозаключения из сложных суждений (чисто условные умозаключения, условно-категорические умозаключения, разделительно-категорические умозаключения, условно-разделительные умозаключения).