Многие философы вслед за Аристотелем разделили доказательное умозаключение на два вида - дедукцию и индукцию. Дедукция - это классическая модель логического анализа, которая начинается с установленной предпосылки и приходит к рационально необходимым выводам. Хотя по поводу индукции нет единого мнения, ее часто описывают как "умозаключение от конкретного к универсальному" или "обобщение от выборки к целой популяции". Например, увидев большую группу черных ворон, человек может сделать обобщение с помощью индукции, что "все вороны черные", или, возможно, более скромно, "большинство ворон черные". Хотя индукция часто представляется как основа научного предприятия, она подвергается серьезной критике по целому ряду оснований.
Вслед за Дэвидом Юмом несколько философов заметили, что одна из главных проблем индукции заключается в том, что некоторые виды индуктивных умозаключений действительно не очень хорошо обоснованы и даже могут быть иррациональными, тогда как другие заслуживают гораздо большего доверия.55 В часто повторяемом анекдоте человек падает с пятидесятиэтажного дома. Проходя каждый этаж, он говорит себе: "Пока все хорошо, пока все хорошо... пока все хорошо". Конечно, шутка заключается в том, что падение на сорок девять из пятидесяти этажей без травм не дает оснований для уверенности в безопасном приземлении, а вывод о вероятности безопасного приземления, таким образом, является плохим умозаключением. Не все индуктивные обобщения из наблюдений будут разумными, и почему это так, нельзя установить в рамках самой индукции. Индукция может быть оправдана только по кругу; она с трудом различает хорошие и плохие обобщения (или слабые и сильные индукции); и она не может дать знания о ненаблюдаемых сущностях. Мы можем увидеть часть проблемы, если спросим себя, почему индуктивное умозаключение "моя последняя кошка была белой, моя нынешняя кошка белая, следовательно, все кошки белые" не работает, в то время как умозаключение "моя последняя кошка была теплокровной, моя нынешняя кошка теплокровная, следовательно, все кошки теплокровные" работает.
Если использовать более подходящий пример, то с чего вы взяли, что любое обобщение о "религии", полученное из конкретного исследования, будет применимо к чему-то за пределами самого исследования? Это проблема не только религиоведения - вы можете заменить почти любую другую категорию на "религия". Большинство научных исследований сталкиваются с той же проблемой. Мы можем увидеть это, если признаем, что большинство академических обобщений можно формализовать как индуктивную проекцию "все наблюдаемые As являются Bs", поэтому "все ненаблюдаемые As будут Bs". Это слабая индукция, потому что она не выражает никакой теории о том, почему ненаблюдаемые As будут Bs. У нас нет никаких доказательств того, что эта схема сработает, кроме слабого рассуждения о том, что раз уж падение с сорока девяти этажей нам не повредило, то и падение с пятидесяти не повредит. В итоге получается, что все описания наблюдаемой "религии" ничего не говорят нам о необслуживаемых примерах "религии". Мы можем дать любое определение "религии" и разработать бесконечное количество примеров, но сами по себе они все равно не помогут нам сделать обобщение о "религии" как таковой, учитывая, что в прошлом, настоящем или будущем всегда будут случаи, которые мы не наблюдали.
К счастью, индукция - не единственный способ учета закономерностей или формирования обобщений. Существует альтернативный подход к умозаключению, который иногда называют абдукцией, умозаключением к наилучшему объяснению или, в классической индийской философии, артхапатти. Я буду рассматривать все эти термины как синонимы (терминология обсуждается в примечании). В первом приближении абдуктивное умозаключение - это умозаключение, которое идет от наблюдения к гипотезе, обеспечивающей наилучшее объяснение или учет этого наблюдения. Абдукция включает в себя два этапа, которые иногда рассматриваются как два шага:
1) создание гипотезы, которая работает в обратном направлении от пред- ставленных явлений к их причине (по сути, обратный modus ponens); и