Елена Середкина - Философия и методология науки XX века: от формальной логики к истории науки. Хрестоматия.

К. Поппер, стремясь устранить психологизм, разделял в деятельности ученого момент выдвижения гипотезы и процедуру ее проверки. Замысел в создании гипотезы неподвластен логической процедуре, он исключал его из своего анализа, относил его к психологии познания. Другое дело вопрос об обосновании гипотезы, здесь возможна рациональная реконструкция и проверка.

Как уже было сказано выше, Поппер не видел возможности индуктивного способа построения знания. Процедура проверки гипотезы, с его точки зрения, должна быть дедуктивной. Из сформулированной, но непроверенной гипотезы (под гипотезой понимается высказывание, истинность которого только предполагается) или теории выводятся следствия. При этом исследуется внутренняя непротиворечивость теории путем логического сравнения полученных следствий, исследуется логическая форма теории, т. е. имеет ли она характер эмпирической теории или является тавтологичной (теория, которая не несет никакого знания о мире). Далее теория проверяется при помощи опыта. Если следствие, выводимое из гипотезы или теории, верифицировано, т. е. прошло опытную проверку, то теория в настоящее время выдержала проверку, и нет необходимости от нее отказываться. Одновременно не допускается, что на основании проверенных следствий может быть установлена истинность, неопровержимость теории или хотя бы ее вероятность. Положительное решение, согласно Попперу, временное, так как теория впоследствии может быть опровергнута.

Исходя из собственной методологии, Поппер считал, что наука связана только с областью рационального, а рациональность соответствует критичности. Он признает теорию научной, если имеется возможность ее опытной проверки, но не верифицируемость, а фальсифицируемость теории следует рассматривать в качестве критерия ее проверки на достоверность. В связи с этим научные теории должны проверяться методом, названным им фальсификацией. Принцип фальсификации заключается в том, что научную теорию надо не подтверждать, а опровергать. Когда речь идет о научной теории, то подразумеваются не только опытные данные, подтверждающие ее, но, прежде всего, и совокупность фальсификаторов (опытных данных, противоречащих этой научной теории). Теория должна не выводиться, а испытываться, фальсифицироваться опытом, в процессе дедуктивной процедуры проверки теории.

Главная мысль К. Поппера заключается в том, что ни одну теорию нельзя назвать научной, если она в принципе не может быть опровергнута (фальсифицирована). Отсюда понятно, что Поппер был противником вспомогательных допущений, которые вносятся в существующие теории и избавляют их от опровержения.

В дальнейшем принцип фальсифицируемости был уточнен Имре Лакатосом. Имре Лакатос (1922−1974) − британский философ и историк науки, диссертацию по философским вопросам математики готовил в Московском университете. После событий в Венгрии в 1956 году эмигрировал. С 1960 г. являлся преподавателем Лондонской школы экономики и политических наук, ученик К. Поппера.

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

Важным структурным компонентом научно-исследовательской программы является «жесткое ядро», которое включает в себя не подвергаемые сомнению специфические для данной программы научные и метафизические допущения, сохраняющиеся без изменения во всех теориях научно-исследовательской программы. Вопрос об истинности или ложности этих допущений не ставится в рамках научно-исследовательской программы, так как они выполняют методологическую функцию, направляя исследовательскую деятельность ученого. Помимо этого, Лакатос выделял в научно-исследовательской программе также «отрицательную эвристику», которая не допускает фальсификации «жесткого ядра» при столкновении с контрпримерами и аномалиями, путем выдвижения вспомогательных гипотез, создающих «защитный пояс» вокруг «жесткого ядра». «Защитный пояс» состоит из «отрицательной эвристики» и «положительной эвристики», при этом под эвристикой понимается поиск новых решений проблемы в условиях нестандартных проблемных ситуаций. «Отрицательная эвристика» запрещает в процессе проверки отвергать программу при столкновении с альтернативной, конкурирующей программой, усиливает доверие к ней научного сообщества. «Положительная эвристика», по Лакатосу, включает предположения, допускающие ограниченные варианты изменения вспомогательных гипотез с целью расширения области применения научно-исследовательских программ и корректировки «защитного пояса».

Как и Поппер, Лакатос придерживался рациональных требований к методологии научного познания, к изучению и реконструкции истории науки. В то же время, определяя попперовский фальсификационизм как догматический, Лакатос строил другую методологию фальсификационизма − утонченный фальсификационизм. Согласно И. Лакатосу, новая теория приемлема, если она фальсифицируется, но при этом имеет дополнительное подкрепленное эмпирическое содержание по сравнению со своей предшественницей, т. е. если она ведет к открытию новых фактов, невероятных с точки зрения предыдущей фальсифицированной теории или даже запрещаемых ею. Вместе с тем, все неопровергнутое эмпирическое содержание предыдущей теории должно присутствовать в новой теории.

По Лакатосу, рост знания заключается в том, что новая теория предсказывает факты, которые не были предсказаны предшествующей теорией. Он определял данное явление в науке как прогрессивный сдвиг проблемы. Таким образом, научно-исследовательская программа прогрессирует, когда ее теоретический рост предвосхищает ее эмпирический рост, и регрессирует, когда она дает запоздалые объяснения случайных открытий или фактов, открытых конкурирующей научно-исследовательской программой. При регрессивном сдвиге проблемы эмпирический рост опережает теоретический, что проявляется в росте гипотез ad hoc. По Лакатосу, гипотеза определяется как гипотеза ad hoc, если во-первых, она не имеет никаких новых следствий по сравнению со своей предшественницей; во-вторых, если ни одно из ее следствий не верифицируется, эксперимент не может быть проведен или дает негативный результат; в-третьих, если она получена из предшествующей гипотезы путем ее модификации. В результате роста гипотез ad hoc возникает ситуация «залатывания дыр». В то же время утонченный фальсификационизм отрицает, что отношение к научно-исследовательской программе зависит только от результата проверки теорий, в нее входящих. Никакой эмпирический результат не является сам по себе контрпримером и не приводит к опровержению исследовательской программы. Будущее программы зависит от того, каков ее внутренний потенциал, который в конечном итоге и определит готовность научного сообщества, несмотря на контрпримеры и аномалии, использовать программу в качестве основы для исследовательской деятельности.