Логическое следование (правила и логические требования к переходу от посылок к заключению)

Основная логическая характеристика умозаключения – правильность. Умозаключение называется правильным, если оно производится в соответствии с объективными законами мышления и тем самым позволяет получить из истинного знания новое истинное знание.

Умозаключения различаются характером перехода от посылок к заключению. В одних видах умозаключений переход от посылок к заключению осуществляется путем выявления имплицитно содержащейся в посылках информации и перенесения ее в заключение. Эти умозаключения называются дедуктивными (deductio – выведение). В другом виде умозаключений переход от посылок к заключению осуществляется следующим образом: либо информация, содержащаяся в посылках, просто обобщается, либо обобщается и далее распространяется на более широкий класс предметов, нежели имеющийся в посылках. Эти умозаключения называются индуктивными (inductio – наведение). В третьем виде умозаключений переход от посылок к заключению состоит в том, что на основе знания об отдельных предметах класса (свойствах предметов некоторого класса) и сходства этих предметов (свойств) в каком-либо отношении с другими предметами (свойствами) переносят знание о первых предметах (свойствах) на вторые. Такие умозаключения называются умозаключениями по аналогии ( analogia – соответствие, сходство), или традуктивными (traductio – перемещение). В некоторых учебниках логики эти виды умозаключений делятся, основываясь на направленности перехода от посылок к заключению:

- дедукция – переход от общего знания к частному;

- индукция – переход от общего знания к частному;

- аналогия – переход от частного знания к частному.

С точки зрения современных логических исследований такого рода классификация расценивается как несколько упрощенная и устаревшая.

Кроме того, умозаключения различаются по строгости правил вывода:

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

- все дедуктивные умозаключения;