Методологія науково-дослідницьких програм Імре Лакатоса
Лакатос (Ьасаіая) Імре (1922-1974) - британський історик науки угорського походження, один з лідерів історичної школи в методології та філософії науки. Працював у Лондонській школі економіки і політичних наук.
Він разом з Дж. Агассі, П. Фейєрабендом, Дж. Уоткінсом, У Бартлі, А. Масгрейвом, Д. Міллером та іншими був учнем К.Р. Поппера.Філософ писав невеликі, але змістовні роботи: "Регрес у нескінченність та засади математики", "Доведення й спростування", "Зміни у проблемі індуктивної логіки", "Фальсифікація і методологія наукових дослідницьких програм", "Історія науки та її раціональні реконструкції".
Дослідник неодноразово підкреслював нерозривний зв'язок своєї концепції з попперівською. Лакатос розглядає свою концепцію як завершальний етап у розвитку доктрини фальсифікаціонізму: від наївного чи догматичного фальсифікаціонізму до методологічного фальсифікаціонізму Поппера і далі - до витонченого фальсифікаціонізму. Безсумнівно, ніхто з учнів і послідовників Поппера не зробив так багато для поглиблення та вдосконалення його концепції науки. Лакатоса називали "лицарем раціональності", оскільки він відстоював принципи критичного раціоналізму і вважав, що більшість процесів у науці допускає раціональне пояснення.
Основне спрямування досліджень Лакатоса полягає в тому, щоб зблизити логіко-методологічні дослідження з історико-науковими, а тому проблеми історичної еволюції науки відразу стали центральними. Логіка науки, за Лакатосом, може бути лише теорією її розвитку. Лакато с у праці "Фальсифікація і методологія наукових дослідницьких програм" заклав основи своєї концепції логіко-нормативної реконструкції розвитку науки - методології науково-дослідницьких програм (НДП).
Лакатос створює нову версію фальсифікаціонізму - фальсифікаці- онізм витончений. Тут вводиться новий критерій демаркації: теорія є "науковою" тільки в тому випадку, якщо вона має підтверджений додатковий емпіричний зміст порівняно з її попередницями (або конкуруючими теоріями), тобто якщо тільки вона веде до відкриття нових фактів.
Теорія Т є фальсифікованою, якщо і тільки якщо запропонована інша теорія Т1 з наступними характеристиками: 1) Т1 пояснює попередній успіх Т, тобто весь неспростовний зміст Т є і в змісті Т1; 2) Т1 має додатковий емпіричний зміст у порівнянні з Т, тобто вона прогнозує нові факти, які є неймовірними у Т чи забороненими останньою, а також деяка частина додаткового змісту є підтвердженою.Імре Лакатос вважає, що слід оцінювати не окремі теорії, а серії теорій, які утворюють послідовність разом з допоміжними гіпотезами, 32 початковими умовами тощо. Основною вимогою, яку мислитель ставить до серії теорій, є вимога безперервного зростання. У праці "Історія науки та її раціональні реконструкції" Лакатос вказує, що дослідницькі програми являють собою великі наукові досягнення, "які можна оцінювати на основі прогресивного чи регресивного зрушення проблем, при цьому наукові революції полягають у тому, що одна дослідницька програма прогресивно витісняє іншу". Ця методологічна концепція пропонує нову раціональну реконструкцію науки на підставі визнання методологічної функції історичних змін.
Таким чином, оцінка переноситься з окремих теорій на серію теорій. "Ми визнаємо теорію із серії фальсифікованою, коли вона буде витіснена теорією зі змістом, яка краще підтверджена". Тобто виходить, що фальсифікації не можуть бути раніше, ніж виникне нова досконаліша теорія. А таке положення є вже іншою методологічною позицією, це - історизм. У Лакатоса фальсифікація набуває багатопланового характеру між конкуруючими теоріями, вона стає історичною.
Серія теорій є прогресивною (або утворює теоретично прогресивне зрушення проблеми), якщо кожна нова теорія має деякий додатковий емпіричний зміст у порівнянні з попередніми і прогнозує нові, неочікувані факти. Тому теоретично прогресивна теорія є водночас і емпірично прогресивною.
Лакатос розглядає науковий розвиток у термінах прогресивних чи регресивних зрушень проблем в серії наукових теорій. Такі серії характеризуються безперервністю.
Дослідницька програма складається з таких методологічних правил: негативна евристика та позитивна евристика. Негативна евристика об'єднує методологічні правила, які вказують нам, яких шляхів дослідження слід уникати. Позитивна евристика - якими шляхами треба прямувати.
Негативна евристика визначає "жорстке ядро" програми, яке вважається неспростовним. Нові допоміжні гіпотези і початкові спостереження утворюють "захисний пояс" навколо цього ядра. Саме цей "захисний пояс" повинен нести на собі основний тягар перевірок. Саме він має повністю пристосовуватися, перероблятися чи навіть повністю змінюватися. У "незмінне ядро" включаються умовно неспростовні фундаментальні припущення програми. "Жорстке ядро" може за певних умов руйнуватися, якщо програма перестає передбачати невідомі факти.
Завдання позитивної евристики полягає у тому, щоб викласти програму чи порядок дослідження, а також модифікувати, уточнити "захисний пояс", що спростовується. Лакатос вважає, що "ця позитивна евристика рятує вченого від спантеличення перед океаном аномалій". Вона 33
ж формулює і "модель" програми, тобто сукупність початкових умов, про які відомо, що вони повинні заміщуватися протягом подальшого розвитку програми. "Моделі" змінюють одна одну. У цілому позитивна евристика є більш гнучкою, ніж негативна.
"Позитивна евристика" визначає проблеми для дослідження, виділяє захисний пояс для допоміжних гіпотез, передбачає аномалії та переможно перетворює їх у підтверджуючі приклади - все це у відповідності до заздалегідь визначеної програмою проблеми. Учений бачить аномалії, але, оскільки його дослідницька програма витримує їх натиск, він може вільно їх ігнорувати. Насамперед позитивна евристика його програми, проте ніяк не аномалії, диктує йому напрямки досліджень.
Прості "фальсифікації" (тобто аномалії) мають бути зафіксованими, але зовсім не обов'язково реагувати на них. У методології дослідницьких програм жодне прийняте базисне твердження саме по собі не дає вченому права відкидати теорію.
Такий конфлікт може призвести до проблеми, але ні за яких умов не може привести до перемоги.Наведемо класичні приклади. У геометрії Евкліда протягом двох тисяч років не вдавалося вирішити проблему п'ятого постулату. Багато десятиліть на досить суперечливій основі розвивалися теорія ймовірностей і теорія множин. Ісаак Ньютон не міг на підставі механіки пояснити стабільність Сонячної системи й стверджував, що Бог виправляє відхилення в русі планет, викликані різного роду збурюваннями. Незважаючи на незадовільність такого пояснення, небесна механіка в цілому успішно розвивалася. Цю проблему вдалося вирішити П. Лапласу тільки на початку XIX ст.
Чарльз Дарвін не міг пояснити так званий "кошмар Дженкінса".
Дженкінс звернув увагу на те, що позитивні якості, які сприяють пристосуванню організму до середовища, зустрічаються вкрай рідко. І отже, організм, що буде мати ці якості, обов'язково зустрінеться з організмом, що ці якості не буде мати, і в наступних поколіннях позитивна ознака розсіється. Отже, вона не може мати еволюційне значення. Сучасна еволюційна концепція (синтетична теорія еволюції) базується на ідеях
Ч. Дарвіна, поєднаних з концепцією дискретних носіїв спадковості Менделя, що усуває "кошмар Дженкінса".
Імре Лакатос формулює критерії прогресу та регресу програм, а також правила усунення дослідницьких програм у цілому. "Дослідницька програма вважається прогресуючою тоді, коли її теоретичне зростання випереджає її емпіричне зростання, тобто, коли вона з деяким успіхом може передбачити нові факти ("прогресивне зрушення проблем"): програма регресує, якщо її теоретичне зростання відстає від її емпіричного зростання, тобто, коли вона дає лише із запізненням пояснення або ви- 34
падкових відкриттів, або фактів, передбачених та відкритих конкуруючою програмою ("регресивне зрушення проблем")". На думку Лакатоса, якщо дослідницька програма прогресивно пояснює більше, ніж конкуруюча, то вона витісняє її, і ця конкуруюча програма може бути усунена.
У рамках дослідницької програми деяка теорія може бути усунена лише кращою теорією, тобто такою, яка має більший емпіричний зміст, ніж її попередниця, і частина якого пізніше підтверджується. Для такого заміщення однієї теорії іншою - кращою - зовсім необов'язково, щоб перша була "фальсифікована" у попперівському розумінні. Таким чином, у Лакатоса науковий прогрес виражається прикладами верифікації додаткового змісту теорії, а не фальсифікуючими прикладами. Емпірична "фальсифікація" теорії та реальна "відмова" від неї стають незалежними подіями. "До модифікації теорії, - вважає Лакатос, - ми ніколи не знаємо, як вона могла б бути "спростована", і деякі найцікавіші модифікації обумовлюються "позитивною евристикою" дослідницької програми, а не аномаліями". Тому Лакатос наголошує, що ця відмінність має важливі наслідки і веде до раціональної реконструкції змін у науці, відмінної від по- пперівської.
Своєю методологією дослідницьких програм Лакатос проводить демаркаційну лінію між "внутрішньою" та "зовнішньою" історією. Методологія дослідницьких програм потребує доповнення емпіричною зовнішньою історією. Для пояснення різної швидкості розвитку різних дослідницьких програм завжди необхідно звертатися до зовнішньої історії, і це обумовлено тією обставиною, що "раціональна реконструкція науки (в тому смислі, в якому я вживаю цей термін) не може бути вичерпною з тієї причини, що люди не є повністю раціональними істотами; і навіть тоді, коли вони діють раціонально, вони можуть мати хибні теорії відносно власних раціональних дій".
Імре Лакатосу належить переосмислення й подальший розвиток попперівських ідей. Таким чином, новаторство Лакатоса полягає в зміні поперівської ідеї бінарного зіткнення (теорія-експеримент) на ідею тернарного протистояння (конкуруючі НДП-експеримент). Головним джерелом розвитку науки є не взаємодія теорії та емпіричних даних, а конкуренція дослідницьких програм щодо кращого опису й пояснення спостережуваних явищ і, що ще важливіше, прогнозування нових фактів, передбачення.
Визнання НДП вихідним пунктом наукового дослідження дозволяє показати автономність і дійсну пізнавальну роль "теоретичної науки", чого, за Лакатосом, не дозволяє зробити попперівська концепція наукового дослідження.
На основі моделі Лакатоса з'являється можливість пояснити відому безперервність у розвитку теоретичного рівня наукового знання і його відносну незалежність від емпіричного. Безперервний характер розвитку науки у рамках концепції НДП зближає останню з "нормальною наукою" Т. Куна, однак доречно відзначити, що суто негативний характер кунівської евристики робить незрозумілим розвиток знання в його теорії. На відміну від Куна, Лакатос робить спробу дати пояснення зростанню наукового знання, звертаючись до об'єктивної логіки цього процесу, а не до психології наукового співтовариства.
Іншим значним досягненням Лакатоса є "поворот", хоча й досить своєрідний, попперівського критичного раціоналізму до особистості дослідника. Він розглядає науково-дослідну діяльність як "картину наукової гри", що відбувається за заздалегідь прийнятими правилами. Вони присутні в науці як оцінки раціональності дій ученого, демаркаційного критерію для розмежування науки й псевдонаук, а також "кодексу наукової чесності" своєрідного momento mori, що рятує від переоцінки дослідником сповідуваної ним теорії: головну роль у ньому відіграють скромність і стриманість. Для вченого важливо усвідомлювати, у рамках якої науково-дослідної програми й теорії він перебуває. Таке усвідомлення вимагає порівняння теорії та програм.
Ідея НДП відбиває спроби наблизити філософсько-методологічну проблематику до осмислення глибоких змін у характері сучасної науки.