AKADÉMIAI-FILOZÓFIAI
SZABADEGYETEME
Forrai Gábor - Szegedi Péter (szerk.), Tudományfilozófia: Szöveggyûjtemény. Budapest: Áron Kiadó, 1999.
A FALSZIFIKÁCIÓ ÉS A TUDOMÁNYOS KUTATÁSI
PROGRAMOK METODOLÓGIÁJA*
LAKATOS IMRE
Eddig azt a problémát tárgyaltam, amelyet a tudományos ismeretek növekedésének objektív értékelése jelent, mégpedig az egymást követõ tudományos elméletek progresszív illetve degenerálódó probléma-eltolódásai alapján. [Progresszív probléma-eltolódás: az új elmélet sikeres új elõrejelzést tesz. Degenerálódó probléma-eltolódás: az új elmélet nem tesz sikeres új elõrejelzést. Ha az új elmélet tesz elõrejelzést, de az nem sikeres, akkor a probléma-eltolódás elméletileg progresszív, de empirikusan nem az – a szerk.] A tudás növekedésében azok az elméletsorozatok a legfontosabbak, melyek tagjaira egyfajta folytonosság jellemzõ. Ez a folytonosság egy pontos, elõre megtervezett kutatási programból bontakozik ki. A program módszertani szabályokból áll: ezek egy része azt szabja meg, hogy mit ne tegyünk kutatásunk során (negatív heurisztika), mások pedig azt, hogy milyen irányban haladjunk (pozitív heurisztika).(1)
Tulajdonképpen a tudomány egészét is tekinthetjük egy óriási kutatási programnak, amelyet Popper legfõbb heurisztikus szabálya irányít, miszerint: "dolgozz ki olyan feltevéseket, melyek empirikus tartalma nagyobb elõdeikénél". Az ilyen módszertani szabályok, mint Popper rámutatott, metafizikai szabályokként is megfogalmazhatók.(2) Például a kivétel-kizárás [azon eljárás, hogy a kivételeket felsoroljuk, de kizárjuk az elmélet alkalmazási körébõl – a szerk.] elleni univerzális anti-konvencionalista szabály metafizikai elvként is állítható, a következõképpen: "a természet nem tûri a kivételeket". Watkins emiatt nevezte az ilyen szabályokat "befolyásos metafizikának".(3)
Én azonban nem a tudomány egészére gondolok
elsõsorban, hanem inkább egyedi kutatási programokra,
amilyen például az úgynevezett "kartéziánus
metafizika". A kartéziánus metafizika, azaz a világegyetem
mechanisztikus elmélete – amely szerint az univerzum egy hatalmas
óramû (valamint örvények rendszere), amelyben
egyedül a lökés okoz mozgást – hatékony
heurisztikus elvként szolgált. Egyfelõl hátráltatta
az olyan, neki ellentmondó tudományos elméletek kidolgozását,
mint például Newton távolbahatás elméletének
"esszencialista" változata (negatív heurisztika);
másfelõl elõsegítette azoknak a segédhipotéziseknek
a kidolgozását, amelyek semlegesítik az olyan bizonyítékokat,
amelyek látszólag az elmélet ellen szólnak
– pl. a kepleri ellipszisek (pozitív heurisztika).(4)
(a) Negatív heurisztika: a program "kemény magja"
Minden tudományos kutatási program jellemezhetõ annak "kemény mag"-jával. A program negatív heurisztikája megtiltja, hogy a modus tollenst a "kemény mag" ellen irányítsuk. Ehelyett arra kell használnunk képzelõerõnket, hogy részletesebben kidolgozzuk a segédhipotéziseket, vagy hogy teljesen újakat találjunk ki, amelyek mintegy védõövet képeznek a mag körül; a modus tollens élét pedig irányítsuk át ezekre. A próbák jórészt a segédhipotézisekbõl álló védõövet ellenõrzik, amelyet újra és újra ki kell igazítani, vagy akár teljesen ki kell cserélni, hogy megvédjük az így megkeményített magot. Egy kutatási program akkor sikeres, ha ezek a folyamatok progresszív, és akkor sikertelen, ha degenerálódó probléma-eltolódáshoz vezetnek.
A sikeres kutatási programok klasszikus példája Newton gravitációs elmélete, amely feltehetõleg minden idõk legsikeresebb kutatási programja volt. Elsõ megjelenésekor "anomáliák" (vagy "ellenpéldák"(5), ha így jobban tetszik) tengere vette kerül, s ellentmondásban volt az ezeket alátámasztó megfigyelési elméletekkel. Newton követõi azonban zseniális kitartással és leleményességgel egymás után minden ellentmondó bizonyítékot korroboráló esetté változtattak át, alapvetõen azoknak a megfigyelési elméleteknek a megdöntésével, amelyekre az "ellentmondó bizonyítékok" alapozódtak. A folyamat során maguk is akadtak ellenpéldákra, amelyeket azután szintén megoldottak. "Minden új nehézséget programjuk újabb gyõzelmévé változtattak."(6)
Newton programjában a negatív heurisztika azt írja elõ, hogy a modus tollenst ne irányítsuk Newton három dinamikai törvényére illetve a gravitációs törvényre. Ez a "mag" a program hirdetõinek módszertani döntése alapján "cáfolhatatlan": az anomáliák csupán a kiegészítõ, "megfigyelési" hipotézisek védõövében, illetve a kezdeti feltételekben okozhatnak változásokat.(7)
A newtoni progresszív probléma-eltolódást egy fiktív minipéldával illusztráltam.(8) A részletes elemzésbõl kiderül, hogy az egymást követõ szakaszok mind- egyike új tényeket jósol meg, hogy minden lépés az empirikus tartalom növekedésével jár, azaz hogy következetesen progresszív probléma-eltolódással van dol-gunk. Végül pedig minden predikciót sikerült igazolni, noha egymás után három alkalommal is úgy tûnhetett, hogy "megcáfolták"(9) õket. Az (itt leírt értelemben vett) "elméleti haladást" esetleg azonnal igazolni lehet,(10) az "empirikus haladást" azonban nem, és "cáfolatok" hosszú sora hátráltathatja kutatási programunkat, amíg egyszer csak új és tartalomnövelõ segédhipotézisek a vereségek sorozatát – utólag – kirobbanó sikertörténetté változtatják, a téves "tények" felülbírálata révén. Ezek után azt mondhatjuk, hogy a kutatási program minden lépésétõl meg kell követelnünk, hogy következetesen tartalomnövelõ legyen, hogy minden egyes lépés következetesen progresszív probléma-eltolódást idézzen elõ. Ehhez mind-össze annyit kell még hozzátennünk, hogy a tartalomnövekedésnek idõnként – retrospektíve – korroboráltnak kell tûnnie. A programnak egészében idõszakonként progresszív empirikus fejlõdést kell mutatnia. Nem kívánjuk meg, hogy minden lépés azonnal valamilyen megfigyelt új tényhez vezessen. A "idõszakonként" kifejezés elégséges racionális felhatalmazást ad arra, hogy egy programhoz dogmatikusan ragaszkodjunk az elsõ látásra elfogadható "cáfolatokkal" szemben is.
A tudományos kutatási programok "negatív heurisztikájának"
elképzelése jelentõs mértékben ésszerûvé
teszi a klasszikus konvencionalizmust. Racionálisan úgy dönthetünk,
hogy a "cáfolatok" mindaddig nem érik el a kemény
magot, amíg a segédhipotézisekbõl álló
védõöv korroborált empirikus tartalma növekszik.
Saját megközelítésünk azonban különbözik
Poincaré jusztifikácionista konvencionalizmusától
abban az értelemben, hogy Poincaréval ellentétben
mi úgy tartjuk, hogy ha és amikor egy program többé
nem jelez elõre új tényeket, akkor kemény magját
el lehet vetni: azaz, a mi kemény magunk, ellentétben
Poincaré-éval, bizonyos körülmények között
összeomolhat. E tekintetben Duhem oldalán állunk, aki
úgy vélte, hogy ezt a lehetõséget meg kell
engedni.(11)
Duhem számára azonban az ilyen összeomlásnak
pusztán esztétikai(12)
okai vannak, szerintünk viszont fõleg logikaiak és
empirikusak.
(b) Pozitív heurisztika: a "védõöv" kiépítése
és az elméleti tudományok relatív autonómiája
A kutatási programok, negatív heurisztikájukon kívül pozitív heurisztikájukkal is jellemezhetõk.
Még a leggyorsabban és legkövetkezetesebben fejlõdõ kutatási programok is csak fokozatosan tudják leküzdeni az ellenük szóló "bizonyítékokat": az anomáliákat soha nem sikerül teljesen megszüntetni. Azonban ne gondoljuk úgy, hogy a megmagyarázatlan anomáliákat – a "rejtvényeket", ahogy Kuhn nevezné õket – tetszõleges sorrendben számolják fel, és hogy a védõöv eklektikus, minden elõre megtervezett rend nélkül épül. Ez a rend általában az elméletalkotó dolgozószobájában dõl el, függetlenül az ismert anomáliáktól. A kutatási programokban résztvevõ tudósok nem szentelnek túl sok figyelmet a "cáfolatoknak". Hosszú távú kutatási tervvel rendelkeznek, amely anticipálja ezeket a cáfolatokat. Ezt a kutatási tervet, vagy a kutatások menetét a program pozitív heurisztikája határozza meg, több-kevesebb részletességgel. A negatív heurisztika a programok "kemény magját" határolja be, amely a résztvevõk döntése nyomán "megcáfolhatatlan"; a pozitív heurisztika csak részben kidolgozott utasítások vagy tippek csoportjából áll, amelyek arra vonatkoznak, hogy miként kell változtatni, vagy javítani a kutatási program "cáfolható változatain", és hogyan kell módosítani, bonyolítani a "cáfolható" védõövet.
A programok pozitív heurisztikája megóvja a kutatókat attól, hogy összezavarodjanak a tengernyi anomália láttán. Kijelöl egy programot, mely a valóságot szimuláló, egyre bonyolultabb modellek sorozatát tartalmazza: a tudósok modelljeik építésére összpontosítják figyelmüket, összhangban a program pozitív részében lefektetett utasításokkal. Az aktuális ellenpéldáktól, a hozzáférhetõ "adatoktól"(13) eltekintenek. Newton elsõ programjában, mely a bolygórendszer leírására irányult, egy rögzített, pontszerû Nap és egy pontszerû bolygó szerepelt. Ebben a modellben vezette le fordított arányossági törvényét a Kepler-féle ellipszisekre. Ez a modell azonban ellentmondott saját harmadik dinamikai törvényének, ezért fel kellett cserélni egy olyan modellel, amelyben a Nap és a bolygó közös gravitációs központjuk körül keringenek. Ezt a változtatást nem megfigyelések ösztönözték (az adatok nem utaltak semmiféle "anomáliára"), hanem a program kidolgozásának elméleti nehézsége. Ezután továbbfejlesztette a programot több bolygóra, oly módon mintha csupán a heliocentrikus erõk hatnának, bolygók közötti erõk nem. Majd kidolgozta azt a változatot, amelyben a Napot és bolygókat nem tömegpontnak, hanem tömeggömbölynek tekintjük. Ehhez a változtatáshoz szintén nem volt szükség semmilyen anomália megfigyelésére; a végtelen sûrûség létezését egy – részletesebben nem kidolgozott – "próbakõ" elmélet kizárta; ezért a bolygóknak kiterjedtnek kellett lenniük. Ez a változtatás komoly matematikai nehézségeket jelentett, és hátráltatta Newton munkáját – a Principia megjelenését több, mint egy évtizeddel késleltette. Ennek a "rejtvénynek" a megoldása után forgó gömbök mozgásával kezdett foglalkozni. Majd bolygóközi erõket is felvett, és a perturbációkat kezdte számolni. Innentõl kezdve fordított több gondot a tényekre. Ez a modell számos tényt gyönyörûen magyarázott, sokat azonban továbbra sem. Ekkor lapított gömb alakú bolygókkal kezdett el számolni, és így tovább.
Newton lenézte azokat, akikbõl, mint például Hooke-ból, miután rábukkantak az elsõ naiv modellre, hiányzott a megfelelõ kitartás és képesség ahhoz, hogy kutatási programmá fejlesszék, és akik az önmagában érdektelen elsõ változatot "felfedezésnek" tekintették. Newton mindaddig nem jelentette meg eredményeit, amíg programja nem ért el figyelemreméltóan progresszív probléma-eltolódást.(14)
A legtöbb, de talán az összes newtoni "rejtvény", amely az egymást felülmúló változatokhoz vezetett, már Newton elsõ naiv modelljének idején is elõrelátható volt, és Newton és kollégái kétségkívül elõre is látták ezeket. Newton minden bizonnyal tudatában volt annak, hogy elsõ változatai egyértelmûen tévesek. Az ilyen tények mutatják a legjobban egy kutatási program pozitív heurisztikájának a létezését: ezért beszélünk "modellekrõl" a kutatási programokban. Egy "modell" kezdeti feltételek olyan halmaza (esetleg bizonyos megfigyelési elméletekkel kiegészítve), amelyrõl tudjuk, hogy a program további fejlõdése során megváltozik majd, és többé-kevésbé azt is tudjuk, hogyan. Ez újfent megmutatja, mennyire irrelevánsak egy kutatási program bármelyik változatának "cáfolatai": létezésükre teljes mértékben számítanak, és a pozitív heurisztika formájában megvan a stratégia megjóslásukra és feldolgozásukra. Valójában, ha a pozitív heurisztikát pontosan megfogalmazzák, akkor a program nehézségei inkább matematikaiak, mintsem empirikusak.(15)
Egy kutatási program pozitív heurisztikája "metafizikai" elvként is megfogalmazható. Newton programjáé például így: "a bolygók lényegében durván gömb alakú, gravitáló búgócsigák". Soha senki sem képviselte ezt a nézetet mereven: a bolygók nem csak gravitációs erõvel rendelkeznek, hanem vannak például elektromágneses tulajdonságaik is, amelyek befolyásolhatják mozgásukat. A pozitív heurisztika tehát sokkal rugalmasabb, mint a negatív. Mi több, idõnként az is megtörténik, hogy amikor egy kutatási program degenerálódó szakaszba kerül, egy kisebb forradalom, vagy a pozitív heurisztika valamilyen kreatív megváltoztatása újra továbblendíti a programot.(16) Ezért jobb a "kemény magot" elkülöníteni a pozitív heurisztikát kifejezõ, rugalmasabb metafizikai elvektõl.
Mindez azt mutatja, hogy a pozitív heurisztika teljes gõzzel halad elõre úgy, hogy gyakorlatilag teljesen eltekint a "cáfolatoktól": esetleg úgy tûnhet, hogy inkább a "verifikációk"(17), mint a cáfolatok jelentik az érintkezési pontot a valósággal. Noha hangsúlyoznunk kell, hogy a program n+1-ik változatának "verifikációja" az n-edik változat cáfolata, nem tagadhatjuk, hogy a következõ változat bizonyos kudarcait mindig elõre lehet látni. A programot az "igazolások" viszik elõre, a makacsul ellenálló esetek dacára.
A kutatási programokat még "elvetésük" után is értékelhetjük heurisztikus erejük alapján: aszerint, hogy hány új tény eredményeztek, és hogy "fejlõdõ szakaszukban mennyire tudták magyarázni cáfolataikat"?(18)
(Értékelhetjük õket a matematikára gyakorolt ösztönzõ hatásuk alapján is. Az elméletalkotók igazi nehézségei nem annyira az anomáliákból, hanem inkább a program matematikai nehézségeibõl fakadnak. A newtoni program jelentõsége részben a klasszikus infinitezimális analízis – newtoniánusok általi – kifejlesztésébõl származik, amely döntõ elõfeltétele volt sikerének.)
Így a tudományos kutatási programok módszertana
számot ad az elméleti tudomány viszonylagos autonómiájáról,
melynek racionalitását a korábbi falszifikácionisták
soha sem tudták megmagyarázni. Annak racionális eldöntése,
hogy egy erõs kutatási programban résztvevõ
tudósok mely problémákon dolgozzanak, inkább
a program pozitív heurisztikáján múlik, mint
a lélektanilag nyugtalanító (vagy technológiai
szempontból fontos) anomáliákon. Az anomáliákat
számba veszik, de félreteszik abban a reményben, hogy
a megfelelõ idõpontban a program korroborációivá
fognak átalakulni. Csupán azoknak a tudósoknak kell
figyelmüket az anomáliákra irányítaniuk,
akik a próba és tévedés módszerrel dolgoznak,(19)
vagy akik egy kutatási program degenerálódó
szakaszában tevékenykednek, amikor a pozitív heurisztika
már erejét vesztette. (Mindez bizonyára riasztóan
hangzik a naiv falszifikácionisták számára,
akik úgy tartják, hogy ha egyszer egy elméletet kísérletileg
"megcáfoltak" (az õ szabálykönyvük
szerint), akkor irracionális (és becstelen) azt továbbfejleszteni:
ehelyett a régi "megcáfolt" elméletet egy új
megcáfolatlan elmélettel kell felcserélni.
(c) Két illusztráció: Prout és Bohr
A pozitív és negatív heurisztika dialektikáját egy kutatási programban legjobban példákkal lehet megvilágítani. Ezért most két látványosan sikeres kutatási program néhány vonását fogom vázlatosan bemutatni: Prout programja(20) azon az elképzelésen alapult, hogy minden atom hidrogénatomokból tevõdik össze, Bohr programja pedig azon, hogy a fénykibocsátást az okozza, hogy az elektronok az atomokon belül egyik pályáról a másikra ugranak.
(Egy történeti esettanulmány megírásakor,
véleményem szerint, a következõképpen
kell eljárni: (1) megadjuk a történtek racionális
rekonstrukcióját (2) ezt a racionális rekonstrukciót
összevetjük a tényleges történettel és
az elõbbit a történetiség, az utóbbit
pedig a racionalitás hiánya miatt bíráljuk.
Eszerint bármilyen történeti vizsgálatot meg
kell hogy elõzzön egy heurisztikus vizsgálat: a tudománytörténet
a tudományfilozófia nélkül vak. Ebben a tanulmányban
azonban nem szándékom elmélyülni a második
szakaszban.)
(c1) Prout: egy progresszív kutatási program az anomáliák
tengerében
Prout 1815-ben, egy név nélkül megjelent tanulmányában azt állította, hogy minden tiszta kémiai elem atomsúlya egész szám. Tisztában volt a bõséges számú anomáliával, azonban azt mondta, hogy ezek azért lépnek fel, mert a kémiai elemek szokványos elõfordulásaikban nem tiszták: azaz, a kor releváns "kísérleti technikái" nem megbízhatók, avagy – saját megfogalmazásunkban – azok a "megfigyelési" elméletek, amelyek alapján az elmélet alapvetõ állításainak az igazságát megállapították, tévesek(21). Prout elméletének képviselõi ezért nagyszabású vállalkozásba kezdtek: azoknak az elméleteknek a megdöntését tûzték ki célul, amelyek a tézisükkel szembenálló bizonyítékokat szolgáltatták. E célból forradalmasítaniuk kellett a kor analitikai kémiáját, és megfelelõen helyesbíteniük kellett azokat a kísérleti módszereket, amelyekkel a tiszta elemeket elkülönítették(22). Prout elmélete egymás után gyõzte le azokat az elméleteket, amelyeket korábban alkalmaztak a kémiai elemek tisztítására. Ennek ellenére, néhány vegyész elfáradt, és feladta a kutatási programot, a végsõ gyõzelem ugyanis, a sikerek ellenére, messze volt. Például Stas, bizonyos, az elméletnek makacsul ellentmondó esetek hatására, 1860-ban arra következtetésre jutott, hogy Prout elmélete "nem megalapozott".(23) Másokat azonban jobban bátorítottak az eredmények, mint amennyire elbizonytalanította õket a teljes siker hiánya. Marignac például rögtön visszavágott azzal, hogy "bár szerintem Monsieur Stas kísérletei tökéletes pontosak, azonban nincs bizonyíték arra, hogy mérési eredményei és a Prout törvény által megkövetelt eredmények között megfigyelt eltérést nem lehet a kísérletei módszerek nem kielégítõ voltával magyarázni.(24) Ahogy Crooke 1886-ban megfogalmazta: "Nem kevés elismert vegyész feltételezi, hogy [Prout elmélete] igaz, azonban ezt a tényt elfedi valamilyen járulékos jelenség, amelyet eddig még nem sikerült kiküszöbölnünk".(25) Azaz, kell hogy legyen valamilyen további rejtett feltevés a "megfigyelési" elméletekben, amelyekre a kémiai tisztítás "kísérleti technikáit" alapozták, és amelyek segítségével az atomsúlyokat kiszámították. Crooke nézete még 1886-ban is az volt, hogy "a jelenlegi atomsúlyok némelyike csupán egy átlagértéket képvisel".(26) Crooke késõbb tudományos (tartalomnövelõ) formába öntötte elképzelését: új, konkrét "fraktációs" elméleteket javasolt, egy új "válogató démont".(27) Sajnos azonban új megfigyelési elméletei amennyire merészek, éppannyira tévesek is voltak, és mivel nem tudtak új tényeket anticipálni, kimaradtak a tudomány (racionálisan rekonstruált) történetébõl. Amint egy nemzedékkel késõbb kiderült, igenis létezett egy alapvetõ rejtett feltevés, amely elkerülte a kutatók figyelmét: nevezetesen, hogy két tiszta elem elkülönítése kémiai eszközökkel véghezvihetõ. Az az elgondolás, hogy két tiszta elem esetleg minden kémiai reakcióban ugyanúgy viselkedik, azonban fizikai módszerekkel elkülöníthetõ egymástól, változtatást igényelt, a "tiszta elem" fogalmának "kitágítását", ami magának a kutatási programnak a megváltozását – fogalomtágító kiterjesztését – jelentette.(28) Ez a forradalmi, rendkívül kreatív fordulat Rutherford iskolájához kötõdik;(29) és "annyi viszontagság és rendkívül meggyõzõnek tûnõ cáfolat után, az a hipotézis, amit Prout, az edinburghi orvos 1815-ben oly könnyedén vetett fel – egy évszázaddal késõbb – az atomok szerkezetére vonatkozó modern elméletek sarokköve lett"(30). Mindazonáltal ez a kreatív lépés csupán mellékes eredménye volt egy másik, valójában meglehetõsen távoli kutatási programnak; a proutiánusok, külsõ ösztönzõ híján, soha nem is álmodtak arról például, hogy az elemek elkülönítéséhez nagyteljesítményû centrifugákat építsenek.
(Miután egy "megfigyelési" vagy "értelmezõ" elméletet végleg elvetnek, az elutasított elmélet keretei által meghatározott "pontos" mérések – visszatekintve – meglehetõsen értelmetlennek tûnnek. Soddy kigúnyolta a "mérési pontosság"-ra való öncélú törekvést: "van valami tragikus, sõt talán annál is több abban, ahogy a sors megsemmisítette a 19. század vegyész lángelméinek életmûvét, amelyet kortársaik joggal a pontosság csúcsaként, a tudományos mérések tökéletes megvalósításaként tiszteltek. Nehezen elért eredményeik, legalábbis pillanatnyilag, éppoly kevéssé tûnnek érdekesnek vagy fontosnak, mint egy halom palack átlagos tömegének a megállapítása, amelyek közül néhány tele van, mások pedig többé vagy kevésbé üresek."(31))
Hadd hangsúlyozzuk, hogy a kutatási programok itt javasolt metodológiájának fényében soha nem volt semmilyen racionális indok Prout programjának az elvetésére. Ez a program csodálatos haladást eredményezett, a számos akadály ellenére is.(32) Vázlatunk azt mutatja be, hogy egy kutatási program hogyan képes megkérdõjelezni az elfogadott tudományos ismeretek jelentõs részét; noha a körülmények kezdetben kedvezõtlenek, mint konkrét példánk esetében is, a program képes ezeket lépésrõl lépésre legyõzni és átalakítani.
Prout programjának története azt is igen jól
illusztrálja, hogy a tudomány fejlõdését
hogyan hátráltatta és lassította a jusztifikácionizmus
és a naiv falszifikácionizmus. (Az atomelmélettel
szembeni 19. századi ellenálláshoz mindkettõ
erõsen hozzájárult.) Hálás példa
a rossz módszertannak a tudományra való hatásáról,
ami esetleg izgalmas kutatási programot jelenthet a tudománytörténészek
számára.
(c2) Bohr: egy ellentmondásos alapokon nyugvó kutatási
program fejlõdése
Egy gyors pillantás Bohrnak a fény emissziójával kapcsolatos kutatási programjára (a kvantummechanika korai korszakában) további illusztrációkkal szolgálhat, és átfogóbbá is teszi tételünket.(33)
Bohr kutatási programjának történetét a következõképpen elemezhetjük: (1) a kiindulási probléma; (2) negatív és pozitív heurisztika; (3) azok a problémák, amelyeket a program megkísérelt megoldani; (4) a degenerációs (avagy "kimerülési") pont, és végül (5) a program, amely helyébe lépett.
A problémát az a rejtély jelentette, hogy a Rutherford atomok (azaz a kis bolygórendszerek, amelyekben elektronok keringenek egy pozitív mag körül) miként maradhatnak stabilak; a jól korroborált Maxwell-Lorentz-féle elektromágneses elmélet szerint ugyanis az elektronoknak bele kellene zuhanniuk a magba. Ugyanakkor azonban Rutherford elmélete is jól korroborált volt. Bohr gondolata az volt, hogy ideiglenesen figyelmen kívül hagyja az ellentmondást, és tudatosan olyan kutatási program dolgoz ki, amelyeknek "cáfolható" változatai ellentmondanak a Maxwell-Lorentz elméletnek.(34) Elméletének kemény magja gyanánt öt posztulátumot javasolt: "(1) az energia [az atomokon belül] nem folytonos módon emmitálódik (vagy abszorbeálódik), ahogy a hagyományos elektrodinamika állítja, hanem csak a rendszerek különbözõ "stacionárius" állapotai közötti átmenetkor. (2) A rendszerek dinamikus egyensúlyát stacionárius állapotokban a hagyományos mechanika törvényei szabják meg, míg ezek a törvények nem érvényesek a rendszerek különbözõ állapotai közötti átmenetekre. (3) Egy rendszer két stacionárius állapota közötti átmenet során kisugárzott energia homogén, és a kisugárzott energia frekvenciája és az E teljes kisugárzott energia közötti összefüggést az E = h összefüggés adja meg, ahol h a Planck állandó. (4) Egy pozitív magból és egy körülötte keringõ elektronból álló egyszerû rendszer különbözõ stacionárius állapotait az a feltétel határozza meg, hogy a konfiguráció kialakulása során kisugárzott teljes energia és a keringési frekvencia aránya 1/2 h egész számú többszöröse. Feltételezve, hogy az elektron pályája kör alakú, ez egyenértékû azzal a feltevéssel, hogy a mag körül keringõ elektron impulzusmomentuma h/2. (5) Bármilyen atomi rendszer "állandó" állapotát, azaz azt az állapotát, amelyben a kisugárzott energia maximális, az a feltétel határozza meg, hogy minden a középpont körül keringõ elektron impulzusmomentuma h/2 nagyságú."(35)
Vegyük észre az alapvetõ módszertani különbséget Prout és Bohr programjának inkonzisztenciája között. Prout kutatási programja hadat üzent kora analitikai kémiájának: pozitív heurisztikája meg kívánta dönteni azt, és helyébe akart lépni. Bohr kutatási programjában azonban nem találunk ehhez hasonlót; pozitív heurisztikája, még teljes siker esetén sem oldotta volna meg a Maxwell-Lorentz elmélettel való inkonzisztenciát.(36) Egy ilyen elképzelés felvetéséhez még Prouténál is nagyobb bátorság kellett; Einsteinben is felmerült futólag ez a gondolat, de elfogadhatatlannak tartotta és elutasította.(37)A tudomány történetének legfontosabb kutatási programjai közül néhányat olyan régebbi programokhoz toldottak, amelyeknek nyilvánvalóan ellentmondtak. Például a kopernikuszi asztronómiát az arisztotelészi fizikához toldották, Bohr programját Maxwelléhez. Az ilyen "hozzátoldások" irracionálisak a jusztifikácionisták és a naiv falszifikácionisták számára, akik nem tudják elismerni az ismeretek bõvülését inkonzisztens alapon. Ezért a hozzátoldásokat rendszerint valamilyen ad hoc húzással álcázzák, – mint például Galilei cirkuláris inercia elmélete vagy Bohr korrespondencia és késõbb komplementaritási elve – amelyeknek egyetlen célja, hogy elleplezzék a "hibákat".(38) Ahogy az új toldalékprogram egyre erõsebb lesz, a békés egymás mellett élés véget ér, és a szimbiózisból verseny lesz; az új program hirdetõi megpróbálják teljesen legyõzni a régi programot.
Lehetséges, hogy Bohrt "hozzátoldott" programjának a sikere vezette ahhoz a téves feltevéshez, hogy a kutatási programokban az ilyen alapvetõ ellentmondásokat elvben el lehet, és el is kell fogadni, és hogy egyáltalán nem jelentenek komoly problémát, csupán hozzájuk kell szoknunk. 1922-ben Bohr megkísérelte lejjebb engedni a tudomány kritikai mércéjét: érvelése szerint "a legtöbb, ami egy elmélettõl [azaz egy programtól] elvárható, hogy klasszifikációja, új jelenségek megjóslása révén, hozzájáruljon a megfigyelések fejlõdéséhez".(39)
(Bohrnak ez a kijelentése D'Alembert-éhez hasonló, aki az infinitezimális elmélet megalapozásának ellentmondásaival szembesülve ezt mondta: Allez en avant et la foi vous viendra. Margenau szerint "érthetõ, hogy az elmélet sikere iránti lelkesedés miatt nem vették figyelembe az elmélet rossz felépítését: hiszen Bohr atomja barokk toronyként magasodott a klasszikus elektrodinamika gótikus talapzatán".(40) Valójában azonban nem igaz, hogy ezt a "rossz felépítést" ne vették volna észre: mindenki tudatában volt, csak – többé-kevésbé – eltekintett tõle a program pozitív szakaszában.(41) A kutatási programok általunk képviselt metodológiája azt mutatja, ez az attitûd racionális, ugyanakkor azt is, hogy a "rossz felépítés" védelmezése a progresszív szakaszt követõ idõkben irracionális.
Itt el kell mondanunk, hogy Bohr a harmincas és negyvenes években feladta az "új jelenségek" megkövetelését, és hajlandó volt "az atomi jelenségekre vonatkozó sokféle eredmény koordinálásának sürgõs feladatával foglalkozni, amelyek napról napra halmozódtak az új tudásterület folyamatos feltárása során".(42) Ez azt jelzi, hogy Bohr ebben az idõben visszatért a "jelenségek megõrzésére" irányuló programjához, míg Einstein továbbra is szarkasztikusan ragaszkodott ahhoz, hogy "minden elmélet igaz, feltéve hogy megfelelõen kapcsolja össze szimbólumait a megfigyelhetõ mennyiségekkel".(43))
Azonban a konzisztenciának – a kifejezés erõs értelmében(44) – továbbra is fontos regulatív elvnek kell maradnia (a progresszív probléma-eltolódás követelménye mellett), és az ellentmondásokat (beleértve az anomáliákat) problémaként kell kezelni. Ennek egyszerû az oka. Amennyiben a tudomány az igazságra törekszik, akkor konzisztenciára kell törekednie; ha lemondunk a konzisztenciáról, akkor lemondunk az igazságról is. Az a követelmény, hogy "mérsékeljük igényeinket",(45) hogy el kell fogadnunk bizonyos – gyenge vagy erõs – ellentmondásokat, továbbra is módszertani bûn marad. Másfelõl viszont, ez nem jelenti azt, hogy egy ellentmondás – vagy anomália – felfedezése azonnal a program leállítását kell, hogy jelentse: az inkonzisztencia valamilyen ideiglenes, ad hoc karanténba zárása, és a program folytatása a pozitív heurisztika alapján racionális lehet. Ez még a matematikában is elõfordult, ahogy a korai infinitezimális számítás vagy a naiv halmaz elmélet példái mutatják.(46)
(Ebbõl a szempontból Bohr "korrespondencia elve" érdekes kettõs szerepet játszott programjában. Egyfelõl fontos heurisztikus elvként szolgált, amely számos új tudományos hipotézist sugallt, ez pedig új tényekhez vezettek, különösen a spektrumvonalak intenzitásával kapcsolatban.(47) Másfelõl védelmi mechanizmusként is mûködött, amely "a mechanika és az elektrodinamika klasszikus elméleteinek fogalmait megkísérelte a végsõkig alkalmazni, ezen elméletek és a hatáskvantum ellentmondásának ellenére",(48) ahelyett, hogy egy egyesített program kidolgozásának szükségességét hangsúlyozta volna. Ebben a második szerepben csökkentette a program problematikusságának fokát.(49))
Természetesen az egész kvantumelméleti kutatási program "hozzátoldott program" volt, és ezért ellenszenves az olyan mélyen konzervatív nézeteket valló fizikus számára, mint például Planck. A hozzátoldott programokkal kapcsolatban két szélsõséges és egyformán irracionális álláspont létezik.
A konzervatív álláspont szerint az új programot mindaddig fel kell függeszteni, amíg a régi programot nem sikerült valahogy rendbe hozni: ellentmondásos alapokra ugyanis irracionális építkezni. A "konzervatívok" az ellentmondást úgy próbálják kizárni, hogy az új elmélet posztulátumait (hozzávetõleg) megmagyarázzák a régi elmélet fogalmaival: egy ilyenfajta sikeres redukció nélkül irracionálisnak tekintik az új program továbbfejlesztését. Planck ezt az utat választotta. Azonban évtizedes megfeszített munkája nem járt eredménnyel.(50) Így Laue megjegyzése, amely szerint Planck 1900. december 14-én elhangzott elõadása "a kvantumelmélet születésnapja", nem teljesen igaz; ez a nap Planck redukciós programjának születésnapja. Einstein döntött úgy 1905-ben, hogy az alapok pillanatnyi inkonzisztenciája ellenére tovább halad, de 1913-ban még õ is visszakozott, amikor is Bohr lépett tovább.
A hozzátoldott programmal kapcsolatos anarchista álláspont az alapok anarchiáját erényként dicsõíti, és a (gyenge) inkonzisztenciát vagy a természet alapvetõ tulajdonságaként értelmezi, vagy az emberi megismerés végsõ határaként, amint Bohr néhány követõje tette.
A racionális álláspontot leginkább Newton képviselte, akinek némiképp hasonló helyzettel kellett szembenéznie. A lökésen alapuló kartéziánus mechanika, amelyhez Newton programját eredetileg hozzáillesztették, (gyengén) inkonzisztens volt Newton gravitációs elméletével. Newton egyszerre dolgozott pozitív heurisztikájára támaszkodva (sikerrel), és redukcionista programján (sikertelenül), és nem értett egyet sem az olyan kartéziánusokkal, mint Huygens, akik úgy vélték, hogy nem éri meg ilyen értelmetlen programra vesztegetni az idõt, sem pedig túlzottan elhamarkodott tanítványaival, például Cotes-szal, aki úgy vélte, hogy az inkonzisztencia nem jelent problémát.(51)
A "hozzátoldott" programra vonatkozó racionális álláspont tehát a program heurisztikus erejének kihasználását javasolja, anélkül, hogy beletörõdnénk alapjainak kaotikus voltába. Egészében véve a régi, 1925 elõtti kvantumelméletben ez a felfogás uralkodott. Az új, 1925 utáni kvantumelméletben az "anarchista" álláspont vált meghatározóvá, és a modern kvantumfizika "koppenhágai értelmezése" ma a filozófiai obskurantizmus legfõbb képviselõje. Az új elméletben Bohr hírhedt "komplementaritási elve" trónra emelte a (gyenge) inkonzisztenciát, mint a természet alapvetõ tulajdonságát, és a szubjektivista pozitivizmust, az antilogikus dialektikát, sõt, még a hétköznapi nyelv filozófiáját is összeolvasztotta, egyfajta szentségtelen szövetségben. 1925 után Bohr és társai a tudományos elméletek kritikai standardjának szintjét példátlanul leeresztették. Ez az értelem vereségéhez és a felfoghatatlan káosz anarchista kultuszához vezetett a modern fizikában. Einstein tiltakozott: "Heisenberg és Bohr megnyugtató filozófiája – vagy vallása? – olyan fortélyosan van kiagyalva, hogy egy idõre puha párnát ad az igazhívõk feje alá."(52) Másfelõl viszont lehetséges, hogy Einsteint éppen túlzottan magas mércéje gátolta meg a Bohr-modell és a hullámmechanika felfedezésében (vagy talán csak annak publikálásában).
Einstein és szövetségesei nem nyerték meg a csatát. A fizika tankönyvek manapság tele vannak ilyesfajta kijelentésekkel: "A két nézõpont, a kvantumok és az elektromágneses térerõsségek, Bohr értelmében komplementerek. Ez a komplementaritás a természetfilozófia egyik nagy eredménye, amellyel a kvantumelmélet ismeretelméletének koppenhágai értelmezése megoldotta a fény korpuszkuláris és hullám elmélete közötti réges-régi ellentétet. Az i. sz. 1. századi Alexandriai Héron visszaverõdési és egyenes vonalú terjedési tulajdonságaitól kezdve egészen a tizenkilencedig századig, Young és Maxwell interferencia és hullámtulajdonságaiig, dúlt a vita. A sugárzás kvantumelmélete, amelyet a 20. század elsõ felében dolgoztak ki, meghökkentõen hegeli módon, teljesen feloldja ezt a dichotómiát".(53)
Térjünk vissza a régi kvantummechanika felfedezés-logikájához, és összpontosítsunk konkrétan pozitív heurisztikájára. Bohr terve az volt, hogy elõször kidolgozza a hidrogénatom elméletét. Elsõ modellje egy rögzített proton mag és egy körpályán keringõ elektron együttese volt; második modelljében egy rögzített síkbeli elliptikus pályával számolt; ezután úgy döntött, hogy elhagyja a mag illetve a pályasík rögzítettségére vonatkozó, nyilvánvalóan mesterséges megszorításokat; késõbb arra gondolt, hogy figyelembe veszi az elektron lehetséges spinjét,(54) majd pedig megkísérelte kiterjeszteni programját összetett atomok és molekulák szerkezetére, valamint az elektromágneses tér rájuk gyakorolt hatására is, és így tovább, és így tovább. Mindez már az elején meg volt tervezve: az az elképzelés, hogy az atomok bolygórendszerhez hasonlóak, egy hosszú, bonyolult, de optimista programot vázolt fel, és világosan kijelölte a kutatás stratégiáját.(55) "Ebben az idõben – 1913-ban – úgy tûnt, mintha végre megtalálták volna a spektrumok igazi kulcsát, mintha csak idõ és türelem kérdése volna a rejtélyek végsõ megoldása."(56)
Bohr ünnepelt 1913-as cikke tartalmazta a kutatási program elsõ lépését. Tartalmazta elsõ modelljét (melyet a továbbiakban M1-nek fogok nevezni), amely már megjósolt olyan tényeket, amelyeket egyetlen korábbi elmélet sem: nevezetesen a hidrogén emissziós spektrumvonalainak hullámhosszát. Noha ezeknek a hullámhosszaknak egy része korábban is ismert volt – így a Balmer-sorozat (1885) illetve a Paschen-sorozat (1908) –, a Bohr-elmélet jóval többet jósolt meg ennél a két ismert sorozatnál. És az ellenõrzések hamar korroborálták az új tartalmat: 1914-ben Lyman egy újabb Bohr-sorozatot fedezett fel, 1922-ben Brackett, 1924-ben pedig Pfund egy-egy másikat.
Miután a Balmer és a Paschen-sorozatokat már 1913 elõtt is ismerték, egyes történészek a "baconi indukciós felemelkedés" példájaként állítják be a történetet: (1) a spektrumvonalak káosza, (2) "empirikus" törvény" (Balmer), (3) elméleti magyarázat (Bohr). Ez kétségkívül olyannak tûnik, mint Whewell három szintje. A tudomány elõrehaladása azonban nemigen késlekedett volna a leleményes svájci tanító "próba és tévedés" módszerével nyert eredményei nélkül sem: Balmer eredményeit a spekulatív tudomány fõsodrából – amelyet Planck, Rutherford, Einstein és Bohr merész spekulációi vittek elõre –, deduktíve levezették volna, elméleteik ellenõrzési állításai gyanánt, Balmer úgynevezett "úttörõ" munkája nélkül is. A tudomány racionális rekonstrukciója nemigen honorálja a "naiv feltevések" kiötlõinek fáradozásait.(57)
Valójában Bohr problémája nem a Balmer- és a Paschen-sorozat, hanem a Rutherford-atom paradox stabilitásának magyarázata volt. Mi több, Bohr nem is hallott ezekrõl a formulákról cikke elsõ változatának megírása elõtt.(58)
Bohr elsõ M1-es modelljének nem minden állítását korroborálták. Az M1 modell például azt állította, hogy a hidrogén emissziós spektrumának minden vonalát megjósolja. Azonban kísérleti bizonyítékokat találtak olyan hidrogén sorozatokra, amelyeknek Bohr M1-e szerint nem lett volna szabad létezniük. Az anomáliás sorozat a Pickering-Fowler-féle ultraibolya sorozat volt.
Pickering 1896-ban fedezte fel ezt a sorozatot a Puppis csillag spektrumában. Fowler, miután 1898-ban a Napban is felfedezte a sorozat elsõ vonalát, az egész sorozatot létrehozta egy hidrogénnel és héliummal töltött katódcsõben. Azzal is érvelhetnénk persze, hogy a torzszülött vonalnak semmi köze a hidrogénhez, végül is a Nap és a Puppis is számos gázt tartalmaz, és a katódcsõben hélium is volt. A vonalat valóban nem lehetett elõállítani tiszta hidrogén csõben. Pickering és Fowler "kísérleti technikája", amely Balmer törvényének egy falszifikáló hipotéziséhez vezetett, azonban plauzibilis, noha soha komolyan nem ellenõrzött elméleti háttérre támaszkodott: (a) sorozatuknak a Balmer-sorozattal megegyezõ konvergenciaszáma volt, és ezért hidrogénsorozatnak tekintették, és (b) Fowler egy plauzibilis magyarázatot adott arra, hogy miért nem lehet a hélium a felelõs a sorozatért.(59)
Bohr azonban nem volt lenyûgözve a kísérleti fizikusok "mérvadó" mérési eredményeitõl. Nem kérdõjelezte meg "kísérleti pontosságukat", vagy "megfigyeléseik megbízhatóságát", de kétségbevonta megfigyelési elméletüket. És egy másikat javasolt helyette. Elõször kidolgozta kutatási programjának egy újabb modelljét (M2): az ionizált hélium modelljét, amelyben egy két protonból álló mag körül kering egy elektron. Nos, ez a modell megjósol egy olyan ultraibolya sorozatot az ionizált hélium spektrumában, amely megegyezik a Fowler-Pickering sorozattal. Ez egy rivális elmélet volt. Ezután "döntõ kísérletet" javasolt: azt jósolta, hogy a Fowler-sorozatot elõ lehet állítani, akár még erõsebb vonalakkal is, egy hélium és klór keverékével töltött csõben is. Mi több, Bohr magyarázatot adott a kísérleti fizikusoknak a hidrogén katalizáló szerepére a Fowler kísérletben, illetve a klóréra a maga javasolta kísérletben, anélkül, hogy egy pillantást vetett volna kísérleti berendezésükre.(60) És neki lett igaza.(61) Így, ami elõször a kutatási program vereségének látszott, visszhangzó sikerré változott.
A gyõzelmet mindazonáltal azonnal kétségbe vonták. Fowler elismerte, hogy sorozata nem hidrogén- hanem héliumsorozat volt. Azonban kimutatta, hogy Bohr torzszülött-kiigazítása(62) továbbra is téves. A Fowler-sorozat hullámhosszai jelentõsen különböztek Bohr M2 modellje által jósolt értékektõl. Így a sorozat, noha nem cáfolja M1-et, továbbra is cáfolja M2-t, és az M1 és M2 közötti szoros kapcsolat miatt továbbra is aláássa M2-t!(63)
Bohr félresöpörte Fowler érvét: természetesen soha nem gondolta azt, hogy az M2 modellt túl komolyan kellene venni. Eredményei hozzávetõlegesek, amelyek azon a durva közelítésen alapulnak, hogy az elektron egy rögzített mag körül kering; valójában persze a mag és az elektron egy közös gravitációs központ körül kering; a tömeget természetesen a redukált tömeggel kell helyettesíteni, éppúgy, mint a két-test problémáknál: me, = me/[1 + me/mn)].(64) Ez a módosított modell volt Bohr M3 modellje. És Fowlernek is el kellett ismernie, hogy Bohrnak megintcsak igaza lett.(65)
M2 látszólagos cáfolata M3gyõzelmévé vált, és világos volt, hogy M2-t és M3-t – talán még az M17-et, vagy M20-t is – kidolgozták volna a kutatási programon belül bármiféle megfigyelési vagy kísérleti ösztönzés nélkül is. Einstein ekkor mondta Bohr elméletérõl, hogy "egyike a legnagyobb felfedezéseknek".(66)
Bohr kutatási programja a tervek szerint haladt elõre. A következõ lépés az elliptikus pályák kiszámítása volt. Ezt Sommerfeld hajtotta végre 1915-ben, azzal a (váratlan) eredménnyel hogy a lehetséges stabil pályák számának növekedésével nem növekedett a lehetséges energiaszintek száma, és így úgy tûnt, hogy nem lehetséges döntõ kísérlet, amelynek alapján választani lehetne az elliptikus illetve a körpályás elmélet között. Azonban az elektronok olyan nagy sebességgel keringenek a mag körül, hogy gyorsulásuk miatt tömegüknek észrevehetõen meg kell változnia, amennyiben az einsteini mechanika igaz. És valóban, ezekkel a relativisztikus korrekciókkal számolva, Sommerfeld az energiaszintek új csoportját nyerte, és ezáltal megkapta a spektrum "finomszerkezetét".
Az áttérés erre a relativisztikus modellre sokkal komolyabb matematikai gyakorlatot és tehetséget igényelt, mint az elsõ néhány modell kidolgozása. Sommerfeld eredménye elsõsorban matematikai volt.(67)
Érdekes módon a hidrogén spektrum dublettjeit Michelson(68) már 1891-ben felfedezte. Moseley rögtön Bohr elsõ cikkének a megjelenése után rámutatott, hogy modellje "nem magyarázza a második gyengébb vonalat, amely mindegyik spektrumban megtalálható".(69) Bohr nem bosszankodott: meg volt gyõzõdve arról, hogy kutatási programjának pozitív heurisztikája a maga idejében majd megmagyarázza, sõt, még helyesbíti is Michelson megfigyeléseit. És így is lett. Sommerfeld elmélete természetesen inkonzisztens volt Bohr elméletének elsõ változataival; a finomszerkezetre vonatkozó kísérletek - a régi megfigyelések korrigálásával! - döntõ bizonyítékkal szolgáltak a Sommerfeld elmélet mellett. Sommerfeld és müncheni iskolája Bohr elsõ modelljeinek kudarcait a Bohr-féle kutatási program gyõzelmeivé fordították át.
Érdekes, hogy pontosan úgy, ahogy Einstein 1913-ban elbizonytalanodott, és kutatásai a kvantumfizika látványos haladása közepette lelassultak, Bohr is elbizonytalanodott és lelassult 1916-ban; és ahogy 1913-ban Bohr vette át a kezdeményezést Einsteintõl, 1916-ban Sommerfeld(70) vette át Bohrtól. Bohr koppenhágai és Sommerfeld müncheni iskolájának légköre között szembetûnõ volt a különbség: "Münchenben konkrétabban fogalmaztak, és ezért könnyebb volt megérteni õket; sikeresek voltak a spektrumok rendszerezésében, illetve a vektormodell alkalmazásában. Koppenhágában azonban úgy gondolták, hogy az új jelenségekre megfelelõ nyelvet még nem sikerült megtalálni, és ezért tartózkodtak a túlzottan határozott megfogalmazásoktól, óvatosabban és általánosabb terminusokban fejezték ki magukat, és ezért sokkal nehezebb volt megérteni õket."(71)
Vázlatunk megmutatja, hogyan teszi a progresszív változás hihetõvé és ésszerûvé az ellentmondásos programot. Born, Planckról szóló nekrológjában, világosan leírja ezt a folyamatot: "Természetesen a hatáskvantum bevezetése önmagában nem jelenti a helyes kvantumelmélet megalapozását ... Azok a nehézségeket, amelyeket a hatáskvantumnak a jól megalapozott, klasszikus elméletbe való bevezetése a kezdetektõl fogva jelentett, már említettük. És a nehézségek, ahelyett, hogy eltûntek volna, fokozódtak; s noha a kutatások haladása néhányat felszámolt közülük, az elméletben továbbra is megmaradó hézagok annál csüggesztõbbek voltak a lelkiismeretes elméleti fizikusok számára. Valójában a Bohr-elméletben az események törvényeinek alapjául szolgáló egyes hipotézisek olyanok voltak, amilyeneket egy nemzedékkel korábban minden fizikus nyomban elutasított volna. Az, hogy az atomokon belül bizonyos kvantált (azaz a kvantumelv alapján kiválasztott) pályák különleges szerepet játszanak, még elfogadható; némiképp nehezebben fogadható el az a további feltételezés, hogy az ezeken a görbe vonalú pályákon mozgó, és ezáltal gyorsuló elektronok, nem sugároznak ki energiát. Azt azonban, hogy az emittált fénykvantum pontosan meghatározott frekvenciájának különböznie kell a kibocsátó elektron frekvenciájától, a klasszikus hagyományokon nevelkedett elméleti fizikusok döbbenetesnek és felfoghatatlannak tekintették. Azonban a számok [vagy inkább a progresszív probléma-eltolódások] a döntõek, és ebbõl fakadóan a szerepek felcserélõdtek. Eredetileg az volt a kérdés, hogy miként lehet az új, különös elemet a lehetõ legkisebb feszültség árán beleilleszteni egy már létezõ rendszerbe, amelyet általánosan elfogadottnak tekintettek; a betolakodóazonban, miután biztos pozícióra tett szert, támadásba ment át; és ma már biztosnak látszik, hogy valamikor fel fogja robbantani a régi rendszert. A kérdés ma már csupán a robbanása helye és nagysága."(72)
Az egyik legfontosabb tanulság, ami a kutatási programok tanulmányozásából leszûrhetõ, hogy viszonylag kevés kísérlet igazán fontos. Az elméleti fizikusok számára az ellenõrzések és "cáfolatok" rendszerint olyannyira nem szolgálnak érdekes heurisztikus útmutatással, hogy a nagyszabású ellenõrzés – vagy akár a már meglévõ adatokkal való túlzott foglalkozás – idõpocsékolásnak bizonyulhat. A legtöbb esetben nincs szükségünk cáfolatokra ahhoz, hogy tudjuk, egy elméletet sürgõsen egy másikkal kell felcserélni: a program pozitív heurisztikája amúgy is továbbragad bennünket. Hasonlóképpen, a program újszülött változatának szigorú, "cáfolható interpretációt" adni veszélyes módszertani kegyetlenség. Az is lehetséges, hogy az elsõ változatok kizárólag nem létezõ, "ideális" esetekre "vonatkoznak"; esetleg többévtizedes elméleti munka szükséges ahhoz, hogy elérkezzünk az elsõ új tényekhez, és még több idõ a kutatási programok érdekes módon ellenõrizhetõ változataihoz, egy olyan szint eléréséhez, ahol a cáfolatok többé nem láthatók elõre magának a programnak a fényében.
A kutatási programok dialektikája eszerint nem feltétlenül spekulatív feltevések és empirikus cáfolatok váltakozásának sorozatából áll. A program fejlõdésének és empirikus ellenõrzésének kölcsönhatása igen sokféle lehet – hogy ténylegesen melyik séma valósul meg, az csupán a történelmi véletlenen múlik. Említsünk meg három tipikus variációt.
(1) Képzeljük el, hogy az elsõ három egymást követõ változat, H1, H2, H3 egyaránt sikeresen jósolnak meg bizonyos új tényeket, másokat viszont nem, azaz mindegyik változat ugyanúgy korroborált és megcáfolt. Végül egy H4 változatot javasolnak, amely megjósol bizonyos új tényeket, és a legkomolyabb ellenõrzések próbáját is kiállja. A probléma-eltolódás progresszív, a feltevések és cáfolatok gyönyörû popperi váltakozásával állunk szemben.(73) Az emberek csodálni fogják ezt, mint annak klasszikus példáját, amikor elmélet és kísérlet kéz a kézben jár.
(2) Egy másik lehetséges séma szerint Bohr egyedül dolgozta volna ki H1-et, H2-t, H3-at és H4-et (esetleg Balmer sem elõzte volna meg), de önkritikusan nem publikálta volna õket H4kidolgozásáig. Ezután H4-et ellenõrizték volna: minden bizonyíték korroborálta volna H4-et, azaz az elsõ (és egyetlen) publikált hipotézist. Az – íróasztalánál ülõ – elméleti fizikus ebben az esetben, úgy tûnik, messze a kísérleti fizikusok elõtt jár: az elméleti fejlõdés viszonylagosan autonóm szakaszával van dolgunk.
(3) Tegyük fel, hogy H1, H2, H3 és H4 kidolgozása idején már minden, e három sémában említett empirikus bizonyítékkal rendelkezünk. Ebben az esetben H1, H2, H3 és H4 nem számít empirikusan progresszív probléma-eltolódásnak, és a tudósnak, noha minden empirikus bizonyíték alátámasztja elméletét, tovább kell dolgoznia, hogy bizonyítsa programjának tudományos értékét.(74) Ilyen helyzet elõállhat amiatt, mert egy régebbi kutatási program (amellyel szemben a H1-et, H2-t, H3-at és H4-et eredményezõ kutatási program kihívást jelent) már mindezeket a tényeket leszállította, - vagy pedig mert túl sok kormánytámogatás állt rendelkezésre a spektrumvonalakra vonatkozó adatok gyûjtésére, és a "napszámosok" véletlenül rábukkantak mindezekre az adatokra. Mindazonáltal az utóbbi eset rendkívül valószínûtlen, mivel, ahogy Cullen szokta volt mondani, "a világban forgalomban lévõ téves tények száma végtelenül meghaladja a téves elméletekét".(75) A legtöbb ilyen esetben a kutatási programok ellentétben állnak az ismert "adatokkal", az elméleti fizikusok megvizsgálják a kísérleti fizikusok "kísérleti technikáit" és megfigyelési elméleteik megdöntésével és megváltoztatásával helyesbítik adataikat, és ezáltal új adatokat produkálnak.(76)
E módszertani kitérõ után térjünk vissza Bohr programjához. A pozitív heurisztika elsõ felvázolása idején nem látták elõre, és nem tervezték meg a program minden szakaszát. Amikor különös hézagok jelentkeztek Sommerfeld kifinomult modelljében (nevezetesen, a modell olyan vonalakat predikált, amelyeket soha sem mértek), Pauli egy mély segédhipotézist javasolt (az ún. "kizárási elvet"), amely nem csupán ezeket a hézagokat magyarázta, hanem újraformálta az elemek periódusos rendszerének héjelméletét, és korábban ismeretlen tényeket anticipált.
Nem kívánom itt részletesen ismertetni a Bohr program fejlõdésének történetét. Részletes tanulmányozása azonban módszertani szempontból igazi aranybánya: csodálatosan gyors fejlõdése - ellentmondásos alapokra támaszkodva! - lélegzetelállító volt, szépsége, eredetisége és segédhipotéziseinek empirikus sikere, amelyeket briliáns, sõt zseniális tudósok dolgoztak ki, példa nélküli a fizika történetében.(77) A program egymást követõ lépései idõnként csak triviális javítást igényeltek, mint például a tömeg helyettesítését a redukált tömeggel. Máskor azonban az új változat megszületéséhez új, kifinomult matematikára volt szükség – mint például a sok-test probléma matematikája – vagy kifinomult, új segédelméletekre. A kiegészítõ matematikát vagy fizikát vagy már valamilyen korábbi elméletbõl vették át (például a relativitáselméletbõl), vagy újonnan találták ki (mint Pauli a kizárási elvet). Az utóbbi esetben a pozitív heurisztika "kreatív megváltozásának" vagyunk tanúi.
Azonban még ez a nagyszerû program is elérkezett arra a pontra, ahol megszûnt heurisztikus ereje. Az ad hoc hipotézisek megsokszorozódtak, és nem lehetett õket tartalombõvítõ magyarázatokkal helyettesíteni. Például Bohr a molekuláris (sáv) spektrumokra vonatkozó elméletébõl a kétatomos molekulákra a következõ formulát vezette le:
Azonban ezt a formulát megcáfolták. Bohr követõi az m2-et m(m+1)-re cserélték fel: ez összhangban állt a tényekkel, azonban reménytelenül ad hoc volt.
Ezután következett az alkáli spektrumokban jelentkezõ megmagyarázatlan dublettek problémája. Landé 1924-ben egy ad hoc "relativisztikus hasadási szabállyal" magyarázta õket, Goudsmit és Uhlenbeck 1925-ben az elektron spinjével. Ha Landé magyarázata ad hoc volt, Goudsmité és Uhlenbecké ráadásul ellent is mondott a speciális relativitáselméletnek: az igencsak nagyméretû elektron felületi pontjainak gyorsabban kellett mozogniuk a fénysebességnél, és az elektronnak nagyobbnak kellett lennie az egész atomnál.(78) Egy ilyen javaslathoz meglehetõs bátorságra volt szükség. (Kronigban már korábban felmerült ez a gondolat, de nem publikálta, mert elfogadhatatlannak tartotta.(79))
Azonban a vakmerõ, vadul inkonzisztens javaslatok nem hoztak több babért. A program a "tények" felfedezése mögött kullogott. Emésztetlen anomáliák árasztották el az egész területet. A még komolyabb ellentmondásokkal és még inkább ad hoc hipotézisekkel megkezdõdött a kutatási program degenerálódó szakasza: a program – hogy Popper kedvenc fordulatával éljünk – kezdte "elveszíteni empirikus karakterét".(80) Ezen kívül, számos olyan probléma volt, mint például a perturbációk elmélete, amelyek megoldására nem is lehetett számítani a program keretei között. Hamarosan feltûnt egy rivális elmélet: a hullámmechanika. Az új program nem csak hogy magyarázatot adott Planck és Bohr kvantumfeltételeire, hanem már legelsõ változatában is (de Broglie, 1924) elvezetett egy új, izgalmas tényhez, amelyet a Davisson-Germer kísérlet tárt fel. Késõbbi, még kifinomultabb változatai olyan problémákra is megoldást kínáltak, amelyek teljesen kiestek Bohr kutatási programjának hatókörébõl, és a Bohr-program késõbbi, ad hoc elméleteit magas módszertani követelményeket kielégítõ elméletekkel magyarázták meg. A hullámmechanika hamarosan elterjedt, legyõzte a Bohr-programot, és átvette helyét.
De Broglie cikke akkor jelent meg, amikor a Bohr program már
degenerálódó fázisban volt. Ez azonban merõ
véletlen. Vajon mi történt volna, ha de Broglie 1914-ben
írta és publikálta volna cikkét, nem pedig
1924-ben?
(d) A döntõ kísérletek új szemszögbõl:
az instant racionalitás vége
Helytelen lenne feltételezni, hogy mindaddig ki kell tartanunk egy bizonyos kutatási program mellett, amíg az minden heurisztikus erejét ki nem meríti, hogy addig nem szabad egy rivális programot elindítanunk, amíg mindenki egyet nem ért abban, hogy feltehetõen elértük a degenerációs pontot (noha persze meg lehet érteni a fizikusok bosszúságát, amikor egy kutatási program pozitív szakaszának a közepén olyan bizonytalan metafizikai elméletek tömegével találják szembe magukat, amelyek nem ösztönzik az empirikus fejlõdést.(81)) Soha nem szabad megengedni, hogy egy kutatási program világnézetté, vagy egyfajta tudományos követelménnyé váljon – mint a matematikában a szigorúság követelménye –, amely döntõbíróként lép fel abban a kérdésben, hogy mi számít magyarázatnak, és mi nem. Sajnos Kuhn erre az álláspontra hajlik: amit õ "normál tudománynak" nevez, valójában nem más, mint egy monopolhelyzetbe került kutatási program. Azonban a tény az, hogy kutatási programok csak igen ritkán és csak rövid idõre tettek szert teljes monopóliumra, egyes kartéziánusok, newtoniánusok és Bohr-követõk minden igyekezete ellenére. A tudomány története mindig is versengõ kutatási programok (vagy ha úgy tetszik, "paradigmák") története volt, és az is kell, hogy legyen, nem pedig egymást követõ normál tudományos szakaszok sorozata: a fejlõdés szempontjából annál jobb, minél elõbb kezdõdik a versengés. Az "elméleti pluralizmus" jobb, mint az "elméleti monizmus": ebben a kérdésben Poppernek és Feyerabendnek van igaza, Kuhn pedig téved.(82)
A versengõ kutatási programok gondolata a következõ problémához vezet: hogyan szûnnek meg a kutatásiprogramok? Korábbi fejtegetéseinkbõl már kiderült, hogy egy probléma-eltolódás degenerálódó volta éppúgy nem elégséges indok egy kutatási program feladásához, mint valamilyen régimódi "megcáfolás", vagy egy kuhni "válság". Vajon lehetséges-e egyáltalán valamilyen objektív (azaz nem szociálpszichológiai) indokot találni egy program elutasításához, azaz a kemény mag illetve a védõöv kiépítési tervének kiküszöböléséhez? Válaszunk röviden az, hogy ilyen objektív indokot egy olyan rivális kutatási program létezése szolgáltathat, amely megmagyarázza az elõbbi sikereit, heurisztikus ereje pedig nagyobb.(83)
A "heurisztikus erõ" kritériuma erõsen függ attól, hogy miként értelmezzük a "tényszerû újdonságot". Ezidáig azt feltételeztük, hogy azonnal megállapítható, egy új elmélet új tényeket predikál-e vagy sem.(84) Valójában azonban csak hosszú idõ elteltével lehet megállapítani, hogy egy ténykijelentés újdonság-e. Ennek bemutatását egy példával kezdem.
Bohr elméletébõl logikailag következik a hidrogén vonalakra vonatkozó Balmer-formula.(85) Vajon ez új tény volt? Esetleg tagadhatnánk ezt, hiszen a Balmer-formula végül is közismert volt. Ez azonban csak féligazság. Balmer pusztán "megfigyelte" B1-et: azaz, hogy a hidrogén vonalai megfelelnek a Balmer-formulának. Bohr megjósolta B2-t: azaz, hogy a hidrogén elektronpályák energiaszintjei közötti különbségek megfelelnek a Balmer-formulának. Esetleg mondhatjuk azt, hogy B1 már tartalmazta B2 minden tisztán "megfigyelési" tartalmát. Ez azonban elõfeltételezi, hogy létezhet egy tisztán "megfigyelési szint", amely az elmélet által érintetlen, amelyet az elmélet változása nem befolyásol. Valójában B1-et csupán azért fogadták el, mert a Balmer által alkalmazott optikai, kémiai és egyéb elméletek megfelelõen korroboráltak, és értelmezõ elméletekként elfogadottak voltak; ezeket az elméletek viszont mindig kétségbe lehet vonni. Esetleg érvelhetünk úgy, hogy B1-et "meg tudjuk tisztítani" elméleti elõfeltevéseitõl, és így, egy szerényebb tétel, B0 formájában megragadhatjuk azt, amit Balmer valójában megfigyelt; nevezetesen, hogy bizonyos csövekben, jól meghatározott körülmények között (vagy "egy ellenõrzött kísérlet"(86) keretein belül) emittált vonalak kielégítik a Balmer-formulát. Nos, Popper bizonyos érvei amellett szólnak, hogy soha nem érhetünk el ilyen módon valamilyen szilárd "megfigyelési" alapzathoz; könnyû megmutatni, hogy B0 is tartalmaz megfigyelési elméleteket.(87) Másfelõl, mivel a Bohr-program, hosszú fejlõdés után bizonyította heurisztikus erejét, kemény magja is erõsen korroborálttá vált,(88) és ezért "megfigyelési" vagy értelmezõ elméletnek minõsíthetõ. Ezek után azonban B2-t már nem B1 elméleti újrainterpretálásának tekintjük csupán; hanem új ténynek, önmaga jogán.
Ezek a megfontolások tovább hangsúlyozzák értékeléseink retrospektív jellegét, és standardjaink további liberalizálásához vezetnek. Egy kutatási program, amely éppen csak rajthoz állt, elindulhat "régi tények" új értelmezésével, lehetséges azonban, hogy igen sokáig nem lesz képes igazi új tényeket produkálni. Például évtizedekig úgy látszott, hogy a kinetikus hõelmélet lemarad a fenomenologikus elmélet eredményei mögött, mígnem 1905-ben a Brown-mozgás Einstein-Smoluchowski-féle elméletével végül átvette a vezetést. Ezután mindarról, ami korábban a régi (a hõre stb. vonatkozó) tények spekulatív újraértelmezésének tûnt, kiderült, hogy (az atomokra vonatkozó) új tény.
Mindennek alapján úgy tûnik, hogy egy kiforratlan kutatási programot nem szabad pusztán azért elvetnünk, mert egyelõre nem sikerült legyõznie valamelyik erõs versenytársát. Amennyiben feltételezhetjük, hogy a program probléma-eltolódása progresszív lenne, ha nem létezne egy rivális program, akkor nem szabad elvetnünk.(89) És mindenképpen új tényeknek kell tekintenünk az újraértelmezett tényeket, figyelmen kívül hagyva az amatõr ténygyûjtögetõk arcátlan igényét az elsõbbségre. Amennyiben egy kiforratlan kutatási program racionális rekonstrukciója progresszív probléma-eltolódást eredményez, egy ideig meg kell védeni erõsebb, jobban megalapozott versenytársaitól.(90)
Ezek a megfontolások, összességükben a módszertani tolerancia fontosságát hangsúlyozzák, de továbbra is megválaszolatlanul hagyják azt a kérdést, hogy miként számolódnak fel a kutatási programok. Az olvasó esetleg úgy vélheti, hogy a tévedés lehetõségére helyezett ilyen nagy hangsúly olymértékben liberalizálja, vagy inkább fellazítja standardjainkat, hogy a radikális szkepticizmusnál fogunk kikötni. Még a nevezetes "döntõ kísérletek" sem lesznek képesek megdönteni egy kutatási programot: "bármi elmegy".(91)
Ez a gyanú azonban megalapozatlan. Egy-egy kutatási programon belül meglehetõsen gyakoriak a "kisebb döntõ kísérletek". Az n-edik és n+1-edik változat között könnyen "döntenek" a kísérletek, hiszen az n+1-dik változat nem csupán ellentmond az n-ediknek, hanem le is gyõzi azt. Ha az n+1-dik változat nagyobb korroborált tartalommal rendelkezik ugyanannak a programnak, illetve ugyanazoknak a jól korroborált megfigyelési elméleteknek a fényében, akkor a kiküszöbölés rutineljárásnak számít (azonban csak viszonylagosan, mivel még e döntés ellen is lehet "fellebbezni"). A fellebbezés rendszerint szintén könnyû: sok esetben a kétségbevont megfigyelési elmélet, amely távolról sem jól korroborált, valójában nem több kifejtetlen, naiv, "rejtett" elõfeltevésnél, amelynek a létezése csupán e kihívás miatt tárul fel, s csupán e kihívás vezet az elõfeltevés részletes kidolgozásához, ellenõrzéséhez, és bukásához. Más esetekben azonban a megfigyelési elméletek maguk is bele vannak ágyazva valamilyen kutatási programba, és ekkor a "fellebbezési eljárás" két kutatási program összeütközéséhez vezet: ilyen esetekben "nagy döntõ kísérletre" van szükség.
Két kutatási program versenye esetén, elsõ "ideális" modelljeik rendszerint a terület más-más jelenségeire vonatkoznak (például Newton félig korpuszkuláris optikájának elsõ modellje a fénytörést írta le, Huygens hullámoptikájának elsõ modellje az interferenciát). Ahogy a rivális programok terjeszkednek, fokozatosan benyomulnak egymás területére is, és az egyik n-edik változata szembetûnõen inkonzisztens lesz a második m-edik változatával.(92) Egy bizonyos kísérlet többszöri megismétlésnek eredményeképpen ebben a csatában az elsõ program veszít, a második gyõzedelmeskedik. A háborúnak azonban nincs vége: minden kutatási program elveszíthet néhány csatát. A visszatéréshez mindössze egy n+1-edik (vagy n+k-adik), tartalombõvítõ változat kidolgozására van szükség, valamint az új tartalom egy részének a verifikálására.
Amennyiben hosszas fáradozás után sem sikerül a visszavágás, akkor a háború elveszett, és az eredeti kísérletet, utólag, döntõnek látjuk. Azonban, különösen akkor, ha egy fiatal és gyorsan fejlõdõ program veszít csatát, és ha úgy döntünk, hogy "tudomány elõtti" sikereit megfelelõen méltányoljuk, akkor az állítólagos döntõ kísérletek egymás után szertefoszlanak a rohamos elõrehaladás során. Még ha a vesztes egy régi, meggyökeresedett és "fáradt" program, amely közel jár "természetes kimerülési pontjához",(93) akkor is sokáig ellenállhat, és kitarthat ötletes tartalomnövelõ újításokkal, még ha ezeket nem is jutalmazza empirikus siker. Igen nehéz legyõzni egy olyan kutatási programot, amelyet tehetséges és erõs képzelõerõvel megáldott tudósok védelmeznek. Másfelõl, a legyõzött programok csökönyös védelmezõi ad hoc magyarázatokat is kínálhatnak a kísérletekre, vagy ravaszul megpróbálhatják a gyõztes programot a legyõzöttre "redukálni". Az ilyen próbálkozásokat azonban, mint tudománytalanokat, el kell utasítanunk.(94)
E megfontolásaink megmagyarázzák, hogy a döntõ
kísérletek miért csak évtizedekkel késõbb
tûnnek döntõnek. Kepler ellipsziseit csak mintegy
száz évvel Newton tételeinek megfogalmazása
után fogadták el általánosan döntõ
bizonyítékként Newton mellett és Descartes
ellen. A Merkúr perihélium anomáliának viselkedését
átmenetét évtizedekig a newtoni program számos
megoldatlan problémájának egyikeként fogták
fel; és ezt az unalmas anomáliát csak az változtatta
át Newton kutatási programjának briliáns cáfolatává,
hogy Einstein elmélete magyarázatot adott rá.(95)
Young azt állította, hogy 1802-es kétréses
kísérlete az optika korpuszkuláris és a hullámprogramja
közötti döntõ kísérlet volt; állítását
azonban csak jóval késõbb fogadták el, azután,
hogy Fresnel "progresszíve" továbbfejlesztette a hullámprogramot,
és világossá vált, hogy heurisztikus erejével
a newtoniánusok nem bírják a versenyt. Az évtizedek
óta ismert anomália csak a két rivális program
egyenlõtlen fejlõdésének hosszú idõszaka
után nyerte el a cáfolat, a kísérlet pedig
a "döntõ kísérlet" megtisztelõ címet.
A Brown-mozgás már közel egy évszázada
a csatamezõn hevert, amikor elkezdtek úgy tekinteni
rá, mint a fenomenológiai program legyõzõjére,
amely az atomisták javára dönti el a háborút.
A Balmer-sorozat Michelson-féle "cáfolatát" egy nemzedéken
át figyelmen kívül hagyták, mindaddig, amíg
Bohr gyõzedelmes kutatási programja alá nem támasztotta
azt.
Hivatkozások
Bohr (1913a): "On the Constitution of Atoms and Molecules", Philosophilcal
Magazine, 26, 1–25, 476–502. és 857–75.
Bohr (1913b): Letter to Rutherford, 6.3.1913; in Bohr
(1963), xxxviii–ix.
Bohr (1913c): "The Spectra of Helium and Hydrogen", Nature,
92, 231–2.
Bohr (1922): "The Structure of the Atom", Nobel Lecture.
Bohr (1926): Letter to Nature, 117, p. 264.
Bohr (1930): "Chemistry and the Quantum Theory of Atomic Constitution",
Faraday Lecture 1930, Journal of the Chemical Society, 1932/1,
349–84.
Bohr (1933): "Light and Life", Nature, 131, 421–3. és
457–9. (Magyarul: "Fény és élet" in Atomfizika
és emberi megismerés, Budapest: Gondolat, 1984. 11–26.)
Bohr (1936): "Conservation Laws in Quantum Theory", Nature,
138,
25–6.
Bohr (1949): "Discussion with Einstein on Epistemological Problems
in Atomic Physics", in Schilpp (ed.): Albert Einstein, Philosopher-Scientist,
I, 201–41. (Magyarul: "Vita Einsteinnel az atomfizika ismeretelméleti
problémáiról" in Atomfizika és emberi megismerés,
Budapest: Gondolat, 1984. 56–107.)
Bohr (1963): On the Constitution of Atoms and Molecules.
Born (1948): "Max Karl Ernst Ludwig Planck", Obituary Notices of
Fellows of the Royal Society, 6, 161–80.
Born (1954): "The Statistical Interpretation of Quantum Mechanics",
Nobel
Lecture. (Magyarul: "A kvantummechanika statisztikai jellege"
in Válogatott tanulmányok, Budapest: Gondolat, 1973.
293–306.)
Crookes (1886): Presidential Address to the Chemistry Section of the
British Association, Report of British Association, 558–76.
Crookes (1888): Report at the Annual General Meeting, Journal of
the Chemical Society, 53, 48–7504.
Davisson (1937): "The Discovery of Electron Waves", Nobel Lecture.
Duhem (1906): La théorie physique, son objet et sa structure,
A
második (1914-es) kiadás angol fordítása:
The
Aim and Structure of Physical Theory, Princeton University Press, 1954.
Ehrenfest (1911): "Welche Züge der Lichtquantenhypothese spielen
in der Theorie der Wärmestrahlung eine wesentliche Rolle?", Annalen
der Physik, 36, 91–118.
Ehrenfest (1913): Zur Krise der Lichtäther-Hypothese, Berlin:
Springer.
Einstein (1928): Letter to Schrödinger, 31.5.1928; in K. Przibram
(ed.): Briefe Zur Wellenmechanik, Vienna: Springer 1963.
Evans (1913): "The Spectra of Helium and Hydrogen". Nature, 92,
o. 5.
Feyerabend (1965): "Reply to Criticism", in Cohen and Wartofsky (eds):
Boston Studies in the Philosophy of Science, II, 223–61. Dordrecht:
Reidel.
Feyerabend (1968-9): "On a Recent Critique of Complementarity", Philosophy
of Science, 35, 309-31. és 36, 82–105.
Feyerabend (1970): "Against Method", in Minnesota Studies for the
Philosophy of Science, 4.
Fowler (1912): "Observations of the Principal and Other Series of lines
in the Spectrum of Hydrogen", Monthly Notices of the Royal Astronomical
Society, 73, 62–71.
Fowler (1913a): "The Spectra of Helium and Hydrogen", Nature,
92,p.
95.
Fowler (1913b): "The Spectra of Helium and Hydrogen", Nature,92,
p. 232.
Fowler (1914): "Series Lines in Spark Spectra", Proceedings of the
Royal Society of London (A), 90, 426–30.
Fresnel (1818): "Lettre à François Arago sur l'influence
du mouvement terrestre dans quelques Phénomènes Optiques",
Annales
de Chimie et de Physique, 9, 57 sk. o.
Galilei (1632): Dialogo dei Massimi Sistemi (Magyarul: Párbeszédek
a két legnagyobb világrendszerrõl, a ptolemaiosziról
és a kopernikusziról, Bukarest: Kriterion, 1983.)
Heisenberg (1955): "The Development of the Interpretation of Quantum
Theory", in W. Pauli (ed.): Niels Bohr and the Development of Physics.
London: Pergamon.
Hevesy (1913): "Letter to Rutherford, 14.10.1913", idézve in
Bohr (1963), XLII.
Hund (1968): "Göttingen, Copenhagen, Leipzig im Rückblick",
in Bopp (ed.): Werner Heisenberg and die Physik unserer Zeit,
Braunschweig.
Vieweg.
Jammer (1966): The Conceptual Development of Quantum Mechanics.
New York: McGren-Hill.
Joffé (1911): "Zur Theorie der Strahlungserscheinungen", Annalen
der Physik, 36 534-52.
Koyré (1965): Newtonian Studies. London: Chapmen and
Hell.
Kramers (1923): "Das Korrespondenzprinzip und der Schalenbau des Atoms",
Die
Naturenwissenschaften, II 550–9.
Kuhn (1962): The Structure of Scientific Revolutions, 1962.
(Magyarul: A tudományos forradalmak szerkezete, Budapest:
Gondolat, 1984.)
Kuhn (1965): "Logic of Discovery or Psychology of Research", in I.
Lakatos and A. Musgrave (eds.): Criticism and the Growth of Knowledge,
Cambridge: Cambridge University Press, 1970, 1–23.
Lakatos (1962): "Infinite Regress and the Foundations of Mathematics",
AristotelianSociety
Supplementary Volome, 36, 155–94.
Lakatos (1963-4): "Proofs and Refutations", The British Journal
for the Philosphy of Science, 14, 1–25, 120–39, 221–43, 296–342.
(Magyarul: Bizonyítások és cáfolatok,
Budapest: Gondolat, 1981.)
Lakatos (1968a): "Changes in the Problem of Inductive Logic",
in Lakatos (ed.): The Problem of Inductive Logic, Amsterdam: North-Holland.
315–417.
Lakatos (1968b): "Criticism and the Methodology of Scientific
Research Programmes" in Proceedings of the Aristotelian Society, 69,
149–86.
(Magyarul: "A kritika és a tudományos kutatási programok
metodológiája", Lakatos Imre tudományfilozófiai
írásai, Budapest: Atlantisz, 1997. 19–63. o.)
Lakatos (1971a): "Popper zum Abgrenzungs- Induktionsproblem",
in H. Lenk (ed.) Neue Aspekte der Wissenschaftstheorie, Braunschweig:
Vieweg.
Lakatos (1971b): "History of Science and its Rational Reconstructions",
in R. C. Buck R. S. Cohen (eds.): PSA 1970, Boston Studies in
the Philosophy of Science. 8, 91–135. (Magyarul: "A tudomány
története és annak racionális rekonstrukciói",
Lakatos
Imre tudományfilozófiai írásai, Budapest:
Atlantisz, 1997. 65–128. o.)
Lakatos (1971c): "Replies to Critics", in R C. Buck and R. C.
Cohen (eds.): PSA Boston Studies in the Philosophy of Science. 8,
174–82. Dordrecht: Reidel.
Lakatos (1974): "Popper on Demarcation and Induction" in P. A. Schilpp
(ed.): The Philosophy of Karl Popper, 241–73. La Salle: Open Court.
Laplace (1796): Exposition du Système du Monde, Paris:
Bachelier.
McCulloch (1825): The Principles of Political Economy: With
a Sketch of the Rise and Progress of the Science, Edinburgh: William
and Charles Tait.
MacLaurin (1748): Account of Sir Isaac Newton's Philosophical Discoveries.
Margenau (1950): The Nature of Physical Reality, New York: Graw-Hill..
Marignac (1860): "Commentary on Stas' Researches on the Mutual Relations
of Atomic Weights", újranyomva in Prout's Hypothesis,Alembic
Club Reprints, 20, 48–58.
Maxwell (1871): Theory of Heat, London: Longmans.
Moseley (1914) "Letter to Nature", Nature, 92, p. 554.
Mott (1933): "Wellenmechanik und Kernphysik", in Geiger and Scheel
(eds.): Handbuch der Physik, Zweite Auflage, 24/1, 785–841.
Neurath (1935): "Pseudorationalismus der Falsifikation", Erkenntnis,
5,
353–65.
Nicholson (1913) "A Possible Extension of the Spectrum of Hydrogen",
Monthly
Notices of the Royal Astronomical Society, 73,
382–5.
Pauli (1961): "Zur älteren und neueren Geschichte des Neutrinos",
in Pauli: Aufsätze und Vorträge über Physik und Erkenntnistheorie,
156–80.
Planck (1900a): "Über eine Verbesserung der Wienschen Spektralgleichung",
Verhandlungen
der Deutschen Physikalischen Gesellschaft, 2, 202-4; angol fordítás
in Ter Haar (1967). (Magyarul: "A Wien-féle eloszlási törvény
módosításáról" in Válogatott
tanulmányok, Budapest: Gondolat, 1982. 339–44. o.)
Planck (1900b): "Zur Theorie des Gesetzes der Energieverteilung
im' Normalspektrum", Verhandlungen der Deutshcen Physikalischen Gesellschaft,
2,
237–45,
angol fordítás in Ter Har (1967). (Magyarul: "A normálspektrum
energia eloszlási törvényének elmélete"
in Válogatott tanulmányok, Budapest: Gondolat, 1982.
345–57. o.)
Planck (1929): "Zwanzig Jahre Arbeit am Physilkalischen Weltbild",
Physica,
9,
193-222. (Magyarul: "Az új fizika világképe" in
Válogatott tanulmányok, Budapest: Gondolat, 1982.
83–113. o.)
Planck (1948): Scientific Autobiography, német poszthumusz
kiadás: 1948, angol fordítása: 1950. (Magyarul: "Tudományos
önéletrajz" in Válogatott tanulmányok,
Budapest: Gondolat, 1982. 43–65. o.)
Poincaré (1902): La Science et l'Hypothèse, 1902. (Magyarul:
Tudomány
és föltevés, Budapest: Magyar Királyi Természettudományi
Társulat, 1908.)
Popper (1934): Logik der Forschung, 1935. (Magyarul: A tudományos
kutatás logikája, Budapest: Európa, 1997.)
Popper (1940): "What is Dialectic?", Mind, N.S. 49, 403–26.
Popper (1960): "Philosophy and Physics"; published in Atti del XII
Congresso Internazionale di Filosofia, Vol.2, 1960, 363-74.
Popper (1967): "Quantum Mechanics without »The Observer«"
in M. Bunge (ed.): Quantum Theory and Reality, Berlin: Springer.
Popper (1969): "A Realist View of Logic, Physics and History", in Yourgrau
and Breck (eds.): Physics, Logic and History, New York and London:
Plenum Press.
Power (1964): Introductory Quantum Electrodynamics, London:
Longmans.
Prout (1815) "On the Relation between the Specific Gravities of Bodies
in their Gaseous State and the Weights of their Atoms", Annals of Philosophy,
6,
321–30;
újranyomva in Prout's Hypothesis,
Alembic Club Reprints,
20, 1932.
Reichenbach (1951): The Rise of Scientific Philosophy, Los Angeles:
University of California Press.
Rutherford, Chadwick and Ellis (1930): Radiations from Radioactive
Substances, Cambridge University Press.
Schrödinger (1958): "Might perhaps Energy be merely a Statistical
Concept?", II Nouvo Cimento, 9, 162–70.
Soddy (1932): The Interpretation of the Atom, London:
Ruway.
Sommerfeld (1916): "Zur Quantentheorie der Spektrallinien", Annalen
der Physik, 51, 1–94. and 125–67.
Ter Haar (1967): The Old Quantum Theory, Oxford: Pergamon.
Truesdell (1960): "The Program toward Rediscovering the Rational Mechanics
in the Age of Reason", Archive of the History of Exact Sciences, 1,
3–36.
Uhlenbeck and Goudsmit (1925): "Ersetzung der Hypothese vom unmechanischen
Zwang durch eine Forderung bezüglich des inneren Verhaltens jedes
einzelnen Electrons", Die Naturwissenschaften, 13, 953–4.
van der Waerden (1967): Sources of Quantum Mechanics, Amsterdam:
North-Holland.
Watkins (1958): "Influential and Confirmable Metaphysics", Mind,
N.
S. 67, 344–65.
Whewell (1837): History of the Inductive Sciences, from the Earliest
to the Present Time. Three volumes.
Whewell (1840): Philosophy of the Inductive Sciences, Founded upon
their History. Two volumes.
Whewell (1851) "On the Transformation of Hypotheses in the History
of Science", Cambridge Philosophica Transactions, 9, 139–47.
Whewell (1858) Novum Organon Renovatum. Being the second
part of the philosophy of the inductive sciences. Third edition.
Whewell (1860): On the Philosophy of Discovery, Chapters Historical
and Critical.
Whittaker (1953): History of the Theories of Aether and Electricity,
Vol. II.
Wisdom (1963): "The Refutability of »Irrefutable«Laws",
The
British Journal for the Philosophy of Science, 13, 303–6.
(Fordította Ambrus Gergely)
JEGYZETEK
* "Falsification and the Methodology of Scientific Research Programmes", in I. Lakatos and A. Musgrave (eds.): Criticism and the Growth of Knowledge, Cambridge: Cambridge University Press, 1970. 91–196. o. Az általunk közölt részlet a 132–159. oldalakon található.
1. Meg lehet mutatni, hogy a pozitív és negatív heurisztika hozzávetõleges (implicit) definícióját adja a "fogalmi keretnek" (és következésképpen a nyelvnek). Ezért az a felismerés, hogy a tudomány története inkább a kutatási programok története, mintsem az elméleteké, annak a nézetnek a részleges gyõzelmeként fogható fel, amely szerint a tudomány története a fogalmi kereteinek vagy a tudományos nyelvek története.
2. Popper (1934) 11. és 70. szakasz. A "metafizikai" szót a naiv falszifikácionizmus technikai kifejezéseként használom: egy kontingens kijelentés akkor "metafizikai", ha nincsenek "lehetséges falszifikálói".
3. Watkins (1958). Watkins felhívja a figyelmet arra, hogy "a kijelentések és elõírások logikai különbsége a metafizikai-metodológiai területen jól megmutatkozik abban, hogy az ember elutasíthatja egy [metafizikai] tanítás ténykijelentés formáját, miközben elõírás formáját elfogadja." (356–7. o.)
4. Ehhez a kartéziánus kutatási programhoz lásd Popper (1958) és Watkins (1958) 350–51.o.
5. Az "ellenpélda" és az "anomália" fogalmának tisztázásához lásd jelen írás 110. o. és különösen 159. o. 1. lábjegyzet. [A jelen fordítás 95. jegyzete]
6. Laplace (1796) IV. könyv, ii. fejezet.
7. Egy program valódi kemény magja nem teljes vértezetében jelenik meg a színen, ahogy Pallasz Athéné pattant ki Zeusz fejébõl. Lassan fejlõdik ki, hosszú, "próba és tévedés" folyamat eredményeként. E tanulmányban ezt a folyamatot nem tárgyaljuk.
[A történet egy bolygó rendhagyó viselkedésérõl szól. Egy Einstein elõtti fizikus veszi a newtoni mechanikát, a gravitáció törvényét (N), az elfogadott K kezdeti feltételeket, és segítségükkel kiszámítja egy újonnan felfedezett kis b bolygó pályáját. A bolygó azonban eltér a kiszámolt pályától. Úgy gondolja-e newtoniánus fizikusunk, hogy Newton elmélete megtiltja az eltérést, s ha egyszer az megalapozást nyert, akkor megcáfolja N-t? Nem. Azt állítja, hogy lennie kell egy mindeddig ismeretlen b' bolygónak, amely megzavarja b pályáját. Kiszámítja e feltételezett bolygó tömegét, pályáját stb., s megkér egy kísérleti csillagászt, hogy ellenõrizze hipotézisét. De a b' bolygó olyan parányi, hogy még a legnagyobb létezõ teleszkóppal sem lehet megfigyelni. Ezért a kísérleti csillagász kutatási támogatásra pályázik, hogy építsen egy nagyobbat. Három év múlva elkészül az új teleszkóp. Ha felfedeznék az ismeretlen b' bolygót, azt a newtoniánus tudomány újabb nagy gyõzelmeként ünnepelnék.De nem fedezik fel. Feladja hát tudósunk a newtoni elméletet és a zavaró bolygóra vonatkozó elgondolását? Nem. Azt állítja, hogy a bolygót kozmikus porfelhõ takarja el. Kiszámítja a felhõ helyét és tulajdonságait, s kutatási támogatást kér egy mûhold felküldésére, hogy ellenõrizze számításait. Amennyiben a mûhold mûszerei (melyek feltehetõen újak, és egy kevéssé ellenõrzött elméleten alapulnak) kimutatnák a feltételezett felhõt, ezt a newtoniánus tudomány kiemelkedõ gyõzelmeként ünnepelnék. De a felhõt nem találják. Feladja hát tudósunk a newtoni elméletet és a zavaró bolygóra valamint az azt eltakaró felhõre vonatkozó elgondolását? Nem. Azt állítja, hogy a világegyetem azon régiójában mágneses erõtér található, amely megzavarta a mûhold mûszereit. Egy új mûholdat küldenek fel. Ha megtalálnák a mágneses erõteret, azt a newtoniánusok szenzációs gyõzelemként ünnepelnék. De nem találják. Megcáfolja ez a newtoniánus tudományt? Nem. Vagy egy újabb ötletes segédhipotézist javasolnak, vagy ... az egész történetet poros folyóirat-kötetekbe temetik, hogy aztán soha többé ne említsék.]
9. A "cáfolatot" minden esetben sikerült "rejtett lemmákká" alakítani, azaz olyan lemmákká, amelyek korábban megbújtak a ceteris paribus feltételezésben.
10. De vö. a jelen írás (d) szakaszának elsõ felében írottakkal.
13. Amennyiben a természettudós (vagy matematikus) rendelkezik pozitív heurisztikával, akkor elutasítja a megfigyelésekkel való foglalkozást. "Ledõl az ágyra, behunyja szemét, és megfeledkezik az adatokról" (Vö. Lakatos (1963-4) különösen a 300. o. 2. bek. ahol egy ilyen programot leíró részletes esettanulmány olvasható. (Magyar kiadás: 109. sk. o.)) Olykor persze feltesz a Természetnek valamilyen ravasz kérdést: s biztatásnak veszi, ha a Természet Igennel válaszol, de a Nem választól sem bátortalanodik el.
14. Reichenbach, Cajori-t követve, más magyarázatot ad arra, hogy mi késleltette Newtont a Principia kiadásában. "Newton, csalódására, azt tapasztalta, hogy a megfigyelési eredmények nem egyeznek számításaival. Ahelyett, hogy elméletét, lett légyen bármily szép is, a tények elébe helyezte volna, inkább fiókba zárta a kéziratot. Mintegy húsz évvel késõbb, amikor egy francia expedíció új méréseket végzett a Föld kerületére vonatkozóan, Newton észrevette, hogy azok az értékek, amelyekre elméletét alapozta, tévesek voltak, és a javított értékek összhangban voltak elméleti számításaival. Csak ezután az ellenõrzés után publikálta törvényét... Newton története az egyik legegyértelmûbb illusztrációja a modern tudomány módszerének." (Reichenbach (1951) 101–2. o.) Feyerabend bírálja Reichenbach felfogását (Feyerabend (1965)), de nem ad semmilyen alternatív magyarázatot.
15. Ezzel kapcsolatban lásd Truesdell (1960).
16. Soddy hozzájárulása Prout programjához, illetve Pauli hozzájárulása Bohréhoz tipikus példák az ilyen kreatív változásokra.
17. A "verifikáció" a terjeszkedõ program többlettartalmának korroborációja. De persze a "verifikáció" nem verifikál egy programot: csupán heurisztikus erejét mutatja meg.
18. Vö. Lakatos (1963–4) 324–30. o. (Magyar kiadás: 139–147. o.) Sajnos az (1963–4)-es szövegben még nem tisztáztam az elméletek és a kutatási programok különbségét, és ez hátráltatott az informális, kvázi-empirikus matematikai kutatási program részletes tárgyalásában.
21. Sajnos, ez inkább racionális rekonstrukció, és nem a tényleges történelem. Prout tagadta, hogy anomáliák léteznének. Például azt állította, hogy a klór atomsúlya pontosan 36.
22. Prout tudatában volt programja bizonyos módszertani vonásainak. Hadd idézzük az elsõ sorokat 1815-ös írásából: "E tanulmány írója a legnagyobb bizonytalanságok közepette nyújtja át mûvét az olvasóknak... Azonban abban bízik, hogy a mû fontosságát látni fogják, és hogy lesz valaki, aki megvizsgálja azt, és ezáltal igazolja vagy megcáfolja konklúzióit. Még ha ezek a konklúziók tévesnek bizonyulnának is, a kutatás akkor is újabb tényeket hozhat napvilágra és jobban megalapozhatja a régieket; ha azonban beigazolódnának, akkor a kémia egész tudománya új, érdekes színben tûnne fel."
23. Clerk Maxwell Stas oldalán állt: lehetetlennek vélte, hogy két különbözõ fajta hidrogén legyen, "mivel ha néhány [molekula] kissé nagyobb tömeggel rendelkezne mint a többiek, akkor lennének eszközeink az eltérõ tömegû molekulák szétválasztására; egyesek sûrûsége kissé nagyobb lenne a többiekénél. Miután ez nem áll fenn, el kell ismernünk, [hogy mind ugyanolyanok]. (Maxwell (1871)).
28. A "fogalomtágításról" lásd Lakatos (1963–4) IV. rész. (Magyarul: 104–156. o.)
29. Ezt a fordulatot Crookes (1888) már megelõlegezi, ahol arra utal, hogy a megoldást a "fizikai" és a "kémiai" közötti új határvonal meghúzásával kellene keresni. Ez az anticipáció azonban pusztán filozófiai maradt; és Rutherfordra valamint Soddyra várt, hogy – 1910 után – tudományos elméletté fejlesszék.
32. Vitathatatlan, hogy ezek az akadályok sok tudóst arra ösztönöznek, hogy félretegyék, vagy teljes egészében elvessék a programot, és olyan más kutatási programokhoz csatlakozzanak, amelyek pozitív heurisztikája könnyebb sikerekkel kecsegtet: a tudomány története nem érthetõ meg teljesen a tömegpszichológia nélkül. (Vö. lejjebb 177–80.)
33. Ez a szakasz ismét inkább karikatúrának, mint vázlatnak tûnhet a történészek szemében, azonban remélem, hogy a célnak megfelel. (Vö. a (c) szakasz elején tett megjegyzésünkkel). Egyes állításokat nem csak egy csipetnyi, hanem több tonna sóval kell fogyasztani.
34. Ez persze egy további érv J. O. Wisdom tételével szemben, aki szerint a metafizikai elméletek megcáfolhatók a nekik ellentmondó, jól korroborált tudományos elméletekkel (Wisdom 1963). Lásd még e mû 112. o. 1. lábjegyzet és 126–7. o.
36. Bohr ebben az idõben úgy gondolta, hogy a Maxwell-Lorentz elméletet végül majd fel kell váltani egy másik elmélettel. (Einstein fotonelmélete már jelezte ennek szükségességét.)
37. Hevesy (1913): vö. e mû 136. o. 1. [a jelen fordításban 13.] lábjegyzetéhez tartozó fõszöveggel.
38. Saját metodológiánk szerint nincs szükség ilyen ad hoc hadicselekre. Másfelõl azonban ezek csak addig ártalmatlanok, amíg egyértelmû, hogy problémáknak és nem megoldásoknak tekintik õket.
39. Bohr (1922); az én kiemelésem.
41. Sommerfeld inkább figyelmen kívül hagyta, mint Bohr: vö. e mû 150. o. 4. [a jelen fordításban 71.] lábjegyzet.
43. Schrödinger idézi: Schrödinger (1958) 170. o.
44. Két állítás inkonzisztens, ha konjunkciójuknak nincsen modellje, azaz, ha deskriptív terminusaiknak nincs olyan interpretációja, amelyre a konjunkció igaz. Azonban az informális diskurzusban nem csak a formális kifejezéseknek, de egyes deskriptív kifejezéseknek is rögzítjük az interpretációját. Ebben az informális értelemben két állítás (gyengén) inkonzisztens lehet bizonyos karakterisztikus kifejezések standard interpretációja mellett akkor is, ha formálisan, azaz valamilyen, a szándékolttól eltérõ interpretáció mellett, esetleg konzisztensek. Például az elektron spinjére vonatkozó elsõ elméletek inkonzisztensek voltak a speciális relativitáselmélettel, ha a "spin" ("erõs") standard interpretációját tekintjük, és ezáltal rögzített interpretációjú kifejezésként kezeljük; az inkonzisztencia azonban eltûnik, amennyiben a "spin"-t nem interpretált, deskriptív kifejezésként kezeljük. A standard interpretációkat azért nem szabad túl gyorsan feladni, mert a jelentések ilyenfajta elszegényítése a program pozitív heurisztikáját is elszegényítheti. (Másfelõl az ilyen jelentésváltozások bizonyos esetekben progresszívek is lehetnek: vö. e mû 126. o.)
A rögzített interpretációjú és leíró kifejezések közötti demarkáció megváltozásáról az informális diskurzusokban lásd Lakatos (1963–64), 9b, különösen a 335. o. 1. lábjegyzetét. (Magyarul: 153–156. o. különösen 154. o. 2. lábjegyzet)
45. Bohr (1922), utolsó bekezdés.
46. A naiv falszifikácionisták ezt a liberalizmust hajlamosak az értelem elleni bûnként felfogni. Legfõbb érvük a következõ: "ha elfogadnánk az ellentmondásokat, akkor fel kell adnunk mindenfajta tudományos tevékenységet: ez a tudomány teljes felszámolását jelentené. Ez belátható annak a bizonyításával, hogy ha két egymásnak ellentmondó állítást elfogadunk, akkor tetszõleges állítást el kell fogadnunk; hiszen ellentmondó állításokból bármilyen állítás érvényesen következik. Ezért egy olyan elmélet, amely ellentmondást tartalmaz, elméletként tökéletesen használhatatlan." Popper (1940). A méltányosság kedvéért hangsúlyoznunk kell, hogy Popper ezen a helyen a hegeli dialektika ellen érvel, amelyben az inkonzisztencia erénnyé válik: és tökéletesen igaza van, amikor rámutat ennek a veszélyeire. Azonban Popper soha sem elemezte az inkonzisztens alapokon nyugvó empirikus (vagy nem-empirikus) fejlõdés sémáit; (1934)-es mûvének 24. szakaszában a konzisztenciát és a falszifikálhatóságot az elméletek tudományosságának feltétlenül szükséges követelményévé tette. E probléma részletesebb tárgyalásához lásd Lakatos (1974c).
49. Born (1954) olyan plasztikus leírást adott a korrespondencia elvrõl, amely erõsen alátámasztja ezt a kettõs értékelést: "A helyes formulák kitalálásának mûvészete, amelyek eltérnek a klasszikus formuláktól, de ugyanakkor határesetként tartalmazzák õket... a tökéletesség magas fokát érte el."
50. A kudarcok hosszú sorozatának lenyûgözõ történetéhez lásd Whittaker (1953) 103–4. o. Planck maga is drámaian írja le ezeket az éveket: "Jópár évig hiábavaló kísérleteket folytattam, hogy az elemi hatáskvantumot beillesszem a klasszikus elméletbe, és ez igen nagy erõfeszítésembe került. Számos kollégám majdhogynem tragikusnak látta ezeket az eseményeket ..." Planck (1947).
51. Természetesen egy redukcionista program csupán akkor tudományos, ha többet magyaráz meg, mint aminek a megmagyarázását célul tûzte ki: máskülönben a redukció nem tudományos redukció (vö. Popper (1969)). Ha a redukció nem eredményez új empirikus tartalmat, új tényekrõl nem is szólva, akkor a redukció degenerálódó probléma-eltolódást képvisel és pusztán nyelvi játék. A kartéziánusok erõfeszítései metafizikájuk alátámasztására annak érdekében, hogy képesek legyenek a newtoni gravitációt e metafizika kereteiben értelmezni, kiemelkedõ példája az ilyen, pusztán nyelvi redukciónak. (Vö. e mû 126. o. 2. lábjegyzet)
52. Einstein (1928). A koppenhágai "anarchizmus" bírálói között meg kell említenünk – Einstein mellett – Poppert, Landét, Schrödingert, Margenaut, Blohincevet, Bohmot, Fényest és Jánossyt. A koppenhágai értelmezés védelméhez lásd Heisenberg (1955)-öt; Popper (1967) a közelmúltban erõteljes bírálatot fogalmazott meg. Feyerabend (1968-9) kihasználja Bohr álláspontjának bizonyos inkonzisztenciáit és ingadozásait Bohr filozófiájának hozzávetõleges, apologetikus cáfolatához. Feyerabend tévesen mutatja be Popper, Landé és Margenau kritikus álláspontját Bohrral szemben, nem hangsúlyozza eléggé Einstein ellenállását, és úgy tûnik, tökéletesen elfelejtette, hogy korábbi írásaiban ebben a kérdésben popperiánusabb volt Poppernél.
53. Power (1964). 31. o. (az én kiemelésem). A "teljesen"-t itt szó szerint kell érteni. Mint ahogy a Nature-ben olvassuk (222, 1969, 1034–5.) "Abszurd feltételezés, hogy a [kvantum] elmélet bármelyik alapvetõ eleme téves lehet ... Az érvek, miszerint a tudományos eredmények mindig ideiglenesek, nem tarthatók. Ami ideiglenes, az a filozófusok elképzelése a modern fizikáról, ugyanis még nem ismerték fel, hogy a kvantumfizika felfedezései milyen alapvetõen befolyásolják az ismeretelmélet egészét ... Azt az állítást, hogy a hétköznapi nyelv a fizikai leírás egyértelmûségének végsõ forrása, a legmeggyõzõbben a kvantumfizika megfigyelési feltételei igazolják".
54. Ez racionális rekonstrukció. Valójában Bohr ezt az elképzelést csak (1926)-os írásában fogadta el.
55. Túl ezen az analógián, Bohr pozitív heurisztikájának volt egy másik alapvetõ gondolata, nevezetesen a "korrespondencia elv". Ez már 1913-ban felmerült (vö. öt posztulátuma közül a másodikkal, melyet pár oldallal ezelõtt idéztünk), azonban csak késõbb fejlesztette tovább, amikor vezérelvként alkalmazta késõbbi finomabb modelljei bizonyos problémáinak megoldásában (például a polarizációs állapotoknál és intenzitásoknál). Pozitív heurisztikája e második elemének az volt a különlegessége, hogy Bohr nem hitt metafizikai verziójában; ideiglenes szabálynak tekintette, amely a klasszikus elektromágnesesség (és esetleg a mechanika) leváltásáig marad hatályban.
56. Davisson (1937). MacLaurin hasonló eufóriát tapasztalt 1748-ban Newton programjával kapcsolatban: Newton "filozófiája, mivel kísérleteken és bizonyításokon alapul, nem tévedhet mindaddig, amíg az ész, vagy a dolgok természete meg nem változik meg ... (Newton) alig hagyott több feladatot az utókorra, mint az égbolt megfigyelését és a számolást modelljei szerint." MacLaurin (1748. (8. o.))
57. A "naiv feltevést" itt technikai kifejezésként alkalmazom, abban az értelemben, mint Lakatos (1963–4)-ben. A (természet vagy a matematikai) tudományok "induktív alapjáról" szóló mítosz részletes bírálatához és egy esettanulmányhoz lásd uo. 7. szakasz, különösen 298–307. o. (Magyarul: 106–116. o.) Ott megmutatom, hogy Descartes és Euler "naiv feltevése", miszerint minden poliéderre C – É + L = 2, irreleváns és felesleges volt a késõbbi fejlemények szempontjából; további példa gyanánt megemlítem, hogy Boyle és követõinek munkája a pv = RT összefüggés megalapozására irreleváns volt a késõbbi elméleti fejlõdés szempontjából (eltekintve bizonyos kísérleti technikák kifejlesztésére vonatkozó hatását), ahogy Kepler három törvénye is felesleges volt a newtoni gravitációs elmélet szempontjából.
Ennek a kérdésnek a további tárgyalásához lásd még e mû 175. o.
58. Vö. Jammer (1966) 77. o. 2. bek.
59. Fowler (1912). Fowler "megfigyelési" elméletét véletlenül "Rydberg elméleti kutatásai" biztosították, amelyekre "szigorú kísérleti bizonyítékok hiányában úgy tekintett, mint (kísérleti) eredményeinek igazolására" (65. o.) Elméleti fizikus kollégája, Nicholson professzor azonban három hónappal késõbb úgy utalt Fowler eredményeire, mint "Rydberg elméleti dedukciójának laboratóriumi konfirmációjára" (Nicholson (1913)). Ez a kis történet azt hiszem, alátámasztja kedvenc tézisemet, amely szerint a legtöbb tudós alig tud többet a tudományról, mint a halak a hidrodinamikáról.
A Királyi Csillagászati Társaság 93. Éves Közgyûlésének Tanácsa által készített jelentése szerint Fowler "laboratóriumi kísérletek során végzett megfigyelése" az új "hidrogénvonalakra vonatkozóan, amelyekkel kapcsolatban a fizikusok korábbi erõfeszítései nem jártak sikerrel", "nagy jelentõségû elõrelépés" és a "jól-irányzott kísérleti munka diadala".
61. Evans (1913). Hasonló példa arra, hogy egy elméleti fizikus hogyan tanította meg a cáfolatára büszke kísérleti fizikust arra, hogy valójában mit is észlelt: lásd e mû 130. o. 5. lábjegyzet.
62. Torzszülött-kiigazítás: egy ellenpélda példává változatása, valamilyen új elmélet révén. Vö. Lakatos (1963–4) 127. o. (Magyarul: 55. sk. o.) Bohr "torzszülött-kiigazítás"-a azonban empirikusan "progresszív" volt: megjósolt egy új tényt (a 4686-os vonal megjelenését az olyan csövekben, amelyek nem tartalmaznak hidrogént.)
64. Bohr (1913c). Ez a torzszülött-kiigazítás szintén "progresszív" volt: Bohr azt jósolta, hogy Fowler megfigyelései kissé pontatlanok, és hogy a Rydberg "konstans"-nak van valamilyen finomszerkezete.
65. Fowler (1913b). Fowler azonban szkeptikusan megjegyezte, hogy Bohr programja még nem magyarázta meg az ionizálatlan, közönséges hélium spektrumvonalait. Mindazonáltal hamarosan feladta szkeptikus álláspontját, és csatlakozott Bohr kutatási programjához. (Fowler (1914)).
66. Vö. Hevesy (1913): "Amikor beszámoltam neki a Fowler spektrumról, Einstein nagy szemei még jobban kikerekedtek és azt mondta: »Akkor ez egyike a legnagyobb felfedezéseknek«."
67. A kutatási programok alapvetõ matematikai aspektusaihoz lásd a megjegyzést nem sokkal a (c) szakasz kezdete elõtt.
68. Michelson (1891–2), különösen 287–9. Michelson meg sem említi Balmert.
71. Hund (1961). Feyerabend (1968–9) 83–7. o. kissé bõvebben tárgyalja ezt. Azonban Feyerabend írása erõsen elfogult. Cikkének legfõbb célja, hogy csökkentse Bohr módszertani anarchizmusának jelentõségét, és annak megmutatása, hogy Bohr ellenezte az új (1925 utáni) kvantumprogram koppenhágai értelmezését. Ennek érdekében Feyerabend egyfelõl túlhangsúlyozza Bohr elégedetlenségét azzal, hogy a régi (1925 elõtti) kvantumprogram inkonzisztens volt, másfelõl pedig túl sokat facsar ki abból a ténybõl, hogy Sommerfeld kevésbé törõdött a régi program ellentmondásos alapjainak problematikusságával, mint Bohr.
72. Born (1948) 180. o. – kiemelés tõlem.
73. Az elsõ három sémába nem veszünk bele olyan bonyodalmakat, mint a sikeres fellebbezések a kísérleti tudósok döntéseivel szemben.
74. Ez azt mutatja, hogy ha pontosan ugyanazokat az elméleteket és bizonyítékokat más idõrend alapján rekonstruáljuk racionálisan, progresszív és degenerálódó probléma-eltolódást egyaránt alkothatnak. Vö. még Lakatos (1968a) 387. o.
75. McCulloch (1825) 21. o. Egy amellett szóló erõs érvét, hogy milyen rendkívül valószínûtlen egy ilyen séma, lásd a (d) szakasz közepét.
76. Talán meg kellene említeni, hogy a mániákus adatgyûjtés – és a "túl nagy" pontosság meghiúsítja – még az olyan naiv "empirikus" hipotézisek megalkotását is, mint Balmeré. Ha Balmer ismerte volna Michelson finom-spektrumát, vajon valaha is kitalálta volna formuláját? Vagy, ha Tycho Brache adatai pontosabbak lettek volna, vajon valaha is felmerültek volna Kepler elliptikus törvényei? Ugyanez érvényes az általános gáztörvény naiv, elsõ változatára, és így tovább. A poliéderekre vonatkozó Descartes-Euler tételt talán soha sem fogalmazták volna meg, ha nem lettek volna híján az adatoknak; vö. Lakatos (1963–4), 298. o. 2. bek. (Magyarul: 106–7. o.)
77. "Bohr nagy trilógiájának megjelenése és a hullámmechanika színrelépése (1925) között igen sok tanulmány jelent meg, amelyek Bohr gondolatait az atomi jelenségek lenyûgözõ elméletévé fejlesztették. Ez közös vállalkozás volt, és a résztvevõ fizikusok névsora igen lenyûgözõ: Bohr, Born, Klein, Rosseland, Kramers, Pauli, Sommerfeld, Planck, Einstein, Ehrenfest, Epstein, Debye, Schwarzschild, Wilson." Ter Haar (1967) 43. o.
78. Tanulmányuk egyik lábjegyzete szerint: "Vegyük észre, hogy (elméletünk szerint) az elektron kerületi sebessége jelentõsen meghaladná a fénysebességet" Uhlenbeck és Goudsmit (1925)
79. Jammer (1966) 146–8. és 151. o.
80. A Bohr programnak errõl a degenerálódó fázisáról plasztikus leírást ad Margenau (1950) 311–3. o.
Egy program progresszív fázisában a legfõbb heurisztikus ösztönzõ a pozitív heurisztikából származik: az anomáliákat nagyrészt figyelmen kívül hagyják. A degenerálódó szakaszban a program heurisztikus ereje kimerül. Rivális program hiányában ez a szituáció talán az anomáliák iránti szokatlan hiperérzékenységként jelenik meg a tudósok lelkivilágában, olyan érzésként, amit Kuhn "válságnak" nevez.
81. Bizonyára ez irritálta a legjobban Newtont a kartéziánus "elméletek szkeptikus elszaporodásában".
82. Mindazonáltal szól valami amellett is, hogy legalábbis néhány ember ragaszkodjon egy kutatási programhoz egészen annak "kimerülési pontjáig"; ilyen esetben az új programnak el kell számolnia a régi program minden sikerével. Ez ellen a követelmény ellen nem érv, hogy esetleg a rivális program, elsõ formájában, az elsõ program minden akkori sikerét megmagyarázta; a kutatási programok fejlõdése ugyanis nem jósolható meg és így lehetséges, hogy a késõbbiekben fontos segédelméletek kidolgozását segítik elõ. Ezenkívül, ha egy P1 kutatási program An változata matematikailag ekvivalens egy rivális P2 program Am változatával, akkor mindkettõt fejleszteni kell: heurisztikus erejük ugyanis igen eltérõ lehet.
83. A "heurisztikus erõ"-t itt szakszóként használom, amely azt fejezi ki, hogy a kutatási program milyen mértékben képes új tények megjóslására. Használhatnám persze a "magyarázó erõ" kifejezést is: vö. e mû. 119. o. 1. lábjegyzet.
84. Vö. e mû 116. o. 2. lábjegyzethez tartozó szöveg. és 134. o. 3. lábjegyzethez tartozó szöveg.
86. Vö. e mû 111. o. 6. lábjegyzet
87. Poppernek van egy rendkívül fontos érve: "Egy általános hiedelem szerint a »Látom, hogy ez az asztal fehér« állításnak az ismeretelmélet szempontjából van valami mélységes elõnye az »Ez az asztal fehér« állítással szemben. De lehetséges objektív ellenõrzéseinek értékeklése szempontjából az elsõ állítás, amelyik rólam szól, nem tûnik biztosabbnak, mint a második, amelyik az itt lévõ asztalról szól." (1934) 27. szakasz. (Magyarul: 128. o.). Neurath jellegzetesen ostoba megjegyzést fûz ehhez a szövegrészhez: "Az ilyen protokolltételeknek az az elõnyük, hogy nagyobb a stabilitásuk. Azt az állítást, hogy »A 16. században az emberek tüzes kardokat láttak az égen« elfogadhatjuk úgy, hogy közben elvetjük, hogy »A 16. században tüzes kardok voltak az égen«". (Neurath (1935) 362. o.)
88. Ez a megjegyzés véletlenül meghatároz egyfajta "korroborációs mértéket" a kutatási programok "megcáfolhatatlan" kemény magjára nézve. Newton elméletének (önmagában) nem volt empirikus tartalma, ennek ellenére azonban, ebben az értelemben, erõsen korroborált volt.
89. A kutatási programok metodológiájában történetesen a (kutatási program) "elutasításának" pragmatikus jelentése kristálytisztává válik: ama döntést jelenti, hogy felhagynak a kutatási programon való munkával.
90. Egyesek a fejlõdésnek ezt a védett idõszakát – óvatosan – "tudományelõttinek" (vagy "elméletinek") tekintenék; és csupán akkor lennének hajlandók elismerni igazi tudományos (vagy "empirikus") jellegét, amikor "eredeti, új" tényeket produkál – ez esetben azonban az elismerésnek visszamenõleges érvényûnek kell lennie.
91. Mellékesen, a fallibilitás és a kriticizmus e konfliktusát joggal tekinthetjük a Popper-féle ismeretelméleti kutatási program fõ problémájának – és hajtóerejének.
92. Az ilyen verseny különösen érdekes esete a kompetitív szimbiózis, amikor egy új programot egy olyan régi programhoz toldanak, amely inkonzisztens vele; lásd a Bohr programjáról írtakat.
93. Nem létezik természetes "kimerülési pont"; (1963–4)-es írásomban, különösen annak 327-8. oldalán (Magyarul: 143–145. o.) hegeliánusabb állásponton voltam, és azt hittem, van ilyen. Az emberi képzelõerõnek azonban nincsenek elõrejelezhetõ vagy meghatározható korlátai arra nézve, hogy milyen új és tartalomnövelõ elméleteket képes kitalálni, vagy hogy az "ész csele" (List der Vernunft) milyen empirikus sikerrel jutalmazza ezeket, még akkor is, ha az új elméletek hamisak, vagy ha kevésbé valószerûek – popperi értelemben – a régieknél. (Valószínûleg minden tudományos elmélet, amelyet valaha is leírnak, tévesnek bizonyul majd: empirikus sikereik azonban ekkor is elismerhetõk lesznek, sõt valószerûségük is növekedhet.)
94. Lásd pl. e mû 126. o. 2. lábjegyzet.
95. Ekképpen egy kutatási programbeli anomália olyan jelenség, amelyre úgy tekintünk, mint amit a program kereteiben kell megmagyarázni. Általánosabban, Kuhn nyomán, "rejtvényekrõl" beszélhetünk: egy kutatási programbeli "rejtvény" olyasvalami, amit az illetõ programmal szembeni kihívásként értelmezünk. Egy "rejtvényt" háromféleképpen oldhatunk meg: megoldhatjuk az eredeti programon belül (ekkor az anomália példává alakul át); semlegesíthetjük, például megoldhatjuk egy másik, független programmal (az anomália megszûnik); végül pedig megoldhatjuk egy rivális program keretében (az anomália ellenpéldává alakul át).