Professional Documents
Culture Documents
Ernest Nejgel Struktura Nauke
Ernest Nejgel Struktura Nauke
SAVREMENE FILOZOFIJE
SIMPOSION
STRANI AUTORI
UREĐIVAČKI ODBOR
ALEKSANDAR KRON,
MIHAILO MARKOVIĆ, urednik
BRANKO PAVLOVIC
SVETOZAR STOJANOVIC
ERNEST NEJGEL
STRUKTURA
NAUKE
PROBLEMI LOGIKE NAUČNOG OBJAŠNJENJA
N O L I T BEOGRAD 1974
Naslov originala:
ERNEST NAGEL
THE STRUCTURE OF SCIENCE
PROBLEMS IN THE LOGIC OF
SCIENTIFIC EXPLANATION
HARCOURT, BRACE WORLD, INC. NEW YORK BURLINGAME
COPYRIGHT 1961
SADRŽAJ
South
1960
E. N.
1.
UVOD: NAUKA I ZDRAV RAZUM
I. naučnog objašnjenja
Objašnjenja predstavljaju odgovore na pitanje „Zašto?"
Međutim posle vrlo kratkog razmišljanja otkrivamo da reč „zašto"
nije nedvosmislena i da se u različitim kontekstima na takvo pitanje
daju različite vrste relevantnih odgovora. Ova kratka lista sadrži
primere koji pokazuju kako se reč „zašto" upotrebljava, a neki pri-
meri pokazuju važna ograničenja u pogledu prihvatljivih odgovora
na pitanja koja počinju ovom
14
Zašto je zbir bilo kojeg broja uzastopnih neparnih
brojeva počev od2 1 uvek savršeni kvadrat (na
1 + 3 + 5 + 7 = 16== 4 )? Ovde se pretpostavlja da je „činjenica"
koju treba objasniti nešto što je potrebno označiti
ali nedovoljno jasnim izrazom „nužna istina", u tom smislu
što njena negacija predstavlja logičku protivrečnost. Relevantan od-
govor na ovo pitanje predstavlja u dokaz koji utvrđuje ne samo
univerzalnu istinitost nego i nužnost eksplikanduma. Objašnjenje će
biti zadovoljavajuće ako se koraci u dokazu budu slagali s formal-
nim zahtevima za logički dokaz i ako su, dalje, same premise dokaza
u izvesnom smislu nužne. Premise će verovatno biti postulati arit-
metike, a njihov nužni karakter biće utvrđen ako se, na može
pokazati da su one istinite na osnovu značenja koje imaju njihovi
termini.
2. Zašto se juče čaša zamaglila sa spoljašnje strane kada sam
u nju sipao hladnu vodu? Ovde je Činjenica koju treba objasniti —
jedan pojedinačni događaj. Njegovo objašnjenje, izloženo u kratkim
crtama, može izgledati ovako: temperatura čaše, pošto sam u nju sipao
hladnu vodu, bila je znatno niža od temperature okolnog vazduha;
vazduh je sadržavao vodenu paru, a vodena para iz vazduha, opšte
uzev, pretvara se u kada vazduh dođe u dodir sa dovoljno
hladnom površinom. U ovom primeru, kao i u prethodnom, formalna
struktura objašnjenja ima oblik dedukcije. Zaista, da su premise obja-
šnjenja bile formulisane potpunije i pažljivije, deduktivni oblik bio
bi sasvim uočljiv. Međutim, u ovom slučaju eksplikandum nije nužna
istina, a to nisu ni premise objašnjenja. Naprotiv, premise su iskazi
koji su verovatno zasnovani na podesnom iskustvenom ili eksperi-
mentalnom svedočanstvu.
2 Struktura nauke
18
struktura je očigledno složenija od strukture objašnjenja za koja
smo već naveli Ovu složenost ne treba pripisivati okolnosti
što je eksplikandum činjenica ljudskog ponašanja. Isto takvu slože-
nost pokazuje genetičko objašnjenje činjenice da je salinitet okeana
danas oko tri procenta u odnosu na zapreminu.
Da li nauke objašnjavaju?
I. Objašnjenje pojedinačnih
Počinjemo s objašnjenja u kome je
eskplikandum pojavljivanje nekog pojedinačnog događaja. Razmo-
trimo koji smo pomenuli u prethodnom poglavlju, kada se
jednog dana na površini čaše kondenzovala vodena para. Objašnje-
nje u tom slučaju, kada se izloži pažljivije i sistematičnije, izgle-
da ovako:
Kad god temperatura bilo koje zapremine vazduha koji sadrži vodenu
paru opadne ispod tačke na kojoj je vodene pare u vazduhu veća od
stepena zasićenosti vazduha vodenom parom na toj temperaturi, vodena para
iz vazduha kondenzuje se u na onim gde je temperatura
vazduha opala ispod tačke zasićenosti.
je vazduh oko ove čaše sadržavao vodenu paru.
vazduha koji je bio neposredno oko čaše opala je kada
smo u sipali hladnu vodu.
Stvarna gustina vodene pare u vazduhu oko posle sniženja tem-
perature, bila je veća od zasićenosti na toj
Prema tome, vodena para iz vazduha neposredno oko čaše kondenzo-
vala se na površini čaše — ukratko, Čaša se zamaglila.
Prvo što treba primetiti u ovom jeste činjenica da
premise sadrže jedan iskaz koji je po svom obliku univerzalan i koji
tvrdi stalnu vezu između svojstava. U drugim primerima,
među premisama se može naći više takvih univerzalnih zakona.2 Ako
sad ovaj primer, proizlazi da bar jedna premisa deduk-
tivnog objašnjenja u kojem je singularni iskaz mora
biti univerzalni zakon, i takva premisa igra bitnu ulogu u izvođenju
* U stvari, i u ovom primeru prećutno se pretpostavljaju i drugi zakoni.
Jedan takav zakon 1a svaku vazduh ima zasićenosti. Drugi za-
koni izmiču zato što su skriveni u odredbama raznih stvari, kao što
voda. staklo itd. Ovi u stvari, da postoje različite vrste od
kojih svaka veze odlika i načine ponaSanJa. Na primer, da je
voda implicitno tvrdi da broj svojstava agregatno
boja. smrzavanja i izvesne sposobnosti učestvovanja
u reakcijama vrstama itd.) stalno povezan jedan s drugim.
i klasifikacija vrsta predstavlja rani ali neophodan stupanj u razvoju siste-
znanja; nauke, i fiziku i prihvataju t raz-
likovanje vrsta koje su prvo uočene običnom u razvijanje sve-
teorijskih izgleda da je tek posto je
klasifikacija vrsta, nauke stalno potvrđuje da je uočavanje i
nje raznih vrsta — stupanj se zove — prethod-
ni za otkrivanje vrsta zakona i za teorila.
Moderna fizika i hernija nastale su tek posle takvih preliminarnih klasifikacija vrsta
(čiji su počeci izgubljeni u dalekoj prošlosti); tradicionalna i zoologija sastoje
se u velikoj iz specifikacija i subordinacija vrsta; neke društvene nauke se uvek
bore da dođu do upotrebljivih i pouzdanih formulacija o vrstama bića i
27
eksplikanduma.3 Očigledno je da je ovaj dovoljan da isključi
kao bona slučaj objašnjenja onu dedukciju, koju smo ranije
pominjali, kojom se Činjenica da Jupiter ima bar jedan satelit izvodi
iz Činjenice da ih ova planeta osam.
Pored univerzalnog zakona premise, objašnjenja sadrže i
izvestan broj singularnih ili jalnih iskaza koji tvrde da su se
izvesni događaji desili u određenom vremenu i na određenom
ili da dati objekti imaju određena svojstva. Takve singularne iskaze
označićemo kao „iskaze o početnim (ili, kraće, kao „po-
četne Staviše, uopšteno govoreći, početni uslovi predstav-
ljaju posebne uslove na koje treba zakone koji su uključeni
u premise objašnjenja. Pa ipak, ne može se izložiti terminima
koje uslove treba odabrati kao podesne početne uslove, jer odgovor
na to pitanje zavisi od specifičnog sadržaja zakona koji se
kao i od specifičnih problema u čijem se ju ovi zakoni upo-
trebljavaju.
Neophodnost početnih uslova u objašnjenju po-
jedinačnih događaja očigledna je sa stanovišta formalne logike. Lo-
gički se ne može dedukovati jedan iskaz koji se odnosi na pojedi-
načno iz iskaza koji imaju oblik univerzalnih iskaza. (Na
nemoguće je izvesti iskaze o pojedinačnom oblika ,,x je iz uni-
verzalnog iskaza oblika „Za svako x, ako je x A, onda je x B"). Ma
koliko ova okolnost bila očigledna i važna, ona se često zanemaruje
u raspravama o naučnom postupku. Ovo zanemarivanje je ponekad
uzrok onog udobnog načina na koji se ponekad široke generalizacije
upotrebljavaju u objašnjavanju pojedinačnih činjenica (naročito u
proučavanju ljudskih postupaka) kao i omalovažavanja koje
trači ponekad imaju prema mukotrpnim istraživanjima stvarnih či-
njenica. Pa ipak, često je vrlo teško primeniti zakone i teorije, prosto
zato što se specifični početni uslovi za primenu tih zakona ne mogu
utvrditi, pa ostaju nepoznati. Obratno, često se predlažu pogrešna
objašnjenja i Čine se predviđanja zato što se opšte pretpo-
stavke, iako su same po sebi dovoljno pouzdane, primenjuju na situa-
cije koje ne predstavljaju podesne početne uslove za primenu tih
pretpostavki. su zakoni ove ili one vrste neophodni u naučnim
objašnjenjima stvarnog toka događaja, ono što se stvarno dešava ne
I I . Objašnjenje zakona
Rasprave koje su posvećene sistematskom razvijanju neke
grane deduktivno nauke obično ne sadrže objašnjenja
pojedinačnih događaja i posebnih činjenica, a kada takva objašnjenja
i sadrže, onda je to samo ilustracija primene zakona i teorija. U sva-
kom slučaju, u razvijenim kao što je fizika glavni zadatak
je objašnjenje zakona i, prema tome, uzajamne veze između njih.
Izgleda da su sva objašnjenja zakona deduktivnog tipa5 pa
zato moramo ispitati njihove specifične oblike. prvo
objašnjenje univerzalnih zakona. mi ćemo za sada zanema-
riti ne samo statističke zakone, već i razliku između objašnjenja u
kojima su sve premise „eksperimentalni zakoni" i onih objašnjenja
u kojima premise sadrže „teorijske" pretpostavke (ovu razliku smo
ranije pomenuli). Vratimo se koji smo naveli u prethodnom
poglavlju, gde je reč o objašnjenju zakona da led pliva po vodi. Bilo
bi zamorno precizno izložiti detalje strogog izvođenja ovog zakona iz
premisa koje obično pretpostavljaju kada ga objašnjavaju.
Nagoveštaji koje smo ranije
6
dali kako da se ove premise odrede biće
dovoljni za našu svrhu.
Mada pojedinačne Činjenice da se u premisama nalaze
i zakoni t iskazi početnim istraživanja se mogu razlikovati lome da
su ka nalaženju i utvrđivanju ove one vrste premisa. Tako možemo
zapaziti a onda da otkrivajući neki događa]
na osnovu već utvrđenog zakona, treba da bude pojavljivanja datog doga-
đaja. ako na automobilu pukne guma, da tražimo mesto na
kojem Je prooušena. pod pretpostavkom guma puca se S druge
strane, posumnjati da na neki značajan povezani i da otkri-
jemo koji izražavaju specifične zavisnosti između događaja te vrste. Tako
se može desiti da zapazimo kako broj otkucaja srca neke osobe raste pošto je ova radila
neke teške vežbe; ako pomislimo da broj otkucaja na način zavisi od može-
mo istraživanje da utvrdimo vezu ovih aktivnosti i tako
do formule o njihovoj zavisnosti. tako. da objasnimo neke
događaje, istraživanje ka otkrivanju premisa koje pripa-
daju vrstama. Na može se desiti da znamo nijedan zakon koji se
odnosi na pojavu izvesnih a isto tako moramo specifične
događaje od kojih takav zavisi. Zbog toga možemo nastojati da otkrijemo i po-
sebne okolnosti koje izazivaju rak zakone koji takve okolnosti povezuju s kanceroz-
III. u objašnjenjima
3 Struktura
34
upotrebljava se to uopšte čini), tako da je područje njegove
mene klasa različitih stvari koje ne plivaju po vodi (bilo da je reč
o prošlosti, sadašnjosti ili budućnosti). Zaista, izgleda verovatno
tvrđenje da kada bi se pomenuti zakon upotrebljavao na ovaj način
u nekom kontekstu, njegova uobičajena formulacija bila bi u tom
kontekstu promenjena. U svakom slučaju, u formulacijama zakona
izgleda da postoji pozivanje na kontekst u kome se ti zakoni
Ali ako je to tako, onda predloženo objašnjenje pojma
veće opštosti nema nepopravljive nedostatke.
Međutim, pošto se o kojem smo dosad raspravljali
ne odnosi na širi smisao termina ukratko ćemo se i na tome
zadržati. Ovaj smisao može se ilustrovati tvrđenjem kojim kažemo da
je fizika opštija nauka od biologije, a naročito kada se tvrdi da je za-
kon poluge opštiji od, recimo, zakona da plavooki roditelji imaju samo
plavooku decu. Ono što se ponekad u ovakvim iska-
zima možda je misao da se biološke pojave mogu objasniti na osnovu
zakona fizike, iako obrnuto nije slučaj. Nezavisno od istinitosti ovog
tvrđenja, ono ipak nema smisao koji se uvek podrazumeva u iska-
zima koji to treba da ilustruju, jer je sumnjivo da je ikada neko
tvrdio kako zakon poluge može da objasni bilo koji zakon genetike.
Smisao koji se češće podrazumeva u ovakvim iskazima možda se
može ovako iskazati: zakon poluge (ili, uopšte uzev, fizika)
izvesne stvari bez obzira da li su te stvari žive ili
nežive. S druge strane, zakon o boji očiju (ili uopšte uzev, biologija)
tvrdi nešto o osobinama koje mogu imati samo posebne vrste sistema,
od kojih neki (iako ne nužno svi) takođe poseduju karakteristike o
kojima govori zakon poluge. Na taj način u zakonu poluge
hovane su mnoge odlike stvari na koje se odnosi i biološki zakon, pa
se deskriptivni izrazi koji se javljaju u zakonu poluge mogu predici-
rati na mnogo širu klasu sistema nego što je to slučaj s deskriptivnim
izrazima koji se javljaju u biološkom zakonu.
Pokušaćemo da pružimo formalno preciznije objašnjenje ove
interpretacije smisla termina Neka je zakon (ili skup
zakona i teorija koje neku posebnu nauku kao što je i ne-
ka su , »osnovni" predikati pomoću kojih se na ne-
ki način mogu definisati predikati iz (Jednostavnosti radi, a bez
Štete po opštost našeg tvrđenja, mi ćemo prepostaviti da su svi ovi
predikati, u stvari, pridevi ili predikati, kao što su „čvr-
sto" ili „teško", i da ne predstavljaju relacione izraze kao Što su „duži
od" ili „predak nekog". Shodno tome, ovi predikati se mogu upotrebiti
u građenju iskaza oblika ,,x je čvrsto" koji sadrže ime samo jednog
pojedinačnog objekta.) Slično tome, neka . ., bude
odgovarajući skup osnovnih termina nekog zakona Najzad, neka
je K klasa objekata za koje predikati iz bilo koja dva pomenuta skupa
imaju smisla. Tako, na ako je „teško" predikat koji pripada
prvom skupu a „sisar" predikat koji pripada drugom skupu, onda
sadrži samo takve elemente (na pr. stolove, životinje) za koje
ima smisla reći da su i teški i da su sisari (iako to može biti
35
Mi ćemo takođe reći da jedan objekat iz K „stvarno" zadovoljava
neki zakon L samo ako taj objekat stvarno poseduje različita svoj-
stva koja se u zakonu pominju i, štaviše, ako su ta svojstva
u odnosima čije postojanje taj zakon tvrdi. Za objekte koji ne
poseduju sva svojstva koja se pominju u tako da se ne može sma-
trati da oni opovrgavaju ili da su kontra-primeri zakona L, reći ćemo
da taj zakon zadovoljavaju „nestvarno". Na primer, sistem koji se
sastoji iz jednog teškog predmeta koji visi o kanap zanemarljive te-
žine stvarno zadovoljava zakon klatna. S druge strane, sistem koji
se sastoji iz knjige koja leži na stolu samo nestvarno zadovoljava
ovaj zakon, jer, mada se neće reći da ovakav sistem opovrgava
nuti zakon, taj sistem stvarno ne poseduje osobine o kojima ovaj
zakon nešto tvrdi — ukratko, sistem ne predstavlja klatno.
Prihvatimo sada sledeće uslove: (1) Neki (a možda i svi) pre-
dikati iz prvog skupa nalaze se i u drugom, ali neki predikati iz dru-
gog skupa ne pripadaju prvom skupu. (2) Svaki objekat iz K ima bar
jedno P-svojstvo, tj. svojstvo koje je označeno predikatom iz prvog
skupa. (3) Postoji neprazna podklasa A objekata iz K koji poseduju
samo (4) Postoji neprazna podklasa A objekata iz K od
kojih svaki ima bar jedno koje nije P-svojstvo.
dica ovih uslova jeste da je područje objekata na koje se stvarno pri-
ovaj ili onaj predikat iz prvog skupa šire od odgovarajućeg
područja za drugi skup.) (5) Postoji neprazna (ali ne nužno prava)
podklasa B objekata iz K od kojih svaki stvarno zadovoljava i
takva da neki objekti iz B pripadaju klasi A dok drugi pripadaju
klasi A. (Shodno tome, kada je stvarno zadovoljeno, onda ono važi
nezavisno od toga da li neki objekat ima samo P-svojstva.) (6) Postoji
neprazna klasa C objekata iz A za koje stvarno važi i takva da
neki (a možda i svi) objekti iz C pripadaju takođe i klasi B. (Zbog
toga, za razliku od samo oni objekti koji imaju neko
koje nije i P-svojstvo, stvarno zadovoljavaju Međutim, nije isklju-
čeno da stvarno važi samo za one objekte za koje takođe stvarno
važi.) Kada je ovih šest uslova ispunjeno, može se reći da je
opštije u K od (u širem smislu termina „opštije" o kome upravo
raspravljamo). Ako se u šesti uvede strožiji zahtev da C mora
biti potpuno uključeno u B, ovaj smisao termina svodi se
otprilike na uži smisao termina „opštiji" o kojem smo ranije ras-
pravljali.
Da bi ovo formalno objašnjenje šireg značenja termina
„opštije" potpuno zadovoljavajuće, potrebno je da analiziramo
nekoliko momenata. Na primer, treba da razmotrimo prirodu „defi-
nicija" koje smo pretpostavili za predikate u i treba da obja-
snimo smisao u kome se pretpostavlja da zakoni i „važe" za
objekte; i, najzad, treba da uvedemo ograničenja u pogledu vrste
objekata koji mogu biti članovi klase kao i u pogledu distribucije
P-svojstava. Međutim, u ove probleme se ne možemo upuštati. Pa
ipak, za potrebe našeg razmatranja dosta je rečeno o tome kako
36
razlikovati dva smisla termina „opštije" i kako se univerzalni
iskazi mogu u pogledu svoje opštosti, u širem ili užem
smislu te Ovo razmatranje smo preduzeli zato što izgleda da su
premise zadovoljavajućeg objašnjenja opštije od svojih eksplikan-
Veća opštost premisa objašnjenja ima veliku važnost zbog toga
što ta odlika doprinosi izgrađivanju sveobuhvatnih sistema objašnje-
nja. Mi ćemo sada ispitati jedan važan način na koji univerzalni
iskazi u nekim stiču veliku opštost.
I. i univerzalnost
' A. C. and
Dodatak sv. 14 (1935), str. 66. Vidi takođe G. F. „Kad bismo imali dovoljno
tno i znanje o onome što se stvarno videli bismo kako i zašto efekat
proizlazi iz uzroka s nužnošću". — Aristotelian Dodatak sv. 14, (1935),
str. 46.
47
Struktura nauke
50
razlika? Ne, ukoliko želimo da smatramo zakonima prirode i izvestan
broj iskaza koje često tako shvatamo — na zakone
kretanju planeta ili iskaz da je brzina svetlosti u vakuumu 300.000
kilometara u sekundi. zakoni pominju Sunce (prvi od
njegova tri zakona, na primer, tvrdi da se planete kreću po eliptičnim
putanjama u Čijoj se jednoj žiži nalazi sunce), a zakon o brzini svetlo-
sti prećutno podrazumeva Zemlju, jer se jedinice i vremena
obično definišu u odnosu na veličinu Zemlje i na period njene rota-
cije. Iako možemo svaki ovakav iskaz isključiti iz klase zakona, to
bi bilo sasvim proizvoljno. odbijanje da ovakve iskaze sma-
tramo zakonima vodilo bi zaključku da postoji vrlo mali broj zakona
a pogotovo ako uzmemo u obzir (o tome mnogo više raspravljamo
u Poglavlju 11) da odnosi zavisnosti koje klasifikujemo kao zakone
trpe evolucione promene. Naime, različite epohe odlikuju
se različitim pravilnostima u prirodi, tako da svaki iskaz kojim se
iskazuje jedna pravilnost mora da sadrži upućivanje na neki odre-
đeni vremenski period. Međutim, nijedan iskaz koji sadrži takvo
upućivanje ne bi se mogao smatrati zakonom ako mislimo da je
prisustvo jednog imena nečeg pojedinačnog nespojivo s
univerzalnim iskazom.
U nekoliko skorašnjih rasprava o iskazima koji su slični zako-
nima predložen je izlaz iz ove teškoće. Pre svega, povučena je
razlika između predikata koji su „čisto kvalitativni" i onih koji to
nisu, pri čemu se za jedan predikat kaže da je kvalitativan ako
„iskaz o njegovom značenju ne zahteva pozivanje
11
na neki pojedinačni
objekat ili prostorno-vremensku lokaciju" . Tako su „bakar" i ,,veća
jačina struje" primeri čisto kvalitativnih predikata, dok
„veći od Sunca" to nisu. Drugo, uvodi se razlika između „osnovnih"
i „izvedenih" iskaza koji su slični zakonima. Ne ulazeći u detalje,
za univerzalni kondicionalni iskaz se kaže da je osnovni ako ne sadrži
imena pojedinačnih objekata (ili „individualne konstante") i ako su
svi njegovi predikati čisto kvalitativni; za univerzalni kondicionalni
iskaz se kaže da je izveden ako je logička posledica nekog skupa
osnovnih iskaza koji su slični zakonima; najzad, za univerzalni kon-
dicionalni iskaz se kaže da je sličan zakonu ili ako je osnovni ili ako
je izveden. Shodno ovome, Keplerovi iskazi mogu se smatrati zako-
nima prirode ako su logičke posledice verovatno istinitih osnovnih
zakona, kao što je Njutnova teorija.
Na prvi pogled, ovo predloženo objašnjenje je najprivlačnije
i ono odražava nesumnjivu tendenciju u savremenoj teorijskoj fizici
da se osnovne pretpostavke formulišu isključivo pomoću kvalitativ-
nih predikata. Pa ipak, taj predlog vodi nerešenim teškoćama.
Prvo, činjenica je da se univerzalni kondicionalni iskazi koji sadrže
predikate koji nisu čisto kvalitativni ponekad nazivaju zakonima,
čak i kada se ne zna da li ti iskazi logički slede iz nekog skupa osnov-
G. and Paul tn Logic
of Science, sv. 15 str. 156.
51
zakona. To je, na bio slučaj s Keplerovim zakonima pre
Njutna, a ako nazovemo „zakonom" (kao to neki čine) i iskaz
da se planete okreću oko Sunca u istom onda je sa ovim
zakonom to slučaj i danas. Drugo, daleko je od izvesnosti da se iskazi
kao što su Keplerovi zakoni stvarno mogu logički izvesti Čak i danas
isključivo iz osnovnih zakona (kao što se zahteva na osnovu predloga
o kome raspravljamo, ako takve iskaze treba smatrati zakonima).
Izgleda da ne postoji način da se Keplerovi zakoni dedukuju iz za-
kona Njutnove mehanike i teorije gravitacije samo zamenjivanjem
promenljivih koje se javljaju u zakonima Njutnove mehanike i teo-
rije gravitacije individualnim konstantama, bez korišćenja drugih
premisa Čiji predikati nisu čisto kvalitativni. Ako je to tako, onda
bismo na osnovu predloženog objašnjenja izostavili 12
iz klase zakona
veliki broj iskaza koje obično smatramo zakonima . U stvari, predlo-
ženo objašnjenje je suviše restriktivno i ono ne uspeva da opravda
neke važne razloge na osnovu kojih jedan iskaz smatramo zako-
nom prirode.
Uporedimo zato paradigmu akcidentalne univerzalnosti „Za
svako ako je x u Smitovim kolima u vremenskom pe-
riodu a, onda je x zarđao u periodu s prvim Keplerovim zakonom
.,Sve se planete kreću po eliptičnim putanjama i Sunce se nalazi u
jednoj od žiža svake elipse" (ili, izraženo u odgovarajućoj logičkoj
formi „Za svako x i za svaki vremenski interval t, ako je x planeta,
onda se x kreće po eliptičnoj putanji u periodu t i Sunce se nalazi
u jednoj žiži te elipse.") Oba iskaza sadrže imena pojedinačnih obje-
kata kao i predikate koji nisu čisto kvalitativni. Pa ipak, među njima
postoji razlika. U akcidentalnom univerzalnom iskazu objekti o ko-
jima se izriče predikat „zarđao u vremenskom periodu a" (nazovimo
klasu takvih objekata „područje predikacije" univerzalnog iskaza)
strogo su ograničeni na stvari koje se nalaze u određenom prostoru i
vremenu. U iskazu koji je sličan zakonu područje predikacije nešto
složenijeg predikata „kreće se po eliptičnoj putanji u vremenskom
intervalu t i Sunce se nalazi u jednoj žiži te elipse" nije na ovaj način
ograničeno: ne zahteva se da planete i njihove putanje budu
štene u određeni prostor ili u dati vremenski interval. Podesnosti radi,
nazovimo univerzalni iskaz čije područje predikacije nije ograničeno
na objekte u određenom prostoru ili u određenom periodu vremena
univerzalnim iskazom". Tada možemo zahtevati da
iskazi koji su slični zakonima budu neograničeni univerzalni iskazi.