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