Философский словарь - редукция

(от лат. reducere приводить обратно, возвращать) исследовательский прием, обеспечивающий сведение (преобразование) данных, сущностей, задач, понятий, предложений, методов рассуждения и доказательства и т.д. к чему-то более простому и легче поддающемуся точному анализу. Напр., в математике решение задачи А может быть редуцировано к задаче В, если из решения задачи В может быть получено решение задачи А.

Р. является эффективным средством познания практически во всех областях науки. Для уточнения конкретного смысла этого термина необходима точная спецификация допустимых методов сведения. В логике и методологии науки под Р. обычно понимают объяснение теории или множества экспериментальных законов, установленных в одной области исследований, с помощью теории, сформулированной для др. области исследований.

Впервые достаточно строгая методологическая концепция Р. теорий была предложена в 1950-х гг. сторонниками логического эмпиризма (Э. Нагель, Г. Фейгл и др.), которые исходили из возможности аксиоматической формулировки естественно-научных теорий в терминах языка первопорядковой логики. Описание отношений между теориями такого типа и составляет, с их т.зр., предмет теории Р. Согласно Нагелю, можно выделить два основных типа теоретической редукции: 1) гомогенная Р., когда обе теории выражены на одном и том же языке (хотя одна из них может содержать большее число предикатов) и 2) гетерогенная Р., когда эти языки различны и возникает задача перевода с одного языка на др. Общую схему гомогенной Р. можно представить так: T1 и I -> Т2, где T1 первичная теория, Т2 вторичная, или редуцируемая, теория, а I конъюнкция некоторых дополнительных допущений (начальных условий).

В отличие от гомогенной Р. гетерогенная Р. предполагает, что вторичная теория включает в себя некоторое число дескриптивных терминов, которые отсутствуют среди основных терминов первичной теории. Поэтому для осуществления гетерогенной Р. необходимо ввести переходные предложения, связывающие предикаты первичной и вторичной теорий.

Но поскольку у каждой участвующей в Р. теории имеется своя семантическая модель, то процесс сведения предполагает изменение смысла теоретических терминов. Т.о., для реализации гетерогенной Р. (как и гомогенной) кроме условия выводимости требуется также и условие смысловой инвариантности. А это предполагает введение дополнительных семантических допущений относительно структуры системы. Если конъюнкцию этих семантических допущений обозначить как S, а конъюнкцию переходных предложений как R, то общая схема гетерогенной Р. будет такова: T1 и R и S -> Т2. Для логического эмпиризма наибольший интерес представляла гомогенная Р., поскольку гетерогенная Р. не касается логического аспекта интертеоретических отношений, а затрагивает сугубо эвристические проблемы модификации научных теорий с помощью дополнительных гипотез. Тем не менее на практике успешно исследовалась Р. гетерогенного типа, в то время как попытки осуществить прямую дедукцию одной теории из другой в нетривиальных случаях особого успеха не имели. .