
Часто приходится слышать, что хоть Шерлок Холмс и называл свой метод "дедуктивным", это, мол, неправильно. Всем привычно, что когда заключения делаются на основе отдельных фактов – это называется "индукция". Но как сам Холмс объясняет суть своего метода? – "Отбросьте все невозможное, то, что останется, и будет ответом". Если бы не упрямая хронология, я бы решил, что Конан Дойль вдохновлялся Поппером. Наоборот, конечно, вряд ли, но это была бы интересная теория. :)
"Дело в том, что универсальные высказывания никогда не выводимы из сингулярных высказываний, но последние могут противоречить им. Следовательно, посредством чисто дедуктивных выводов (с помощью modus tollens классической логики) возможно переходить от истинности сингулярных высказываний к ложности универсальных. Такое рассуждение о ложности универсальных высказываний представляет собой единственный вид выводов чисто дедуктивного типа, который идет, так сказать, в «индуктивном направлении», то есть от сингулярных высказываний к универсальным". (К. Поппер, "Логика научного исследования").