Умозаключения

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

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

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

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