Dušan Ranđelović - Metodološko ispitivanje fizičkih teorija

  • View
    218

  • Download
    2

Embed Size (px)

Transcript

  • UNIVERZITET U NOVOM SADU

    PRIRODNO-MATEMATIKI FAKULTET

    DEPARTMAN ZA FIZIKU

    D IPLOMSK I RAD

    METODOLOKO ISPITIVANJE FIZIKIH

    TEORIJA

    mentor: kandidat:

    Dr Milan Panti Duan Ranelovi

    Novi Sad, 2010. godine

  • Predgovor

    Savremena zika podrazumeva sve uu specijalizaciju naunika. Predmetistraivanja je esto sloen u tolikoj meri da zahteva interdisciplinarni pristup,ako ne kroz saradnju strunjaka iz razliitih oblasti nauke ili ziara iz odeljenihoblasti zike, onda makar u smislu u kom je ziar-teoretiar upuen na rezul-tate eksperimenata, eksperimentator obavezan na saradnju sa statistiarem iliprogramerom, itd. Bitniji rezultati zikih istraivanja tako zavise ne samo odstrunosti specijalista, ve i od kvaliteta meusobne saradnje. Usko specijalistikirad u strunim timovima ekonomian je po vie osnova. Meutim, pored svih po-zitivnih rezultata specijalizacije u radu ziara dolazi i do pojave niza negativnihposledica. Pre svih, usled nemogunosti sveobuhvatnog uvida, nekritiki odnosprema samoj materiji. Karakter takvog odnosa doarava Albert Ajntajn1:

    "Toliko ljudi danas - pa i profesionalnih naunika - izgleda mi kao neko ko je video hiljade stabala, ali

    nikad umu. Poznavanje istorijske i lozofske pozadine daje jednu vrstu ograde od predrasuda generacije, od

    kojih veina naunika boluje. Ova nezavisnost omoguena lozofskim uvidom je - po mom shvatanju - ona

    karakteristika koja pravi razliku izmeu obinog uenjaka ili strunjaka i pravog tragaoca za istinom."

    Uplitanje lozoje u sistem zikih znanja pokazuje se kao neophodno. Filo-zoja zike je disciplina koja nam prua celovit uvid u ziku teoriju, u ono toziari nude kao, jezikom lozofa nauke, "pretenziju na nune istine" koje vladajuu materijalnom svetu. Stoga se ovaj rad bavi osobinama onakvog zikog znanjakoje kroz lozoju zike stie toliko bitnu samokritinost.

    Na narednim stranama ostvaren je pokuaj pregleda pitanja na koja lozojazike treba da odgovori i metoda kojima to ini, kao i pokuaj da se ilustruje tajproces preispitivanja i pojanjenja koje prua lozoja zike. Ako se bilo kojimvidom i malo doprinelo boljem razumevanju zike teorije, zasnovanosti zikihznanja i znanja uopte, cilj rada je dostignut.

    Prvim delom se postavlja teorijska pozadina, istorijska pozornica i sveop-ti okvir problema koji su u ii rada - problema statusa i osobina aksiomatskizasnovane zike teorije u sistemu (naunih) znanja. U drugom delu odreenoje znaenje zike teorije, njen sastav, struktura i bitne karakteristike. Manje suobraeni problemi odnosa eksperimenta i teorije i pravila korespondencije izmeuempirijskog i teorijskog jezika. Glavni akcenat stavljen je na prednosti aksiomati-zovanih teorija, na osobine aksiomatskih sistema koje obezbeuju neprotivrenost

    1Pismo Ajntajna (Albert Einstein, 1879-1955) Torntonu (Robert A. Thornton), 7. decembra 1944. (slobodan prevod)

  • teorije, njenu potpunost, pouzdanost, itd, kao i na metode kojima dokazujemo daneki sistem ima date osobine. Moe se rei da je teina na epistemolokim proble-mima koji se tiu samo zike teorije, ne i zikog eksperimenta. Na kraju se, usvetlu prethodne razrade, predstavlja konkretna zika teorija, naime specijalnateorija relativnosti, i delimina analiza nekih njenih aksiomatizacija.

    Ovaj diplomski rad je uraen pod mentorstvom prof. dr Milana Pantia, komedugujem veliku zahvalnost na pomoi pri radu i u toku celih studija. Zahvaljujemtakoe i dr Stojanu Obradoviu na pomoi oko literature i na korisnim sugesti-jama. Prijateljima i porodici zahvalan sam na podrci i strpljenju. Svojoj supruziTijani Ranelovi posebno zahvaljujem na mnogobrojnim dugim razgovorima natemu i konstruktivnim kritikama.

    Novi Sad, jul 2010. godine

    Du a n Ran e l o v i

  • Sadraj

    Predgovor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

    1 Metodologija - opta nauka o naunim teorijama 41.1 Istorijat lozofskih pitanja o nauci . . . . . . . . . . . . . . . 4

    kole miljenja nauke do XX veka . . . . . . . . . . . . . . . . . . 7

    Logiki pozitivizam i kritike . . . . . . . . . . . . . . . . . . . . . 13

    1.2 Nauni metod . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

    Scientic Method i kritike . . . . . . . . . . . . . . . . . . . . . . . 20

    Logika. Teorija skupova . . . . . . . . . . . . . . . . . . . . . . . . 23

    1.3 Metodologija nauke . . . . . . . . . . . . . . . . . . . . . . . . 31

    Zadaci naune metodologije . . . . . . . . . . . . . . . . . . . . . . 35

    Sintaksa i semantika - osnovni pojmovi . . . . . . . . . . . . . . . 38

    2 Metodologija zike teorije 452.1 Odreenje zike teorije . . . . . . . . . . . . . . . . . . . . . 45

    Standardno shvatanje strukture teorije u zici . . . . . . . . . . . . 49

    2.2 Aksiomatizacija teorija u zici . . . . . . . . . . . . . . . . . 52

    Hilbertov program. Nivoi aksiomatizacije . . . . . . . . . . . . . . 56

    Supesov program. Formalizacija zike . . . . . . . . . . . . . . . . 57

    2.3 Metodoloka analiza zikih teorija. Primer STR . . . . . 59

    Znaajni rezultati metodologije STR . . . . . . . . . . . . . . . . . 61

    Literatura 66

  • Glava 1

    Metodologija - opta nauka o naunim teorijama

    1.1 Istorijat lozofskih pitanja o nauci

    Filozoja nauke se kao odeljena lozofska disciplina u akademskom smislujavlja poetkom XX veka, ne sluajno, upravo zajedno sa velikim promenamau nauci, posebno onim u zici i matematici ali i biologiji i psihologiji. Optapitanja koja pokree lozoja nauke imaju analogije u lozoji posebnih nauka,mada lozoja zike, lozoja matematike, lozoja istorije, itd. imaju i samosebi svojstvena pitanja i probleme. Problemi lozoje zike, budui je zikafundamentalna prirodna nauka, postoje i tretiraju se i pre XX veka. Mnogimpitanjima koja se sada tiu lozoje zike bavila se lozoja prirode, disciplinakoja je obuhvatala ziku i njoj pridruenu lozoju prostora i vremena. Jo ranijelozoja zike, i nauke uopte, bila je neodvojivi deo lozoje, kao uostalom isvaka od nauka.

    Savremeno doba je doba tehnike. Tehnika znanja iako dovoljno mona damenjaju pogled na svet, slede iz naunih znanja, znanja o stanju stvari ali i uz-rocima stanja stvari. Nauka, za razliku od tehnike koja nalazi upotrebu naunimznanjima, podrazumeva istraivanja na granicama poznatog, traganje za obja-njenjem nepoznatog. Pri takvim istraivanjima neophodna je lozofska osnovakoja denie i usmerava tok rada. Svaka bi nauka u svakom trenutku trebalo daje svesna svojih lozofskih okvira.

    Zabluda ili predrasuda generacije, kako upozorava Ajntajn, naunika i lozofanauke dananjice ini se dvojaka. Prvo, kod naunika, esto vlada neopravdanopouzdanje u lozofske preduslove njihovih disciplina. Slika sveta koju naunikima esto je kruta, usled ega se zakljuuje kako lozoja nauke nije potrebnaza naunu praksu. ak i osnove pojedinih teorija neke nauke mogu biti razliiteali se sve do velikih kriza ne dovode u pitanje. Epohalni problem lozofa na-uke je donekle suprotan - on vidi pluralitet moguih tumaenja. Relativizam pometa-teorijskim pitanjima o nauci esto onemoguava lozofu nauke pozitivan rad.

  • Duan Ranelovi Metodoloko ispitivanje zikih teorija 5

    Usled toga ini se postoji cela generacija naunih lozofa, meu-zone nauke i pri-druene lozoje. Vrednovanje takvog razvoja dogaaja predmet je neke drugerasprave, sociolokog karaktera. Potrebno je dodue naglasiti kako ovaj rad po-red pregleda lozoje nauke u najirem smislu, pripada delom i toj meuoblasti,oblasti metanauke ili kao to e se pokazati, oblasti metodologije - ili nauke onauci.

    U irem znaenju lozoja nauke se preklapa sa epistemologijom1, teorijomsaznanja. Bitnija pitanja koja epistemologija postavlja su: ta znanje jeste?Kako je ono mogue? ta podrazumevamo pod znanjem? ta su izvori znanja?Sva ova pitanja imaju onu optost koju lozoja zahteva, i ne treba ih poisto-veivati sa pitanjima o posebnim znanjima - kakvo je ziko, matematiko, iliznanje istorije. Optost epistemolokih pitanja o prirodi znanja ilustruje Hemlin(David W. Hamlyn, 1924-) [5]:

    "Imajui uvid u to ta znanje jeste i ta uopte moe da se rauna kao znanje,losof je u mogunosti da izjavi kako odreena tvrdnja ne moe da se oznaikao znanje, iz razloga to nita od te vrste ne bi moglo da se oznai kao znanje;to znai da uslovi koji moraju biti ispunjeni da bi se neka tvrdnja raunala kaoistinska pretenzija na znanje u ovom sluaju jednostavno nisu ispunjeni."

    Svaka epistemologija nalazi se naspram opte sumnje u mogunost znanja,naspram lozofskog skepticizma [5]. Takva sumnja raa potrebu za teorijom sa-znanja i lozojom nauke, a sve u cilju da odbrani oseaj sigurnosti koji namznanje prua. Od utemeljenja lozofske misli kod starih Grka skepticizam je bra-njen na razliite naine. Za argumente predsokratovaca da svako znanje zavisiu velikoj meri od ljudskih konvencija i individualnog ljudskog suda saznajemo izPlatonovih dijaloga. Gorgija u Protagori2 objanjava kako nita ne postoji, ako bii postojalo mi to ne bismo mogli da znamo, ukoliko bismo i znali ne bismo mogli toznanje da saoptimo drugima. Ili po Protagori u Teetetu3 - "ovjek je mjera svihstvari". Pri obradi stava skeptika Hemlin dalje tvrdi kako su samo grki skeptiarijedini dosledni jer propagiraju "uzdravanje od istraivanja prave prirode stvar iostajanje na pojavama... u cilju postizanja smirenosti duha." [5]. U XVII vekuRene Dekart (Ren Descartes, 1596-1650), pokrenut mogunou skepticizma,usvaja sistematski skepticizam kao metod unutar epistemologije, kako bi doaodo onih vrsta znanja u koje je nemogue sumnjati. Ono to bi takve izvesne istinetrebalo da poseduju jeste nunost istinitosti. Nuno istinito, samim tim apsolutnoizvesno, nesumnjivo znanje obezbedilo bi poslednji argument protiv skepticizma.

    1gr. - znanje, nauka - nauno znanje. U anglo-saksonskoj tradiciji epistemologija se prevodi kao theoryof knowledge, s tim da t