Очень упрощенно попперовский взгляд на вещи можно было бы сформулировать следующим образом: “человек предлагает, а природа располагает”. Это означает, что мы выдумываем теории, а природа отвергает их, если они не верны. Это предполагает довольно четкое различение между опровержимыми теориями и базовыми наблюдениями природы, которые после надлежащей проверки не могут уже быть обжалованы. Теория, несовместимая с наблюдениями, должна быть отвергнута. Попперова история гипотез и опровержений создает благоприятное впечатление о науке как об объективном и честном предприятии. Но на самом деле все обстоит не так-то просто: во-первых, “все теории рождаются опровергнутыми”, или, по крайне мере, довольно обычной для науки является ситуация, когда предлагается теория, о которой известно, что она не может справиться со всеми полученными фактами. В этом заключалась позиция Куна с его нормальной наукой, которая занимается решением головоломок. Во вторых (в соответствии с Лакатошем), не существует четкого различения теории и наблюдения. В третьих, есть некоторое утверждение, сделанное великим французским историком науки Пьером Дюгемом: теории испытываются через вспомогательные гипотезы. В его примере, если астроном предсказывает, что небесное тело должно быть найдено в определенном месте, но оказывается в другом, нет нужды пересматривать астрономию. Наверное, в этом случае можно пересмотреть теорию телескопа (или получить объяснение того, почему явления отличаются от того, что есть на самом деле (Кеплер), или придумать теорию астрономических искажений (Г. Г. Стоукс), или предположить, что эффект Допплера проявляется иначе в открытом космосе). Вследствие этого, непослушное наблюдение не обязательно должно опровергать теорию. Видимо Дюгем думал, что пересмотр теории или одной из вспомогательных гипотез – дело выбора или соглашения. Дюгем был выдающимся антиреалистом, так что такое заключение было для него привлекательным, но оно выглядело отталкивающе для стойкой инстинктивной тяги к научному реализму Поппера и Лакатоша.

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

Заметим, что это положение имеет длинную историю, полную споров. По большей части индуктивисты думают, что факты, согласующиеся с теорией, подтверждают ее независимо от того, предшествовала ли теория фактам или факты предшествовали теории. Мыслители, которые ориентированы более рационалистически и дедуктивистски, настаивали на том, что Лакатош называет “требованием Лейбница-Уевелла-Поппера: хорошо спланированное строительство классификации должно проходить гораздо быстрее, чем запись в нее фактов” (1, стр. 100).

Исследовательские программы

Исследовательская программа обычно обозначает особое исследование научной проблемы с использованием некоторых хорошо определенных комбинаций теоретических и экспериментальных идей. Исследовательская программа – это программа исследований, которая может быть предпринята человеком или группой, включая соответствующие поиски финансирования, получения поддержки и так далее. То, что Лакатош называет “исследовательской программой”, на это не похоже. Это понятие Лакатоша более абстрактно и более исторично. Его исследовательская программа представляет собой последовательность развивающихся теорий, длиной до нескольких столетий. Она может находиться в забвении на протяжении 80 лет, а затем опять возродиться под воздействием совершенно новых фактов или идей.

В частных случаях обычно легко распознать континуум развивающихся теорий. Но не так легко произвести их общую характеризацию. Для ее облегчения Лакатош вводит слово “эвристика”. Вообще говоря, “эвристика” – это термин, описывающий метод или процесс, который управляет открытием или исследованием. С самых первых дней создания в 1950-е годы искусственного интеллекта люди говорили об эвристических процедурах, которые могли бы помочь машинам решать проблемы. Книга “Как это решить” и другие замечательные книги соотечественника и учителя Лакатоша Георга Пойа содержат классические современные исследования по математическим эвристикам. Своими работами по философии математики Лакатош в значительной степени был обязан Пойа. Затем он использовал идею эвристики в качестве инструмента для определения природы исследовательских программ. Он говорит, что исследовательская программа определяется своими положительными и отрицательными эвристиками.