Приглашаем посетить сайт
Лаудан Ларри
Ларри Лаудан и методология исследовательских традиций
Цель науки - решение проблем
В книге «Научный прогресс» (1977) Лаудан определил науку как «тип деятельности, направленной на решение проблем». Базовыми характеристиками модели научного развития он считает следующие. «1). Эмпирически или концептуально решенная проблема составляет единое основание научного прогресса. 2). Цель науки - сделать максимально значимыми эмпирически решенные проблемы и снизить значение аномальных эмпирических и концептуальных проблем, пока не решенных. Отсюда следует, что, когда мы заменяем одну теорию на другую, эту новацию только тогда можно считать прогрессом, когда новая теория лучше старой преуспевает в решении проблем».
Говоря о главном контроле любой теории, Лаудан уточняет два момента. Во-первых, ценность теории относительна, так как говорить об абсолютных мерках применительно к империческим и концептуальным верованиям не имеет никакого смысла. Во-вторых, теории не живут обособленно, поэтому следует учитывать спектр проблем. Например, теория эволюции отсылает к группе теорий, исторически и концептуально между собой связанных, в основе которых лежит предпосылка, что все органические виды имеют общий корень. Атомистическая теория также отсылает к группе представлений с общей посылкой о дискретности материи.
Лаудан соединяет парадигмы Куна с идеей программ научного исследования Лакатоса. Он убежден, что понимание и оценку научного прогресса может дать только более общая теория. О негибкости куновской теории парадигм, по мнению Лаудана, говорит не вписывающийся в нее факт, что многие макси-теории эволюционировали во времени. С другой стороны, и определениям научного прогресса, данным Лакатосом, также мало соответствуют исторические факты. По мнению Лакатоса, последствия накопления аномалий прямо не отражаются на оценке исследовательской программы. Но история науки не дает тому безусловных подтверждений, напротив, часто свидетельствует об обратном.
Каковы исследовательские традиции?
Для понимания научного прогресса Лаудан предлагает теорию традиций исследования. Примерами таких традиций он считает дарвинизм, квантовую теорию, электромагнитную теорию света. «Любая интеллектуальная дисциплина (научная и ненаучная) имеет богатую историю традиций: эмпиризм и номинализм в философии, волюнтаризм и детерминизм в теологии, бихевиоризм и фрейдизм в психологии, утилитаризм и интуиционизм в этике, марксизм и либерализм в экономике, механицизм и витализм в физиологии».
Некоторые характеристики, общие для разных традиций, сформулированы Лауданом так: «1). Каждая традиция исследования имеет определенное число специфических теорий, составляющих и объясняющих ее суть. 2). Каждая традиция характеризуется некоторыми метафизическими и методологическими особенностями, их совокупность сообщает традиции индивидуальные черты, отличающие ее от других. 3). Каждая традиция исследования (в отличие от отдельных теорий) проходит через чреду разнообразных детализирующих (нередко взаимопротиворечащих) формулировок, созревающих на протяжении внушительного промежутка времени (в отличие от теорий, часто сменяющих друг друга)».
Через совокупность директив традиция создает специфические теории, в том числе и методологические. «Так, ньютонианская традиция неизбежным образом - индуктивистская, ибо принимает только те теории, которые выведены индуктивным путем. Психолог-бихевиорист принимает лишь операционистские методы. С другой стороны, часть директив, заданных исследовательской традицией, онтологичны по характеру. Онтология традиции специфицирует в общем виде типы основных для дисциплины видов сущего. Например, единственно законными и ассимилируемыми теоретическими постулатами бихевиоризма будут публично наблюдаемые физические и физиологические знаки. Если речь идет о картезианской традиции, то есть два приемлемых типа субстанции - материя и мышление - и различные способы их взаимодействия (так, картезианские корпускулы взаимодействуют только при контакте)».
Исследовательскую традицию поиска Лаудан определяет как «набор общих положений, относящихся к существу процессов, представленных в данной области изучения, а также методы, рекомендуемые к использованию для исследования проблем и создания теорий». Совершенно очевидно, что обратиться к тому, что запрещено метафизикой и методологией традиции исследования, значит оказаться за ее пределами. «Если физик-картезианец начинает говорить о взаимодействиях на удаленном расстоянии, если бихевиорист говорит о бессознательных импульсах, а марксист - об идеях, далеких от экономических структур, в каждом из этих случаев ученый оказывается вне игры, и нарушитель границ традиции становится чужаком».
Остается сказать, что для Лаудана исследовательская традиция имеет тем больше шансов на жизнь, чем адекватнее ее ответ на все большее число эмпирических и концептуальных проблем. Получается, что предпочтительнее традиция, решающая наибольшее число наиболее важных проблем. Нельзя забывать, что лау-дановское понятие «традиции исследования» значительно пластичнее, чем «парадигмы» Куна и «программы исследования» Лакатоса. «Историческое развитие традиций исследования показывает, что меняются не только вспомогательные теории, но и - со временем - центральные основоположения. В каждый данный момент времени одни элементы традиции важнее и основательнее других. То, что составляло ядро ньютонианской традиции восемнадцатого века (например, абсолютные пространство и время), в ньютонианстве девятнадцатого столетия не имело уже особого значения». Лакатос и Кун, говорит Лаудан, справедливо полагали, что программа исследования (или парадигма) всегда связана с набором неотгоргаемых элементов. Их ошибка в том, что они не смогли осознать, что элементы этого класса со временем, смещаясь, меняют свой облик.
Вопрос о прогрессе науки
Критика теории правдоподобия Поппера
Эпистемология Поппера и его последователей поставила акцент не на структуре науки, а на ее развитии. Чтобы решить, какая из теорий предпочтительнее, следует ответить на вопрос: почему? Почему коперниканская теория лучше птолемеевской, а теория Кеплера предпочтительнее теории Коперника, ньютоновская лучше кеплеровской, а эйнштейновская - прогрессивнее ньютоновской? Конечно, можно ответить, что каждая последующая теория объясняет больше и лучше предыдущей. Тогда уместен вопрос: а почему Т2 объясняет больше и лучше предыдущей Т1?
На этот вопрос Поппер ответил теорией правдоподобия. Т2 правдоподобнее Т1, если все истинные следствия из Т1 суть истинные следствия из Т2, а все ложные следствия из Т1 суть истинные следствия из Т2, а из Т2 извлекаемы следствия, неизвлекаемые из Т1. Вооруженный таким критерием, ученый в состоянии выбрать более содержательную и более предпочтительную теорию, даже если ее истинность не установлена, как в случае с ньютоновской теорией - ложной в сравнении с релятивистской теорией Эйнштейна, но прогрессивной в сравнении с коперниканской. Тем не менее определения Поппера подвергнуты сомнению. В самом деле, в случае ложности теории А (например, ньютоновской), ее правдоподобие возрастает, по Попперу, в двух случаях: во-первых, если увеличивается ее истинное содержание Av (т.е. ее истинные следствия) и одновременно не увеличивается ее ложное содержание AF (т.е. ложные следствия); во-вторых, если уменьшается ее ложное содержание AF и одновременно не уменьшается ее истинное содержание Av.
Рассмотрим рис. 1. В прямоугольнике - все интересующие науку пропозиции. В большом круге - все истинные пропозиции, в маленьком - ложная теория AF со множеством истинных следствий из Av и ложных следствий из AF.
Давид Миллер, Павел Тихи, Джон Харрис и Адольф Грюнбаум показали случаи, когда дефиниции Поппера не выполняются. В самом деле, увеличим правдоподобие теории А добавлением к Av установленного истинного р рядом с V.
Тогда, если А ложно, то должно быть ложным и f в Af, так что конъюнкция Л - ложное высказывание (поскольку ложно f) как принадлежащее к AF. Следовательно, очевидно, что, добавляя истинное высказывание р к Av, мы добавляем соответственно ложное высказывание р f к Af, а это противоречит первой дефиниции.
Теперь попробуем увеличить вероятность А (рис. 3) путем выведения из AF ложного высказывания q. Получится, что если А ложно, это значит, что в AF содержится ложное высказывание f, поэтому f -> q есть истинное высказывание (ибо ложны f, и q). Мы видим, что, изымая ложное высказывание q из AF, мы соответственно выводим и истинное высказывание f -> q из Av, а это противоречит дефиниции 2.
Эти результаты (как, впрочем, и полученные другим путем) показывают несостоятельность попытки Поппера установить критерий прогресса строго логическим путем. При помощи дефиниций правдоподобия нельзя точно установить, какая из неистинных теорий вероятнее другой. В ложной теории, когда растет ее момент истины, увеличивается одновременно и ее ложный момент. При сокращении момента лжи убывает и истинность теории. Или, проще говоря, попперовская идея правдоподобия, согласно аргументам Миллера, Тихи и других, уравнивает теории Эйнштейна, Ньютона и Коперника. Однако с этим вряд ли кто согласится.
Прогресс науки в перспективе Ларри Лаудана
Тарский попытался реабилитировать аристотелевское определение истины: утверждение истинно тогда и только тогда, когда соответствует фактам. И все же иметь определение истины - не значит обладать ее критерием. Наши теории не могут быть абсолютно надежны. Сколько бы ни было подтверждений в пользу теории, при последующем контроле она может оказаться ложной. У теории есть неограниченное число следствий, но контролировать мы можем лишь конечное их число. Даже располагая определением истины, непогрешимого критерия истины, дающего право декретировать ту или иную теорию как истинную, мы не имеем.
Понимая ситуацию, Поппер пытался привить внутри самой логики интуитивное понятие правдоподобия, конституирующее идеал-типическую модель прогрессивности одной теории по отношению к другой, эффективного развития в исследовательской практике. История науки в реальности больше похожа на кладбище драгоценных, но ошибочных теорий, среди которых ежедневно плутают ученые. Именно поэтому располагать критерием, устанавливающим предпочтительность одной теории по отношению к другой, даже когда обе ложны, более чем желательно. Поппер искал этот критерий в сфере правдоподобного, но не нашел. Выработанный им стандарт оказался слишком высоким.
Приняв во внимание аргументы оппонентов Поппера, Лаудан предпринял поиски стандартов предпочтения и прогрессивности теории не в логике, а на уровне прагматики. Нет критерия истины, существенного критерия правдоподобия также не существует. Так какая же теория лучше, предпочтительнее и прогрессивнее? Ответ Лаудана достаточно трезв: рационален выбор в пользу теории, которая в данный момент решает большее число проблем, для данной эпохи наиболее важных. Представляется, что вовсе не логика доминирует в истории науки, и усилия таких ученых, как Мотт, Хильпинен, Туомела, Миллер (Mott, Hilpinen, Tuomela, Miller) и других, не дали новых определений эффективности науки и ориентиров для исследовательской практики. И все же: разве не рационально поведение медика, выбирающего среди сомнительных терапевтических средств то, на счету которого больше спасенных жизней?