Фаллибилизм против фальсификационизма

Лакатос Имре

Отсюда видно, что лозунг пролиферации теорий более важен для утонченной версии фальсификационизма, чем для наивной. По мнению наивного фальсификациониста, наука развивается посредством повторяющихся экспериментальных “опровержений” теорий: новые соперничающие теории, предлагаемые до таких “опровержений”, могут быстро разрастаться, но абсолютной необходимости быстрого размножения теорий не требуется. [101] Согласно утонченному фальсификационисту, пролиферация теорий не обязательно связана с опровержением теории или с кризисом доверия к парадигме, в смысле Т. Куна. [102] В то время как наивный фальсификационист подчеркивает “необходимость замены фальсифицированных гипотез лучшими гипотезами” [103] , утонченный фальсификационист подчеркивает необходимость замены любой гипотезы лучшей гипотезой. Фальсификация не может заставить теоретика “заняться поисками лучшей теории” [104] просто потому, что фальсификация не предшествует лучшей теории.

101

Верно и то, что определенный вид пролиферации

соперничающих теорий может играть ту или иную эвристическую роль при фальсификации. Часто бывает, что с эвристической точки зрения, фальсификация зависит от «выдвижения достаточно многочисленных (и оригинальных) теорий, от достаточного разнообразия теорий» ([166], русск. перев., с. 29). Например, мы имеем теорию, которая явным образом не опровергнута. Но может быть так, что предложена новая теория Т', несовместимая с Т, которая столь же успешно, как Т, объясняет известные факты; различия между объяснениями находятся в пределах ошибки наблюдения. В таких случаях мы вынуждены улучшать «экспериментальную технику», затем совершенствовать «эмпирический базис» таким образом, чтобы иметь возможность фальсифицировать Т' или Т» (или обе вместе). «Новая теория нужна для того, чтобы обнаружить недостатки старой» ([163], р. 246). Но роль такой пролиферации случайна; поскольку эмпирический базис подчищен, то спор идет между ним и проверяемой теорией Т; соперничающая с ней теория Т' работает лишь как катализатор.

102

См. также [55], р. 254–255 [русск. перев., с. 461].

103

[161], р. 87; [русск. перев. с. 116].

104

[161], гл. 30; [русск. перев., с. 143].

Сдвиг проблем от наивного к утонченному фальсификационизму связан с семантическим затруднением. Для наивного фальсификациониста “опровержением” является экспериментальный результат, который в силу принятого им решения, вступает в конфликт с проверяемой теорией. Но, согласно утонченному фальсификационизму, такого решения нельзя принимать раньше, чем пресловутый “опровергающий пример” станет подтверждающим примером новой, лучшей теории. Следовательно, где бы ни встретился термин типа “опровержение”, “фальсификация”, “контрпример”, мы в каждом случае должны разбираться, в каком смысле - наивного или утонченного фальсификационизма - они употреблены. [105]

105

Возможно, было бы лучше в дальнейшем отказаться от обоих терминов сразу, так же как мы уже отказались от таких терминов как «индуктивное (или экспериментальное) доказательство». Тогда мы могли бы назвать (наивные) «опровержения» аномалиями, а (в утонченном смысле) «фальсифицированные» теории — «вытесненными». Наш «обычный» язык засорен не только «индуктивистской», но и фальсификационистской догматикой. Реформа давно назрела.

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

В утонченном методологическом фальсификационизме соединились несколько различных традиций. От эмпирицистов он унаследовал стремление учиться прежде всего у опыта. От кантианцев он взял активистский подход к теории познания. У конвенционалистов он почерпнул важность решений в методологии.

Надо подчеркнуть еще одну отличительную черту утонченного методологического эмпиризма - решающую роль, какую играет добавочное подкрепление. Для индуктивистов новая теория характеризуется тем, каково количество подтверждающих ее данных; опровергнутая теория уже никого и ничему научить не может (учиться можно только доказательно обоснованному или вероятному знанию). Догматическому фальсификационисту важнее всего знать, опровергнута ли теория, что касается подтвержденных теорий, то они не выступают для него ни как доказательно обоснованные, ни как вероятные; да и об опровергнутых теориях можно сказать только то, что они опровергнуты. [106]

106

Аргументы в защиту этой теории «обучения из опыта» см. в [6].

Для утонченного фальсификационизма в теории важнее всего, что она позволяет предсказывать новые факты; можно сказать прямо, что для той версии попперовского эмпиризма, которую я отстаиваю, соответствующим значением обладают лишь те факты, какие способна предсказать теория. Эмпиризм (то есть научность) и теоретическая прогрессивность неразрывно связаны. [107]

Эта мысль не так уж нова. Лейбниц, например, в известном письме к Конрингу в 1678 г. писал: “Лучшей похвалой гипотезе (когда ее истинность уже доказана) является то, что с ее помощью могут быть сделаны предсказания о неизвестном ранее явлении или еще небывалом эксперименте”. [108] Точка зрения Лейбница была широко поддержана учеными. Но с тех пор, как оценка научной теории в до-попперовской методологии рассматривалась как оценка степени ее подтверждения, позиция Лейбница некоторыми логиками подвергалась критике как неприемлемая. Например, Дж. С. Милль в 1843 г. высказывал недовольство тем, что “существует мнение, что гипотеза… вправе рассчитывать на более благоприятный прием, если, объясняя все ранее известные факты, она, кроме того, позволила предусмотреть и предсказать другие факты, проверенные впоследствии на опыте”. [109] Милль целит точно: действительно, такая оценка противоречит и джастификационизму, и пробабилизму. В самом деле, почему мы должны считать, что некое событие, если оно предвосхищено теорией, имеет для нас большую познавательную ценность, чем если бы оно было известно до теоретического предсказания? До тех пор, пока доказательная обоснованность считается единственным критерием научности, критерий Лейбница будет выглядеть непригодным. [110] Подобным же образом, если рассматривать отношение между вероятностью теории и эмпирическими данными, то, как заметил Дж. Кейнс, оно не может зависеть от того, получены ли данные до теоретических

предсказаний или после них. [111]

107

Отсюда следует, что «обучение на опыте» есть нормативная идея; поэтому все теории о чисто «эмпирическом» обучении ошибочны по самой сути.

108

см. [105]. Слова в скобках показывают, что Лейбниц ставил этот критерий все же на второе место и полагал лучшими те теории, которые доказательно обоснованы. Поэтому позиция Лейбница, как и позиция Уэвелла, слишком далека от зрелого утонченного фальсификационизма.

109

[128], Vol. 2. р. 23 [русск. перев. с. 456].

110

К этому сводились аргументы Дж. С. Милля. Они были направлены против Уэвелла, полагавшего, что «совпадение индукций» или успешное предсказание весьма неожиданных событий верифицирует (иначе говоря, доказательно обосновывает) теорию ([206], pp. 96–96). Без сомнения, главной ошибкой философии науки как Уэвелла, так и Дюгема являлось смешение предсказательной способности и доказанной истинности. Поппер разделил две эти характеристики.

111

[83]. р. 305.115 См. также [93], р. 394.

Но несмотря на столь убедительные аргументы джастификационистской критики, критерий Лейбница пользовался поддержкой лучших ученых, так как в нем получили выражение их неприязнь к гипотезам ad hoc, которые “хотя и верно выражают факты, для объяснения каковых предлагаются, однако не находят подтверждения какими-либо иными явлениями”. [112]

Но только Поппер заметил, что бросающееся в глаза несоответствие между несколькими разрозненными возражениями против гипотез ad hoc, с одной стороны, и внушительным сооружением джастификационистской теории познания, с другой, устраняется именно разрушением джастификационизма, а также введеднием нового, не джастификационистского критерия оценки научных теорий, основанного на неприятии гипотез ad hoc.

112

Это критическое замечание Уэвелла по поводу вспомогательной гипотезы ad hoc, фигурирующей в ньютоновской теории света ([203]. Vol. 2, р. 317).

Рассмотрим несколько примеров. Теория Эйнштейна не потому лучше ньютоновской, что последняя была “опровергнута”, а первая нет: по отношению к теории Эйнштейна известно множество “аномалий”. Теория Эйнштейна лучше, чем теория Ньютона “образца 1916 года”, иначе говоря, знаменует собой прогресс научного знания по сравнению с ньютоновской теорией (то есть теорией гравитации, законами динамики, известным рядом граничных условий, но также и списком известных аномалий, таких как перигелий Меркурия), потому что она объяснила все, что успешно объясняла ньютоновская теория, но при этом в определенной степени объяснила и эти аномалии; кроме того, она наложила запрет на такие явления, как прямолинейное распространение света вблизи больших масс, о чем в теории Ньютона не было ни слова, зато другие хорошо подкрепленные теории того времени такие явления допускали; и, наконец, некоторые фрагменты добавочного содержания эйнштейновской теории были реально подкреплены ранее непредвиденными фактами (например, измерительными данными, полученными при наблюдении полного солнечного затмения).

В то же время, следуя тому же критерию, надо признать, что теория Галилея, согласно которой естественное движение земных тел является круговым, не несла с собой никаких улучшений в указанном смысле, поскольку она не запрещала ничего сверх того, что запрещалось соответствующими теориями, которые Галилей предполагал улучшить (аристотелевская физика и небесная кинематика Коперника). Следовательно, то была теория ad hoc, а значит, бесполезная с эвристической точки зрения. [113]

113

Если воспользоваться терминологией моей работы [93], это была теория «ad hoc₁» (p. 389); этот пример первоначально был подсказан мне П. Фейерабендом в качестве образца теории ad hoc, обладающей определенной ценностью.

Прекрасный пример теории, удовлетворяющей только первой части попперовского критерия прогресса (наличие добавочного содержания), но не второй части (наличие подкрепленного добавочного содержания), был дан самим Поппером: это теория Бора – Крамерса - Слэтера 1924 г. Эта теория была опровергнута во всех ее новых предсказаниях. [114]

Наконец, рассмотрим вопрос, много ли осталось конвенционалистских моментов в утонченном фальсификационизме. Конечно, меньше, чем в наивном фальсификационизме. Нам требуется гораздо меньше методологических решений. “Решение четвертого типа”, которое играло существенную роль в наивном методологическом фальсификационизме, теперь совершенно излишне. Чтобы показать это, достаточно уяснить, что в том случае, когда научная теория (совокупность “законов природы”) в сочетании с граничными условиями и вспомогательными гипотезами, но без ограничения ceteris paribus, вступает в противоречие с некоторыми фактуальными предложениями, то нам не нужно принимать решение, какую - явную или “скрытую” - часть этой композиции следует заменить. Мы можем пытаться заменить любую часть, и только когда мы напали на объяснение аномалии с помощью какого-то изменения теории, приведшего к увеличению содержания, или с помощью вспомогательной гипотезы, а природа позволила нам подкрепить это объяснение, тогда мы, действительно, встали на путь элиминации “опровергнутой” композиции. Таким образом, утонченная фальсификация идет медленнее, но зато более надежна, чем наивная фальсификация.

114

А это уже не «ad hoc₁», a «ad hoc₂» (см. [93], р. 389). Там же см. простой, но искусственный пример ([93], р. 387).

Возьмем еще один пример. Пусть траектория планеты отклоняется от теоретически вычисленной. Кое-кто сделает вывод, что это опровергает динамику и теорию тяготения, поскольку ограничение ceteris paribus и граничные условия надежно подкреплены. Другие скажут, что это опровергает граничные условия, на которых сделаны вычисления, поскольку и динамика, и теория тяготения великолепно подкреплены за последние две сотни лет, а предположения о каких-то дополнительных факторах, неучтенных в вычислениях теоретического характера, оказались несостоятельными. Но третьи заключат, что это опровергает неявное допущение о том, что таких факторов нет: возможно, они руководствуются метафизическими принципами, вроде того, что любое объяснение лишь приблизительно и не может охватить бесконечную совокупность причин, определяющих любое конкретное событие.