Professional Documents
Culture Documents
Osnove Filozofije I Metodologije Nauke
Osnove Filozofije I Metodologije Nauke
za studente sociologije
ta je nauka?
1. Postanak moderne nauke i njene karakteristike
(Okaa, Filozofija nauke, 1. poglavlje)
2. ta je nauna racionalnost?
(Poper, Razgraniavanje izmeu nauke i metafizike, iz: Pretpostavke i pobijanja)
3. Objanjenje u nauci
(Nejgel, Struktura nauke, 2. poglavlje)
(Poper, Cilj nauke, iz: Objektivno saznanje)
4. Kritika nauke
(Fajerabend, Kako zatititi drutvo od nauke, u: Sesardi, Filozofija nauke)
(Okaa, Filozofija nauke, 7. poglavlje)
1. kolokvijum, 30% ocene
Poglavlje 1
ta
je
nauka?
ta je nauka? Moe izgledati da je jednostavno odgovoriti na ovo pitanje: o p e je poznato da nauku sainjavaju
nauna podruja poput fizike, he ije i biologije, to nije
sluaj sa podrujima kao to su umjetnost, muzika i
teologija. Meutim, takav odgovor nam ne treba ako ovo
pitanje postavljamo sa filozofskog aspekta. Mi ne
traimo samo spisak aktivnosti koje se o b i n o nazivaju
-naukom-. Mi, zapravo, nastojimo saznati koja je to
zajednika osobina svih pobrojanih aktivnosti, tj. ta je
to to neto ini naukom. Ukoliko ga shvatimo na taj
nain, nae pitanje nije tako trivijalno.
Meutim, moda jo uvijek vjerujete da je ovo pitanje
relativno jednostavno. Valjda je nauka samo pokuaj da
se razumije, objasni i predvidi svijet u kojem ivimo? To
je definitivno razuman odgovor. Meutim, da li se pria
ovdje zavrava? Naposljetku, i razliite religije
pokuavaju razumjeti i objasniti svijet, a religija se
obino ne svrstava u naunu disciplinu. Astrologija i
gatanje, takoer, predstavljaju pokuaje da se predvidi
budunost, ali veina ljudi ne bi opisala te aktivnosti
kao nauku. Ili, razmotrimo historiju. Historiari nastoje
da razumiju i objasne o n o to se desilo u prolosti, ali
historija se o b i n o klasificira kao humanistika disciplina, a ne nauka 1 . Kao to ve biva sa mnogim filozof-
1. engl, rije s c i e n c e o z n a a v a e g z a k t n e n a u k e .
skim pitanjima, pitanje ta je nauka? postaje kompliciranije neg o to se inilo na prvi pogled.
Jo jedno znaajno obiljeje nauke je konstrukcija teorija. Naunici ne vre prosto biljeenje rezultata eksperimenata i promatranja u radni dnevnik - oni o b i n o ove
rezultate ele objasniti putem n e k e o p e teorije. Iako ga
nije uvijek jednostavno ostvariti, ovaj postupak je
poluio velianstvene uspjehe. Jedan od kljunih
svijeta,
koje
nije
osporavano
tokom
punih
1800
poetku
posebno
je
Kopernikova
Katolike
opreci
sa
knjige
koje
Svetim
crkve
koja
pismom,
propagiraju
teorija
te
je
smatrala
je
kretanje
naila
1616.
Zemlje.
na
da
veliki
je
godine
otpor,
ona
zabranila
Meutim,
Johannesa Keplera
(1571.-1630.) i Galilea Galileja (1564.-1642.). Kepler je
razvoj moderne fizike kroz rad
Sva su
aristotelijanskom
u
preobraaju
se ova
otkria
kosmologijom,
naune
zajednice
sutinski sukobljavala
odigravi
u
kljunu
sa
ulogu
kopernikansku.
naglasak
oznaava
poetak
prirode
koji
se
na
eksperimentalnom
empirijskog
jo
pristupa
testiranju
prouavanju
primjenjuje.
strukture
kopernikanskog univerzuma.
revolucija
svijeta.
dostigla je
svoj vrhunac u
djelu
Isaaca
Newtona (1643.-1727.), uenjaka ija su dostignua ostala neprevaziena u historiji nauke. Newtonovo remek6
koji
su
baeni
svoju
teoriju
ciznou
strogou,
sa
velikom
matematikom
pronalazei
matematiku
pretehniku
Newton je mogao prikazati da su Keplerovi zakoni planetarnog kretanja i Galilejevi zakoni slobodnog pada
( o b a uz izvjesne manje izmjene) bili logina posljedica
njegovih zakona mehanike i gravitacije. Drugim rijeima,
isti ovi zakoni mogli bi objasniti kretanje tijela u
zemaljskom i izvanzemaljskom domenu, osim toga
Newton ih je formulirao u preciznoj, kvantitavnoj formi.
Newtonova fizika obezbijedila je okvir za razvoj nauke
tokom nekih 200 godina, brzo zamijenivi Kartezijansku
fiziku. Povjerenje u nauku ubrzano je raslo u ovom periodu, zahvaljujui u velikoj mjeri uspjehu Newtonove
teorije, za koju je vrijedilo o p e uvjerenje da je otkrila
istinsko funkcioniranje prirode, te da je, makar u principu, sposobna sve objasniti. Nainjen je itav niz precizno osmiljenih ogleda u cilju proirenja Newtonovog
modela objanjenja za sve vei broj fenomena. U 18. i
19. vijeku desio se znaajan nauni napredak, p o s e b n o
u oblastima kemije, optike, energije, termodinamike i
8
Newtonovu
20.
stoljea
sliku
zbog
svijeta
dva
bilo
je
poljuljano
revolucionarna
nauna
kratki
bio usmjeren
pored
stan
toga
nain
pregled
na
to
historije
fiziku.
je
nauke
Ovo
nije
historijski
do
sluajno
veoma
najfundamentalnija
sada
medu
je
jer je
znaajna,
svim
uglavnom
na
fizika,
izvje-
naunim
disci-
plinama. To se objanjava injenicom da su i sami predmeti prouavanja ostalih nauka sainjeni od fizikih
entiteta. Uzmimo za primjer botaniku. Botaniari
prouavaju biljke, koje su, u krajnjoj instanci, sainjene
od molekula i atoma, a to su fizike estice. Dakle,
oigledno je da je botanika manje fundamentalna od
fizike, iako to ne znai da je ona iole manje znaajna.
Ovim pitanjem e m o se pozabaviti u poglavlju 3
Meutim, ak i kratki opis porijekla moderne nauke bio
bi nepotpun ako ne p o m e n e m o ostale nauke.
Istaknuti dogaaj koji je obiljeio razvoj biologije, bilo
9
10
e populacija bivati sve bolje prilagoena prirodnoj sredini. Darwin je tvrdio da taj proces, ma kako on bio jednostavan, kroz veliki broj generacija, moe dovesti do
toga da jedna vrsta preraste u potpuno novu. Dokazi
koje je Darwin naveo u korist svoje teorije toliko su bili
uvjerljivi da je do poetka 20. stoljea, ve bila
prihvaena ka o nauna ortodoksija, uprkos znatnom
teolokom protivljenju (slika 3 ) . Istraivanja koja su uslijedila, donijela su zapanjujue potvrde Darvinowoj teoriji, koja ini osnovu modernog biolokog vienja svijeta.
Dvadeseto
stoljee
bilo
je
svjedokom
jo
jedne
revoluci-
je u biologiji, koja jo traje: pojava molekularne biologije, posebno molekularne genetike. 1953. godine Watson
i Crick otkrili su strukturu DNA, nasljednog materijala
koji gradi gene u elijama ivih bia (slika 4 ) .
Watsonovo i Crickovo otkrie objasnilo je kako se
genetske informacije mogu kopirati iz jedne elije u
drugu i na taj nain prenositi sa roditelja na potomstvo,
objanjavajui time zato potomstvo preteno slii svojim roditeljima. Njihovo otkrie otvorilo je novu
uzbudljivu eru biolokog istraivanja. Tokom pedeset
godina proteklih od Watsonova i Crickova istraivanja,
molekularna biologija ostvarila je brz napredak, transformirajui nae razumijevanje naslijea i naina na koji
geni izgrauju organizme. Skoranji pokuaj da se ostvari opis kompletnog niza gena ljudskog bia na
molekularnom nivou, poznat kao projekt humanog
genoma, pokazuje k o l i k o je o d m a k a o razvoj
molekularne biologije. 2 1 . stoljee e zasigurno
zabiljeiti niz novih, uzbudljivih otkria na ovom polju.
Za nauna istraivanja izdvojeno je tokom posljednjih
100 godina vie novanih sredstava nego ikada do sada.
Jedan od rezultata je ekspanzija novih naunih disciplina, kao to su kompjuterska nauka, vjetaka inteli11
procesima
razliite
memorije,
posljednjih
spoznaje
aspekte
uenja
30
godina
(kognitivizam),
ljudskog
i
upravo
poput
koja
je
nauke
prouava
koja
miljeljenja
razumijevanja,
razvoj
iz
percepcije,
temelja
istraivanja
koje
se
koriste
analizira metode
naukama.
Mogli
stavi pretpostavke
koje
naunici uzimaju
samo
Nauka i pseudonauka
Sjetimo se pitanja koje smo postavili na samom poetku:
ta j e nauka? Karl Popper, utjecajni filozof nauke 20.
stoljea,
smatrao
je
temeljnom
osobinom
naune
teorije
Nazvati teoriju m o g u e
sukoba
ne
ova
pitanja
19
ERNEST NEJGEL
STRUKTURA
NAUKE
PROBLEMI LOGIKE NAUNOG OBJANJENJA
N O L I T BEOGRAD 1974
2.
MODELI NAUNOG OBJANJENJA
U prethodnom poglavlju tvrdili smo da je osnovni cilj naunog poduhvata da prui sistematska i dobro zasnovana objanjenja.
Kao to emo videti, takva se objanjenja mogu dati za pojedinane
pojave, za procese koji se ponavljaju ili za nepromenljive kao i za
statistike zakonitosti. Ostvarivanje ovog cilja nije jedini zadatak
nauka, ako ni zbog ega drugog, a ono zbog toga to je veliki deo
njihovih napora usmeren ka utvrivanju ta predstavljaju injenice
u novim oblastima iskustva, injenice ija objanjenja moemo tek
kasnije traiti. Sasvim je oigledno da se razliite nauke u svakom
trenutku razlikuju po tome kakav znaaj pridaju razvijanju sistematskih objanjenja, a isto tako i po stepenu potpunosti sa kojim dolaze
do takvih sistema. Pa ipak, traganje za sistematskim objanjenjima
nikada nije potpuno odsutno iz postojeih naunih disciplina. Da
bismo razumeli uslove u kojima dolazimo do naunih objanjenja,
kao i njihovu strukturu, treba da razumemo optu odliku naunog
poduhvata. U ovom poglavlju nastojaemo da pripremimo osnovu za
takvo razumevanje uoavajui prethodno oigledno razliite oblike
objanjenja koje sreemo u razliitim naukama.
I. Primeri naunog objanjenja
Objanjenja predstavljaju odgovore na pitanje Zato?"
Meutim posle vrlo kratkog razmiljanja otkrivamo da re zato"
nije nedvosmislena i da se u razliitim kontekstima na takvo pitanje
daju razliite vrste relevantnih odgovora. Ova kratka lista sadri
primere koji pokazuju kako se re zato" upotrebljava, a neki primeri pokazuju vana ogranienja u pogledu prihvatljivih odgovora
na pitanja koja poinju ovom reci.
14
1. Zato je zbir bilo kojeg broja uzastopnih neparnih
celih brojeva poev od2 1 uvek savreni kvadrat (na primer,
1 + 3 + 5 + 7 = 16== 4 )? Ovde se pretpostavlja da je injenica"
koju treba objasniti (eksplikandum) neto to je potrebno oznaiti
poznatim ali nedovoljno jasnim izrazom nuna istina", u tom smislu
to njena negacija predstavlja logiku protivrenost. Relevantan odgovor na ovo pitanje predstavlja u stvari dokaz koji utvruje ne samo
univerzalnu istinitost nego i nunost eksplikanduma. Objanjenje e
biti zadovoljavajue ako se koraci u dokazu budu slagali s formalnim zahtevima za logiki dokaz i ako su, dalje, same premise dokaza
u izvesnom smislu nune. Premise e verovatno biti postulati aritmetike, a njihov nuni karakter bie utvren ako se, na primer, moe
pokazati da su one istinite na osnovu znaenja koje imaju njihovi
termini.
2. Zato se jue aa zamaglila sa spoljanje strane kada sam
u nju sipao hladnu vodu? Ovde je injenica koju treba objasniti
jedan pojedinani dogaaj. Njegovo objanjenje, izloeno u kratkim
crtama, moe izgledati ovako: temperatura ae, poto sam u nju sipao
hladnu vodu, bila je znatno nia od temperature okolnog vazduha;
vazduh je sadravao vodenu paru, a vodena para iz vazduha, opte
uzev, pretvara se u tenost kada vazduh doe u dodir sa dovoljno
hladnom povrinom. U ovom primeru, kao i u prethodnom, formalna
struktura objanjenja ima oblik dedukcije. Zaista, da su premise objanjenja bile formulisane potpunije i paljivije, deduktivni oblik bio
bi sasvim uoljiv. Meutim, u ovom sluaju eksplikandum nije nuna
istina, a to nisu ni premise objanjenja. Naprotiv, premise su iskazi
koji su verovatno zasnovani na podesnom iskustvenom ili eksperimentalnom svedoanstvu.
3. Zato je manji procenat katolika nego protestanata izvrio
samoubistvo u evropskim zemljama u toku poslednje etvrtine devetnaestog veka? Poznati odgovor glasi da je institucionalno ureenje
u kome su katolici iveli poveavalo drutvenu koheziju" za razliku
od drutvenih organizacija protestanata, i da, uopte, postojanje jakih
drutvenih veza izmeu lanova jedne zajednice pomae ljudima u
periodima linih potresa. Eksplikandum je u ovom sluaju istorijska
pojava koja je statistiki opisana, za razliku od pojedinanih dogaaja
iz prethodnog primera. Zbog toga se predloenim objanjenjem ne
objanjava nijedno pojedinano samoubistvo u pomenutom periodu.
Zaista, iako premise objanjenja nisu izloene ni precizno ni potpuno,
jasno je da neke od njih imaju statistiki smisao, ba kao to je to
sluaj s eksplikandumom. Ali poto premise nisu u potpunosti formulisane, nije sasvim jasno kakva je logika struktura ovog objanjenja. Meutim, mi emo pretpostaviti da se implicitne premise
mogu izloiti eksplicitno i da, tavie, objanjenje onda ima deduktivni oblik.
16
on je oigledno razliit od prethodnog primera po tome to i eksplikandum i neke premise oigledno predstavljaju statistike zakone
koji formuliu statistike a ne univerzalne pravilnosti.
7. Zato je Kasije kovao zaveru da ubije Cezara? injenica
koju treba objasniti opet je pojedinaan istorijski dogaaj. Ako moemo verovati Plutarhu, objanjenje treba traiti u uroenoj mrnji
koju je Kasije imao prema tiranima. Meutim, ovaj odgovor je oigledno nepotpun ako se ne prihvate druge opte pretpostavke kao.
to je ona o nainu na koji osobe iz izvesne drutvene grupe u datoj
kulturi ispoljavaju mrnju. Nije, meutim, verovatno da se takve
pretpostavke, ako treba da budu verodostojne, mogu tvrditi sa strogom univerzalnou. Ako pretpostavka treba da se slae s poznatim
injenicama, ona e u najboljem sluaju biti samo statistika generalizacija. Naprimer, jedna verodostojna generalizacija moe tvrditi
da e se veina ljudi {ili izvestan procenat ljudi) odreene vrste u
izvesnom tipu drutva ponaati na izvestan nain. Prema tome, poto
injenica koju u ovom primeru treba objasniti predstavlja pojedinani istorijski dogaaj, dok bitne pretpostavke objanjenja imaju
statistiku formu, eksplikandum nije deduktivna posledica premisa
objanjenja. Naprotiv, eksplikandum je u ovom sluaju samo vero-;
vatan" na osnovu tih premisa. To je bitna odlika ovog primera i ona
ga odvaja od prethodnih. tavie, postoji vana i bitna razlika izmeu
ovog i prethodnih primera u tome to premise objanjenja u ovom
primeru pominju jednu psiholoku dispoziciju (na pr. jedno emocionalno stanje ili stav) kao jedan od podstreka za akciju. Zbog toga,
ako se pitanje zato?" postavlja da bi se dobio odgovor koji e se
pozivati na psiholoke dispozicije, pitanje ima smisla samo ako postoji osnova da se pretpostavi kako se takve dispozicije stvarno javljaju u onome to razmatramo.
8. Zato je engleski kralj Henri VIII nastojao da poniti svoj
brak s Katarinom od Aragona? Poznato objanjenje ove istorijske
injenice sastoji se u tome to se Henriju pripisuje svesni cilj, a ne
psiholoka dispozicija, kao to je bio sluaj u poslednjem primeru.
Tako e istoricari esto objanjavati Henrijeve napore da poniti svoj
brak sa Katarinom navodei injenicu da je on eleo da se ponovo
oeni kako bi dobio mukog naslednika, poto mu Katarina nije rodila
sina. Henri je nesumnjivo imao mnoge psiholoke dispozicije koje bi
mogle delimino da objasne njegovo ponaanje prema Katarini. Meutim, u objanjenju ovakvom kako je ovde izloeno takav psiholoki
podstrek za akciju" u Henrijevom ponaanju se ne pominje, nego
se njegovi napori da poniti svoj brak objanjavaju namerno izabranim nainom za ostvarenje svesnog cilja (ili svesne svrhe). Prema
tome, razlika izmeu ovog i prethodnih primera zavisi od razlikovanja psiholoke dispozicije ili podstreka za akciju (kojih pojedinac
ne mora biti svestan iako one odreuju njegovo ponaanje) i svesno
izabranog cilja (za ije ostvarenje pojedinac moe da izabere izvesna
17
sredstva). Ova razlika se obino prihvata. Ljudsko ponaanje se
ponekad objanjava pomou podstreka za akciju ak i kada ovek
nema svestan cilj svoga ponaanja. S druge strane, nijedno objanjenje jedne druge vrste ljudskog ponaanja nee se smatrati zadovoljavajuim ako se to objanjenje ne poziva na neki svesni cilj radi
ijeg ostvarenja to ponaanje i postoji. Prema tome, da bi se u izvesnim kontekstima razumela pitanja koja poinju sa zato?", moraju
u tim kontekstima postojati eksplicitno formulisani ciljevi ije se
postojanje moe tvrditi.
9. Zato ljudi imaju plua? Ovako kako je napisano, ovo pitanje je dvosmisleno, jer se moe razumeti ili kao da se odnosi na
evoluciju ljudske vrste ili kao da zahteva objanjenje o tome kakvu
funkciju imaju plua u ljudskom organizmu na sadanjem stupnju
evolucionog razvoja. Ovde je ovo pitanje shvaeno u drugom smislu.
Kada se ono tako shvati, uobiajeni odgovor koji daje fiziologija
skree panju na neophodnost kiseonika za sagorevanje hranljivih
materija u organizmu i na instrumentalnu ulogu koju plua imaju
u dopremanju kiseonika iz vazduha do krvi i na taj nain do razliitih elija u organizmu. Prema tome, objanjenje opisuje rad plua <
kao bitan za odravanje izvesnih biolokih aktivnosti. Na taj nain
ovo objanjenje ima oigledno specifian oblik. U objanjenju se eksplicitno ne pominju uslovi pod kojima se deava sloeni dogaaj koji
se zove rad plua". Objanjenje opisuje na koji nain plua, kao
posebno organizovani deo ljudskog tela, doprinose produavanju nekih drugih aktivnosti ljudskog tela.
10. Zato engleski jezik u svom sadanjem obliku ima tako
mnogo reci latinskog porekla? Istorijska injenica za koju se ovde
trai objanjenje predstavlja sloeni skup jezikih navika koje ljudi
ispoljavaju u nejasno ogranienom istorijskom periodu i u razliitim
delovima sveta. Takoe je vano da u ovom primeru pitanje zato?",
za razliku od pitanja u prethodnim primerima, preutno zahteva /
objanjenje o tome kako je izvestan sistem iz nekog svog prethodnog
stanja dospeo do svog sadanjeg oblika. Za sistem koji posrnatramo
mi ne znamo dinamike zakone razvoja" kakvi postoje u fizici, na
primer, zakone razvoja gasovite mase koja rotira. U prihvatljivom
objanjenju istorijske injenice o kojoj je re pominjae se zbog toga
niz promena koje su se desile tokom vremena, a ne samo skup dogaaja koji se desio u nekom prethodnom poetnom trenutku. Prema
tome, uobiajeno objanjenje ove injenice pozivae se na Normana
Osvajaa, na jezik pobednika i pobeenih pre Osvajanja, kao i na
razvoj Engleske i drugih krajeva posle Osvajanja. Stavie, objanjenje pretpostavlja izvestan broj manje ili vie neodreenih generalizacija (koje nisu uvek eksplicitno izloene i od kojih neke nesumnjivo imaju statistiki smisao) o nainima na koje se jezike navike
u razliitim jezikim zajednicama menjaju kada takve zajednice stupaju u odreene odnose s drugim zajednicama. Ukratko, objanjenje
koje se u ovom primeru zahteva naziva se genetikim i njegova /
2 Struktura nauke
18
struktura je oigledno sloenija od strukture objanjenja za koja
smo ve naveli primere. Ovu sloenost ne treba pripisivati okolnosti
to je eksplikandum injenica ljudskog ponaanja. Isto takvu sloenost pokazuje genetiko objanjenje injenice da je salinitet okeana
danas oko tri procenta u odnosu na zapreminu.
II. etiri vrste objanjenja
Navedena lista ne iscrpljuje sve vrste odgovora koji se ponekad nazivaju objanjenjima. Meutim, ta lista je dovoljno duga
da pokae kako 1ak i odgovori na ogranienu klasu pitanja koja
poinju sa zato ' ne pripadaju istoj vrsti. U stvari, lista jasno
nagovetava da objanjenja koja se u razliitim naukama nude kao
odgovori na takva pitanja mogu da se razlikuju po nainu na koji su
pretpostavke objanjenja povezane sa svojim eksplikandumima, tako
da objanjenja pripadaju razliitim logikim vrstama.
Mi emo prihvatiti taj nagovetaj i opisaemo ono to izgleda
da predstavlja razliite vrste objanjenja u koje se mogu svrstati
primeri sa navedene liste. Meutim, mi se ovde neemo baviti pitanjem da li ono to izgleda da predstavlja razliite logike strukture
objanjenja ne predstavlja u stvari samo nesavreno formulisane
varijante ili granine sluajeve nekog opteg modela. U svakom sluaju, mi emo za sada razlikovati etiri glavna i, izgleda, razliita
modela objanjenja.
I. Deduktivni model. Jedan tip objanjenja koji se obino
sree u prirodnim naukama, iako ne samo u tim disciplinama, ima
formalnu strukturu deduktivnog zakljuka gde je eksplikandum logiki nuna posledica premisa objanjenja. Prema tome, u objanjenjima ove vrste premise izraavaju dovoljan (i ponekad, mada ne
uvek, nuan) uslov istinitosti eksplikanduma. Ova vrsta objanjenja
je iscrpno prouavana jo od najstarijih vremena. Ona je bila smatrana paradigmom svakog pravog" objanjenja i esto se usvajala
kao idealni oblik kojem svi napori u objanjavanju treba da tee.
Prvih est primera sa navedene liste predstavljaju prima facie ilustracije ove vrste. Pa ipak, meu njima postoje znaajne razlike koje
valja ponovo razmotriti. U prvom primeru i eksplikandum i premise
bili su nuno istiniti iskazi. Meutim, iako ovo zahteva dalje razmatranje, danas mali broj naunika eksperimentatora veruje da se moe
pokazati kako su njihovi eksplikandumi nuni po sebi. U stvari, zato
to iskazi (bilo da se odnose na pojedinano bilo da se odnose na
opte) koje ispituju empirijske nauke mogu da se poriu a da to ne
bude u suprotnosti sa svedoanstvom dobijenim na osnovu posmatranja koje je potrebno da takve iskaze opravda. Prema tome, opravdavanje tvrdnji o nunosti iskaza nauke kao i objanjavanje zbog ega
su iskazi nuni, zadatak je formalnih disciplina kao to su logika i
matematika, a nije zadatak empirijskog istraivanja.
19
U drugom i treem primeru eksplikandum je istorijska injenica. Meutim, u drugom primeru injenica koju treba objasniti je
pojedinani dogaaj dok je u treem statistika pojava. U oba primera premise sadre bar jednu pretpostavku koja je slina zakonu"
i opta po formi, i bar jedan iskaz o neem pojedinanom (bilo da
je to pojedinano individualni ili statistiki dogaaj). S druge strane,
objanjenje statistike pojave odlikuje se prisustvom bar jedne statistike generalizacije u premisama.
U etvrtom, petom i estom primeru eksplikandum je zakon
u etvrtom i petom primeru to je univerzalni iskaz koji tvrdi postojanje stalne veze izmeu izvesnih osobina, dok je u estom primeru
to statistiki zakon. Meutim, u etvrtom primeru zakon se objanjava tako to biva izveden iz pretpostavki od kojih je svaka eksperimentalni zakon" u smislu koji smo ukratko ve opisali. U petom
i estom primeru, s druge strane, premise objanjenja sadre tzv.
teoretske" iskaze; u estom primeru, pored statistikog zakona kao
eksplikanduma, teorija kojom se objanjava i sama sadri pretpostavke statistike prirode.
Mi smo samo u kratkim crtama opisali razlike koje smo zapazili izmeu objanjenja deduktivnog tipa. Njihov potpuni opis daemo kasnije. Stavie, isto formalni uslovi koje deduktivna objanjenja
moraju da zadovolje ne iscrpljuju sve uslove za koje se esto oekuje
da e valjana objanjenja ove vrste zadovoljiti. Izvestan broj drugih
uslova moraemo posebno razmotriti. Iako smo ve ukratko pomenuli
vanu ulogu optih zakona u deduktivnim objanjenjima, ostaje da
razmotrimo vano pitanje da li se zakoni mogu shvatiti prosto kao
hipotetiki istiniti univerzalni iskazi, ili univerzalni iskazi moraju
pored toga posedovati izvesnu relacionu strukturu posebne vrste da
bi mogli posluiti kao premise u zadovoljavajuem objanjenju. Stavie, iako smo pomenuli injenicu da nauka dolazi do celovitih i sveobuhvatnih sistema objanjenja primenom tzv. teoretskih" pretpostavki, bie neophodno da detaljnije ispitamo osobine po kojima se
teorije razlikuju od drugih zakona, kakve su njihove odlike koje nam
pomau da shvatimo njihovu mo da sistematski objanjavaju raznovrsne injenice i kakav im saznajni status treba pripisivati.
2. Objanjenje po verovatnoi. Mnoga objanjenja u skoro
svakoj naunoj disciplini nemaju na prvi pogled deduktivni oblik,
jer njihove premise ne povlae za sobom eksplikandume. Pa ipak,
iako premise nisu logiki dovoljne da obezbede istinitost eksplikanduma, za njih se kae da eksplikandum ine verovatnim".
Objajenja po verovatnoi obino sreemo kada premise
objanjenja sadre neku statistiku pretpostavku o izvesnoj klasi
elemenata, dok je eksplikandum singularni iskaz o datom pojedinanom lanu te klase. Ovu vrstu objanjenja ilustruju sedmi i deseti
primer, iako je to objanjenje jasnije u sedmom primeru. Kada se
vaj primer iskae jasnije, on izgleda ovako: u starom Rimu posto-j'
jala je velika relativna uestalost (ili verovatnoa) da e pojedinac
20
21
22
23
24
Paul Feyerabend
K A K O ZATITI'DRUTVO OD NAUKE*
353
355
Protiv rezultata
U skladu sa delom (2), nauka zasluuje poseban poloaj
zato to proizvodi rezultate. Ovo predstavlja argument jedino
ako se moe uzeti kao injenica da nita drugo nikada ne
proizvodi rezultate. A mora se priznati da skoro svako ko
razmatra ovu materiju tako neto pretpostavlja. Takoe treba
da se prizna da nije tako lako pokazati da je ova pretpostavka
neistinita. Oblici ivota razliiti od nauke nestali su, ili su se
degenerisali, do stepena koji ini nemoguim svaku pravednu
komparaciju. Ipak, situacija nije tako beznadena kao to je
bila pre neku deceniju. Upoznali smo metode medicinske di
jagnostike i terapije koji su efikasni (a moda ak i efikasniji
nego odgovarajui delovi zapadne medicine) i koji su jo uvek
zasnovani na ideologiji koja je radikalno razliita od ideolo
gije zapadne nauke. Saznaii smo da postoje pojave kao to je
telepatija i telekineza, koje je nauni pristup jednostavno iz
brisao a koje bi mogle biti upotrebljene za istraivanja na
jedan potpuno nov nain (raniji mislioci, kao Aggrippa iz Net
tesheima, John Dee, pa ak i Bacon, bili su svesni ovih po
java). A zatim nije li sluaj da je crkva spasavala due,
dok nauka ini neto sasvim suprotno? Naravno, danas niko
ne veruje u ontologiju na kojoj se zasniva ovaj sud. Zato?
Zbog ideolokih pritisaka istovetnih onima koji ine da mi
danas sluamo nauku do iskljuenja svega ostalog. Takoe,
istina je da pojave kao to su telekineza i akupunktura mogu
biti na kraju apsorbovane u korpus nauke i na taj nain na
zvane naunim". Ali zapazite da se ovo deava jedino posle
dugog perioda otpora za vreme koga nauka, ne sadrei jo
ove fenomene, pokuava da uspostavi kontrolu nad onim ob
licima ivota koji ih sadre. I to vodi do dalje primedbe protiv
dela (2) posebnog argumenta. injenica da nauka ima rezulta
te rauna se u njenu korist samo ako su ovi rezultati postig
nuti od same nauke i bez ikakve pomoi sa strane. Pogled
u istoriju pokazuje da nauka jedva da ikada postie rezultate
na ovaj nain. Kada je Copernicus uveo novi pogled na uni
verzum on nije konsultovao naune prethodnike, on je kon
sultovao jednog ludog pitagorejca kakav je bio Philolaos. On
je prihvatio njegove ideje i zastupao ih uprkos svim vrstim
pravilima naunog metoda. Mehanika i optika mnogo duguju
zanatlijama, medicina babicama i veticama. A u naim dani
ma videli smo kako uplitanje drave moe da unapredi nauku:
kada su kineski komunisti odbili da i dalje budu zastraivani
sudom strunjaka i vratili tradicionalnu medicinu na univer
zitete i u bolnice, bilo je povike irom sveta da e nauka u
357
LITERATURA
1. Hermann von Helmholtz Uber den Ursprung und die
Bedeutung der geometrischen Axiome" u knjizi odabranih
Helmholtzovih tekstova Schriften zur Erkenntnistheorie, Ber
lin, Verlag von Julius Springer, 1921 (preveo Marijan Bobinac).
2. Ernst Mach Die okonomische Natur der physikali
schen Forschung" u Machovoj knjizi Popularwissenschaftliche
Vorlesungen, Leipzig, Johann Ambrosius Barth, 1903 (preveo
Marijan Bobinac).
3. Henri Poincare ,,La Science estelle artificielle?" u
Poincareovoj knjizi La valeur de la science, Pariz, Flammarion,
1970 (preveo Zdeslav Dukat).
4. Pierre Duhem La theorie physique et l'experience" u
Duhemovoj knjizi La theorie physique: son objet et sa struc
ture, Pariz, Marcel Rivire, 1914 (preveo Zdeslav Dukat).
5. Philipp Frank The Chain that Links Science with
Philosophy" u Frankovoj knjizi Philosophy of Science, West
port, Greenwood Press, 1974 (prevela Zvjezdana Duki).
6. Philipp Frank The Rupture of the Chain" u Franko
voj knjizi Philosophy of Science, Westport, Greenwood Press;
1974 (prevela Zvjezdana Duki).
363
364
Poglavlje 7
Nauka i njeni kritiari
Veina nas, iz oiglednih razloga, bez razmiljanja prihvata tvrdnju da je nauka pozitivna. Napokon, nauka nam
je darovala elektrinu energiju, pitku vodu, penicilin,
kontracepciju, putovanje avionom, i jo mnogo toga to je ljudskom rodu nedvojbeno donijelo veliku korist.
Meutim, i pored ovih impresivnih doprinosa ljudskoj
dobrobiti, nauka je podlona kritici. Neki tvrde da
drutvo troi previe novca za nauku na raun umjetnosti. Drugi dre da nam je nauka dala tehnoloke
mogunosti bez kojih bi nam bilo mnogo bolje, naprimjer sposobnost da se proizvede oruje za masovno
unitenje (slika 18). Feministkinje smatraju da je nauka
upitna jer je sama po sebi naklonjena mukarcima; oni
koji su religijski orijentirani esto osjeaju da nauka
ugroava njihovu vjeru, dok antropolozi optuuju zapadnjaku nauku za aroganciju, zbog toga to isprazno pretpostavlja svoju superiornost u odnosu na znanja i
vjerovanja izvornih kultura irom svijeta. Ovo nije kraj
liste kritike iji je predmet nauka meutim, u ovom
poglavlju nau panju usmjeravamo na tri predmeta koja
su posebno zanimljiva sa filozofskog stanovita.
Scijentizam
Rijei nauka i -nauni- ostvarili su poseban status u
modernom dobu. Ukoliko vas neko optui da se
ponaate nenauno, skoro sigurno ste izloeni kritici.
137
1 8 . Mogunosti nauke bez kojih bi nam bilo bolje: toksini oblak u obliku
gljive proizveden atomskom eksplozijom
Nauno ponaanje je razumno, racionalno, i hvale vrijedno; nenauno ponaanje je glupavo, iracionalno i vrijedno prezira. Teko je objasniti zato bi se oznaku
"nauno" trebali povezivati sa ovim karakterizacijama, ali
to je vjerovatno povezano sa neim to ima veze sa
visokim statusom kojeg nauka ima u modernom drutvu.
Drutvo naunike smatra ekspertima ija se miljenja o
znaajnim pitanjima redovno trae i koja se u veini
sluajeva bespogovorno prihvataju. Naravno, svako priznaje da naunici ponekad pogrijee - na primjer,
naunici, savjetnici Britanske vlade su 1990-tih objavili
da kravlje ludilo- ne predstavlja nikakvu opasnost za
ljude, to se pokazalo tragino pogrenim. Meutim,
povremeno zamuckivanje- poput pomenutog primjera,
ne moe poljuljati povjerenje koje javnost ima u nauku,
niti ugled koji naunici uivaju. Barem na Zapadu
naunici imaju poziciju koju su nekada imali religijski
lideri; oni su posjednici specijaliziranog znanja nedostupnog za laike.
138
139
iste
podjednako
tehnike
korisne
koje
i
za
su
korisne
prouavanje
astronomiji
drutava?
bile
Oni
koji
od
indukcija,
ska
najznaajnijih
eksperimentalno
konstrukcija,
osobina
naunog
testiranje,
zakljuivanje
do
istraivanja:
opservacija,
najboljeg
teorij-
objanjenja,
Nauka i religija
Napetost izmeu nauke i religije ve dugo traje i dobro
je dokumentirana. Moda je njen najbolje poznat primjer
Galilejev sukob sa Katolikom crkvom. Godine 1633.
inkvizicija je prisilila Galileja da se javno odrekne svojih
kopernikanskih stajalita, osudivi ga da provede svoje
posljednje godine ivota u kunom pritvoru u Firenci.
Crkva je opovrgavala Kopernikovu teoriju jer se ta teorija sukobljava sa Svetim pismom. U novije doba,
najznaajniji sukob izmeu nauke i religije bila je otra
rasprava izmeu darvinista i kreacionista u Sjedinjenim
Amerikim Dravama, koja e biti predmet nae panje
u ovom dijelu teksta.
Teoloko protivljenje Darwinovoj teoriji evolucije ne
predstavlja nikakvu novost. Kada je Porijeklo vrsta
objavljeno 1859. godine, odmah je izazvalo panju
crkvenih zvaninika u Engleskoj. Razlog je oigledan: U
skladu sa Darwinovom teorijom, sve trenutno postojee
vrste, ukljuujui i ljudsku, razvile su se od zajednikih
predaka tokom dugog vremenskog perioda. Ta teorija
jasno proturijei Postanju koje kae da je Bog stvorio
sva iva bia za est dana. Dakle, izbor izgleda
oigledan: ili vjerujete Darwinu ili vjerujete Bibliji, ali ne
oboma. Ipak, mnogi vatreni zagovornici Darwina nali
su naina da pomire kransku vjeru sa svojim vjerovanjem u evoluciju - ukljuujui i izvjestan broj eminentnih biologa. Jedan nain je da jednostavno previe ne
razmiljate o tom sukobu. Drugi, intelektualno poteniji
nain jest razmiljanje da Postanje ne bi trebalo interpre143
tirati doslovno nego bi trebalo biti shvaeno u alegorijskom ili simbolikom smislu, jer, naposljetku, Darwinova teorija prilino je kompatibilna sa postojanjem Boga i
sa mnogim drugim naelima kranstva. Darvinizam jedino iskljuuje doslovnu istinu biblijskog kazivanja o
stvaranju. Dakle, pogodno oslabljena verzija kranstva
moe se smatrati kompatibilnom sa darvinizmom.
Meutim, u Sjedinjenim Amerikim Dravama, posebno
u junim Saveznim Dravama, mnogi evangelistiki
protestanti nisu bili voljni izmijeniti svoja religijska
uvjerenja da bi ih prilagodili naunim saznanjima. Oni
insistiraju na tome da su biblijski opisi doslovno istiniti i
da je stoga Darwinova teorija evolucije u potpunosti
netana. Ovo miljenje je poznato kao kreacionizam, i
prihvata ga 40% odrasle populacije u Sjedinjenim
Dravama, to je mnogo vei procent nego u Britaniji i
Evropi. Kreacionizam je takoer mona politika snaga i
ostvaruje znaajan uticaj u nastavi biologije u amerikim
kolama, to nailazi na snano protivljenje naunika. U
uvenom majmunskom procesu- 1920-tih, nastavnik iz
Tennesseija bio je osuen zbog toga to je uenike
poduavao teoriji evolucije, to je bilo krenje dravnog
zakona. (Ovaj zakon je konano poniten od strane
Vrhovnog suda, 1967. godine). Djelomino zbog
-majmunskog procesa-, predmet evolucija bio je u
potpunosti izostavljen iz nastavnog plana za biologiju u
srednjim kolama u SAD-u tokom itavog niza
desetljea. Generacije Amerikanaca odrastale su bez
ikakvog znanja o Darwinu.
Ta situacija poela se mijenjati 1960-tih, sa novom serijom sukoba izmeu kreacionista i darvinista, dajui
zamah pokretu koji se naziva -kreacijska nauka-.
Kreacionisti su eljeli da uenici srednjih kola ue biblijsko tumaenje stvaranja, tano onako kako je navede-
144
145
146
147
istraivanja, a to su sudovi o vrijednosti, u slabom smislu te rijei. Jo jedan argumet proizilazi iz injenice, koja
bi vam do sada ve trebala biti poznata, da u principu
bilo koja skupina podataka moe biti objanjena na
nekoliko naina. Naunikov izbor teorije tako nee
nikada biti jedinstveno odreen njegovim podatkom.
Neki filozofi ukazuju na to da bi pokazali, da su
vrijednosti uvijek ukljuene u izbor teorije i da stoga,
nauka nikada ne moe biti vredonosno neutralna. Trei
argument je da nauno znanje ne moe biti razdvojeno
od njegovih ciljanih primjena na nain kako bi
zahtijevala neutralnost u smislu vrijednosti. Po ovom
gleditu, naivno je zamisliti naunike kako
nezainteresirano sprovode istraivanja za vlastiti raun,
bez razmiljanja o njihovim praktinim primjenama.
injenica da veliki dio naunog istraivanja danas
finansiraju privatne tvrtke koje su oigledno ukljuile u
to svoje komercijalne interese, daje izvjestan kredibilitet
pomenutom gleditu.
Iako zanimljivi, ovi argumenti su na neki nain apstraktni, nastoje dokazati da nauka ne moe biti principijelno
vredonosno neutralna, umjesto da identificiraju stvarne
sluajeve vrijednosti koje zadiru u nauku. Meutim, postoje i specifine optube za optereenost vrijednou.
Jedna od njih povezana je sa disciplinom poznatom pod
nazivom humana sociobiologija koja je izazvala velike
kontroverze tokom sedamdesetih i osamdesetih godina
prolog stoljea. Humana sociobiologija je pokuaj da se
principi Darwinove teorije primjene na ljudsko
ponaanje. Na prvi pogled, ovaj projekat izgleda
savreno razuman, jer su ljudi samo jedna medu
razliitim vrstama ivotinja, a biolozi dijele miljenje da
Darwinova teorija moe objasniti mnogo toga o
ponaanju ivotinja. Na primjer, postoji oigledno
darvinistiko objanjenje injenice da mievi obino
149
odgovorni za svoje aktivnosti oni se jednostavno pokoravaju svojim genetskim impulsima. Sociobiolozi kao da
kau: Kako moemo kriviti silovatelje, ako su njihovi
geni odgovorni za njihovo ponaanje. Sociobioloka
objanjenja ksenofobije i promiskuiteta kod mukaraca
smatraju se jednako destruktivnim. Ta objanjenja kao
da impliciraju da su fenomeni poput rasizma i brane
nevjere koje veina ljudi smatra nepoeljnim, prirodni i
neizbjeni jer su proizvod naeg genetskog naslijea.
Ukratko, kritiari smatraju da je sociobiologija vrednosno optereena nauka, a da su vrijednosti koje je
optereuju veoma neizvjesne. Meu ovim kritiarima ima
mnogo feministkinja i sociologa, to moda i nije iznenaujue.
Jedan od moguih odgovora na ovu optubu, mogao bi
biti insistiranje na distinkciji izmeu injenica i vrijednosti. Uzmimo sluaj silovanja. Pretpostavka je da ili
postoji gen koji odreuje mukarce da budu skloni silovanju koji se iri prirodnom selekcijom, ili da to nije
sluaj. To je pitanje iste naune injenice, iako ne
takve na koju je jednostavno odgovoriti. Meutim,
injenice su jedno, a vrijednosti drugo. ak iako postoji
takav gen, to ne ini silovanje prihvatljivim ili oprostivim, niti to silovatelja ini manje odgovornim za njegove aktivnosti, jer niko ne smatra da bi takav gen
doslovno tjerao mukarca na silovanje. U ekstremnom
sluaju, ovaj gen moe mukarce uiniti predisponiranim
za silovanje, meutim, uroena predispozicija moe biti
prevazidena kulturolokim obrazovanjem, a svako od
nas je uio da je silovanje pogreno. Isto vrijedi za
ksenofobiju, agresiju i promiskuitet. ak iako su sociobioloka objanjenja ovih ponaanja ispravna, to nema
implikacija na nain na koji treba da rukovodimo
drutvom, ili implikacija vezano za bilo koje drugo politiko ili etiko pitanje. Etika se ne moe dedukovati iz
152
154
Hilary
Putnam
TO TEORIJE NISU
TEORIJSKI ISKAZI
iskazi koji sadre
teorijske termine
Ponekad se upotrebljava trodjelna dioba: opaajni iskazi, teorijski iskazi (koji sadre samo teorijske termine) i mijeani" iskazi (koji
sadre obje vrste termina). Ta se razrada ovdje ne razmatra, jer ona
ne izmie nijednom od nie iznijetih prigovora.
236
(A) Ako je opaajni termin" onaj koji se ne moe primijeniti na neto neopaljivo, tada opaajni termini ne postoje 2 .
(B) Mnogi termini koji se prvenstveno odnose na ono to bi
Carnap klasificirao kao neopaljive entitete" nisu teorijski termini; a bar neki teorijski termini odnose se prvenstveno na opaljive entitete.
(C) Opaajni izvjetaji mogu sadravati, a esto i sadre, teorijske termine.
(D) Znanstvena teorija, u pravom smislu te rijei, moe se
odnositi samo na opaljive entitete. (Darwinova teorija
evolucije u obliku kako je izvorno bila iznesena jedan je
primjer.)
Da zaponemo s pojmom opaajnog termina": Carnapova formulacija u Testability and Meaning (Carnap, 1955)
bila je da termin, da bi bio opaajni termin, ne samo da mora
odgovarati nekoj opaljivoj osobini, nego utvr ivanje da li je
osobina prisutna ili nije opaa mora biti u stanju izvriti u
relativno kratko vrijeme i uz visok stupanj potvr enosti. U
svojoj najnovijoj mjerodavnoj publikaciji (Carnap, 1956) Carnap je prilino kratak. On pie: Termini u Vo [opaajnom
rjeniku] jesu predikati koji oznauju opaljiva svojstva doga aja ili stvari (npr. plavo", vrue", veliko" itd.) ili opaljive odnose izme u njih (npr. ,,x je toplije od y", ,,x se dodiruje s y" itd.) (Carnap, 1956, str. 41). Jedine daljnje pojanjavajue opaske to sam ih mogao pronai jesu slijedee:
Ime ,opaajni jezik' moe se shvatiti u uem i u irem smislu; opaajni jezik u irem smislu ukljuuje dispozicijske termine. U ovom lanku uzimam opaajni jezik Lo u uem smislu" (Carnap, 1956, str. 63). Opaajno svojstvo moemo smatrati jednostavnim specijalnim sluajem provjerljive dispozicije: na primjer, operacija iznalaenja da li je neka stvar plava
ili siktava ili hladna sastoji se naprosto u gledanju, sluanju,
odnosno doticanju te stvari. Pa ipak, u rekonstrukciji tog jezika [moj kurziv] ini se zgodnim uzeti neka svojstva za koja
je procedura provjeravanja krajnje jednostavna (kao u danim
primjerima) kao izravno opaljiva i upotrebljavati ih kao primitivne pojmove u L 0 " (Carnap, 1956, str. 63).
Ti odlomci pokazuju da bar Carnap smatra da opaajni
termini odgovaraju osobinama koje se mogu otkriti bez pomo2
238
i instrumenata. Ali dadu li se uvijek tako otkriti? Ili se jedan opaajni termin moe ponekad odnositi na opaljivu stvar
a ponekad i na neku neopaljivu? Mada nisam bio u stanju
nai ma koji eksplicitan iskaz o tome, ini mi se da pisci poput Carnapa mora da zanemaruju injenicu da svi termini
ukljuivi opaajne termine imaju bar mogunost da se
odnose na neopaljive entitete. Stoga je njihov problem esto
bio formuliran u kvazihistorijskoj terminologiji Kako su
teorijski termini mogli biti uvedeni u jezik?" A uobiajena
rasprava snano namee zakljuak da se time misli na slijedeu zagonetku: ako zamislimo vrijeme kada su ljudi mogli
govoriti samo o opaljivim entitetima (nisu imali na raspolaganju nijedan teorijski termin), kako su uope uspjeli poeti
govoriti o neopaljivim entitetima?
Mogue je da ovdje inim nepravdu Carnapu i njegovim
sljedbenicima. Ipak, polemike na stranu, slijedee toke moraju biti naglaene:
(1) Termini koji se odnose na neopaljive entitete u stvarnoj
se povijesti znanosti stalno tumae uz pomo ve postojeih
izraza koji se odnose na neopaljive entitete. Nikada nije bilo
jezikog stadija u kojem je bilo nemogue govoriti o neopaljivim entitetima. Cak i trogodinje dijete moe razumjeti
priu o ljudima koji su premali da bismo ih mogli vidjeti" 3
a u tom izrazu ne javlja se niti jedan teorijski termin.
(2) Nema niti jednog termina o kojem je istina da ne bi mogao
(bez promjene ili proirenja svog znaenja) biti upotrijebljen
tako da se odnosi na neopaljive entitete. Na primjer, Newton
je tako upotrijebio crveno" kad je pretpostavio da se crvena
svjetlost sastoji od crvenih estica4.
3
239
Carnap bi moda iskljuio satelit" kao opaajni termin s razloga da treba razmjerno mnogo vremena da se prostim okom provjeri
da je neto satelit ak i ako je satelit blizu matinom tijelu (premda
bi se o tome moglo sporiti). Ipak, satelit" ne moe biti iskljuen niti
iz sasvim drugog razloga da su mnogi sateliti predaleko da bi se
mogli vidjeti (a to je razlog koji prvi pada na pamet), jer isto vrijedi
i za golemu veinu crvenih stvari.
240
vjeivanjem na kojem se temelji druga dihotomija s poistovjeivanjem teorijskih iskaza" s iskazima koji sadre neopaajne (teorijske") termine i opaajnih iskaza" s iskazima
u opaajnom rjeniku".
Da opaajni iskazi mogu sadravati teorijske termine lako
je ustanoviti. Na primjer, lako je zamisliti situaciju u kojoj
bi se mogla pojaviti slijedea reenica: Mi smo tako er opaali stvaranje dva para elektrona i pozi trona".
S tim se prigovorom ponekad nastoji tako izii nakraj da
se predlae relativiziranje" opaajno-teorijske dihotomije
prema kontekstu. (Carnap, me utim, odbacuje taj nain u lanku to smo ga citirali.) ini mi se da taj prijedlog relativiziranja" dihotomije nije od osobite pomoi. U prvom redu,
lako se moe zamisliti kontekst u kojem bi se izraz elektron" pojavio u istom tekstu i u opaajnim izvjetajima i u
teorijskim zakljucima na temelju tih izvjetaja. (Tako da bi
dolo do iskrivljavanja ako bi se pokualo staviti taj termin
bilo u kutiju za opaajne termine" bilo u kutiju za teorijske termine".) U drugom redu, za koji je filozofski problem
ili svrhu potrebna ak i relativizirana dihotomija?
Uobiajeni je odgovor da se ponekad iskaz A (opaajni)
nudi u potporu iskaza B (teorijskog). Tada, da bismo objasnili
zato i sam A nije stavljen u pitanje u tom kontekstu, treba da
budemo u stanju rei da u tom kontekstu A fungira kao opaajni izvjetaj. Ali time se pogreno shvaa ono to sam htio
dokazati! Ja ne poriem potrebu za jednim pojmom kao to
je opaajni izvjetaj". Ono to poriem jest da distinkcija
izme u opaajnih izvjetaja i, me u ostalim, teorijskih iskaza
moe ili treba da se povlai na temelju rjenika. Pored toga,
relativizirana dihotomija nee posluiti Carnapovim svrhama.
Teko da se moe braniti teza da su teorijski termini samo
djelomino interpretirani, dok su opaajni termini potpuno
interpretirani, ako ne postoji otra crta izme u te dvije klase.
(Prisjetite se da Carnap kao svoj problem uzima rekonstrukciju jezika", ne nekog izdvojenog znanstvenog konteksta.)
DJELOMINA INTERPRETACIJA
Pojam djelomine interpretacije" ima prilino udnu povijest taj termin svakako ima struni prizvuk i netko tko
bi ga susreo u Carnapovim, Hempelovim ili mojim 6 radovima
8
16
241
svakako bi s pravom pretpostavio da je to termin iz matematike logike za iju se tonu definiciju pretpostavlja da je
odve dobro poznata a da bi je trebalo ponavljati. alosna je
injenica da tome nije tako! U stvari, taj je termin uveo Carnap u jednom odjeljku svoje monografije (Carnap, 1939) bez
definicije (Carnap je ustvrdio bez objanjenja da interpretirati opaajne termine nekog rauna automatski znai djelomino interpretirati" teorijske primitivne pojmove) a kasnije
su ga upotrebljavali Carnap i drugi autori (ukljuivi i mene)
uz obilne unakrsne referencije, ali bez daljnjeg objanjenja.
Moe se pomiljati (bar) na tri stvari koje bi djelomina
interpretacija" mogla znaiti. Pokuat u pokazati da nijedno
od ta tri znaenja nije ni od kakve koriste u vezi s interpretiranjem znanstvenih teorija". Na moje raspravljanje imala
je utjecaj opaska Ruth Anne Putnam da ne samo da je taj
pojam bio upotrebljavan bez ikakve definicije nego je bio
primjenjivan bez razlike na termine, teorije i jezike.
(1) Tom bi se terminu moglo dati slijedee znaenje iz
matematike logike (ovdje pretpostavljam upoznatost s pojmom modela" formalizirane teorije): djelomino interpretirati" neku teoriju znai specificirati ne-praznu klasu intendiranih modela. Ako specificirana klasa ima jedan lan, interpretacija je potpuna; ako ima vie od jednog lana, u pravom
je smislu djelomina.
(2) Djelomino interpretirati termin P moglo bi (za verifikacionista kakav je Carnap) znaiti specificirati postupak verificiranja i opovrgavanja. Ako je a x individualna konstanta
koja oznauje jedinku a t (Carnap esto kao jedinke uzima prostorno-vremenske toke pretpostavljajui za fiziku jezik polja") i ako je mogue verificirati P(a t ), onda je jedinka Cj u
dosegu termina P; ako je P(aJ opovrgljivo, onda je a, u dosegu od P, negaciji od P; a ako se postojei postupci provjeravanja ne odnose na <Z[ (npr. ako
ne zadovoljava prethodne uvjete specificirane u postupcima provjere), onda je nedefinirano da li je a x unutar ili izvan dosega od P.
Ovaj pojam djelomine interpretacije termina neposredno
se odnosi na termine uvedene redukcijskim reenicama 7 (Carnap ih naziva istim dispozicijskim terminima"). U tom sluaju jedinka a^ ili je u dosegu od P ili u dosegu od P, pod
uvjetom da je antecedens bar jedne redukcijske reenice koja
uvodi" termin P istinit za ay, a inae je nedefinirano da li je
P(ai) istinito ili ne. Ali to se moe protegnuti na teorijske
primitivne pojmove u nekoj teoriji na slijedei nain: ako
7
242
243
245
246
vijesti jednog pojedinanog govornika); ili moda kako se teorijski termini uvode" (u povijesti jezika).
Da uzmemo prvi oblik problema (uenje jezika kod pojedinanog govornika): ini se da se teorijski termini ue u biti
na onaj nain na koji se ui veina rijei. Ponekad nam se
daju leksike definicije (npr. lagar je krianac izme u lava
i tigra"); ee mi naprosto oponaamo druge govornike; mnogo puta kombiniramo to dvoje (npr. daje nam se leksika definicija iz koje dobivamo grubu ideju o upotrebi a onda putem
oponaanja svi vie uskla ujemo svoje jezino ponaanje s
onim drugih govornika).
Pria u vezi s uvo enjem novih strunih termina u jezik
priblino je slina. Obino uenjak uvodi termin putem neke
vrste parafraze. Na primjer, masa" bi se mogla objasniti kao
ona fizika veliina koja odre uje kako se snano neko tijelo
odupire dobivanju ubrzanja, npr. ako neko tijelo ima dvostruku masu, njemu e dvostruko tee biti dati ubrzanje".
(Umjesto fizike veliine" moglo bi se rei obinim jezikom
ona osobina tijela", ono u tijelu t o . . . " Takvi pojmovi iroka spektra" javljaju se u svakom prirodnom jeziku; a na
sadanji pojam fizika veliina" ve je krajnje profinjenje.
Cesto, kao u sluaju sile" i mase", termin e biti jedan od
termina obinog jezika ija se nova struna upotreba u nekom
pogledu sasvim nastavlja na obinu upotrebu. U takvim se
sluajevima leksika definicija esto izostavlja a na njezinu
mjestu imamo samo iskaz o nekim razlikama izme u obine
upotrebe i strune upotrebe koja se uvodi. Obino iz tih eksplicitnih metalingvistikih iskaza dobivamo tek grubu predodbu u upotrebi strunog termina a ta se gruba predodba potom
precizira itanjem teorije ili teksta u kojem se taj termin upotrebljava. Ipak, ne bi trebalo previdjeti ulogu eksplicitnog metalingvistikog iskaza: teko da bi se moglo s razumijevanjem
itati tekst ili struni lanak da nema za ravnanje niti eksplicitnih metalingvistikih iskaza niti prethodne i srodne upotrebe strunih rijei.
Pouno je usporediti ovdje situaciju s logikim veznicima
u njihovoj modernoj strunog upotrebi. Mi uvodimo precizno
i struno znaenje za ili", ne", ako onda" i tako dalje,
upotrebljavajui iz obinog jezika neprecizno ili, i, ne i tako
dalje. Na primjer, kaemo: ,,A V B bit e istinito ako je A
istinito i bit e istinito ako je B istinito a bit e neistinito ako
je A neistinito i B je nestinito. Napose, A V B bit e istinito
ak i ako su i A i B istiniti." Obratite panju na to da nitko
nije predloio da se kae da je ,,V" samo djelomino inter-
247
248
LITERATURA
1. Carnap, R. The Foundations of Logic and Mathematics
u International Encyclopedia of Unified Science, Chicago, University of Chicago Press, 1939.
2. Carnap, R. ,,Testability and Meaning" u Readings in
the Philosophy of Science, uredili H. Feigl i M. Brodbeck, New
York, AppIeton-Century-Crofts, 1955.
3. Carnap, R. The Methodological Character of Theoretical Concepts" u Minnesota Studies in the Philosophy of
Science vol. I, uredili H. Feigl i M. Scriven, Minneapolis, University of Minnesota Press, 1956.
249
250
Poglavlje 4
Realizam i a n t i r e a l i z a m
Jo od drevnih vremena, u filozofiji se vodi debata izmeu dvije suprotstavljenje kole filozofske misli, realizma
i idealizma. Realizam smatra da fiziki svijet postoji
neovisno o ljudskoj misli i percepciji. Idealizam to
porie i tvrdi da je fiziki svijet na neki nain zavisan
od svjesne aktivnosti ljudi. Veini ljudi realizam se ini
vjerodostojniji od idealizma, jer je on u skladu sa
gleditem zdravog razuma po kojem su injenice o svijetu negdje vani i samo ekaju da ih otkrijemo. To nije
sluaj sa idealizmom. Uistinu, na prvi pogled idealizam
izgleda izuzetno udan. Budui da e stijene i drvee
najvjerovatnije postojati ak iako ljudska vrsta izumre u
kojem smislu je njihovo postojanje ovisno o ljudskom
umu? Ustvari, ovaj problem je ipak suptilniji od pomenutog pitanja, pa filozofi i danas raspravljaju o njemu.
Iako tradicionalni sukob izmeu realizma i idealizma
pripada podruju filozofije koje nazivamo metafizika,
on, zapravo i nema puno toga zajednikog sa naukom.
Predmet nae panje u ovom poglavlju bit e vie usmjeren na modernu debatu koja se tie nauke u uem
smislu, i na neki nain je analogna tradicionalnom
tumaenju. Ta debata se vodi izmeu stajalita poznatog
66
69
71
jevanja se javlja kada predmeti stupe u reakciju sa kisikom u zraku. Uprkos nepostojanju flogistona, flogistonska
teorija bila je empirijski dosta uspjena: prilino dobro je
odgovarala empirijskim podacima dostupnim u to doba.
Primjeri tog tipa sugeriraju da je argument
"nepostojanju uda" poneto ishitren za nauni realizam.
Zagovornici tog argumenta smatraju emiprijski uspjeh
dananjih naunih teorija dokazom njegove istine.
Meutim, historija nauke pokazuje da su se empirijski
uspjene teorije esto pokazale netanim. Kako moemo
biti sigurni da ista sudbina nee zadesiti i teorije koje
danas vrijede? Dakle, na koji nain moemo saznati da
atomska teorija materije, na primjer, nee zavriti na isti
nain kao i flogistonska teorija? Kada jednom dunu
panju usmjerimo na historiju nauke, tvrde antirealisti,
vidjet emo da se zakljuivanje od empirijskog uspjeha
do teoretske istine, nalazi na veoma labavim temeljima.
Razloan stav prema atomskoj teoriji je agnosticizam teorija moe biti istina, ali i ne mora. Mi to,
jednostavno, ne znamo, tvrde antirealisti.
Ovo je snaan protuargument argumentu nepostojanju
uda, ali nije u potpunosti presudan. Nekolicina realista
odgovorila je djelominim modificiranjem tog argumenta.
U skladu sa izmijenjenom verzijom, empirijski uspjeh
jedne teorije predstavlja dokaz da je to to teorija kazuje
nevidljivom svijetu djelomino istina, umjesto da je
potpuna istina. Ta ublaena tvrdnja manje je ranjiva od
suprotnih primjera iz historije nauke. Takoer je i
skromnija: dozvoljava realisti da prizna da dananje
teorije ne moraju biti tane do najsitnijeg detalja, ali
ostaje pri tvrdnji da su one, u opem smislu, na pravom
putu. Jo jedan nain modificiranja tog argumenta bio bi
proiavanje navoda empirijskoj
76
80
81
82
Kljuni momenat je slijedei. Antirealisti tvrde da nevidljivi dio realiteta lei izvan granica naunog znanja.
Dakle, oni doputaju da moemo imati znanje o predmetima i dogaajima koju se mogu promatrati ali ostaju
neprimjeeni. Meutim, teorije o neprimjeenim objektima i dogaajima su jednako nedostatno odreene naim
podacima kao i teorije o objektima i dogaajima koji se
ne mogu promatrati. Pretpostavimo na primjer da
naunik prezentira hipotezu da je meteor udario u
Mjesec 1987. godine. On navodi razliite vidljive
podatke da bi podrao ovu hipotezu, npr. da satelitska
slika Mjeseca pokazuje veliki krater koji nije bio tamo
prije 1987. godine. Meutim, ovaj podatak, u principu,
moe biti objanjen putem mnotva alternativnih
hipoteza - moda je vulkanska erupcija stvorila ovaj
krater, ili zemljotres. Ili je moda kamera koja je snimila
satelitsku sliku bila neprecizna, i taj krater uope ni ne
postoji. Dakle, nauna hipoteza je nedostatno odreena
podacima, ak iako se radi o hipotezi o savreno
vidljivom dogaaju - meteoru koji pogaa Mjesec.
Ukoliko konzistentno primjenjujemo argument
nedostatnog odreenja, kako realisti tvrde, prisiljeni smo
da zakljuimo da bi mogli ostvariti znanje jedino o
stvarima koje su, zapravo, bile promatrane.
Ovaj zakljuak je veoma malo vjerovatan i nije zakljuak
koji bi filozofi nauke eljeli prihvatiti, jer mnogo toga o
emu nam naunici govore su pojave koje nisu bile
promatrane - pomislimo samo na ledena doba,
dinosaure, pomjeranje kontinenata, i slino. Rei da je
znanje o nepromatranom nemogue, isto je to i kazati,
da veina onoga to se prihvata kao nauno znanje,
uope i ne predstavlja znanje. Naravno, nauni realisti
ne prihvataju taj zakljuak. Umjesto toga oni ga uzimaju
kao dokaz da argument nedostatnog odreenja mora biti
pogrean.
85
86
ERNEST NEJGEL
STRUKTURA
NAUKE
PROBLEMI LOGIKE NAUNOG OBJANJENJA
N O L I T BEOGRAD 1974
114
teorija gravitacije koristi pojmove mase, rastojanja, vremena i trenutnog ubrzanja od kojih je svaki povezan s nekom veliinom koja
se moe eksperimentalno odrediti.
Ova osobina daje apstraktivnim teorijama privid prostih
eksperimentalnih zakona i omoguuje relativno lako nalaenje vizuelno predstavljivog modela. Stavie, u prolosti su apstraktivne
teorije izgraivane, opte uzev, po strogoj analogiji s eksperimentalnim zakonima koji su prethodno bili utvreni u ogranienim podrujima istraivanja. Na primer, eksperimentalno prouavanje irenja
toplote prethodilo je Furijeovoj analitikoj teoriji toplote; eksperimentalni pojmovi i zakoni, koji su prvo bili razvijeni, sugerisali su
teorijske pojmove i matematiki oblik ove teorije. Slina istorijska
povezanost postoji izmeu drugih apstraktivnih teorija (kao to je
Njutnova mehanika ili Maksvelova teorija elektromagnetskog polja)
i rezultata prethodnih eksperimentalnih istraivanja. Pa ipak, uprkos
velikih analogija izmeu apstraktivnih teorija i eksperimentalnih
zakona, ove analogije ne potvruju tvrenje da su apstraktivne teorije
prosto eksperimentalni zakoni, i to iz razloga koje smo ve izloili.21
Dakle, apstraktivne i hipotetike teorije pripadaju istoj grupi
ukoliko je re o njihovoj prevodljivosti na jezik opaanja. U svakom
sluaju, jo niko nije uspeo da pokae kako se bilo koja od ovih
teorija moe bar u principu prevesti na jezik opaanja; teza o prevodljivosti ostala je za obe vrste teorija u velikoj meri sporna za
ralanjavanje teorijskih iskaza, a ne opis neega to je ve utvreno
za neku postojeu teoriju. Odavde proizlazi, na osnovu shvatanja o
gnoseolokom statusu teorija koji smo upravo razmotrili, da se istinitost i lanost ne mogu izricati u pravom smislu o bilo kojoj savremenoj teoriji fizike bar dok se ne utvrdi hipotetika prevodljivost
takvih teorija na jezik opaanja. Dakle, gledite o kome je raspravljano svodi se na ono drugo shvatanje koje smo ranije pomenuli i
prema kome se, u najboljem sluaju, teorije mogu smatrati instrumentima istraivanja, a ne iskazima o ijoj se istinitosti ili lanosti
mogu postavljati smislena pitanja.
III. Instrumentalisticko shvatanje teorije
Gledite koje emo, kratkoe radi, nazivati instrumentalistikim"
shvatanjem
statusa naune teorije imalo je razliite formula22
cije. Meutim, iako postoje vane razlike izmeu nekih formulacija,
Otra kritika tvrenja da apstraktivne teorije ne uvode nikakve ..hipotetike" ili verovatne pretpostavke, kao i odbrana gledita da se apstraktivne i hipotetike
teorije u sutini ne razllKuJu kao feortje mogu se nai u esejima Ludviga Bolcmana:
LUdvvig Boltzmann: ,.Ein Wort der Mathcmatik an die Energetik" i Uetier dio Unentberitchkcit der Atomistik in der Naturwissenschaft", oba iz njegovih Populre Schriften.
Leipzig, 1905.
*-' Vidt C. S. Peirce. Co'lecU Popers, CambridRe. Mass., 1932, Vol. 2. str. 354;
1933, Vol. 3, str. 1046; 1934; Vol. 5, str. 22628; Frank P. Ramsev, The foun.ations of
Mathematics, New York. 1931. str. 194 ff.. 23755; Moritz Schlick, Gesammelte Aufsdtzi,
Wlen. 1938, str. 67U; John Dewey. The Quest for Certalnty, New Yorit. 1929. pogl. 8;
W. H. Wntson, On Vnderstnnding PHysiCS. London, 1938. pogl. 8; Gilbert Ryle. The Concept of Mtn, Ncw York, 1949. str. 12025; Stephen Toulmin, The Phtlosop?ty of Science,
London, 1953, pogl. 3 1 4.
115
nee biti potrebno da o svakoj od tih formulacija raspravljamo posebno. U svakom sluaju, zasluge ovog stanovita ne treba pripisivati
iskljuivo nekoj posebnoj formulaciji. Snaga tog stanovita proizlazi
iz injenice da ono ukazuje na stvarnu funkciju jedne teorije u naunom istraivanju, kao i iz injenice da ovo stanovite zaobilazi
izvestan broj tekoa na koje nailaze alternativna gledita.
Sredinje tvrenje instrumentalistikog shvatanja jeste da
jedna teorija nije ni skraeni opis, niti uopteni iskaz o odnosima
izmeu opaljivih podataka. Naprotiv, prema ovom shvatanju, teorija
je pravilo ili princip ralanjavanja i simbolikog predstavljanja izvesnih injenica grubog iskustva, a istovremeno i instrumenat u
tehnici izvoenja nekih iskaza o onome to se moe opaati iz drugih
takvih iskaza. Na primer, teorija da gas predstavlja sistem molekula
koji se brzo kreu nije opis neega to je bilo opaeno ili to se
moe opaziti. Teorija predstavlja pravilo koje odreuje nain simbolikog predstavljanja, u izvesne svrhe, injenica kao to su opaljivi
pritisak i temperatura nekog gasa; teorija pokazuje, izmeu ostalog,
kako moemo izraunati koliinu toplote koja je potrebna da bi se
temperatura gasa povisila za odreeni broj stepeni (tj. kako moemo
izraunati specifinu toplotu gasa) kada su nam dati izvesni empirijski podaci o tom gasu i kada su ti podaci ukljueni u simboliki
opis. Na taj nain, molekularna teorija gasova (prema nekim predstavnicima instrumentalistikog shvatanja) niti logiki povlai za sobom, niti logiki proizlazi iz nekih iskaza o injenicama opaanja.
Raison d'etre ove teorije jeste da poslui kao pravilo ili vodi u logikom prelaenju od jednog skupa eksperimentalnih podataka do
drugog. Uopte, jedna teorija funkcionie kao rukovodei princip"
ili pravilo zakljuivanja" u skladu s kojima se izvode zakljuci o
opaljivim injenicama na osnovu datih injenikih premisa, a ne kao
premisa iz koje se takvi zakljuci mogu dobiti.
Ova tvrdnja ima nekoliko neposrednih posledica.
1. Shvatanje da je teorija podesna skraenica" za neku klasu
iskaza o neemu to se moe opaati (bilo da je ta klasa konana ili
beskonana) i srodno tvrenje da jedna teorija mora biti prevodljiva
na jezik opaanja predstavljaju irelevantne i pogrene pristupe u
razumevanju uloge teorija. Vrednost jedne teorije u izvoenju istraivanja ne bi se poveala ako bi se sluajno moglo pokazati da je
ona logiki ekvivalentna nekoj klasi iskaza o neemu to se moe
opaati. Nemogunost da se takva ekvivalencija ustanovi za bilo koju
teoriju u fizici ne umanjuje njihov znaaj kao instrumenata za analiziranje injenica iskustva sa ciljem da se rese konkretni eksperimentalni problemi i da se sistematski povezu eksperimentalni zakoni.
Stavie, s instrumentalistikog gledita nema smisla pitati da li jedna
teorija ima viak znaenja" i na ta se ona stvarno odnosi", pored
n
Jenog znaenja i njene referenci je koje otkrivamo u njenoj ulozi
organizatora istraivanja. Takva pitanja, u stvari, preutno pretpostavljaju neku izmenjenu verziju teze o prevodijivosti, prema kojoj
116
jedna teorija, iako po svom znaenju nije ekvivalentna nekoj klasi
iskaza o opaljivim injenicama, ipak se mora smatrati ekvivalentnom
nekoj drugoj klasi injenikih iskaza koja se razlikuje od same teorije. Na taj nain, ova pitanja izazivaju traenje odgovora na pogrenom mestu, a ne u okviru stvarnog konteksta istraivanja gde
jedna teorija ostvaruje svoje funkcije; ovakva pitanja trae da se na
njih odgovori na osnovu predrasuda o tome kakav smisao treba pripisati teorijama.
Moda e jedan primer uiniti jasnijim instrumentalistiko
stanovite o ovom pitanju. eki je svesno napravljeno orue pomou kojeg se razliiti materijali" mogu uobliiti tako da predstavljaju kutije, nametaj ili zgrade. Nain na koji se eki moe upotrebiti ne moe se jednom zauvek odrediti, tako da se proizvodi koji
nastaju njegovom upotrebom poveavaju i po broju i po vrsti. U
svakom sluaju, smatrali bismo besmislicom kada bi neko rekao da
je eki u izvesnom uobiajenom smislu ekvivalentan" onim stvarima koje su proizvedene ili se mogu proizvesti uz upotrebu ekia.
Mi bismo isto tako smatrali udnim pitanja o tome da li eki adekvatno predstavlja" proizvode koji su pomou njega proizvedeni,
ili o tome da li pored ovih proizvoda eki oznaava jo neki" skup
stvari koje bi se mogle proizvesti ekiem. Prema instrumentalistikom shvatanju teorija, jedna teorija je u mnogom pogledu kao
eki ili neko drugo fiziko orue, iako ova analogija ne postoji u
svakom pogledu. Teorije su intelektualna, a ne fizika orua. Teorije
su pojmovni okviri svesno konstruisani da bi se efektivno usmerilo
eksperimentalno istraivanje i da bi se pokazalo postojanje veza
izmeu opazljivih injenica koje bi inae izgledale nepovezane.
Zbog toga nema smisla ak ni pokuaj da se jedna teorija
prevede na neku odreenu klasu iskaza o neemu to se moe opaati. Kao i funkcija fizikog orua, funkcija jedne teorije sastoji se
u organizovanju sirovih podataka", a ne u saetom izlaganju ili
udvostruavanju takvih podataka. Prema ovom gleditu, kao i drugi
instrumenti, teorije imaju injeniku referenciju" naime, odnose
se na injenice radi ijeg objanjenja su i bile konstruisane i u kome
igraju efektivnu ulogu. Stavie, ako jedna teorija ima viak znaenja", pored znaenja koja joj se pripisuju prilikom faktike upotrebe, ona ima takvo znaenje u jednom od sledea dva smisla: ili u
smislu da postoji neki poznati model pomou kojeg se ona interpretira, ili u jednom jo bogatijem smislu, naime, da kao i drugi instrumenti ona moe biti primenjena na nove naine koji jo nisu poznati,
iako se mogu samo neodreeno predstaviti u mati. Na primer, savremena kvantna teorija dovodi u sistematsku vezu veliki skup fizikih
i hemijskih pojava. Meutim, izgleda da fiziari ne veruju kako se
primena ove teorije iscrpljuje primenom na ove pojave i da ona ne
moe posluiti kao rukovodei princip u analizi i organizovanju jo
neispitanih injenica. Naprotiv, fiziari proiruju primenu ove teorije na osnovu manje ili vie neodreenih nagovetaja koje im prua
117
sama ta teorija: sasvim nezavisno od razliitih modela koji se upotrebljavaju u interpretiranju formalnog aparata kvantne mehanike,
ovi nagovetaji predstavljaju operativni viak znaenja" te teorije.
2. Sasvim je obino, ako ne i normalno, da jedna teorija bude
formulisana pomou idealnih pojmova, kao to su geometrijski pojmovi prave i kruga, ili specifiniji pojmovi fizike, kao to su trenutna
brzina, savreni vakuum, beskonano sporo irenje, savrena elastinost i drugi. Iako ovakvi idealni" ili granini" pojmovi mogu biti
nagoveteni empirijskim injenicama, najvei deo ovih pojmova ne
opisuje nita to se moe eksperimentalno opaati. Zaista, za neke
pojmove ove vrste izgleda sasvim nemogue da oni, doslovno shvaeno, mogu biti upotrebljeni u opisivanju neeg postojeeg. Na primer, jednom fizikom telu moemo pripisivati brzinu samo ako se
to telo kree u konanom prostoru i konanom vremenskom intervalu, a ne ako se kree u prostornom i vremenskom intervalu koji se
beskonano smanjuju. Meutim, trenutna brzina je definisana kao
granica kolinika rastojanja i vremena kada vremenski interval tei
nuli. Prema tome, teko je prihvatiti kako numerika vrednost ove
granice moe biti mera neke stvarne brzine.
Pa ipak, postoji racionalan razlog za upotrebu ovakvih graninih pojmova u izgraivanju jedne teorije. Pomou ovakvih pojmova jedna teorija moe dobiti relativno prost oblik u svakom
sluaju dovoljno prost da bi se na nju primenili metodi matematike
analize. Razume se, mere jednostavni su neodreene, one delimino
zavise od intelektualne mode i opte misaone klime i menjaju se
s napretkom matematike tehnike. Ali, u svakom sluaju, razmatranja o jednostavnosti nesumnjivo su prisutna u izgraivanju teorija. Uprkos injenici da se u jednoj teoriji mogu upotrebljavati pojmovi koji suvie pojednostavljuju stvari, takva teorija e se ipak
vie ceniti od druge teorije koja upotrebljava realistinije" pojmove,
ukoliko prva odgovara ciljevima datog istraivanja i ukoliko se s
njom moe baratati lake nego s drugom teorijom.
S druge strane, prisustvo graninih pojmova u formulaciji
jedne teorije predstavlja tekou za gledite da se teoriji moe pripisivati sa smislom istinitost ili lanost. Za jedan injeniki iskaz
obino se kae da je istinit ako izraava neki odreeni odnos ili izmeu postojeih stvari i dogaaja (u najirem smislu reci postoji"), ili
izmeu svojstava postojeih stvari i dogaaja. Meutim, ako jedna
teorija izraava odnose izmeu svojstava koja se ne odnose (ili se
ne mogu) odnositi na postojee stvari, onda nije jasno u kojem smislu
se za ovu teoriju moe rei da je injeniki istinita ili lana.
Na sline tekoe ovo gledite nailazi zbog okolnosti da jedna
teorija, uopte uzev, sadri termine za koje nisu data pravila korespondencije, bez obzira da li za ovu teoriju postoji interpretacija na
osnovu nekog modela. Shodno tome, nijedan eksperimentalni pojam
nije povezan s takvim terminima, tako da oni, u stvari, predstavljaju
118
promenljive. Meutim, iako se takvi termini javljaju u izrazima koji
imaju gramatiki oblik iskaza, mnogi takvi izrazi nisu, u stvari,
iskazi ve samo iskazne forme. Razmotrimo, na primer, izraz Za
svako x ako je a: ivotinja i x je P, onda je x kimenjak". Ovaj izraz
ima gramatiki oblik jednog iskaza, ali poto sadri predikatsku promenljivu ,,P" ije vrednosti nisu odreene, taj izraz predstavlja
iskaznu formu a ne iskaz, pa se za njega ne moe rei da je istinit
ili laan. Iskazna forma daje iskaz ako se, na primer, odreeni predikat sisar"23 stavi umesto (ili se odredi kao vrednost) predikatske
promenljive. Ova injenica moe se ilustrovati primerima iz postojeih teorija fizike. Mi smo ve primetili da u molekularnoj teoriji
gasova ne postoji pravilo korespondencije za izraz brzina pojedinanog molekula", iako takvo pravilo postoji za izraz prosena vrednost brzina svih molekula". Slino tome, izraz ty(x, t) koristi se u
Sredingerovoj (Schrodinger) jednaini u kvantnoj mehanici da bi se
opisalo stanje jednog elektrona. U stvari, postoji pravilo korespondencije za izraz i\'(x, t) "ip*(x, t) (gde je ip* kompleksni konjugat od ij*),
ali takvo pravilo ne postoji za \\>{x, t). Dakle, na prvi pogled, teorije
koje sadre takve termine predstavljaju iskazne forme i za njih se
ne moe rei da su ili istinite ili lane.
Na ovakve i sline tekoe ne nailazi instrumentalistiko
shvatanje teorija, jer prema ovom shvatanju, nema smisla pitati da
li su teorije istinite ili lane, ve da li predstavljaju efektivne naine
opisivanja eksperimentalnih pojava i naine izvoenja zakljuaka na
osnovu opisa tih pojava. injenica da teorije sadre izraze koji ne
opisuju niti oznaavaju nita u stvarnom iskustvu ili izraze koji nisu
povezani s eksperimentalnim pojmovima zaista se uzima kao potvrda
miljenja da se teorije moraju shvatiti na osnovu svoje posrednike,
instrumentalne funkcije u istraivanju, a ne na osnovu toga to bi
bile adekvatni i objektivni opisi nekih injenica. Prema ovom gleditu, na primer, nedostatak molekularne teorije gasova nije u tome
to ona upotrebljava granine pojmove kao to su pojmovi materijalne take, trenutne brzine ili savrene elastinosti. Zadatak ove
teorije nije da prui verni opis onoga to se deava u nekom gasu,
ve metod analize i simbolikog predstavljanja izvesnih svojstava
gasa, tako da kada u nekoj konkretnoj eksperimentalnoj situaciji
postoji informacija o nekim od ovih svojstava, onda teorija omoguuje da doemo do informacije o drugim svojstvima s potrebnim stepenom preciznosti.
Isto tako, za instrumentalistiko gledite izvor tekoa ne
predstavlja injenica to u istraivanjima toplotnih svojstava nekog
gasa mi upotrebljavamo teoriju na osnovu koje taj gas shvatamo
kao skup diskretnih estica, a kada prouavamo zvune pojave u
gasovima, onda koristimo teoriju koja gas predstavlja u vidu jedno11
119
like sredine. Kada se ove dve teorije shvate kao iskazi koji su ili
istiniti ili lani, one su oigledno nespojive. Ali kada se ove teorije
shvate kao metodi ili rukovodei principi u zakljuivanju, onda su
te teorije prosto razliiti iako komplementarni instrumenti od kojih
svaki predstavlja efektivno intelektualno orue u bavljenju posebnom vrstom pitanja. U svakom sluaju, fiziari ne pokazuju veliku
grizu sa vesti kada upotrebljavaju jednu teoriju da bi resili jednu
vrstu problema i oigledno drukiju teoriju da bi se bavili drugim
pitanjima. Kada se bave pitanjima difrakcije i polarizacije, fiziari
primenjuju talasnu teoriju svetlosti, na osnovu koje se optike pojave
predstavljaju kao periodino talasno kretanje, ali kada se bave problemima odbijanja i prelamanja svetlosti, oni primenjuju relativno
prostiju teoriju geometrijske optike, prema kojoj se svetlost kree
pravolinijski. Njihova razmatranja zasnovana su na teoriji relativnosti kada primenjuju kvantnu mehaniku u analizi fine strukture
linije spektra; njihova razmatranja nisu zasnovana na teoriji relativnosti kada kvantnu teoriju koriste u analizi hemijskih veza. Moemo
navesti mnogo ovakvih primera; ako nita drugo, oni bar pokazuju
da doslovna istinitost teorija nije osnovni cilj kada se teorije primenjuju u eksperimentalnom istraivanju.
Meutim, odavde ne proizlazi da su teorije prema instrumentalistikom shvatanju samo fikcije", izuzev u sasvim bezazlenom smislu da teorije predstavljaju ljudske tvorevine. U pogrdnom
smislu ove reci, kazati da je jedna teorija fikcija, znai tvrditi da
teorija ne odgovara injenicama, a ovo, opet, ne predstavlja tvrdnju
koja je spojiva s instrumentalistikim shvatanjem da se istinitost i
lanost ne mogu pripisivati teorijama. Zaista se moe tvrditi, u skladu s ovim stanovitem, da mnogi modeli pomou kojih se teorije
interpretiraju zaista predstavljaju fikcije. (U nekim sluajevima oni
se ak eksplicitno uvode kao fikcije, kao to je to bio sluaj s Kelvinovim mehanikim modelima etera). Tvrditi ovo znai samo rei
ili da prosto nema empirijskog svedoanstva koje potvruje pretpostavku o fizikom postojanju ovih modela, ili da je to raspoloivo
svedoanstvo negativno. S druge strane, sasvim je u skladu s instrumentalistikim shvatanjem priznanje da su neke teorije superiornije
od drugih bilo zato to slue kao efektivni rukovodei princip u
mnogo irem podruju istraivanja nego to je to sluaj s drugim
teorijama, bilo zato to jedna teorija prua metod analize i predstavljanja injenica koji omoguuje preciznije i bogatije zakljuivanje
nego to je to sluaj s drugim teorijama. Meutim, jedna teorija je
efektivno orue u istraivanju samo ako su stvari i dogaaji zaista
tako povezani da su nam zakljuci koje nam teorija omoguuje da
izvedemo iz datih eksperimentalnih 'podataka u saglasnosti s drugim
opaenim injenicama. Kao i kada je re o drugim instrumentima,
efektivnost jedne teorije kao instrumenta ili njena superiornost nad
drugim teorijama zavisi od objektivnih odlika predmeta istraivanja,
a ne od linih udi i naklonosti.
120
3. Instrumentalistiko shvatanje teorija objanjava se i potvruje u izvesnoj meri jednim zanimljivim teoremom
formalne lo4
gike koji je poznat kao Gregov teorem (Craig).- Mi emo objasniti
ovaj teorem, ali emo izostaviti tehnike tekoe i finese. Neka L
bude neki jezik", kao to je jezik fizike, koji ne sadri samo uobiajene izraze formalne logike (npr. ,.ako onda", ne", za svako xil)
ve i neku klasu O izraza koji oznaavaju stvari i svojstva za koja u
izvesnom smislu moemo rei da su opaljiva" (npr. bakarna ica",
zeleno" i due od"), kao i klasu izraza T koji se smatraju teorijskim" terminima (npr. elc-ktron" ili svetlosni talas"). Svaki ne-logiki izraz iz L pripada samo jednoj klasi O ili T. Dalje, pretpostavlja se da je L formalni sistem", tako da zadovoljava izvestan broj
uslova koje ne zadovoljava stvarni jezik fizike. Prvo, renik iz L
je potpuno odreen i postoje eksplicitna pravila o graenju iskaza
od rei iz tog renika. Jedan iskaz iji su svi sastavni ne-logicki
izrazi iz klase O zvaemo iskazom opaanja"; iskaz koji sadri bar
jedan izraz iz T zvaemo teorijskim" iskazom. Drugo, dopustivi zakljuci u L odreeni su fiksiranim skupom R pravila logikog zakljuivanja. Tree, L je aksiomatizovano na nain koji je poznat iz
geometrije.
O ovoj aksiomatizaciji treba jo neto rei. Neka je W klasa
svih iskaza iz L koji su stvarno istiniti, bez obzira da U su istiniti
zato to su logiki nuni ili zato to tacno izraavaju neku injenicu;
neka je Wo skup iskaza opaanja iz W koji sigurno nisu logiki istiniti, i neka W-p slian skup teorijskih iskaza iz W. Aksiomi A iz L
predstavljae, u optem sluaju, neku pravu podklasu iz W, tako da
postoje iskazi u W koji nisu logiki ekvivalentni nekim aksiomima
iz A. Stavie, sada je ve oigledno da ukoliko L predstavlja priblino
vernu iako idealizovanu sliku stvarnog jezika fizike, aksiomi e sadravati i teorijske iskaze i iskaze opaanja. Neki iskazi opaanja
bie ukljueni u skup aksioma zato to se ne mogu svi iskazi opaanja
izvesti samo iz teorijskih iskaza. S druge strane, meu aksiomima e
se nalaziti i teorijski iskazi zato to se mnogi iskazi opaanja ne mogu
tvrditi kao istiniti na osnovu neposrednih eksperimentalnih podataka
(npr. iskazi opaanja o prolim dogaajima) i zato to se takvi iskazi
ne mogu logiki izvesti iz drugih istinitih iskaza opaanja ako nemamo i neku teoriju. U svakom sluaju, aksiomi A, zajedno sa svim
iskazima koji su iz njih izvodljivi u skladu s pravilima zakljuivanja
R, sainjavae klasu W istinitih iskaza u L. Meutim, poto, prema
pretpostavci, samo iskazi iz Wrt izraavaju opaljive injenice, dogovorimo se da klasa iskaza Wo koja moe biti konana ili beskonana odreuje empirijski sadraj" jezika L. Dakle, pri ostalim
jednakim uslovima, nijedan injeniki podatak o osnovnom predmetu
istraivanja, recimo fizike, ne moe predstavljati osnovu za opredeljivanje izmeu dva jezika koji imaju isti empirijski sadraj.
" Wtlllam Craig, On Axiomatization withln a Svstem". Journal of SyTnf>o!fe
Logic, Vol. 18, (1953), str. 3032 i u manje tehnikom obliku ..Replacement of Auxiliary
Expressions", Ptiilosophical Revieto. Vol. 65 (1956), str. 3855.
121
Prirodno je, dakle, pitanje da li se posle svega ovog moe
konstruisati jedan jezik koji bi imao isti empirijski sadraj kao L,
ali koji ne bi sadrao teorijske iskaze. Mi smo ovo pitanje ve razmatrali u vezi s tezom da su teorije prevodljive na iskaze opaanja i
zakljuili smo da ova teza nije potvrena. Meutim, time nije iskljuena mogunost da postoji neki drugi nain da se resimo teorija, a da
pri tome ne umanjimo empirijski sadraj jednog jezika.
Kregov teorem je ba u ovom pogledu relevantan. Kregov
pristup razliit je od pristupa koji su izabrali predstavnici stanovita
0 prevodijivosti. On ne predlae da se teorije prevedu na iskaze opaanja, ve da se, u stvari, jedan formalni jeziki sistem koji sadri
teorijske izraze zameni drugim formalnim sistemom koji nema teorijske termine, ali jo uvek ima isti empirijski sadraj kao i prvobitni sistem. Tanije, Kreg pokazuje kako se konstruie formalni
jezik L*: ne-logiki izrazi iz L* jesu termini opaanja O iz L; pravila
zakljuivanja R* iz L* ista su kao R (izuzev nebitnih izmena); jedini
ne-logiki istiniti iskazi koji su ukljueni u aksiome A* iz L* jesu
iskazi opaanja koji su specifikovani jednim efektivnim postupkom
(isuvie sloenim da bismo ga ovde opisali) koji se primenjuje na
istinite iskaze opaanja W iz L. Tada se moe dokazati da je proizvoljni iskaz opaanja S teorem u L ako i samo ako je S teorem u L*,
tako da je empirijski sadraj jezika L* isti kao i u L. Dakle, svaka
sistematizacija iskaza opaanja koja je postignuta u L pomou teorija rnoe se oigledno postii u L* bez teorija. Sa stanovita formalne
logike izgleda, dakle, da teorije nisu bitni instrumenti u strukturi fizike.
Meutim, Kregov rezultat ne opravdava takav zakljuak,
kako je on sam pokazao. Sasvim nezavisno od injenice da jezik fizike
ne predstavlja formalni sistem i da je neverovatno da e on to ikada
postati, zbog toga to se ne moe predvideti kako e se taj jezik menjati, dve odlike Kregovog metoda u konstruisanju jezika L* ozbiljno
umanjuju znaaj njegovog teorema za nauno istraivanje. Prvo,
iako njegov metod pokazuje kako se aksiomi A* iz L* mogu efektivno
odrediti, taj metod ne jami da e broj aksioma biti konaan (izuzev
ako je klasa Wo iskaza opaanja iz L konana). Isto tako, taj metod
ne jami ako je A* ili beskonano ili ako sadri konaan ali vrlo veliki broj aksioma, da e se moi ovi aksiomi tako odrediti da neko
psiholoki bude u stanju da ih uspeno primenjuje u deduktivnom
zakljuivanju. Treba podsetiti da uobiajene aksiomatizacije u razliitim oblastima ne samo da sadre konaan broj aksioma ve i relativno mali broj aksioma. Kad bi broj uobiajenih aksioma bio ak
1 umereno veliki (na primer, kada bi bilo potrebno milion aksioma
za geometriju ravni, za ljude bi bilo nemogue da ih sve dre u svesti,
25
a sporno je da li bi se mogli dedukovati znaajniji teoremi. Dakle,
* Znaaj ove okolnosti ne umanjuje injenica da su konstruisani razni formalni sistemi sa beskonano mnogo aksioma, ovi sistemi koriste ono to se zove
..sheme aksioma", od kojih svaka opisuje odreeni oblih aksioma, koji moe biti otclotvoren u beskonanom bro}u specifinih iskaza. Meutim, iako je broj aksioma u takvim
sistemima beskonaan, broj shema aksioma je konaan i sasvim mali.
122
123
rukovodei princip) koji je poznat kao princip silogizma (jedan iskaz
oblika x je P" moe se izvesti iz dva iskaza oblika Svi S su P" i
,,x je -S"). Taj rukovodei princip nije premisa u zakljuivanju, i zakljuak se ne izvodi iz njega, ve u skladu s njim. Stavie, to je formalni princip poto se odnosi samo na formu iskaza, bez obzira na
ta se njihovi termini mogu odnositi.
Meutim, isto je tako dobro poznato da se jedna argumentacija koja se odvija prema nekom pravilu zakljuivanja moe rekonstruisati, tako da se isti zakljuak moe dobiti iz nekog podskupa
prvobitnih premisa, u skladu sa injenikim rukovodeim principom
koji nadoknauje izostavljene premise. Na primer, ispravno je zakljuiti Vojvoda od Velingtona je smrtan" na osnovu jedne jedine
premise Vojvoda od Velingtona je ovek"f pod pretpostavkom da
prihvatimo injeniko pravilo zakljuivanja Bilo koji iskaz oblika
,x je smrtno' moe se izvesti iz iskaza oblika ,x je ovek'1'. Za rukovodei princip u ovom sluaju kae se da je injeniki zato to se
u njemu pominju termini koji se odnose na neki odreeni sadraj
i ovi termini se moraju javljati u klasi zakljuaka koju ovaj princip" odreuje.
S druge strane, ovaj se postupak, u optem sluaju, moe
obrnuti tako da se u nekoj argumentaciji injeniki rukovodei princip moe izostaviti i zameniti odgovarajuom premisom. Na primer,
zakljuak koji sledi iz premise Ovaj komad bakarne ice bie zagrejan" u skladu s injenikim rukovodeim principom Iskaz oblika
,x e se rairiti' moe se izvesti iz iskaza oblika ,x je bakar i x e biti
zagrejano'" moe se dobiti i bez ovog rukovodeeg principa ako se
on izostavi i zameni iskazom Svaki komad bakra iri se kada se
zagreje". Oigledno je stvar pogodnosti na koji e se od ova dva
naina izvesti neka argumentacija. Dakle, iako je razlika izmeu
premisa i pravila zakljuivanja i opravdana i znaajna, dati iskaz
moe imati ulogu premise u jednom kontekstu, ali se u drugom kontekstu moe upotrebiti kao rukovodei princip, i obratno.
Okolnost koju smo ilustrovali ovim prostim primerima oigledno postoji i u sluaju sloenijih argumentacija u kojima teorije
imaju osnovnu ulogu. Skoro je nesumnjivo, na primer, da se u mnogim sluajevima talasna teorija upotrebljava ili tako da se moe
shvatiti kao rukovodei princip ili kao metod izvoenja iskaza o injenicama koje se mogu eksperimentalno potvrditi na osnovu drugih
takvih podataka. Isto je tako nesumnjivo da ovaj nain posmatranja
teorije istie njenu ulogu u istraivanju koja bi se inae mogla zanemariti; nesumnjivo je takoe da ovo stanovite onemoguuje dogmatska tvrenja kako neka posebna teorija predstavlja konanu istinu
0
prirodi" stvari. Odavde, ipak, ne proizlazi da teorije ne slue ili
da ne mogu sluiti kao premise u naunim objanjenjima i predvianjima kao bona fide iskazi o kojima ima smisla postavljati pitanja
o istinitosti i lanosti.
124
U stvari, teorije se obino prikazuju i upotrebljavaju kao
premise, a ne kao rukovodei principi; to vai i za naune rasprave
i za lanke koji saoptavaju rezultat teorijskog ili eksperimentalnog
istraivanja. Mnogi ugledni naunici svakako su teorije smatrali iskazima o prirodi i strukturi datog predmeta; oni su obavljali svoja
istraivanja pretpostavljajui da je teorija slika nekog dela prirode,
a ne skup principa na osnovu kojih se do takve slike moe doi.
Mnoga eksperimentalna istraivanja nesumnjivo su inspirisana eljom da se utvrdi da li se razliiti hipotetiki entiteti i procesi koje
neka teorija postulira (npr. neutroni, mezoni i neutrini savremene
atomske fizike) zaista javljaju u okolnostima i u odnosima koje ata
teorija izraava. Meutim, istraivanje koje je oigledno usmereno ka proveravanju jedne teorije poiva prima fade na pretpostavci da ta teorija neto tvrdi a neto porie. Ukratko, ni logika, ni
injenice iz naune prakse, ni este eksplicitne izjave naunika ne
dokazuju tvrdnju da se teorije ne mogu drukije shvatiti nego kao
metodi zakljuivanja.
Stavie, kao to smo ve nagovestili, o jednoj se teoriji mogu
postaviti ista pitanja i kada se ona smatra rukovodeim principom
i kada se ona koristi kao premisa. Bez obzira da li je jedan injeniki
rukovodei princip teorija ili ne, taj princip je pouzdan samo ako se
zakljuci izvedeni iz istinitih premisa u skladu s tim principom slau
s injenicama opaanja u izvesnoj meri koja je unapred odreena.
Prema tome, postoji samo verbalna razlika izmeu pitanja da li je
jedna teorija zadovoljavajua (kao metod zakljuivanja) i pitanja
da li je teorija istinita (kao premisa).
Tvrenje nekih predstavnika instrumentalistikog stanovita
da se ni iz jedne teorije ne mogu logiki izvesti iskazi o injenicama
opaanja mora se na isti nain oceniti. To tvrenje je, oigledno,
zasnovano ukoliko se teorija shvati kao rukovodei princip, budui
da jedno pravilo zakljuivanja nije premisa u ispitivanju injenica
i nije neto o emu bi se moglo rei da logiki nuno povlai za
sobom zakljuke o injenicama. Ovo tvrenje je takoe zasnovano
ukoliko se pod njim podrazumeva da ak i kada se jedna teorija
primenjuje kao premisa, iz same te teorije ne slede zakljuci o pojedinanim sluajevima izuzev ako se dodaju podesna pravila korespondencije zajedno sa iskazima o poetnim uslovima. S druge strane,
ovo tvrenje je sasvim pogreno ukoliko se njime tvrdi da jedna
teorija ne povlaci za sobom nijedan iskaz o opaljivim injenicama,
ak i kada su ispunjeni uslovi iz prethodne reenice. Takva tvrdnja
opovrgnuta je kad god se jedna teorija primenjuje na pomenuti
nain na primer, kada se talasna teorija svetlosti koristi u objanjavanju hromatske aberacije optikih sociva.
Na kraju, instrumentalistikom shvatanju moramo uputiti jo
jednu primedbu. Ve smo ukratko pokazali da predstavnici ovog
shvatanja nemaju jednoznano objanjenje za razliite ..naune
objekte" (kao to su elektroni ili svetlosni talasi) koje mikroskopske
125
teorije oigledno postuliraju. Moramo jo dodati da uopte nije jasno
na koji se nain o ovim naunim objektima", sa stanovita instrumentalizma, moe rei da predstavljaju postojee objekte. Ako je
jedna teorija samo rukovodei princip tehnika u izvoenju zakljuaka zasnovana na metodu opisivanja pojava onda termini kao
to su elektron" i svetlosni talas" verovatno funkcioniu samo kao
pojmovne veze u pravilima opisivanja i zakljuivanja. Tada se znaenje takvih termina iscrpljuje njihovom ulogom u usmeravanju
istraivanja i u sistematisanju podataka opaanja; u ovom smislu,
izgleda da je iskljuena pretpostavka da bi se takvi termini mogli
odnositi na fiziki postojee objekte i procese koji ne bi predstavljali pojave u strogom smislu. Predstavnici instrumentalistikog
shvatanja ponekad su zaista u ovom pitanju protivreili samima sebi.
Tako neki pisci, tvrdei da je atomistika teorija materije prosto
tehnika u zakljuivanju, ipak su ozbiljno raspravljali o pitanju da
li atomi postoje i tvrdili su da ima dovoljno svedoanstva koje pokazuje da atomi stvarno postoje. Drugi su eksplicitno tvrdili da su
atomi i drugi nauni objekti" uopteni iskazi o odnosima izmeu
skupova pojava i da ne mogu biti pojedinane postojee stvari; meutim, oni su isto tako izjavljivali da se atomi kreu i da imaju
masu. Ovakve protivrenosti navode nas na pomisao da njihovi tvorci
ipak nisu spremni da iskljue kao besmislena sva pitanja o istinitosti i lanosti jedne teorije. U svakom sluaju, sasvim je jasno da
nije protivreno pretpostavljati logika svojstva takvih pitanja i
istovremeno priznavati vanu instrumentalnu funkciju naunih
teorija.
126
dijalektiku, on obino moe da izbegne aoku oigledno ozbiljnih
primedbi upuenih njegovom stanovitu. Prema tome, ovaj ionako
ve dugi spor o tome kako treba shvatiti teorije moe se produavati
u beskonanost. Poto su oba pomenuta shvatanja tako izloena da
svako od njih moe da izbegne oigledne tekoe na koje nailazi, iz
ove rasprave treba izvesti zakljuak da pitanje o tome koje je od
ova dva shvatanja istinsko stanovite" predstavlja samo terminoloki spor.
1. Razmotrimo osnovne tekoe na koje nailaze oba pomenuta shvatanja; ponimo s tekoama na koje nailazi shvatanje da
su teorije istiniti ili lani iskazi.
a. Postoji, pre svega, isto formalna tekoa koja se sastoji
u tome da jedna teorija nije iskaz ve samo iskazna forma. Ako neki
termini teorije nisu povezani ni s jednim pravilom korespondencije,
kao to se esto deava, ovi termini su, u stvari, promenljive, tako
da teorija oigledno ne zadovoljava gramatike uslove da bi bila
iskaz. Ova se tekoa moe resiti jednim formalnim metodom koji
je prvi eksplicitno predloio Remzi (Ramsey).- Metod se sastoji u
uvoenju takozvanih egzistencijalnih kvantifikatora" kao prefiksa
za iskazne forme, tako da izraz koji nastaje na ovaj nain formalno
gledano predstavlja iskaz. Na primer, izraz Ako neki ovek ima
osobinu P, onda takva osoba ima plave oi" predstavlja iskaznu formu, ali kada ovom izrazu dodamo prefiks postoji osobina P", dobijamo iskaz Postoji osobina P tako da ako neki ovek ima osobinu P,
onda ta osoba ima plave oi". Slino tome, pretpostavimo da su termini masa" i ubrzanje" povezani s pravilima korespondencije, ali
da to nije sluaj s terminom sila". Izraz Ako neko telo trpi promenu u kretanju, onda je proizvod mase i ubrzanja tog tela jednak
sili F koja na njega deluje" predstavlja, u stvari, iskaznu formu iz
koje moemo dobiti iskaz Ako neko telo trpi promene u kretanju,
onda postoji (merljivo) svojstvo F, tako da je proizvod mase i ubrzanja tog tela jednak F". Uopte, neka je T(M,N,P,Q)" jedna
teorija iji su teorijski termini ,.M" i ,,N" povezani s pravilima korespondencije, dok to nije sluaj s teorijskim terminima ,,P" i ,,Q",
tako da ,,T(M, N, P, Q)" predstavlja, po pretpostavci, iskaznu formu.
Tada Postoji neko P i postoji neko Q tako da vai T (M, N, P, Q)"
predstavlja iskaz. Budui da se Remzijevim metodom ne menjaju
posledice koje se mogu izvesti iz teorije i koje se odnose na opaanje, njegov metod je dovoljan da se izbegne formalna tekoa o kojoj
raspravljamo.
b. Drugo, postoji ve pomenuta primedba da teorije obino
sadre granine pojmove koji ne opisuju nita postojee, pa se
takvim teorijama nikako ne moe pripisivati injenika istinitost.
Ova primedba se moe izbei na vie naina. Poznato je da se moe
** Frank P. Ramsey, Navedeno elo, str. 212236.
127
128
Drugi deo ovog odgovora kae da iako se za izvesno vreme
mogu koristiti nespojive teorije, njihova primena je samo privremeno pomono sredstvo koje e se napustiti im se izgradi neprotivrena teorija optija od obeju prethodnih. Tako, na primer, iako su
postojala ozbiljna neslaganja izmeu atomistikih teorija koje su se
koristile na poetku ovog veka u objanjavanju mnogih injenica
fizike i hernije, ove suparnike teorije bile su zamenjene jednom
jedinom teorijom o atomskoj strukturi koja se sada primenjuje i u
fizici i u herniji. Zaista, protivrenosti koje mogu postojati izmeu
razliitih teorija, od kojih je svaka ipak korisna u nekom ogranienom podruju istraivanja, predstavljaju esto veliki podstrek u
izgraivanju optije ali neprotivrene teorijske strukture. Dakle,
predstavnik shvatanja da su teorije istiniti ili lani iskazi moe
izbei svaku tekou u svom stanovitu koja proizlazi iz injenice
da se u naukama ponekad primenjuju nespojive teorije. On moe
naglaavati da se svaka teorija uvek ispravlja, pa se, prema tome,
ni jednoj teoriji ne moe pripisivati konana istina. On ak moe
tvrditi da i jedna pogrena teorija moe biti sasvim korisna u reavanju mnogih problema; on, pored toga, moe jo tvrditi da niz teorija u izvesnoj grani nauke predstavlja niz sve boljih aproksimacija
nedostinom ali valjanom idealu konano istinite teorije.
d. Najzad, jedna primedba koja se obino upuuje shvatanju
o kojem raspravljamo ukazuje na tekoe u interpretiranju kvantne
mehanike pomou nekog poznatog modela. Teorijska i eksperimentalna razmatranja navela su fiziare da elektronima (i drugim entitetima koje kvantna teorija postulira) pripisuju oigledno nespojiva i
u svakom sluaju neobina svojstva. Tako se elektronima pripisuju odlike koje ima neki sistem talasa; s druge strane, elektroni takoe imaju osobine koje nas navode da ih zamiljamo kao estice od
kojih svaka ima prostorni poloaj i brzinu, mada se u principu nijednom elektronu ne moe pripisivati odreeni poloaj i brzina istovremeno. Mnogi fiziari su zbog toga zakljuili da se kvantna teorija
ne moe shvatiti kao iskaz o nekom objektivno postojeem" domenu stvari i procesa, kao slika koja bar priblino odraava mikroskopsku strukturu materije. Naprotiv, ova se teorija mora smatrati
konceptualnom shemom ili principom kojim se sluimo u izvoenju
eksperimenata.
Odgovor na ovu primedbu ima poznati oblik. On izgleda
ovako: injenica da se za kvantnu teoriju ne moe nai vizuelno
predstavljiv model, kao u sluaju zakona klasine fizike, ne predstavlja adekvatnu osnovu poricanja da kvantna teorija opisuje strukturna svojstva subatomskih procesa. Nesumnjivo je poeljno imati zadovoljavajui model za neku teoriju. Meutim, vrsta modela koja se
smatra zadovoljavajuem u nekom datom trenutku predstavlja funkciju preovlaujue intelektualne klime. Iako nam savremeni modeli
kvantne teorije mogu izgledati neobini i ak nerazumljivi", ne
postoje ubedljivi razlozi da ne pretpostavimo kako ova nerazumlji-
129
vost nee ieznuti kada se na ove modele naviknemo, ili da neemo
nai bolju interpretaciju kvantne teorije. Nerazumljivost sadanjeg
modela zasniva se, u velikoj meri, na naoj nesposobnosti da uoimo
kako se reci kao to su talas" i estica" upotrebljavaju u tom
modelu kao metafore. Elektron je samo u prenosnom smislu estica
(u uobiajenom znaenju ove reci), ba kao to je u vrlo nategnutom
smislu V1 broj (u smislu u kojem je 3 broj). Za jedan elektron
se kae da je estica (ili talas) zato to su neka svojstva koja se pripisuju elektronima slina izvesnim svojstvima klasinih estica (ili
talasima na vodi), iako takva analogija ne vai za druga svojstva.
Kada se jezik estica" i talasa" shvati na osnovu naina na koji
se ove reci stvarno upotrebljavaju u kontekstu kvantne mehanike,
tako se bar tvrdi, onda se u opisivanju elektrona pomou kvantne
mehanike ne javljaju ak ni prividne protivrenosti. Osnovni problem
se ne sastoji u tome da li je neki poseban supstantivni model
subatomskih procesa zadovoljavajui. Osnovni problem je da li su
odnosi izmeu elementarnih konstituenata fizikih objekata i procesa adekvatnije opisani matematikim formalizmom kvantne mehanike ili nekim drugim formalnim modelom kojim sada raspolaemo.
U tom pogledu, svi kompetentni poznavaoci slau se da je matematiki formalizam kvantne mehanike za sada najbolji.
Primedbe upuene gleditu prema kome su teorije istiniti ili
lani iskazi dovoljne su da pokau kako ovo stanovite ima u sebi
prilino dijalektike snage da se odbrani od otrih kritika. Neosporno
je da se za odgovore na ove kritike mogu nai nove kritike primedbe,
mada na svaku novu primedbu predstavnik shvatanja koje se napada
moe nai bar na prvi pogled zadovoljavajui odgovor. Zbog toga
sada ne bi bilo korisno nastavljati ovu raspravu. Umesto toga, vratimo se nekim kritikim primedbama upuenim instrumentalistickom
gleditu.
2. Postoje dve osnovne tekoe koje smo zapazili u instrumentalistickom shvatanju u obliku u kome se to shvatanje obino
iskazuje. Prva je tekoa to je najvei deo eksperimentalnog istraivanja usmeren ka traenju svedoanstva za ili protiv neke teorije
to je to poduhvat koji oigledno nema smisla ako teorija nije pravi
iskaz ve samo nain i pravilo istraivanja. Meutim, ova primedba
se lako moe obesnaiti. Dovoljno je ako odgovorimo da se jedna
teorija zaista moe proveravati" traenjem svedoanstva koje e
tu teoriju ili potvrditi" ili opovrgnuti", ali samo u tom smislu
to se pozitivno ili negativno svedoanstvo trai za zakljuke o injenicama posmatranja, zakljuke koji slede iz premisa o neemu
to se moe opaati, u skladu s datpm teorijom. Kao to smo videli,
jedini problem koji se na ovaj nain postavlja odnosi se na relativnu
pogodnost upotrebe injenikih, a ne isto formalnih, rukovodeih
principa u deduktivnom zakljuivanju.
Druga i ozbiljnija tekoa sastoji se u tome to dosledno
instrumentalistiko stanovite ne dozvoljava pretpostavke o fizikoj
B Struktura nauke
130
realnosti" (ili fizikom postojanju") bilo kojeg naunog objekta"
koji se u nekoj teoriji postulira. Ako je teorija u kojoj se nalaze
termini kao to su atom" ili elektron" samo rukovodei princip,
onda je neumesno pitanje da li stvarno postoje" atomi; tada je vrlo
udna izjava da smo, kao to to neki fiziari ine, poto eksperimentalno svedoanstvo sada ukazuje" na atom, ubeeni u njegovo
fiziko postojanje kao to smo ubeeni u postojanje naih ruku
i nogu".
Meutim, snaga ove primedbe nije jasna zbog oigledne dvosmislenosti ako ne i opskurnosti izraza ..fizika stvarnost" ili fiziko
postojanje". Pisci koji ove fraze upotrebljavaju ne shvataju ih,
opte uzev, u istom smislu. Zbog toga e biti korisno ako razmotrimo neke kriterijume koji se eksplicitno ili preutno upotrebljavaju
kada se tvrdi ili porie fiziko postojanje naunih objekata kao to
su elektroni, atomi, elektrina polja itd.
a. Moda je najpoznatiji uslov da se jedna stvar smatra fiziki realnom da ta stvar ili dogaaj bude javno uoljiva kada su
ostvarene odreene mogunosti opaanja. Na osnovu ovog kriterijuma, moe se rei da fiziki postoje tapovi, kamenje, bljesak munje, mirisi iz kuhinje i slino, ali se to ne moe rei za bol koji
ovek osea kada iai nogu niti za crvene slonove koje pijanac vidi
u delirijumu. Meutim, veina naunih objekata nije fiziki realna
u ovom smislu. Tako su osvetljene povrine fiziki realne na osnovu
ovog kriterijuma, ali to nisu svetlosni talasi; iako je kondenzacija
vodene pare u kojoj se vide tragovi u Vilsonovoj komori realna, to
nisu alfa estice (koje prema savremenoj teoriji fizike) ostavljaju
ove tragove. Sigurno je da mi nismo na osnovu ovakve interpretacije
izraza fiziki realno" ubeeni u fiziko postojanje atoma, kao to
smo ubeeni da postoje nae ruke i noge. S druge strane, ak i kada
bi neki hipotetiki nauni objekti bili fiziki realni u ovom smislu
na primer, kada bi se mogli videti geni koje postulira savremena
bioloka teorija nasleivanja uloga teorijskih pojmova, pomou
kojih se odreuju ovakvi objekti, ne bi se nimalo izmenila. Naravno,
sasvim je mogue da bismo odgovorili na jo uvek sporna pitanja o
molekulima kada bismo ih mogli opaati, pa bi se teorija molekula
mogla poboljati. Pa ipak, teorija molekula jo uvek izraava osobine
molekula relacionim pojmovima opisujui odnose u kojima se
molekuli nalaze prema drugim molekulima i prema drugim stvarima a ne pojmovima koji se odnose na osobine molekula koje
bismo mogli neposredno ulno opaati. Raison d'etre teorije molekula nije u tome da prui obavetenja o ulnim kvalitetima molekula, ve da nam omogui da razumemo (i predviamo) pojavljivanje
dogaaja i odnosa u kojima se oni meusobno nalaze, i to na osnovu
poznavanja opte strukture koju oni grade. Dakle, u ovom smislu
fiziko postojanje teorijskih entiteta nema vei znaaj za nauku.
131
b. Drugi, iroko prihvaeni, kriterijum fizikog postojanja
skoro je suprotan prvome i ve je uzgred bio pomenut. Prema tom
kriterij umu, svaki ne-logiki termin jednog zakona (eksperimentalnog ili teorijskog) oznaava neto to je fiziki realno, pod uslovom
da je taj zaiton potvren empirijskim svedoanstvom i da je u naunoj zajednici prihvaen kao verovatno istinit. Prema ovom kriterijumu, fiziko postojanje se ne pripisuje samo entitetima koji se
mogu eksperimentalno odrediti, kao to je kinetika energija metka,
napregnutost jednog tela na koje deluju sile, viskozitet neke tenosti
ili elektrini otpor jednog provodnika, ve i teorijskim objektima
kao to su svetlosni talasi, atomi, neutrini i talasi verovatnoe. Svako
ko primenjuje ovaj kriterijum smatrae da su mnogi objekti koje
postulira neka prihvaena teorija fiziki postojee stvari, ak i pre
nego to postoji empirijsko svedoanstvo koje u pojedinostima potvruje odreene pretpostavke o tim objektima. Ovaj kriterijum prihvataju, izgleda, mnogi savremeni fiziari koji veruju u fiziko
postojanje antiprotona onako kako ih postulira kvantna teorija, iako
bar za sada ne postoji odreeno eksperimentalno svedoanstvo. S druge strane, oni koji prihvataju ovaj kriterijum poricae fiziko postojanje naunog objekta u ije se postojanje nekada verovalo (kao to
je flogiston, koji je postulirala flogistonska teorija sagorevanja)
ukoliko je teorija koja taj objekat postulira naputena kao nezadovoljavajua izuzev, naravno, ako jedna druga prihvatljiva teorija
postulira sasvim slian objekat.
c. Ponekad se upotrebljava trei kriterijum fizikog postojanja koji kae da termin koji oznaava neto fiziki realno mora
biti prisutan u vie eksperimentalnih zakona, pod pretpostavkom da
su ovi zakoni logiki nezavisni jedan od drugog i da nijedan od njih
nije logiki ekvivalentan nekom skupu od dva ili vie zakona. Ovaj
se zahtev, oigledno, moe pojaati ukoliko se jo zahteva da postoji
vei broj takvih eksperimentalnih zakona. Na osnovu ovog zahteva,
kao fiziki realne mogu se opisati one stvari koje se mogu identifikovati drukije i nezavisno od postupaka kojima te stvari definiemo.
Na primer, veliina gravitacione sile kojom Zemlja deluje na neko
telo javlja se kao konstanta ,,g" u Galilejevom zakonu slobodnog
pada. Kada bi to bio jedini zakon u kome se javlja ,,g", onda, po
ovom kriterijumu, termin gravitaciona sila" ne bi oznaavao nita
to je fiziki realno. Meutim, ,,g" se javlja u vie drugih eksperimentalnih zakona, kao to je zakon klatna. Prema tome, gravitacionoj sili Zemlje moe se pripisivati fiziko postojanje. S druge strane,
stvari izgledaju drukije kada je re o pojmu elektrinog polja. Jainu elektrinog polja u odreenom" podruju moemo odrediti ako
u to podruje unesemo jedno telo iju masu i elektrini naboj znamo,
a onda izmerimo silu koja deluje na to telo. Tada se jaina polja
definie kao kolinik iz sile i elektrinog naboja tela; eksperimentalni je zakon da pod odreenim uslovima ovaj kolinik ima istu
konstantnu vrednost za svako telo relativno malih dimenzija. Iako
132
se na ovaj nain elektrino polje" javlja u jednom eksperimentalnom zakonu, izgleda da je ovo jedini eksperimentalni zakon u kojem
se ovaj termin javlja. Ako je to tako, onda se, prema ovom kriterijumu, fiziko postojanje ne moe pripisivati elektrinim poljima.
Primena ovog kriterij uma na naune objekte koje postulira ju
mikroskopske teorije sadri izvesne tekoe, poto se teorijski termini
ne javljaju u eksperimentalnim zakonima. Daleko bi nas odvelo detaljno ispitivanje ovih tekoa. Za sada e biti dovoljno ako pretpostavimo da ovaj kriterijum fizikog postojanja teorijskih entiteta
kae da teorijski termin koji se oigledno odnosi na takve entitete
mora biti povezan pravilima korespondencije s eksperimentalnim
pojmovima i da ovi eksperimentalni pojmovi moraju biti prisutni u
bar dva logiki nezavisna eksperimentalna zakona koja se mogu
izvesti iz te teorije. Na primer, u kinetikoj teoriji gasova teorijski
izrazi kao to su masa molekula", prosena kinetika energija
molekula", broj molekula" i drugi povezani su s eksperimentalnim
pojmovima kao to su masa jednog gasa", temperatura jednog
gasa" i kolinik proizvoda pritiska i zapremine jednog gasa i njegove temperature". Ovi eksperimentalni pojmovi javljaju se u nekoliko eksperimentalnih zakona kao to su Bojl-Carlsov zakon, Daltonov zakon o parcijalnim pritiscima ili zakon da je pri datoj temperaturi i datom pritisku razlika izmeu dve specifine toplote po jedinici zapremine ista za sve gasove a svi ovi zakoni mogu se izvesti
iz kinetike teorije gasova.
Treba obratiti panju da se prema ovom kriterijumu fizikog
postojanja nee za svaki entitet koji jedna teorija postulira rei da
postoji, ak i kada je teorija kao celina potvrena eksperimentima
i prihvaena kao verovatno istinita. Tako su neki fiziari sumnjali
u fiziko postojanje neutrina, koji su bili postulirani da bi se u
kvantnoj teoriji sauvao princip odranja energije. Mogue je da je
ova sumnja bila zasnovana na injenici da termin neutrino" nije
zadovoljavao uslov koji postavlja ovaj kriterijum. Isto tako, kada je
Plank prvi uveo teorijski pojam diskretnih kvanta energije da bi
uspeno objasnio distribuciju energije u spektru zraenja tamnog
tela, fiziari su (ukljuujui samog Planka) sumnjali u postojanje
takvih kvanta. Situacija se izmenila kada je pojam kvanta energije
bio povezan s konstantom ,,h", koja se javlja ne samo u Plankovom
zakonu radijacije ve i u drugim eksperimentalnim zakonima o fotoelektrinom efektu, liniji spektra razliitih elemenata, o specifinoj
toploti vrstih tela itd., i kada su svi ovi zakoni bili izvedeni iz teorija
koje su sadravale kvantnu hipotezu kao jednu od pretpostavki.
d. Cesto se usvaja etvrti i na neki nain ui kriterijum fizikog postojanja. Prema ovom kriterijumu, jedan termin oznaava
neto fiziki realno ukoliko se taj termin javlja u nekom potvrenom
kauzalnom zakonu" (teorijskom ili eksperimentalnom), u odreenom
smislu reci kauzalno". Prema odreenijoj verziji ovog kriterijuma,
133
jedan termin mora opisivati ono to se tehniki zove stanje jednog
fizikog sistema", tako da ukoliko je At" opis stanja sistema u trenutku t, onda kauzalni zakon tvrdi da e iz datog stanja uvek proizai
(ili prethoditi) stanje At> u trenutku t' koji dolazi posle (ili pre)
trenutka t. 2 7
Na primer, u mehanici se stanje jednog sistema estica opisuje
skupom brojeva koji odreuju poloaje i brzine estica. Uzroni zakoni mehanike omoguuju nam da odredimo njihove poloaje i brzine
u bilo kom trenutku ako su nam dati poloaji i brzine estica u
nekom poetnom trenutku. Prema tome, mehaniko stanje jednog
sistema je fiziki realno. Isto tako, stanje jednog sistema u kvantnoj
teoriji opisuje se izvesnom funkcijom (koja je poznata kao Psi-funkcija) poloaja i energija elementarnih estica, pri emu ova funkcija
predstavlja reenje osnovne talasne jednaine kvantne teorije. Ova
jednaina tvrdi da je Psi-stanje jednog sistema u datom trenutku uvek
praeno izraunljivim Psi-stanjem toga sistema u nekom odreenom
buduem trenutku. Dakle, na osnovu ovog kriterijuma, Psi-stanje je
fiziki realno. S druge strane, poto u kvantnoj mehanici koordinate
poloaja i brzine jedne pojedinane elementarne estice kao to je
elektron ne predstavljaju opis stanja te estice, one ne opisuju nita
to je fiziki realno. Prema miljenju bar nekih fiziara, fiziko
postojanje se ne moe pripisivati pojedinanim elektronima i drugim
takvim subatomskim entitetima. 28
e. Na kraju, treba pomenuti jo jedan kriterijum fizikog
postojanja prema kome je realno ono to je nepromenljivo za neki
unapred dati skup transformacija, promena, projekcija ili naina
posmatranja. Jedan primer iz elementarne geometrije objasnie optu
ideju na kojoj poiva ovaj kriterijum. Zamislimo da je na jednoj
horizontalnoj staklenoj ploi nacrtan krug i zamislimo da se na izvesnom odstojanju, pod pravim uglom iznad centra kruga, nalazi
mali izvor svetlosti. Tada e se ovaj krug projektovati kao senka na
zastoru koji je paralelan sa staklenom ploom i ova senka e takoe
predstavljati krug. Pretpostavimo da staklena ploa rotira oko osovine koja kroz nju prolazi i koja je paralelna sa zastorom, a da izvor
svetlosti i zastor ostanu u prvobitnim poloajima. Senke na zastoru
nee vie biti krugovi; one e prvo imati oblik elipsi, a zatim moda
i oblik parabola. U ovoj projekciji, senka kruga na zastoru nee sauvati ni oblik ni obim ni povrinu kruga na staklu. Pa ipak, u ovoj
projekciji neke osobine kruga ostaju nepromenjene. Na primer, ako
se na staklu nacrta prava koja preseca krug, senka ove prave uvek
e presecati senku kruga u bar dve take. Ako se na ovaj primer
primeni na kriterijum, onda bismo morali rei da fiziki ne postoje
" O pojmu ,,stanja" raspravlja emo potpunije u sledeem poglavlju.
* vidi diskusiju o ovom pitanju u debati izmeu dva vodea savremena fiziara, Erwln Schridinger, ,,Are There CJiianturn Jumps?" Brltisti Journal for the Philosophy of Science, Vol. 3, (1952). str. 109123, 233242 i Max Bom, The Interpretation of
^uantum Mechanlcs", Britisft Journal for the Phllosophij Sctcnce, Vol. 4, (1953). str.
95106
134
ni oblik ni obim ni povrina geometrijske figure na staklu, ve samo
one osobine te figure koje ostaju invarijantne u ovoj projekciji (kao
to je ona koju smo pomenuli).
Oigledno je da se prema ovom kriterij umu za razliite vrste
stvari moe rei da fiziki postoje ukoliko se odredi skup transformacija. Tako su mnogi pisci poricali fiziko postojanje neposrednih
ulnih kvaliteta, budui da se ovi menjaju u zavisnosti od fizikih,
fiziolokih pa ak i psiholokih uslova. Ovi mislioci su fiziko postojanje pripisivali takozvanim primarnim kvalitetima" stvari, iji su
meusobni odnosi nezavisni od fiziolokih i psiholokih promena, pa
se mogu iskazati zakonima fizike. Isto tako, numerika vrednost
brzine jednog tela nije invarijantna kada se kretanje tog tela opisuje
u razliitim koordinatnim sistemima, tako da prema ovom kriterijumu relativna brzina fiziki ne postoji. Mnogi pisci su o teoriji relativnosti tvrdili da prostorna rastojanja i vremenski intervali, onako
kako su shvaeni u pre-relativistikoj fizici, nisu fiziki realni, poto
nisu invarijantni za sve sisteme koji se kreu u odnosu jedan prema
drugom konstantnim relativnim brzinama. Prema ovim piscima, fiziko postojanje moe se pripisati samo onim odlikama stvari koje
se mogu opisati invarijantnim zakonima relativistike fizike (kao
to je relativistika kinetika energija tela ili njegov relativistiki
momenat). Na slian nain se fiziko postojanje pripisalo teorijskim
entitetima kao to su atomi, elektroni, mezoni, talasi verovatnoe i
drugi zato to oni zadovoljavaju neki pomenuti uslov invarijantnosti.
Da bismo izbegli mogue nesporazume, moda je korisno ako
naglasimo da su kriterijumi koje smo pominjali u dosadanjoj
raspravi namenjeni objanjavanju onoga to se podrazumeva kada
se u nekim kontekstima kae za neto da je fiziki realno. Pripisivanje fizikog postojanja u nekom pomenutom smislu ne srne se,
dakle, pogreno razumeti. Kada za jednu stvar kaemo da fiziki
postoji, onda to ne znai da ta stvar ima mesto u nekom sistemu
stvari za razliku od nekih drugih stvari koje nazivamo omrznutim
imenom ist privid", ili da je stvar koja zadovoljava uslove odreenog kriterijuma neto to je vrednije ili sutinskije od svega drugog to te uslove ne ispunjava. Mnogi naunici i filozofi esto su
upotrebljavali termin realno" na uzvieni nain kako bi izrazili
jedan vrednosni sud i da bi stvarima o kojima se kae da su realne
pripisali neki vii" status. Moda postoje razlozi za ovakve uzviene
konotacije kad god se ova re upotrebljava. Dodue, postoje i suprotne eksplicitne izjave, a sigurno je da ova uzvienost ide na tetu
jasnoi. Iz ovog razloga, bilo bi poeljno ovu re uopte ne upotrebljavati. Meutim, jezike navike su tako duboko ukorenjene i
tako rasprostranjene da je ovo nemogue. Dakle, upozorenje koje
smo dodali treba da objasni kako je svaka omrznuta razlika na koju
bi nas re realno" mogla navesti sasvim irelevantna za ovu raspravu.
Ova kratka lista kriterijuma ne iscrpljuje sav smisao izraza
realno" i postoji" koji se moe uoiti u raspravama o realnosti
135
naunih objekata. Zahtevalo bi suvie vremena ako bismo hteli pokazati da predstavnik instrumentalistikog shvatanja teorija nije u
stanju da prui nedvosmislen odgovor na dvosmisleno pitanje: da li
je u skladu s njegovim stanovitem prihvatanje fizike realnosti
stvari kao to su atomi i elektroni. Meutim, ova lista je dovoljno
duga da nagovesti kako postoje bar neka znaenja izraza fiziki
realno" i fiziki postoji" u kojima bi ironini instrumentalist mogao
priznati fiziku realnost ili postojanje mnogih teorijskih entiteta.
Tanije, ako se prihvati trei od navedenih kriterij uma u
odreivanju smisla izraza fiziki realno", sasvim je oigledno da je
instrumentalistiko shvatanje potpuno spojivo s tvrenjem da su
atomi fiziki realni. injenica je da mnogi instrumentalisti prihvataju takvo tvrenje. Prihvatiti ovo tvrenje znai verovati da postoji
izvestan broj potvrenih eksperimentalnih zakona koji su na neki
nain meusobno povezani, a isto su tako povezani s drugim zakonima posredstvom teorije atoma. Ukratko, tvrditi da u ovom smislu
atomi postoje znai tvrditi da je raspoloivo empirijsko svedocanstvo
dovoljno da ustanovi adekvatnost ove teorije kao rukovodeeg principa u irokom podruju istraivanja. Ali, kao to smo ve primetili, ovo se samo terminoloki razlikuje od izjave da je teorija tako
dobro potvrena svedoanstvom da se moe prihvatiti kao verovatno istinita.
Razume se, predstavnici instrumentalistikog shvatanja mogu
se uzdrati od suda o tome da li stvarno postoje i drugi teorijski
entiteti koje ova teorija postulira, budui da nije jasno da li su, na
osnovu prihvaenog kriterijuma, ispunjeni uslovi za njihovo fiziko
postojanje. Ali, u ovakvim spornim pitanjima i predstavnici shvatanja da su teorije istinite ili lani iskazi mogu oklevati. Zato je teko
izbei zakljuak da ukoliko se ova dva oigledno suprotna shvatanja
o gnoseolokom statusu teorija izloe paljivije, onda svako od njih
moe ukljuiti u sebe ne samo osnovne injenice koje se utvruju
eksperimentalnim istraivanjem, ve i sve relevantne injenice o
logici i metodu nauke. Ukratko, suprotnost izmeu ova dva gledita
predstavlja spor o nainu izraavanja.
ERNEST NEJGEL
STRUKTURA
NAUKE
PROBLEMI LOGIKE NAUNOG OBJANJENJA
N O L I T BEOGRAD 1974
4.
LOGIKI KARAKTER NAUNIH ZAKONA
42
premise nekog objanjenja istinite, za njih se iz ovog ili onog razloga moe rei da nisu pravi zakoni"; i, mada se univerzalnoj premisi
moe priznati status naunog zakona, moe se desiti da drugi uslovi
nisu ispunjeni, na primer, da to nije kauzalni" zakon.
Pretpostavimo, na primer, da u odgovoru na pitanje zato je
neki zavrtanj s zarao, neko kae da su svi za vrtnji u Srni tovim
kolima zarali i da je s zavrtanj iz Smitovih kola. Takvo objanjenje
e se, verovatno, odbaciti kao sasvim nezadovoljavajue jer univerzalna premisa nije uopte zakon prirode, a da i ne govorimo da nije
kauzalan zakon. Prima jacie, razlika izmeu univerzalnih iskaza koji
su slini zakonu" (tj. iskazi koji, ako su istiniti, mogu da se nazovu
zakonom prirode") i univerzalnih iskaza koji nisu slini zakonu
predstavlja tekou u predloenom objanjenju.
S druge strane, objanjenje injenice da je neka ptica b crna
zato to su sve vrane crne i zato to je b vrana ponekad se odbacuje
kao neadekvatno zato to ak i kada se pretpostavlja da je univerzalna premisa zakon prirode, ona stvarno" ne objanjava zato je
b crno. Prema jednoj interpretaciji ove tekoe, u ovakvom sluaju
prenebregava se razlika izmeu dve razliite stvari: izmeu objanjenja injenice da je b crno i objanjenja zakona da su sve vrane crne.
Prema tome, otklanjanje ove tekoe moe se sastojati u tvrenju
da dok predloeno objanjenje ne kae zato su sve vrane crne, ono
ipak kae zato je b crno; u najgorem sluaju to objanjenje kae da
boja perja ptice b ne predstavlja idiosinkraziju ptice b, nego je osobina koju b ima kao i sve druge ptice koje su opet, kao i ona, vrane.
Pa ipak, ova tekoa se takoe moe shvatiti kao izraz nezadovoljstva
s predloenim objanjenjem injenice da b ima crno perje, zbog toga
to pomcnuti zakon ne daje kauzalno objanjenje te injenice.
Ovi primeri koji ilustruju rasprostranjeno i preutno prihvatanje uslova za zadovoljavajua objanjenja, pored onih o kojima smo
ve raspravljali, navode nas da razmotrimo neke osobine koje verovatno razlikuju prirodne zakone od drugih univerzalnih kondicionalnih iskaza, kao i kauzalne zakone od nekauzalnih. Zato moramo ispitati nekoliko problema koji nastaju uvoenjem ovih razlika.
I. Akcidentalna i nomika univerzalnost
Termin zakon prirode" (ili slini termini kao to su nauni
zakon", prirodni zakon" ili prosto zakon") nije tehniki termin
koji se definie u prirodnim naukama. On se esto upotrebljava, naroito u svakodnevnom govoru, uz pridavanje izvesnog poasnog mesta,
ali bez preciznog znaenja. Nesumnjivo postoje mnogi iskazi koje bi
veina lanova naune zajednice nazvala zakonima", ba kao to
postoji jo vea klasa iskaza na koje se ovaj termin retko primenjuje,
ako se uopte primenjuje. S druge strane, naunici se ne slau u
43
44
Ovo e bili jasno Iz sledeeg: ako ne postoji nijedno x, tako da je x Jednorog, onda oigledno ne postoji nijedno x takvo da ]e x Jednorog boji nije crn. Na
osnovu standardne interpretacije univerzalnog kondicionalnog iskaza, ovaj poslednji iskaz
neposredno daje zakljuCak da za svako x ako je x jednorog, onda je x crno. Prema
tome, ako ne postoje Jednorozi, onda su svi jednorozi crni.
Moe se takoe pokazati da je univerzalni konriiclonalni iskaz istinit bez
obzira kakav je njegov antecedens, pod pretpostavkom da konsekvens zadovoljava sve
ono o emu se konsekvens moe sa smislom izricati. Ali mi emo zanemariti sve tekoe
koje nastaju iz ove odlike univerzalnih kondicionalnIh Iskaza.
Vidi A. C, Ewing, idealism, London, 1934., str. 167; C. I. Lewis, An Anall/ji*
of Knovcledge and Valuation, La Salle, I!l 1946, str. 228; Arlhur w. Burks, ,,The Logic
of Causal Propositions", Mind, Vol. 60 (1951), str. 36382.
45
tus zakona znai tvrditi, na primer, ne samo da takav komad bakra
1
nije postojao ve da je fiziki nemogue ' da takav komad bakra
postoji. Kada se pretpostavlja da je ovaj iskaz zakon prirode, onda
se tvrdi da zagrevanje svakog komada bakra fiziki nuno uslovIjava" njegovo irenje. Za univerzalne kondicionalne iskaze shvaene
na ovaj nain esto se kae da su univerzalni zakoni" ili nomoloki
univerzalni iskazi" i da izraavaju nomiku" univerzalnost.
Razliku izmeu akcidentalne i nomike univerzalnosti moemo napraviti i na drugi nain. Pretpostavimo da smo usredsredili
panju na neki komad bakra c koji nikad nije bio zagrevan i koji je
zatim uniten tako da nikada nee biti zagrejan. Pretpostavimo dalje,
da poto smo ga unitili postavimo pitanje da li bi se c proirilo da
smo ga zagrejali i pretpostavimo da je odgovor potvrdan. Najzad,
pretpostavimo da taj odgovor moramo obrazloiti. Kakav emo razlog
navesti? Razlog koji bi, opte uzev, bio prihvaen kao razuman jeste
da prirodni zakon Bakar se iri kada se zagreje" opravdava irealnu
kondicionalnu reenicu Da smo c zagrejali, ono bi se proirilo".
U stvari, veina naunika bi verovatno tvrdila da nomoloki univerzalni iskaz opravdava kondicionalni iskaz Za svako x, kada bi x bio
bakar i kada bi se zagrejalo, onda bi se x irilo".
Zakoni prirode se obino upotrebljavaju za opravdavanje irealnih kondicionalnih iskaza i ova upotreba je karakteristina za sve
nomoloke univerzalne iskaze. tavie, ova funkcija univerzalnih iskaza koji predstavljaju zakone takoe nagovetava da sama injenica
to ne postoji nita (u svim vremenima) to zadovoljava antecedens
nomolokog kondicionalnog iskaza nije dovoljna da utvrdi istinitost
ovog iskaza. Tako, na primer, pretpostavka da u svemiru ne postoje
tela na koja deluju spoljanje sile nije dovoljna za utvrivanje istinitosti ni irealnog kondicionalnog iskaza da kada bi takva tela postojala, njihove bi brzine bile konstantne, ni nomolokog univerzalnog
iskaza da nijedno telo na koje ne deluju spoljanje sile nema konstantnu brzinu.
S druge strane, oigledno akcidentalno univerzalni iskaz ,;Svi
zavrtnji u Smitovim kolima su zarali" ne opravdava irealni kondicionalni iskaz Za svako x, da je x zavrtanj u Smitovim kolima, x bi bilo
4
zaralo". Sigurno je da niko nee tvrditi na osnovu ovog de facto
univerzalnog iskaza da ukoliko bi neki odreeni mesingani zavrtanj
koji se sada nalazi u prodavnici bio stavljen u Smitova kola, taj zavrtanj bi bio zarao. Na taj nain, prima facie razlika izmeu akcidentalne i nomirke univerzalnosti moe se saeti u reenici: Univerzalni iskaz koji je zakon opravdava" irealni kondicionalni iskaz,
dok to nije sluaj sa akcidentalnim univerzalnim iskazom.
* Ovaj irealni kondicionalni iskaz ne sme se shvatiti kao da kae da kada bi
bt!o koji zavrtanj bio Ulcnri-an s jrdnim zavrtnjem u Smltoviii kolima, on til bio zarao.
Ovaj drugi irealni kondicionalni Iskaz je oigledno istinit ako su zaista svi zavrtnji u
Smitovim kolima zarali. Irealni kondicionalni Iskaz u tekstu treba razumeti kao da
liae da za svaki objekat x bez obzira da li Je identian s nekim zavrtnjem koji se
ada nalazi u Smitovim kolima kada bi x bio zavrtanj u tim kolima, on bi bio zarao.
46
47
6
48
definiu bakar tako da je reenica Bakar je dobar provodnik elektrine struje" mogla dobiti novu upotrebu i novo znaenje. U svojoj
novoj upotrebi, ova reenica vie ne izraava samo logiki moguu
istinu, kao to je to ranije bio sluaj, ve slui za saoptavanje logiki
nune istine. Nesumnjivo je da ne postoji otra granica koja odvaja
one kontekste u kojima se bakar identifikuje bez pozivanja na svojstva provodljivosti od onih konteksta u kojima se podrazumeva da
je dobra provodljivost deo prirode" bakra. Shodno tome, status
onoga to se tvrdi reenicom ,.Bakar je dobar provodnik elektrine
struje" nije uvek jasan, tako da Se logiki karakter ovog tvrenja u
jednom kontekstu lako moe
pobrkati s karakterom tog tvrenja u
8
nekom drugom kontekstu. Ova promenljiva upotreba iste reenice
pomae nam da objasnimo zato su mnogi mislioci smatrali da su
zakoni prirode logiki istiniti. Ona ukazuje da je izvor ovog uverenja
u injenici to su alternativna gledita apsurdna, kao to je jasno iz
ovakvih izjava: Ja ne mogu pripisivati nikakav smisao uzronosti
u kojoj cfekat nije nuno odreen, niti mogu pripisivati smisao nunoj
determinaciji koja bi ostavljala mogunost da nuno determinisani
dogaaj bude drukiji, a da to ne protivrei
njegovoj sopstvenoj
9
prirodi ili prirodi onoga to ga odreuje." U svakom sluaju, promene
u smislu reenica posledica su napredovanja saznanja i predstavljaju
vanu odliku u razvoju sveobuhvatnih sistema objanjenja. Ovoj
odlici posvetiemo panju u kasnijim poglavljima.
Pitanje o prirodi tobonje nunosti nomoloki univerzalnih
iskaza zaokupljalo je mnoge mislioce, poto je Hjum predloio analizu
kauzalnih iskaza pomou konstantnih konjunkcija i de facto pravilnosti. Zanemarujui vane detalje u Hjumovom objanjenju prostorno-vremenskih odnosa izmeu dogaaja za koje se kae da su uzrono
povezani, sutina Hjumovog gledita izgleda ukratko ovako. Objektivni sadraj iskaza da je dati dogaaj c uzrok nekog drugog dogaaja e jeste prosto to da c predstavlja sluaj nekog svojstva C, da e
predstavlja primer nekog svojstva E (ova svojstva mogu biti vrlo
sloena), i da je C u stvari E. Na osnovu ove analize, navodna ,,nu* Jedan drugi primer moe nam Domoi da ovo bolje objasnimo. Posmatrajmo
zakon poluge u obliku koji kne da ako se icla Jednake teine stave na krajeve homogene vrste ipke koja je okaena po sredini, onda je poluga u ravnotei; pretpostavimo
da nijedan Izraz koji se koristi u ovom zakonu nije definisan tako da to pretpostavlja
ponaanje poluga. Uz ovu pretpostavku taj iskaz je oigledno empirijski zakon, a nije
logiki nuan Iskaz. S druge strane, pretpostavimo da smo definisali kako su dva tela
iste teine ukoliko su terazije u ravnotei kada se na njihove strane stave ta dva tela.
U kontekstima u kojima se upotrebljava takva definicija ..jednakosti po teini", gornja
reenica c polugama ne moe se poricati, a da to ne izazove protivrecnost. tako da ona
ne Izraava empirijski zakon za koji Je relevantno eksperimentalno svedoanstvo. ve
iskazuje logiku nunu istinu. Reenice koje izgleda da izraavaju zakone, ali koje se,
u stvari, upotrebljavaju kao definicije, esto se nazivaju ,,konvencije"; o ulozi takvih
konvencija i njihovom odnosu prema zakonima kasnije emo mnogo vie raspravljati.
A. C. Ewing. c'anale naveden u napomeni 21. Samo se u prenosnom smislu
kiize da se efekti mogu izvesti iz uzroka, poto Iz iskaza da se neki navodni uzrok desio
logiki ne sledi iskaz o deavanju odgovarajueg efekta. Da bi se izveo takav iskaz o
efektu, iskaz o uzroku se mora dopuniti opstim zakonom. Tako iskaz da se data bilijarska kugla sudara s drugom kuglom ne povlai logiki za sobom nikakav Iskaz o
doonijem ponaanju druge kugle. Takav se iskaz moe izvesti samo ako se neki zakor.
(npr. o odranju momenta) doda poetnom iskazu. Teza da iskazi o uzrocima losikl impliciraju iskaze o efektima na taj nain brka relaciju logike nunosti, icoja vai izmeu
jednog skupa objaSnjivakih premisa i eksplananduma, s kontigentnom relacijom- koju
tvrde zakoni sadrani u ovim premisama.
49
nost" koja karakterie odnos c prema e ne poiva na objektivnom
odnosu izmeu samih dogaaja. Ova nunost poiva prema Hjumu u izvesnim navikama da neto oekujemo, navikama koje su
nastale kao posledica stalnih ali de jacto konjunkcija Ci E,
Hjumovo objanjenje kauzalne nunosti bilo je esto predmet
kritike, delimino na osnovu toga to je poivalo na sumnjivoj psihologiji; danas se uopte uzev priznaje opravdanost ovih kritika. Meutim, Hjumove psiholoke predstave nisu bitne za njegovo osnovno
tvrenje naime, da se univerzalni iskazi koji su zakoni mogu
objasniti bez upotrebe nesvodljivih modalnih pojmova kao to su
fizika nunost" ili fizika mogunost". Prema tome, jezgro veine
kritikih primedaba koje se upuuju Hjumovoj analizi jeste u tome
da je upotreba takvih modalnih kategorija neizbena u svakoj adekvatnoj analizi nomoloke univerzalnosti. Ovaj problem nije reen i
o njemu se i dalje raspravlja, a o nekim pitanjima koja se na ovaj
problem nadovezuju raspravlja se na visokom tehnikom
nivou. Ne
10
bi bilo korisno da ispitujemo ove tehnike detalje, pa emo zbog
toga razviti samo osnovne crte Hjumove interpretacije nomoloke
univerzalnosti.
III. Priroda nomike univerzalnosti
Imajui u vidu ovaj cilj, razmotrimo da li se kondicionalni
iskazi mogu smatrati iskazima slinim zakonu ukoliko zadovoljavaju
izvestan broj logikih i epistemolokih zahteva (pri emu su univerzalni kondicionalni iskazi shvaeni kao u modernoj formalnoj logici,
kako je to ve objanjeno). Bie korisno ako ponemo s uporeivanjem oigledno akcidentalnog univerzalnog iskaza (Svi zavrtnji u
Smitovim kolima su zarali" ili, optije reeno, Za svako x, ako je x
zavrtanj u Smitovim kolima u vremenskom periodu a, onda je x
zaralo u periodu a", gde a oznaava neki odreeni vremenski period)
s jednim drugim iskazom koji se obino shvata kao nauni zakon:
Bakar se iri kada se zagreje", ili eksplicitno, Za svako x i za
svako t, ako se x zagreje u trenutku t, x se iri u trenutku t".
1. Moda e nau panju prvo privui injenica da akcidentalni univerzalni iskaz sadri termine koji se odnose na neki pojedinani dogaaj ili na odreeni trenutak ili vremenski period dok to
nije sluaj s nomolokim univerzalnim iskazom. Da li je to bitna
10
Neki od ovih tehnikih detalja relevantni su samo pod pretpostavkom koja
ne izgleda razborita. Implicitna je pretpostavka, izuzev ako usvojimo neke modalne pojmove kao krajnje, da ukoliko treba da dobijemo adekvatno objanjenje nomoloke univerzalnosti, svaki se univerzalni zakon mora smatrati Jedinicom i mora se pokazati da
ga je mogue prevesti na ispravno konstruisani de facto univerzalni Iskaz koji se takoe
smatra kao celovita jedinica. Ali svakako postoji l alternativna pretpostavka: to je,
naime, objanjenje nomolokih univerzalnih iskaza tako Sto e se pokazati koji su
'oglkl i epistemoloki uslovi pod kojima se de facto univerzalni iskazi prihvataju kao
univerzalni zakoni. Stavlse. neke sitnije tehnike tekoe nastaju zbog tenje da se iskljui
svaki mogui udan" sluaj koji teorijski gledano moe nastati, iako se u naunoj
praksi Javlja retko, ako se uopte javlja.
i Struktura nauke
50
51
nih zakona. To je, na primer, bio sluaj s Keplerovim zakonima pre
Njutna, a ako nazovemo zakonom" (kao to to neki ine) i iskaz
da se planete okreu oko Sunca u istom smeru, onda je sa ovim
zakonom to sluaj i danas. Drugo, daleko je od izvesnosti da se iskazi
kao to su Keplerovi zakoni stvarno mogu logiki izvesti ak i danas
iskljuivo iz osnovnih zakona (kao to se zahteva na osnovu predloga
o kome raspravljamo, ako takve iskaze treba smatrati zakonima).
Izgleda da ne postoji nain da se Keplerovi zakoni dedukuju iz zakona Njutnove mehanike i teorije gravitacije samo zamenjivanjem
promenljivih koje se javljaju u zakonima Njutnove mehanike i teorije gravitacije individualnim konstantama, bez korienja drugih
premisa iji predikati nisu isto kvalitativni. Ako je to tako, onda
bismo na osnovu predloenog objanjenja izostavili
iz klase zakona
12
veliki broj iskaza koje obino smatramo zakonima . U stvari, predloeno objanjenje je suvie restriktivno i ono ne uspeva da opravda
neke vane razloge na osnovu kojih jedan iskaz smatramo zakonom prirode.
Uporedimo zato paradigmu akcidentalne univerzalnosti Za
svako x, ako je x zavrtanj u Smitovim kolima u vremenskom periodu a, onda je x zarao u periodu a" s prvim Keplerovim zakonom
.,Sve se planete kreu po eliptinim putanjama i Sunce se nalazi u
jednoj od ia svake elipse" (ili, izraeno u odgovarajuoj logikoj
formi Za svako x i za svaki vremenski interval t, ako je x planeta,
onda se x kree po eliptinoj putanji u periodu t i Sunce se nalazi
u jednoj ii te elipse.") Oba iskaza sadre imena pojedinanih objekata kao i predikate koji nisu isto kvalitativni. Pa ipak, meu njima
postoji razlika. U akcidentalnom univerzalnom iskazu objekti o kojima se izrie predikat zarao u vremenskom periodu a" (nazovimo
klasu takvih objekata podruje predikacije" univerzalnog iskaza)
strogo su ogranieni na stvari koje se nalaze u odreenom prostoru i
vremenu. U iskazu koji je slian zakonu podruje predikacije neto
sloenijeg predikata kree se po eliptinoj putanji u vremenskom
intervalu t i Sunce se nalazi u jednoj ii te elipse" nije na ovaj nain
ogranieno: ne zahteva se da planete i njihove putanje budu smetene u odreeni prostor ili u dati vremenski interval. Podesnosti radi,
nazovimo univerzalni iskaz ije podruje predikacije nije ogranieno
na objekte u odreenom prostoru ili u odreenom periodu vremena
.neogranienim univerzalnim iskazom". Tada moemo zahtevati da
iskazi koji su slini zakonima budu neogranieni univerzalni iskazi.
" S druge strane, ako se oslabi zahtcv da sve premise iz kojih se moe dedukovati jedan izvedeni zakon moraju biti fundamentalne, iskazi koji oigledno nisu slini
zakonu, kao to Je ona] o zavrtnjlma u Smitovim kolima, morae se smatrati zakonima.
Tako ovaj iskaz sledi Iz verovatno osnovnog "zakona da svi gvozdeni zavrtnji koji su
izloeni
dejstvu kiseonika raju, koji je dopunjen premisom da su svi zavrtnji u Smif
ovim kolima gvozdeni i da su i/.loeni dejstvu kiseonika. Zaista se moe iz Njutnove
teorije dedukovati tvrenje da e se jedno telo za koje vai zakon o obrnutom kvadratu
Nastojanja kretati po orbiti koja je konusni presek i u ijoj se iJi nalazi izvor centralne
sile. Ali da bi se izveo dalji zaklj-.iak <\a je taj konusni presek elipsa, neizbene su,
Ogleda, dodatne premise premise koje odreuju relativne mase i relativne brzine
Planeta 1 Sunca. Ova okolnost predstavlja razlog za sumnju da se Keplerovi zakoni mogu
Oeukovati iz premisa koje sadre samo osnovne zakone.
52
53
Moe, dakle, izgledati verovatno da se jedan univerzalni kondicionalni iskaz ne sme nazvati zakonom ukoliko ne znamo da li
postoji bar jedan objekat koji zadovoljava njegov antecedens. Meutim, ovaj zahtev je suvie restriktivan, jer mi nismo u stanju da to
uvek znamo, ak i kada smo spremni da jedan iskaz nazovemo zakonom. Na primer, moe se desiti da ne znamo da li stvarno postoji
komad bakarne ice na temperaturi od 270 C, a jo uvek moemo
eleti da smatramo zakonom iskaz da je svaki komad bakarne ice
na temperaturi od 270C dobar provodnik elektrine struje. Ali,
ako ovaj iskaz prihvatimo kao zakon, na osnovu kakvog svedocanstva
ga prihvatamo? Prema pretpostavci, mi za to nemamo neposredno
svedoanstvo, jer smo pretpostavili da ne znamo da li postoji neka
bakarna ica na temperaturama bliskim apsolutnoj nuli, pa prema
tome, s takvom icom nismo izvodili nikakve eksperimente. Prema
tome, svedoanstvo mora biti posredno: ovaj iskaz se prihvata kao
zakon, verovatno zato to je posledica nekih drugih zakona za koje
postoji neka vrsta svedocanstva. Na primer, ovaj iskaz je posledica
oiglednog zakona da je bakar dobar provodnik elektrine struje, za
koji postoji prilino veliko svedoanstvo. Prema tome, moemo na
sledei nain iskazati jedan novi zahtev koji se preutno pretpostavlja
u klasifikovanju neogranienih univerzalnih iskaza: irealna istinitost
neogranieno univerzalnog iskaza nije dovoljna da bismo taj iskaz
smatrali zakonom; mi emo takav iskaz smatrati zakonom samo ako
postoji skup drugih zakona iz kojih se taj univerzalni iskaz moe
logiki izvesti.
Na taj nain, neogranieni univerzalni iskazi za koje veruje
se, u svemiru ne postoji nita to zadovoljava njihove antecedense
stiu status naunih zakona zato to predstavljaju deo nekog sistema
deduktivno povezanih zakona i zato to empirijska evidencija
esto vrlo obuhvatna i raznovrsna potvruje itav sistem. Moemo
se, meutim, zapitati zato jedan univerzalni iskaz, ak i kada za
njega postoji takvo svedoanstvo, treba smatrati zakonom ako takoe
znamo da je irealno istinit. Postoje dva mogua razloga za takvo
tvrenje. Jedan je: da nisu naeni objekti koji zadovoljavaju antecedens takvog zakona uprkos stalnom traganju za takvim objektima.
Iako negativno svedoanstvo ove vrste moe ponekad biti impresivno, ono esto nije vrlo pouzdano, jer se takvi objekti mogu javiti
na mestima koja smo prevideli ili u specijalnim okolnostima. Tada se
takav zakon moe koristiti u izvoenju logikih posledica iz pretpostavke da pozitivni sluajevi stvarno postoje u nekim neispitanim
podrujima ili pod zamiljenim uslovima. Ovo izvoenje moe, na taj
nain, nagovestiti na koji nain podruje budueg traganja za pozitivnim sluajevima moemo suziti ili kakve eksperimente treba
izvesti da bismo takve sluajeve stvorili. Drugi, i obino odluujui,
razlog za verovanje da je jedan zakon irealno istinit predstavlja neki
dokaz da je pretpostavka o postojanju pozitivnih sluajeva na koje
se zakon odnosi logiki nespojiva s drugim zakonima koji pripadaju
istom sistemu. Irealno istinit zakon moe zaista biti suvian i moe
54
55
a", gde je n neki konaan broj. Prema tome, istinitost iskaza S moe
se utvrditi ako se utvrdi istinitost konanog broja iskaza koji imaju
oblik Si je zavrtanj u Smitovim kolima u periodu a i s,- je zarao u
periodu a".
Shodno tome, ako prihvatimo S, mi to inimo zato to smo
ispitali jedan odreeni broj zavrtanja za koji verujemo da iscrpljuje
podruje predikacije iskaza S. Da smo imali razloge da sumnjamo da
ispitani zavrtnji iscrpljuju skup zavrtanja u Smitovim kolima, i da
postoji neodreeni broj drugih zavrtanja u njegovim kolima koje
nismo ispitali, ne bismo bili u stanju da tvrdimo S. Tvrdei S, mi,
u stvari, kaemo da je svaki ispitani zavrtanj zarao i da su ispitani
zavrtnji svi zavrtnji koji postoje u Smitovim kolima. Ovde je vano
da se razume ono to se naglaava. Prvo, S smo mogli prihvatiti kao
istinito ne zato to smo utvrdili da je svaki zavrtanj u Smitovim kolima zarao, ve zato to se S moe izvesti iz nekih drugih pretpostavki. Na primer, S smo mogli izvesti iz premisa da su svi zavrtnji
u Smitovim kolima od gvoa, da su bili u dodiru s kiseonikom i da
gvoe uvek ra u prisustvu kiseonika. ak i u ovom sluaju prihvatljivost iskaza S zavisi od toga da li smo utvrdili odreeni broj
iskaza koji imaju oblik ,,s; je gvozdeni zavrtanj u Smitovim kolima
i on je bio u dodiru s kiseonikom", pri emu ispitani zavrtnji iscrpljuju podruje primene iskaza S. Drugo, S smo mogli prihvatiti na
osnovu toga to smo ispitali samo dovoljno veliki uzorak" zavrtanja
iz Smitovih kola i to smo izveli zakljuak o prirodi neispitanih zavrtanja na osnovu prirode opaenih zavrtanja u uzorku. I ovde smo u
zakljuivanju pretpostavili da zavrtnji u uzorku potiu iz jedne konane klase zavrtanja i da se ona nee poveavati. Na primer, mi
pretpostavljamo da niko nee izvaditi jedan zavrtanj iz kola i zameniti ga nekim drugim i da niko nee izbuiti novu rupu u kolima da
bi u nju stavio novi zavrtanj. Ako iskaz S prihvatamo kao istinit na
osnovu onoga to smo otkrili u uzorku, mi to inimo delimino zato
to pretpostavljamo da je taj uzorak dobijen iz jedne klase zavrtanja
koja se nee ni poveavati ni menjati u vremenskom periodu koji se
u S pominje.
S druge strane, izgleda da sline pretpostavke nisu potrebne
kada je re o svedoanstvu na osnovu kojeg se prihvataju iskazi koje
smatramo zakonima. Tako, na primer, mada je zakon da gvoe ra
u prisustvu kiseonika bio u poetku zasnovan iskljuivo na svedoanstvu dobijenom ispitivanjem konanog broja gvozdenih predmeta
koji su bili izloeni uticaju kiseonika, za to svedoanstvo se ne pretpostavlja da iscrpljuje podruje predikacije tog zakona. Meutim, da
je postojao razlog da se pretpostavi kako taj konaan broj predmeta
iscrpljuje klasu gvozdenih predmeta, koji su izloeni kiseoniku, klasu
objekata koji su postojali ili e ikada postojati u budunosti, sumnjivo je da bismo taj univerzalni kondicionalni iskaz nazivali zakonom. Naprotiv, ako se za posmatrane sluajeve veruje da iscrpljuju
podruje primene kondicionalnog iskaza, verovatnije je da e se taj
iskaz shvatiti kao da saoptava neku istorijsku injenicu. Nazivajui
56
jedan iskaz zakonom mi oigledno bar preutno tvrdimo da, koliko mi
znamo, ispitani sluajevi na koje se iskaz odnosi ne ine klasu svih
moguih takvih sluajeva. Shodno tome, da bismo jedan neogranieni
univerzalni iskaz nazvali zakonom, verovatno je potrebno da ne
znamo da li se njegovo svedoanstvo poklapa sa podrujem njegove
predikacije i da, tavie, ne znamo da se to podruje ne moe
poveavati.
Racionalno jezgro ovog zahteva opet nalazimo u nainu na
koji upotrebljavamo iskaze koje nazivamo zakonima. Osnovna funkcija takvih iskaza sastoji se u objanjavanju i predvianju. Ali, ako
jedan iskaz ne tvrdi, u stvari nita vie nego to se tvrdi u njegovom
svedoanstvu, mi se ponaamo nerazumno kada taj iskaz upotrebljavamo u objanjavanju ili predvianju neega to je u to svedoanstvo
ve ukljueno i nismo dosledni kada ga upotrebljavamo u objanjavanju ili predvianju neega to u to svedoanstvo nije ukljueno.
Nazivati jedan iskaz zakonom predstavlja zbog toga neto vie nego
izjava da je to verovatno istinit neogranieni univerzalni iskaz. Nazivati jedan iskaz zakonom znai pripisivati mu izvesnu funkciju i
samim tim to znai rei da se ne pretpostavlja kako svedoanstvo
na kojem je zasnovan predstavi]a celokupno podruje njegove
predikacije.
Ovaj je zahtev, izgleda, dovoljan da naziv zakon" osporimo
izvesnoj klasi izmiljenih iskaza koje normalno ne bismo smatrali
zakonima, ali koji oigledno ispunjavaju uslove o kojima smo ranije
raspravljali. Razmotrimo iskaz Svaki ovek koji prvi vidi ivu
mrenjau ljudskog oka doprinosi utvrivanju principa ouvanja
energije". Pretpostavimo da ovaj iskaz nije irealno istinit i da predstavlja neogranieni univerzalni iskaz, tako da se moe prevesti u
iskaz Za svako x i za svako t ako je x ovek koji vidi ivu mrenjau
ljudskog oka u trenutku t i nijedan ovek ne vidi ivu mrenjau
ljudskog oka u bilo kom trenutku
pre t, onda x doprinosi utvrivanju
13
principa ouvanja energije". Svako ko se sea istorije nauke prepoznae ovde aluziju na Helmholca, koji je i prvi video ivu mrenjau ljudskog oka i bio utemelja principa konzervacije. Prema
tome, navedeni iskaz je istinit i prema naoj pretpostavci zadovoljava
uslov za neogranienu univerzalnost. Pa ipak, moemo pretpostaviti
da bi veina ljudi nerado to nazvala zakonom. Razlog ovom odbijanju
postaje jasan kada ispitamo svedoanstvo na osnovu kojeg se moe
utvrditi istinitost ovog iskaza. Da bi se utvrdilo da je on istinit, dovoljno je da se pokae da je Helmholc zaista bio prvi ovek koji je
video ivu ljudsku mrenjau i da je on doprineo zasnivanju principa
konzervacije. Meutim, ako je Helmholc bio takva osoba, onda, na
osnovu prirode ovog sluaja, ne postoji logika mogunost da postoji
drugi ovek koji zadovoljava uslove opisane u antecedensu navedenog
iskaza. Ukratko, mi u ovom sluaju znamo da se svedoanstvo na
Hans Retchenbach, Nomotoglcal statements and Admisstble Operatlons.
Amsterdam, 1954, str. 35.
57
osnovu kojeg se ovaj iskaz prihvata poklapa s podrujem njegove
predikacije. Taj iskaz je beskoristan u objanjavanju i predvianju
neega to nije ukljueno u njegovo svedoanstvo, pa mu se zbog toga
ne daje status zakona prirode.
4. Kada je re o iskazima koje obino nazivamo zakonima,
potrebno je da jo neto zapazimo, iako je teko, u ovom sluaju,
iskazati neto kao zahtev" koji iskazi slini zakonu moraju uvek
zadovoljavati. To se odnosi na mesto koje zakoni imaju u naem
znanju i na kognitivni odnos koji esto prema njima pokazujemo.
Svedoanstvo na osnovu kojeg se jedan iskaz L naziva zakonom moe se podeliti na neposredno" i posredno", (a) To moe biti
..neposredno" svedoanstvo, u uobiajenom smislu, i ono se sastoji
od sluajeva koji pripadaju podruju predikacije iskaza L, pri emu
svi ispitani sluajevi imaju osobinu koju L predicira. Na primer,
neposredno svedoanstvo za zakon da se bakar iri kada se zagreje
dobija se merenjem duine bakarne ice koja je bila zagrevana. (b)
Svedoanstvo za L moe biti posredno" u dva smisla. Moe se desiti
da se L moe zajedno s drugim zakonima L,, L2 itd. izvesti iz nekog
optijeg zakona (ili vie njih) M, tako da se neposredno svedoanstvo
koje ide u prilog ovim drugim zakonima smatra (posrednim) svedoanstvom za L. Na primer, zakon da je trajanje jedne oscilacije klatna
proporcionalno kvadratnom korenu njegove duine i zakon da je
rastojanje koje pree telo u slobodnom padu proporcionalno kvadratu
vremena mogu se zajedno izvesti iz pretpostavki Njutnove mehanike.
Obino e se potvrdno neposredno svedoanstvo za prvi od ovih zakona smatrati potvrdnim svedoanstvom, iako samo posrednim" potvrdnim svedoanstvom za drugi zakon. Meutim, svedoanstvo za L
moe biti posredno" u neto drukijem smislu, tako da se L moe
spojiti s razliitim posebnim pretpostavkama kako bi se dobili drugi
zakoni, od kojih svaki ima posebno podruje predikacije, a neposredno
svedoanstvo za ove izvedene zakone smatra se posrednim" svedoanstvom za L. Na primer, kada se Njutnovi zakoni kretanja spoje
s razliitim posebnim pretpostavkama, onda se iz njih mogu dedukovati Keplerovi zakoni, zakoni kretanja klatna, zakon slobodnog pada
i zakoni o oblicima masa koje rotiraju. Prema tome, neposredno svedoanstvo za ove izvedene zakone slui kao posredno svedoanstvo za
Njutnove zakone.
Pretpostavimo da je deo svedoanstva za L neposredan, ali
da takoe postoji znatno posredno svedoanstvo za L (u bilo kom smislu reci posredno"). Pretpostavimo takoe da smo naili na neke
oigledne izuzetke od L. Pa ipak, mi emo vrlo nerado napustiti L
uprkos ovim izuzecima, i to bar iz dva razloga: prvo, neposredno i
posredno potvrdno svedoanstvo za.L moe biti vee nego negativno
svedoanstvo. Drugo, zbog svojih odnosa prema drugim zakonima
i prema svedocanstvu za te zakone, L nije izolovano; njegova sudbina
utie na sudbinu sistema zakona kome L pripada. Shodno tome, odbacivanje L zahtevalo bi ozbiljnu reorganizaciju izvesnih delova naeg
znanja. Meutim, takva reorganizacija moe biti neizvodljiva zato
58
to trenutno nemamo podesnu zamenu za sistem koji je do sada bio
adekvatan, a osim toga takva reorganizacija moda se moe izbei
ponovnim interpretiranjem oiglednih izuzetaka od L, tako da se
posle toga ovi ne moraju shvatiti kao pravi" izuzeci. U svakom sluaju, i L i sistem kojem on pripada mogu se spasti" uprkos oiglednom negativnom svedoanstvu za L. Ovaj sluaj moe se ilustrovati
primerom kada prividno opovrgavanje zakona dolazi kao rezultat
nebriljivog posmatranja ili nestruno izvedenog eksperimenta. Ono
se takoe moe ilustrovati i znaajnijim primerima. Zakon (ili princip)
odranja energije bio je ozbiljno doveden u sumnju eksperimentima sa slabljenjem beta zrakova iji se rezultat ne moe opovrgavati.
Pa ipak, taj zakon nije bio naputen, a da bi se zakon uskladio s novim
eksperimentalnim podacima, bilo je pretpostavljeno postojanje jedne
nove vrste entiteta (nazvane neutrino"). Racionalno jezgro ove pretpostavke jeste u tome to bi odbacivanje zakona odranja liilo
veliki deo naeg znanja u fizici njegove sistematske doslednosti. S
druge strane, zakon (ili princip) odranja pariteta u kvantnoj fizici
(koji tvrdi, na primer, da u izvesnim vrstama interakcija atomska
jezgra usmerena u jednom pravcu emituju beta estice istog intenziteta kao to to ine jezgra usmerena u suprotnom pravcu) nedavno
je bio odbaen, mada je na prvi pogled relativno malo eksperimenata
pokazivalo da taj zakon ne vai u optem sluaju. Razliitost sudbina
zakona energije i zakona pariteta pokazuje razliita mesta koja ove
pretpostavke imaju u datom trenutku u sistemu fizike; kada bismo
napustili prvu pretpostavku, nastao bi vei intelektualni haos nego
to se to desilo naputanjem druge pretpostavke.
Uopteno reeno, mi smo obino sasvim spremni da napustimo
neki zakon za koji je svedoanstvo iskljuivo neposredno im otkrijemo prima jacie izuzetke. Zaista, mi esto nismo spremni da jedan
univerzalni kondicionalni iskaz L nazovemo zakonom prirode",
uprkos injenici da on zadovoljava razliite uslove o kojima smo ve
raspravljali, ako za njega imamo samo neposredno svedoanstvo.
odbijanje da takav iskaz L nazovemo zakonom" utoliko je verovatnije ukoliko, pretpostavljajui da L ima oblik Svi A su B", postoji
klasa stvari C koje nisu A, ali koje lie na stvari koje jesu A u izvesnom pogledu koji nam izgleda znaajan", tako da iako neki lanovi
C imaju osobinu B, B ne odlikuje uvek lanove klase C. Na primer,
iako sve raspoloivo svedoanstvo potvruje univerzalni iskaz da su
sve vrane crne, izgleda da ne postoji posredno svedoanstvo za taj
iskaz. Pa ipak, ak i kada se taj iskaz prihvati kao zakon", oni koji
to ine verovatno ne bi oklevali da ga odbace i da ga vie ne smatraju
zakonom kada bi se otkrila ptica koja je oigledno vrana ali ima belo
perje. Stavie, zna se da boja perja predstavlja promenljivu odliku
ptica i da su otkrivene vrste ptica koje su po bioloki vanim osobinama sline vranama ali nemaju sasvim crno perje. Prema tome,
budui da ne znamo zakone pomou kojih bi se objasnila crna boja
vrana i budui da nemamo sveobuhvatno i raznoliko posredno svedoanstvo za tvrenje da su sve vrane crne, na odnos prema tom
59
iskazu je manje odluan nego prema iskazima koje nazivamo zakonima za koje takvo posredno svedoanstvo postoji.
Ove razlike u naoj spremnosti da napustimo univerzalni
kondicionalni iskaz kada imamo oigledno suprotno svedoanstvo
ponekad se ogleda u nainu na koji upotrebljavamo zakone u naunom
zakljuivanju. Mi smo do sada pretpostavljali da se zakoni upotrebljavaju kao premise iz kojih se izvode posledice u skladu s pravilima
formalne logike. Ali kada se smatra da je jedan zakon potvren i
kada on zauzima vrsto mesto u sistemu naeg znanja, taj zakon se
moe primenjivati kao empirijski princip u skladu s kojim se izvode
zakljuci. Ova razlika izmeu premisa i pravila zakljuivanja moe
se ilustrovati primerima iz elementarnog silogistikog rasuivanja.
Zakljuak da je dati komad ice a dobar provodnik elektrine struje
moe se izvesti iz dve premise: da je a bakar i da je bakar dobar provodnik elektrine struje, u skladu s pravilom formalne logike koje
je poznato kao dictum de orani. Meutim, isti zakljuak moe se
dobiti i iz jedne jedine premise da je a bakar ako prihvatimo kao
princip zakljuivanja pravilo da iskaz oblika ,,x je dobar provodnik
elektrine struje" moe da se izvede iz iskaza oblika ,,x je bakar".
Na prvi pogled, ova razlika je samo tehnike prirode. S isto
formalnog stanovita, uvek se moe otkloniti univerzalna premisa
a da to ne obesnai deduktivni argument, pod pretpostavkom da tu
premisu zamenimo podesnim pravilom zakljuivanja. Pa ipak, ovaj
tehniki postupak obino se koristi u praksi samo kada univerzalna
premisa ima status zakona koji nismo spremni da napustimo samo
zato to sluajno postoje oigledni izuzeci od tog zakona. Jer, kada
takvu premisu 2amenimo pravilom zakljuivanja, postoji mogunost
da promenimo znaenja nekih termina koji se javljaju u premisi,
tako da se njen empirijski sadraj postepeno pretae u novo znaenje
tih termina. Tako se u gornjem primeru pretpostavlja da iskaz kako
je bakar dobar provodnik predstavlja iskaz o injenici u tom smislu
.to dobra provodljivost nije osobina kojom bismo definisali ono to
bakar treba da bude, pa je zato potrebno empirijsko svedoanstvo
da bi se utvrdila istinitost tog iskaza. S druge strane, kada se taj iskaz
zameni pravilom zakljuivanja, provodljivost elektriciteta postaje
manje ili vie bitna" osobina bakra, tako da se na kraju nita nee
smatrati bakrom ako nije dobar provodnik elektrine struje. Kao
to smo ve primetili, ova tendencija nam pomae da objasnimo gledite prema kojem pravi zakoni izraavaju odnose logike nunosti.
U svakom sluaju, kada ova tendencija doe do punog izraaja,
otkrie materije koja loe sprovodi elektrinu struju i koja je u drugom pogledu slina bakru, zahtevalo bi ponovo klasifikovanje materija i odgovarajuu reviziju znaenj,a koja su povezana s terminima
kao to je bakar". Zbog toga menjanje oigledno empirijskog zakona
u pravilo zakljuivanja nastaje obino samo kada se pretpostavlja da
je istinitost zakona dobro utvrena tako da je potrebno ogromno svedoanstvo koje bi ga uzdrmalo. Prema tome, iako nije potrebno da
budemo skloni da ponovo interpretiramo oigledno negativno svedo-
60
anstvo kako bismo jedan univerzalni kondicionalni iskaz nazivali
zakonom i kako bismo ga sauvali kao sastavni deo naeg znanja,
mnogi iskazi smatraju se zakonima delimino zato to prema njima
imamo upravo takav stav.
61
nije nikada ivela niti e iveti u polarnim predelima. Ali pretpostavimo, dalje, da ne znamo da li ivot u polarnim predelima utie na
boju vrana, tako da postoji mogunost, koliko nam je poznato, da
potomstvo nekih vrana koje bi mogle odleteti u takve predele ima
belo perje. Prema tome, iako je S istinito, ta istinitost moe biti
samo posledica historijske sluajnosti" da nijedna vrana ne ivi u
polarnim predelima. Zbog toga akcidentalni univerzalni iskaz S ne
potvruje irealni kondicionalni iskaz da kada bi stanovnici polarnih
predela bili vrane oni bi bili crni, a poto jedan zakon prirode mora,
po pretpostavci, da potvruje takve kondicionalne iskaze, S se ne
moe smatrati zakonom. Ukratko, neograniena univerzalnost ne
objanjava ta podrazumevamo pod nomikom univerzalnou.
Ali, iako ovo moe biti tano, ne sledi da S nije zakon prirode
zato to ne izraava nesvodljivu nomiku nunost. Jer uprkos injenici da se pretpostavlja istinitost iskaza S, iskazu S se moe poricati
status zakona bar iz dva razloga od kojih se nijedan ne odnosi na
pitanje o takvoj nunosti. Prvo, svedoanstvo za S moe se poklapati
s podrujem predikacije iskaza S, tako da niko ko to svedoanstvo
poznaje ne moe primeniti S na nain na koji se primenjuju zakoni.
Drugo, iako svedoanstvo za >S moe biti po pretpostavci logiki dovoljno da utvrdi S kao istinito, to svedoanstvo moe biti iskljuivo
neposredno svedoanstvo, a neko moe odbiti da S smatra zakonom
na osnovu toga to se samo oni iskazi mogu nazvati zakonom za koje
postoji posredno svedoanstvo (takvi iskazi moraju imati odreeno
logiko mesto u sistemu naeg znanja).
Jedno drugo razmatranje je takoe relevantno za ovo pitanje.
injenica da S ne moe potvrivati irealni kondicionalni iskaz koji
smo pomenuli posledica je injenice da se istinitost iskaza S tvrdi u
jednom kontekstu pretpostavki koje same mogu izazivati sumnju u
konjunktivni kondicionalni iskaz. Na primer, iskaz S se tvrdi poto se
zna da u polarnim predelima nema vrana. Ali, mi smo ve nagovestili da o pticama postoji dovoljno znanja da bismo znali kako boja
njihovog perja nije nepromenljiva za svaku vrstu ptica. Iako sada ne
znamo tano od kojih inilaca zavisi boja njihovog perja, mi imamo
razloga da verujemo kako ta boja bar delimino zavisi od genetike
konstitucije ptica, a isto tako znamo da na ovu konstituciju utie
prisustvo izvesnih faktora (npr. zraenja visoke energije) koji mogu
postojati u posebnim okolnostima. Prema tome, S ne opravdava navedeni irealni kondicionalni iskaz, ne zato to S ne moe da opravda
nijedan takav kondicionalni iskaz, ve zato to celokupno znanje
kojim raspolaemo (a ne samo svedoanstvo za S) ne opravdava ovaj
posebni kondicionalni iskaz. Moe biti plauzibilna pretpostavka da S
opravdava irealni kondicionalni iskaz da kada bi u polarnim predelima postojala vrana koja nije izloena X-zracima, ta vrana bi
bila crna.
Treba, dakle, imati na umu da odgovor na pitanje da li S
potvruje dati irealni kondicionalni iskaz ne zavisi samo od istini-
62
tosti S ve i od drugog znanja koje moemo imati, u stvari, od stanja
u kojem se nalazi nauno istraivanje. Da bismo ovo objasnili, primenimo kritiku o kojoj raspravljamo na neki iskaz koji se obino
smatra zakonom prirode. Pretpostavimo da ne postoje (u svim vremenima) fiziki objekti koji se meusobno ne privlae silom srazmernom kvadratu njihovih odstojanja. Tada moemo tvrditi kao istinit
neogranieni univerzalni iskaz S': Sva fizika tela privlae jedna
drugo silom koja je obrnuto srazmerna kvadratu njihovih rastojanja". Ali, pretpostavimo takoe da su dimenzije svemira konane i
da nikada nismo uoili fiziki objekat na rastojanju veem od, recimo, 50 triliona svetlosnih godina. Da li S' potvruje irealni kondicionalni iskaz da kada bi postojali fiziki objekti na rastojanjima
veim od 50 triliona svetlosnih godina, oni bi se meusobno privlaili
silom srazmernom kvadratu njihovog rastojanja? Na osnovu argumenta o kojem raspravljamo, odgovor mora, verovatno, biti negativan.
Ali, da li je taj odgovor stvarno verovatan? Zar nije razumnije rei
da nikakav odgovor nije mogu, bilo potvrdan bilo odrean ukoliko ne uvedemo neke nove pretpostavke? Jer, u odsustvu takvih novih pretpostavki, na osnovu ega neko moe dati neki odreen odgovor? S druge strane, ako uvedemo takve nove pretpostavke na
primer, ako pretpostavimo da je sila gravitacije nezavisna od ukupne
mase svemira nije nezamislivo da ispravan odgovor moe biti
potvrdan.
Sve u svemu, kritika o kojoj raspravljamo ne umanjuje znaaj Hjumove analize nomike univerzalnosti. Ova kritika nedovoljno
objanjava vanu injenicu da se neki iskaz obino smatra zakonom
prirode zato to taj iskaz zauzima odreeno mesto u sistemu objanjenja u nekom podruju naeg znanja i zbog toga to taj iskaz potvruju svedoanstva koja sa svoje strane zadovoljavaju izvesne specifine uslove.
2. Kada donosimo planove za budunost ili kada razmiljamo o prolosti, mi esto razmiljamo pravei pretpostavke koje su
protivne poznatim injenicama. Rezultate naih razmiljanja tada
esto iskazujemo protivinjenikim kondicionalnim iskazima (ili
kontrafaktualnim" iskazima) koji imaju oblik Kada bi a bilo P, onda
bi b bilo Q" ili Da je a bilo P, onda bi b bilo Q". Na primer, fiziar
koji opisuje jedan eksperimenat moe u svojim proraunima tvrditi
protivinjeniki iskaz C: Kada bi se duina klatna a skratila na 1U
sadanje duine, trajanje jedne oscilacije bi se skratilo za polovinu".
Slino tome, moemo zamisliti fiziara koji, pokuavajui da objasni
neuspeh u nekom prethodnom eksperimentu, tvrdi protivinjenicki
iskaz C: Da se duina klatna a skratila na etvrtinu njegove stvarne
duine, trajanje jedne oscilacije bilo bi iznosilo polovinu stvarnog
trajanja jedne oscilacije". U oba kondicionalna iskaza i antecedens
i konsekvens opisuju pretpostavke za koje se zna da su lane.
Ono to se naziva problemom protivinjenickih iskaza"
jeste problem eksplicitnog izraavanja logike strukture takvih iskaza
63
i problem analize razloga na osnovu kojih se moe utvrditi njihova
istinitost ili lanost. Ovaj problem je usko povezan s problemom
objanjavanja pojma nomike univerzalnosti. Protivinjeniki iskaz
se ne moe na neposredan nain prevesti u konjunkciju indikativnih
reenica uz upotrebu iskljuivo uobiajenih nemodalnih iskaznih veza
formalne logike. Na primer, protivinjeniki iskaz C' preutno tvrdi da
se duina klatna a, u stvari, nije skratila na etvrtinu njegove stvarne
duine. Meutim, C se ne moe prevesti iskazom: Duina a nije se
skratila na etvrtinu i ako se duina a skratila na jednu etvrtinu
stvarne duine, onda je trajanje jedne oscilacije iznosilo polovinu
stvarnog trajanja oscilacije." Ovaj predloeni prevod nije zadovoljavajui zato to na osnovu pravila formalne logike sledi da ako se
duina klatna a skratila na etvrtinu njegove stvarne duine, trajanje jedne oscilacije nije iznosilo polovinu stvarnog trajanja jedne
oscilacije budui da je antecedens indikativnog kondicionalnog iskaza laan sledi dakle zakljuak koji sigurno ne bi prihvatio niko
ko tvrdi C'15. Prema tome, kritiari Hjumove analize nomike univerzalnosti tvrdili su da se poseban tip ne-logike nunosti sadri ne
samo u univerzalnim iskazima koji su zakoni ve i u proti vinjenikim kondicionalnim iskazima.
Sadraj protivinjenikih iskaza ipak se moe objasniti na
prihvatljiv nain bez pribegavanja neralanjivim modalnim pojmovima. Ono to fiziar kae kada tvrdi C, moe se prevesti na jasniji,
iako zaobilazniji nain, ovako: Iskaz Trajanje jedne oscilacije klatna
a iznosilo je polovinu stvarnog trajanja oscilacije" logiki sledi iz pretpostavke Duina a iznosila je etvrtinu sadanje duine", kada se
ova pretpostavka spoji sa zakonom da je trajanje jedne oscilacije
obinog klatna proporcionalno kvadratnom korenu njegove duine,
kao i sa izvesnim brojem drugih pretpostavki o poetnim uslovima
za primenu zakona (npr. da je a klatno, da je zanemarljiv otpor vazduha). Stavie iako su i pretpostavka i iskaz koji je iz te pretpostavke izveden pomou pomenutih pretpostavki verovatno lani, njihova lanost nije sadrana u premisama ove dedukcije. Prema tome,
iz tih premisa ne sledi da ako je duina klatna a iznosila etvrttinu njegove sadanje duine, onda je trajanje jedne oscilacije klatna
a iznosilo polovinu sadanjeg trajanja. Ukratko, protivinjeniki iskaz
C tvrdi se u nekom kontekstu hipoteza i posebnih pretpostavki, i
kada smo ovih pretpostavki svesni, uvoenje modalnih kategorija,
pored onih koje postoje u formalnoj logici, sasvim je proizvoljno.
Uopte uzev, protivinjeniki iskaz moe se interpretirati kao implicitni metajeziki iskaz (tj. iskaz o -drugim iskazima, a naroito o
logikim odnosima izmeu tih drugih iskaza) koji tvrdi da indikativni oblik njegovog konsekvensa logiki sledi iz indikativnog oblika
" Ova] zakljuak sledi na osnovu logikog pravila za upotrebu veze aleo-^nda".
Prema ovom pravilu, oba iskoza cbllka Ako Si, onda S" i Ako Si onda ne Si" istinita
su ukoliko Je Si lano, bez obzira Sta je St.
64
njegovog antecedensa kada se ovaj drugi spoji s nekim
zakonom i
16
potrebnim poetnim uslovima za primenu toga zakona.
Shodno tome, rasprave o tome da li je dati protivinjeniki
iskaz istinit mogu se resiti samo kada se ekspliciraju hipoteze i pretpostavke na kojima se on zasniva. Protivinjeniki iskaz koji je nesumnjivo istinit na osnovu jednog skupa takvih premisa moe biti
laan na osnovu drugog skupa i moe imati neodreenu istinonosnu
vrednost na osnovu treeg skupa. Tako, na primer, fiziar bi mogao
da odbaci C' u korist protivinjenikog iskaza Da se duina klatna
c skratila na etvrtinu njegove sadanje duine, trajanje jedne oscilacije a bilo bi iznosilo znatno vie od polovine njegovog sadanjeg
trajanja". On bi mogao da opravda svoj postupak kada bi, na 3primer,
pretpostavio da je luk vibracije skraenog klatna vei od 60 i kada
bi takoe pretpostavio izmenjeni oblik zakona o trajanju oscilacije
koji smo mi naveli (koji se odnosi samo na klatna sa sasvim malim
lukom klaenja). Opet, jedan poetnik u izvoenju eksperimenata
moe da tvrdi kako je C istinito, iako izmeu ostalog pretpostavlja
ne samo da kruni teg klatna ima prenik od tri ina nego takoe
da kutija u kojoj se klatno nalazi ima sa donje strane otvor koji je
za dlaku iri od tri ina, tako da bi se teg skraenog klatna nalazio
ba u tom okviru. Meutim, oigledno je da je sada C lano zato to
se pod ovim pretpostavkama skraeno klatno uopte ne klati.
Razliite pretpostavke pod kojima se tvrdi jedan protivinjenicki iskaz nisu izraene samim protivinjenikim iskazom. Procenjivanje valjanosti protivinjenikih iskaza moe zbog toga biti
veoma teko ponekad zato to ne znamo pretpostavke pod kojima
se on tvrdi ili zbog toga to nam nije jasno kakve su nae precutne
pretpostavke, a ponekad prosto zato to nismo sposobni da procenimo
logiki smisao tih pretpostavki ak i kada su one eksplicitne. Na
takve tekoe esto nailazimo naroito kada je re o protivinjenikim
iskazima koji se tvrde u svakodnevnom ivotu ili ak u istorijskim
spisima. Razmotrimo, na primer, proti vinjeniki iskaz da Versajski
ugovor nije Nemakoj nametnuo velike ratne odtete, Hitler ne bi
doao na vlast". Ovo je bilo kontroverzno tvrenje ne samo zato to
su uesnici u raspravi o tom pitanju prihvatili razliite eksplicitne
pretpostavke, ve zato to se dobar deo rasprave vodio na osnovu
implicitnih premisa koje niko nije potpuno objasnio. U svakom sluaju, ne moe se navesti opta formula koja bi propisivala ta se
mora ukljuiti u pretpostavke na kojima se jedan protivinjeniki
iskaz zasniva. Pokuaji da se nae takva formula bili su uvek bezuspeni, a oni koji vide problem protivinjenikih iskaza u pronalaenju takve formule osueni su da se uhvate u kotac s jednim nereivim problemom.
11
Iako smo do stanovita koje je prihvaeno u tekstu doli nezavisnim putem,
za njegovu sadanju formulaciju treba da zahvalim gleditima koja SU izraena u Henrv
Hiz, On the Inferential Sense of Contrary-to-Fact Conditionals", Journal of Pfiilosopftv,
sv. 48, (1951), str. 58687; Julius H. Weinberg, ..Contrary-to-Fact Conditionals". Journal
of Philosaphy, sv. 48 (1951). Str. 1722; Roderick M. Chlsholm, ,,Law Statemer-.ts and
Counterfactual Inference", Analysls, sv. 15 (1955), str. 97105 i John C. Cooley, Professor
Goodman's .Fact, Fiction and Forecast'", Journal of Philosophy, sv. 54 (1957) str. 293311.
65
V.
Uzroni zakoni
66
emu se dogaaji koji ih povezuju prostorno dodiruju. Tree, u uzronom odnosu postoji vremenska sukcesija u tom smislu to dogaaj
koji je uzrok prethodi efektu i nastavlja se" efektom. Shodno tome,
kada se za dogaaje koji su odvojeni vremenskim intervalom kae
da su uzrono povezani, onda se takoe podrazumeva da su oni meusobno povezani nizom uzastopnih i uzrono povezanih dogaaja.
Konano, odnos uzronosti je asimetrian u onom smislu u kome je
prolazak varnice kroz smeu gasova uzrok njihovog pretvaranja u
vodu, ali stvaranje vode nije uzrok prolaska varnice.
Ideje pomou kojih se opisuje pojam uzroka esto se kritikuju zbog neodreenosti. Stavljene su primedbe naroito na zdravorazumska shvatanja o kontinuitetu prostora i vremena zato to ona
predstavljaju izvor nejasnoa. Stavie, nesumnjivo je tano da je u
nekim razvijenim naukama, kao to je matematika fizika, ovaj pojam sasvim suvian. Sporno je ak da li su etiri navedena uslova
stvarno zadovoljena u ilustracijama koje se navode za pojam uzroka
(kao to je na primer) kada se ove ilustracije analiziraju pomou
pojmova modernih teorija fizike. Pa ipak, ma koliko ovaj pojam
uzroka bio neadekvatan u teorijskoj fizici, on i dalje igra izvesnu
ulogu u mnogim drugim granama istraivanja. To je pojam koji je
vrsto ukorenjen u jeziku koji upotrebljavamo, ak i kada apstraktne
teorije fizike primenjujemo u laboratoriji ili kada obavljamo praktine poslove da bismo dobili razliite rezultate korienjem odgovarajuih sredstava. Zaista, zato to izvesne stvari moemo koristiti
kako bismo dobili druge stvari, ali ne obratno, uzroni jezik predstavlja legitiman i podesan nain opisivanja odnosa izmeu mnogih
dogaaja.
S druge strane, nisu svi zakoni prirode uzroni u navedenom
smislu ove reci. To e biti oigledno posle kratkog pregleda vrsta
zakona koji se upotrebljavaju kao premise objanjenja u razliitim
naukama.
1. Kao to smo ve pomenuli, osnovna i proimna vrsta zakona prisutna je u pretpostavci da postoje prirodne vrste" ili supstancije." Pod odredujuim" svojstvom podrazumevaemo svojstvo
kao to je boja ili gustina, koje ima izvestan broj specifinih ili odreenih" oblika. Na primer, meu odreenim oblicima odreujue boje
nalaze se crveno, plavo, zeleno, uto itd.; meu odreenim oblicima
odreujue gustine nalazi se gustina veliine 0.06 (mereno na neki
uobiajeni nain), gustina veliine 2, gustina veliine 12 itd. Na taj
nain, odreeni oblici nekog datog odreujueg svojstva ine porodicu" svojstava tako to svaki pojedinani objekat kome se sa smislom moe predicirati odreujue svojstvo mora na logiki nuan
nain da ima jedan i samo jedan oblik odreujueg svojstva.17 Zakon
ove vrste (npr. Postoji materija kamena so") tvrdi da postoje objekti
razliite vrste tako da se svaki objekat date vrste odlikuje odreenim
1T
Za ovu terminologiju vietl W. E. Johnson, Logic, sv. i, Cambridge, England,
1921, Poglavlje 11; 1 RudoLf Carnap, Loglcal Founatlons of Prot>abiltty, Chicago, 1P50,
sv. 1, str. 75.
67
oblikom iz jednog skupa odreujuih svojstava i tako da se objekti
koji pripadaju razliitim vrstama razlikuju meusobno bar u jednom
odreenom obliku jednog zajednikog odreujueg svojstva (obino
u vie takvih oblika). Na primer, rei da je dati objekat a kamena so,
znai rei da postoji skup odreujuih svojstava (kristalna struktura,
boja, taka topljenja, tvrdoa itd.), tako da pod uobiajenim uslovima
a ima odreeni oblik svakog od tih odreujuih svojstava (a ima kocc
kaste kristale, bezbojan je, ima gustinu 2.163, taku topljenja 804 C,
stepen tvrdoe 2 po Mohovoj skali itd.). Stavie, a se razlikuje od
objekta koji pripada drugoj vrsti, na primer od talka, bar po jednom
obliku (u stvari, po velikom broju oblika) ovih odreujuih svojstava.
Shodno tome, zakoni ove vrste tvrde da postoji stalno zajedniko
javljanje odreenih osobina u svakom objektu koji pripada izvesnoj
vrsti. Jasno je da zakoni ove vrste nisu uzroni zakoni oni, na
primer, ne tvrde da gustina kamene soli prethodi (ili sledi) stepenu
njene tvrdoe.
2. Druga vrsta zakona tvrdi nepromenljivi poredak u zavisnosti izmeu dogaaja ili svojstava. Ovde moemo razlikovati dve
podvrste. Jedna od ovih podvrsta predstavlja klasu uzronih zakona
kao to je zakon o efektu varnice u smei vodonika i kiseonika ili kao
to je zakon da kamenje baenu u vodu proizvodi niz koncentrinih
talasa koji se ire. Druga podvrsta predstavlja klasu razvojnih"
(ili istorijskih") zakona, kao to je zakon Formiranje plua u ljudskom embrionu nikada ne prethodi formiranju krvotoka" ili zakon
Posle uzimanja alkohola uvek dolazi do irenja krvnih sudova". Obe
podvrste su este u podrujima istraivanja gde kvantitativne metode
nisu u veoj meri primenljive, mada, kao to to primeri pokazuju,
takvi zakoni mogu da se nau i u ovim podrujima. Zakoni razvoja
imaju oblik Ako x ima osobinu P, u trenutku t, onda x ima osobinu
Q u trenutku f, koji je kasniji od trenutka t". Oni se obino ne smatraju uzronim zakonima, oigledno iz dva razloga. Prvo, mada zakoni razvoja mogu izraavati neki nuan uslov za nastanak izvesnog
dogaaja (ili kompleksa dogaaja), oni ne izraavaju dovoljne uslove.
U stvari, mi obino na krajnje neodreen nain znamo kakvi su ti
dovoljni uslovi. Drugo, zakoni razvoja, opte uzev, izraavaju odnose
u redosledu dogaaja koji su meusobno odvojeni nekim vremenskim
intervalom. Shodno tome, ponekad se smatra da takvi zakoni predstavljaju samo nepotpunu analizu injenica, i to na osnovu toga to
posle ranijeg dogaaja neki faktor moe uticati tako da se kasniji
dogaaj ne desi, pa redosled izmeu dogaaja ne izgleda da je nepromenljiv. Pa ipak, ma kakva bila ogranienja u vaenju zakona razvoja, i ma kako bilo poeljno da se oni mogu zameniti zakonima druge vrste, i uzroni zakoni i zakoni razvoja veoma se iroko primenjuju u sistemima objanjenja savremene nauke.
3. Trea vrsta zakona koja je zajednika biolokim i drutvenim naukama kao i fizici tvrdi nepromenljive statistike odnose
izmeu dogaaja ili svojstava (to se naziva i odnosima verovatnoe).
68
Evo primera jednog takvog zakona: Ako se geometrijski i fiziki
simetrina kocka baca vie puta, verovatnoa (ili relativna uestalost) da e se na toj kocki pojaviti odreena strana okrenuta na gore
iznosi 1/6". Druge primere smo ve ranije pominjali. Statistiki
zakoni ne tvrde da je deavanje jednog dogaaja stalno praeno deavanjem nekog drugog dogaaja. Oni samo tvrde da je u dovoljno
dugom nizu pokuaja pojavljivanje jednog dogaaja praeno pojavljivanjem nekog drugog dogaaja uz stalnu relativnu uestalost.
Takvi zakoni oigledno nisu uzroni iako su spojivi s kauzalnim
objanjenjem injenica o kojima govore. U stvari, pomenuti statistiki zakon o ponaanju kocke moe se dedukovati iz zakona za koje
se ponekad kae da su uzroni, ukoliko se prihvate podesne pretpostavke o statistikoj distribuciji poetnih uslova na koje se ovi uzroni zakoni primenjuju. S druge strane, postoje statistiki zakoni
ak i u fizici za koje bar za sada nisu poznata uzrona objanjenja.
Stavie, ak i ako pretpostavimo da su ,,u principu" svi statistiki
zakoni posledice nekog postojeeg uzronog poretka", postoje podruja istraivanja u fizici kao i u biolokim i drutvenim naukama u kojima se praktino ne moe doi do objanjenja mnogih
pojava pomou strogo univerzalnih uzronih zakona. Razumna je
pretpostavka da ma koliko se nae znanje moglo poveavati, statistiki zakoni e se i dalje koristiti kao neposredne premise u objanjenju i predvianju mnogih pojava.
4. etvrta vrsta zakona, koja odlikuje modernu fiziku, tvrdi
postojanje odnosa funkcionalne zavisnosti (u matematikom smislu
reci funkcija") izmeu dve ili vie promenljivih veliina koje su
povezane s osobinama ili procesima o kojima se govori. Ove moemo razlikovati dve podvrste:
a. Prvo, postoje numeriki zakoni koji izraavaju uzajamnu
zavisnost izmeu veliina, tako da promena jedne od njih biva praena promenama u drugim veliinama. Primer takvog zakona je
Bojl-Carlsov (Boyle-Charles) zakon za idealne gasove da je pV = aT,
gde je p pritisak gasa, V njegova zapremina, P njegova apsolutna
temperatura i a konstanta koja zavisi od mase i prirode posmatranog
gasa. Ovo nije uzroni zakon. On, na primer, ne tvrdi da promenu
temperature prati (ili da joj prethodi) neka promena zapremine ili
pritiska; on samo tvrdi da se promena u T deava istovremeno s promenama u p ili V, ili i u jednom i u drugom. Prema tome, odnos
koji ovaj zakon izraava moramo razlikovati od redosleda izmeu
dogaaja koji se mogu desiti kada se ovaj zakon ispituje ili primenjuje u predvianjima. Na primer, proveravajui ovaj zakon u laboratoriji, neko moe smanjiti zapreminu nekog idealnog gasa tako
da njegova temperatura ostane nepromenjena a zatim da utvrdi kako
se njegov pritisak poveava. Ali, ovaj zakon ne kae nita o redosledu u kome se ove veliine mogu menjati, niti o vremenskom nizu
u kome se pomenute promene mogu opaziti. Zakoni ove podvrste
69
ipak se mogu upotrebiti i za predvianje i za objanjavanje. Na primer, ako se u podesno izolovanom" sistemu veliine koje se u ovakvom zakonu pominju nalaze u pomenutom odnosu u jednom trenutku, one e biti u tom odnosu u nekom buduem trenutku, ak iako
su u meuvremenu te veliine pretrpele izvesnu promenu.
b. Druga podvrsta sastoji se od numerikih zakona koji opisuju na koji se nain izvesna veliina menja u vremenu i, uopte
uzev, kako promena jedne veliine u jedinici vremena utie na
druge veliine (u nekim sluajevima, mada ne uvek, kako utie na
trajanje nekog procesa). Galilejev zakon slobodnog pada u vakuumu
predstavlja ilustraciju takvog zakona. On kae da je rastojanje d
2
koje pree telo koje slobodno pada jednako gt f2 gde je g konstanta
a t trajanje pada. Galilejev zakon se moe drukije izraziti ako se
kae da je promena rastojanja u jedinici vremena za telo koje slobodno pada jednaka gt. U ovoj formulaciji je oigledno da je vreme
promene jedne veliine povezano s nekim vremenskim intervalom.
Drugi primer zakona koji pripada ovoj podvrsti jeste zakon o brzini
tega matematikog klatna du putanje njegovog kretanja. Taj zakon
kae da ako je vv brzina tega u najnioj taki njegovog kretanja,
ako je h visina klatna iznad horizontalne linije koja prolazi kroz ovu
taku i ako je k konstanta, onda u svakoj taki na luku njegove putanje teg ima brzinu v tako da je u2 u 0 2 kh2. Poto je brzina v
promena rastojanja u jedinici vremena, ovaj zakon kae da je promena rastojanja na putanji tega u jedinici vremena izvesna matematika funkcija njegove brzine u najnioj taki njegove putanje
i njegove visine. U ovom sluaju, trajanje promene jedne veliine
nije dato kao funkcija vremena. Zakoni koji pripadaju ovoj podvrsti
esto se nazivaju dinamikim zakonima" zato to iskazuju strukturu
nekog procesa u vremenu i obino se objanjavaju pomou pretpostavke da izvesna sila" deluje na sistem koji posmatramo. Ovakvi
zakoni se ponekad ukljuuju u uzrone zakone iako u stvari nisu
uzroni u specifinom smislu koji smo ranije u ovom odeljku odredili. Odnos zavisnosti izmeu promenljivih koje se u zakonu pominju je simetrian, tako da je stanje sistema u potpunosti odreeno
i nekim docnijim i nekim ranijim stanjem. Tako, na primer, ako
znamo brzinu tega matematikog klatna u nekom datom trenutku,
onda pod pretpostavkom da ne postoji spoljanji uticaj, ovaj zakon
nam omoguuje da izraunamo njegovu brzinu u svakom drugom
trenutku bez obzira da li je on raniji ili docniji u odnosu na dati
trenutak.
Ne smatramo da je predloena klasifikacija zakona iscrpna;
u svakom sluaju, mi emo u docnijim poglavljima mnogo vie raspravljati o strukturama izvesnih vrsta zakona. Meutim, ova klasifikacija pokazuje da nisu svi nauni zakoni jedne iste vrste i da se
jedno nauno objanjenje esto smatra zadovoljavajuim ak i kada
zakoni koji su navedeni u premisama nisu uzroni" ni u jednom
Uobiajenom smislu.