"Дедукция — это частный случай умозаключения"
«По одной капле воды... человек, умеющий мыслить логически, может сделать вывод о существовании Атлантического океана или Ниагарского водопада, даже если он не видал ни того, ни другого и никогда о них не слыхал... По ногтям человека, по его рукавам, обуви, сгибу брюк на коленях, по утолщениям кожи на большом и указательном пальцах, по выражению лица и обшлагам рубашки — по таким мелочам нетрудно угадать его профессию. И можно не сомневаться, что все это, вместе взятое, подскажет сведущему наблюдателю верные выводы».
Узнаете эти строки?
Да, это цитата из программной статьи самого знаменитого в мировой литературе сыщика-консультанта Шерлока Холмса. Исходя из мельчайших деталей, он строил логически безупречные цепи рассуждений и раскрывал запутанные преступления, причем, зачастую не выходя из своей квартиры на Бейкер-стрит. Холмс использовал созданный им самим дедуктивный метод, ставящий, как полагал его друг доктор Уотсон, раскрытие преступлений на грань точной науки.
Конечно, Холмс несколько преувеличивал значение дедукции в криминалистике, но его рассуждения о дедуктивном методе сделали свое дело. «Дедукция» из специального и известного только немногим термина превратилась в общеупотребительное и далее модное понятие. Популяризация искусства правильного рассуждения, и прежде всего дедуктивного рассуждения, — не меньшая заслуга Холмса, чем все раскрытые им преступления.
Дедукция — это частный случай умозаключения.
В широком смысле умозаключение — логическая операция, в результате которой из одного или нескольких принятых утверждений (посылок) получается новое утверждение — заключение (вывод, следствие).
В зависимости от того, существует ли между посылками и заключением отношение логического следования, можно выделить два вида умозаключений.
В дедуктивном умозаключении заключение с логической необходимостью вытекает из принятых посылок. Отличительная особенность такого умозаключения в том, что or истинных посылок оно всегда ведет к истинному заключению.
В индуктивном умозаключении заключение не вытекает логически из посылок и истинность последних не гарантирует истинности выводимого из них утверждения. Индукция дает из достоверных посылок только вероятные, или правдоподобные, заключения.
К дедуктивным относятся, к примеру, такие умозаключения:
• Если идет дождь, земля становится мокрой; идет дождь; следовательно, земля мокрая.
• Все жидкости упруги; вода жидкость; значит, вода упруга.
• Если настал день, то светит солнце; солнце не светит; значит, день еще не настал.
Во всех дедуктивных умозаключениях истинность посылок гарантирует истинность заключения.
Иначе обстоит дело с индуктивными умозаключениями.
Примерами индукции могут служить рассуждения:
1 — простое число;
2 — простое число;
3 — простое число;
значит, каждое натуральное число простое.
Круг не может пересекаться прямой линией более чем в двух точках; эллипс не может пересекаться прямой более чем в двух точках; следовательно, ни одно из конических сечений не может пересекаться прямой более чем в двух точках.
В первом примере все три посылки истинны, но вывод является ложным. Натуральные числа 1, 2 и 3 действительно простые, т. е. делятся только на себя и на единицу. Однако утверждение, что всякое натуральное число — простое, неверно.
Во втором умозаключении также все посылки истинны, но в отличие от первого истинно и заключение. Однако это заключение не вытекает логически из посылок, просто из других источников мы знаем, что данное заключение истинно. Данные же посылки сообщают заключению только определенное правдоподобие, а не полную достоверность.
Исходя из этого понятен тот огромный интерес, который проявляется к дедуктивным умозаключениям. Они позволяют из уже имеющегося знания получать новые истины, и притом с помощью чистого рассуждения, без обращения к опыту, интуиции и т. п. Дедукция дает стопроцентную гарантию успеха, а не просто обеспечивает ту или иную — быть может, и высокую — вероятность истинного заключения. Отправляясь от истинных посылок и рассуждая правильно, мы обязательно во всех случаях получим достоверное знание.