Формы рационального познанияСтраница 2
Суждения над чертой называются посылками, а суждение под чертой — выводом или заключением.
В случае (а) вывод вытекает из посылок с логической необходимостью.
Умозаключение, в котором вывод логически необходимо следует из посылок, называется дедуктивным.
Если посылки истинны, логически правильное дедуктивное умозаключение всегда ведет к истинным выводам. Однако дедукция не позволяет получить заключение, которое было бы более общим, чем посылки.
В случае (b) умозаключение является не дедуктивным: в нем вывод следует из посылок не с необходимостью, а лишь с большей или меньший вероятностью. Вывод здесь не обязательно истинен, а лишь правдоподобен. Но зато он имеет более общий характер, чем посылки.
Умозаключение, в котором из частных суждений выводится общее, называется индуктивным.
Индукция позволяет обобщать имеющиеся знания. Однако выводы, к которым она приводит, не являются достоверными.
Кроме приведенных выше форм умозаключений существует множество других видов дедуктивных и индуктивных умозаключений, различных по своей логической структуре.
В мышлении дедукция и индукция взаимно дополняют друг друга.