- мыслительный
процесс, в ходе которого из одного или нескольких суждений, называемых посылками, выводится
новое суждение, называемое заключением или
следствием. Умозаключения часто подразделяют на дедуктивные (см.:
Дедукция) и индуктивные (см.:
Индуктивная логика, Индуктивное
умозаключение). В дедуктивных У., если
посылки истинны и при этом соблюдены соответствующие правила логики, то заключение будет истинным. В индуктивных У. при истинности посылок и при соблюдении соответствующих логических процедур (напр., правил обобщения) заключение в общем случае может оказаться как истинным, так и ложным. Современная
формальная логика на основе различных логических систем моделирует процессы У., протекающие в
мозгу человека. Правила логики выявляются на основе формализации конкретных по содержанию У. В естественном конкретно-содержательном мышлении некоторые посылки часто пропускаются, не формулируются в явной форме, тем более не формулируются в явной форме и правила
вывода: они применяются человеком на интуитивной основе Это ведет к появлению логических ошибок.
Знание всех подразумеваемых посылок, их логической формы, выявляемой на основе формализации, а также правил логики позволяет контролировать использование различных форм умозаключающей деятельности мышления. В процессе рассуждения, представляющего собой сознательный, последовательно осуществляемый мыслительный процесс, в процессе доказательства к.-л. положений мы часто пользуемся цепочками У. (см.:
Сорит).
Условием правильности таких рассуждений и доказательств является не только истинность посылок (аргументов, оснований), но и соблюдение правил логики 3) Смоленск севернее Рязани. Рязань севернее Тулы. Смоленск севернее Тулы. 4) Иван - сын Петра. Петр - сын Андрея. _____ Иван - внук Андрея. 5) Точка A лежит на прямой между точками В и С. Точка D лежит на той же прямой между точками A и B. Точка D лежит на данной прямой между точками В и С. Эти умозаключения широко используются в процессе мышления различного конкретного содержания.