Professional Documents
Culture Documents
V. Drekalovic Znanje Uzrocnost I Priroda Matematickih Istina Copy 1
V. Drekalovic Znanje Uzrocnost I Priroda Matematickih Istina Copy 1
Vladimir Drekalović
Za izdavača
Janko Brajković, direktor i
glavni i odgovorni urednik
Recenzenti
Prof. dr Živan Lazović
Doc. dr Dušan Jokanović
Kompjuterska obrada
Slađana Papić
Štampa
Tiraž
500
Vladimir Drekalović
ZNANJE, UZROČNOST I
PRIRODA МATEMATIČKIH
ISTINA
SADRŽAJ
UVOD 7
218
LITERATURA ........................................................................218
IZVOD IZ RECENZIJE .........................................................229 229
BIOGRAFIJA .........................................................................230
230
6
Vladimir Drekalović
UVOD
1
Objašnjenje je u vezi sa opravdanjem. O ovome će više biti rečeno u
poglavlju 1.3.
7
Znanje, uzročnost i priroda matematičkih istina
3) A opravdano vjeruje da p.
Da li je uslov 1) neophodan? Drugim riječima, možemo li
nešto znati bez vjerovanja? Može li neka osoba znati nešto, a
da istovremeno ne vjeruje u to što zna? Na primjer, mogu li
znati da je juče padala kiša, a da u to ne vjerujem? Mogu li znati
da ću jednog dana umrijeti, a da u to ne vjerujem? Mogu li znati
da je zbir uglova u svakom trouglu jednak zbiru dva prava ugla,
a da u to ne vjerujem? Vjerovanje se, obično, već po-
drazumijeva kad se govori o znanju. Ima smisla, međutim,
postaviti pitanje da li je uslov „vjerovati“ možda nedovoljan, slab
i da li ga možda treba pojačati ili zamijeniti sa uslovom „biti
siguran“. Motiv za takvo „pojačanje“ bi se možda mogao naći u
tome da se ljudi često ustručavaju da tvrde da znaju nešto u šta
nisu sasvim sigurni. Možemo li reći da učenik koji odgovara u
školi i koji je nesiguran u to što govori uplašen strogošću
nastavnika, a ipak tačno odgovara ono što je veče prije naučio,
nema znanje o tome što govori?
Istinitost se po pravilu smatra nužnim uslovom. Obavezivanje
na njegovu neophodnost je implicitno sadržano u našoj upotrebi
termina „znanje“. Da je to zaista tako možemo ilustrovati
sljedećim primjerom. Nećemo reći da su ljudi u srednjem vijeku
znali da je Zemlja ravna ploča. Reći ćemo da su vjerovali u to,
jer nije ispunjen uslov istinitosti. Ne možemo smisleno reći da „X
zna da p, ali p je pogrešno“. Nije moguće reći da „X zna p“, a da
to ne znači i da je p istinito. Govoreći da „X zna da p“, mi, u
stvari, tvrdimo da X vjeruje u nešto što je istinito.
Opravdanost kao uslov je neophodna kako bismo znanje
razlikovali od slučajno tačnog nagađanja. Jasno, znanjem ne
možemo zvati bilo koje tačno vjerovanje. Ako bacanjem novčića
„predvidimo“ koja će od dvije ekipe pobijediti u sportskom meču,
i uz to se naše predviđanje ispostavi tačnim, ne možemo reći da
smo imali znanje o tome koja će ekipa pobijediti. Imali smo
samo vjerovanje koje se ispostavilo tačnim. Da bismo govorili o
8
Vladimir Drekalović
9
Znanje, uzročnost i priroda matematičkih istina
2
Teetet, 201 d.
10
Vladimir Drekalović
11
Znanje, uzročnost i priroda matematičkih istina
12
Vladimir Drekalović
13
Znanje, uzročnost i priroda matematičkih istina
14
Vladimir Drekalović
15
Znanje, uzročnost i priroda matematičkih istina
16
Vladimir Drekalović
1 . P L A T O N O VA D E F I N I C I J A
Z N A N J A K A O O S N O VA
S TA N D A R D N E
DEFINICIJE
Ako želimo da na precizniji način odredimo pojam znanja,
osnovno i nezaobilazno mjesto u literaturi predstavljaju Plato-
novi dijalozi. Platon se pojmom znanja bavio u nekoliko svojih
spisa3, ali se dijalog Teetet može istaći od ostalih po tome što je
pojam znanja njegova centralna tema. Kao i u većini Platonovih
spisa suština problema se iznosi kroz razgovor likova, pri čemu
je najčešće Sokratu povjerena uloga sagovornika koji dijalog
vodi ka što „boljem“ razrješenju problema.
Takva je situacija i u dijalogu Teetet, gdje Sokrat u razgovoru
sa mladićem, po kojem je dijalog nazvan, pokušava doći do
definicije kojom bi se na zadovoljavajući način odredio pojam
znanja. Dijalog skoro da djeluje nerealno, s obzirom na strplje-
nje, metodološku postupnost i jasnoću izražavanja, osobine sa
kojima je Sokrat u njemu predstavljen. Na putu do konačne
definicije pojma znanja, Sokrat analizira nekoliko pojmova koji
su najbliže vezani sa pojmom znanja: opažanje, vjerovanje,
istinu, objašnjenje.
Često smo u svakodnevnom životu u situaciji da nekoga
ubjeđujemo da nešto znamo, jer smo to vidjeli svojim očima ili
čuli sopstvenim ušima. Ta činjenica slikovito govori o tome da je
opažanje nezaobilazan pojam ako želimo ispitati pojam znanja.
To je djelimično opravdan razlog zbog kojeg mladi Teetet
predlaže poistovjećivanje znanja sa opažanjem4. Zaista, mi
znamo, zahvaljujući čulima i našem nervnom sistemu, da je
3
Menon, Država, Teetet.
4
Platon, Teetet, 151e.
17
Znanje, uzročnost i priroda matematičkih istina
5
Platon, Teetet, 184-5.
6
Teetet, 186 b.
18
Vladimir Drekalović
7
na izvorni grčki termin (∗⎯>∀) 7, možda najbolje bilo nazvati
doksatičkim stanjem.
1.1. O vjerovanju
7
Termin doksa Platon ne određuje u svim svojim spisima jednoznačno. I
prevodioci se razlikuju u tumačenju tog termina. U sedmoj knjizi Države
termin doksa je uveden kao nešto što ne pripada oblasti misaone djelatnosti,
već je dio oblasti unutar koje su opažaji i pojave. Termin je kod nas često
prevođen sa mnjenje, način izražavanja uvjerenja koje može biti tako, ali i ne
mora. U Menonu Platon ga koristi da bi objasnio nešto što je na pola puta
između istine i zablude. Neki engleski prevodioci ga prevode prosto sa
opinion. Međutim, u Teetetu taj termin ne možemo prevesti samo sa našom
riječju mišljenje. U Teetetu on znači mišljenje, shvatanje ili uvjerenje koje je
jasno i u koje se ne sumnja.
19
Znanje, uzročnost i priroda matematičkih istina
20
Vladimir Drekalović
8
Swain (1981), str. 29-30.
9
Swain (1981), str. 22.
10
Russell (1921), str. 250.
21
Znanje, uzročnost i priroda matematičkih istina
11
Swain (1981), str. 23-4.
12
Ryle (1949), str. 134.
13
Harman (1973).
14
Armstrong (1973).
22
Vladimir Drekalović
1.2. O istini
15
Chisholm (1976).
16
Razlika između de dicto i de re vjerovanja nije sasvim jasna kao u
primjerima koje smo do sada naveli. Na primjer, nije se lako opredijeliti o
kojoj konstrukciji je riječ u izrazima kao što su „Marko vjeruje za iskaz p, da
je tačan“, ili „Marko vjeruje da je ovaj sto crn“. Detaljnije vidjeti u Swain
(1981), str. 26-8.
23
Znanje, uzročnost i priroda matematičkih istina
17
Erl (2005).
24
Vladimir Drekalović
18
Teorija korespondencije, koherentistička teorija, pragmatička teorija.
19
Sam zahtjev o provjeravanju da li nešto „odgovara stvarnosti“ nije sasvim
jasan niti se uvijek može ispuniti. Ako se stvarnost odnosi na sadržaje do
kojih dolazimo čulima, onda se oslanjamo na čula. Međutim, kako
„stvarnost“ ispitivati ako se ne radi o empirijskom materijalu? Ne postoji
univerzalna metodologija, procedura na koju bismo se u ispunjenju ovog
zahtjeve uvijek oslonili.
25
Znanje, uzročnost i priroda matematičkih istina
20
Kad na ovom mjestu govorimo o slučajnoj istinitosti vjerovanja imamo u
vidu tzv. epistemičku slučajnost o kojoj govorimo razmatrajući logičke
relacije između vjerovanja i razloga na kojima ono počiva.
21
Platon, Teetet, 201 b-d.
22
Platon, Teetet, 201 d.
23
85 c.
24
„Zar misliš da se onaj ko pravilno nagađa istinu, ali to čini bez uma,
razlikuje u nečemu od slijepca koji svojim putem ide dobro?“ (506 c).
26
Vladimir Drekalović
25
Postoje iskazi koji mogu ne biti ni tačni ni lažni. Na primjer, paradoksalni
iskazi kao što je ovaj: „Ovo što sada kažem nije istina“.
26
Izuzetak su iskazi tipa „postoji vjerovanje“, jer onda činjenica da neko
vjeruje u nešto garantuje njegovu istinitost.
27
Richard Rorty
28
Primjer je preuzet iz Goldman (1986), str. 18.
27
Znanje, uzročnost i priroda matematičkih istina
1.3. O opravdanju
29
Gettier (1963); Armstrong (1973), str. 137.; Chisholm (1997), str. 5-7.
30
Često imamo opravdanje za istinito vjerovanje, ili nemamo opravdanje za
lažno vjerovanje.
28
Vladimir Drekalović
31
Erl (2005), str. 55.
32
Engleska riječ evidence ima značenje približno našim riječima
svjedočanstvo, dokaz. S druge strane, strana riječ evidencija se u našem
jeziku često shvata kao očiglednost, svojstvo nekih iskaza koji su po
neposrednom opažanju ili misaonoj nužnosti istiniti. Čini se da je zbog toga,
u vezi sa pojmom opravdanja, primjerenije koristiti termin svjedočanstvo
prije nego evidencija.
33
Chisholm (1957), str. 16.
29
Znanje, uzročnost i priroda matematičkih istina
34
Ayer (1956), str. 33.
35
Zagzebski (2004), str. 124.
36
Čuljak (2003), str.7.
30
Vladimir Drekalović
37
186d.
38
Mikulić (2004), str. 574.; Bezinović (2006), str. 53-4.
31
Znanje, uzročnost i priroda matematičkih istina
39
Menon, 82, 85b.
40
Kad je riječ o tumačenju Teeteta u kontekstu čitavog Platonovog opusa,
postoje dva dominantna shvatanja. Radi se o podjeli na „unitariste“ i
„revizioniste“. Prvi smatraju da svi Platonovi spisi čine neprotivrječan sistem
misli, te da teze iznešene u ranim, srednjim i kasnijim dijalozima (kojima
pripada i Teetet) nisu u međusobnoj protivrječnosti. Po njima, kad je riječ o
32
Vladimir Drekalović
33
Znanje, uzročnost i priroda matematičkih istina
42
Lazović (1994), str. 45-47.
43
Pryor (2007).
34
Vladimir Drekalović
44
Swain (1981).
35
Znanje, uzročnost i priroda matematičkih istina
45
Swain (1981), str. 37.
36
Vladimir Drekalović
37
Znanje, uzročnost i priroda matematičkih istina
46
Unger (1968), str. 164.
47
Swain (1981), str. 41.
38
Vladimir Drekalović
39
Znanje, uzročnost i priroda matematičkih istina
2. GETIJEOVI
KONTRAPRIMJERI
48
Getije spada u autore koji smatraju da se uslov opravdanost može pripisati
Platonu.
49
Umjesto Platonovog uslova „S opravdano vjeruje da je P“, Čizolm
(Chisholm (1957)) koristi „S ima odgovarajući razlog da je P“, a Ejer (Ayer
(1956)) „S ima pravo da bude siguran da je P“.
40
Vladimir Drekalović
50
Gettier (1963).
41
Znanje, uzročnost i priroda matematičkih istina
42
Vladimir Drekalović
43
Znanje, uzročnost i priroda matematičkih istina
44
Vladimir Drekalović
51
Dancy (1985), pogl. 2.3.
45
Znanje, uzročnost i priroda matematičkih istina
52
Primjer je podstaknut primjerom iz Russell (1948), str. 131-2. On pokazuje
da posljednje predloženo „pojačanje“ definicije nije nužan uslov, ali ono ne
pogađa tezu o odsustvu relevantne lažnosti.
46
Vladimir Drekalović
53
Izvorno je to i bio razlog da se uvede uslov opravdanosti - da se otkloni
slučajna istinitost vjerovanja.
54
Swain (1985), str. 152. Pod „fizički nemoguće“ Svejn misli na to da bi
opis stanja stvari vezan za vjerovanje i razloge vjerovanja zajedno sa
zakonima prirode proizveo protivrječnost.
47
Znanje, uzročnost i priroda matematičkih istina
55
Dancy (1985), pogl. 2.3.
48
Vladimir Drekalović
49
Znanje, uzročnost i priroda matematičkih istina
56
Dancy (1985), pogl. 2.3.
50
Vladimir Drekalović
57
Iz ovog razloga će biti uveden uslov o tzv. neponištivosti opravdanja.
Vidjeti Lehrer (1974).
51
Znanje, uzročnost i priroda matematičkih istina
52
Vladimir Drekalović
53
Znanje, uzročnost i priroda matematičkih istina
54
Vladimir Drekalović
58
Dancy (1985), pogl. 2.3.
55
Znanje, uzročnost i priroda matematičkih istina
59
Harman (1973), str. 151.
56
Vladimir Drekalović
60
Pryor (2004).
57
Znanje, uzročnost i priroda matematičkih istina
61
Gettier (1963).
62
Harman (1973).
63
Harman (1973), str. 157.
58
Vladimir Drekalović
64
Goldman (1986), str. 84.
59
Znanje, uzročnost i priroda matematičkih istina
60
Vladimir Drekalović
65
Goldman (1986), str. 88.
61
Znanje, uzročnost i priroda matematičkih istina
62
Vladimir Drekalović
3. TEORIJA
UZROČNOSTI- POKUŠAJ
RJEŠENJA GETIJEOVOG
PROBLEMA
3.1. Eksternalističko i
internalističko shvatanje
opravdanja
63
Znanje, uzročnost i priroda matematičkih istina
66
Rasprava internalizam-eksternalizam je, prije svega, začeta u oblasti
teorije značenja. Tradicionalno shvatanje je dominantno internalističko
gledište i prema njemu je razumijevanje značenja individualni psihološki
događaj koji se odvija u svijesti subjekta. Podrazumijeva se svijest o oblicima
i kriterijumima identifikacije objekata na koje se riječi odnose. Danas je sve
proširenije eksternalističko shvatanje prema kojem je značenje najvećeg broja
riječi određeno spoljašnjim činjenicama koje se tiču uzročne istorije riječi od
trenutka prve upotrebe riječi pa sve do trenutka upotrebe riječi o čijem se
značenju govori.
67
Goldman (1979), str.2.
64
Vladimir Drekalović
65
Znanje, uzročnost i priroda matematičkih istina
68
Goldman (1986), str. 36.
69
Goldman (1967). Cilj uvođenja uslova uzročnosti je bio otklanjanje
poteškoća nastalih pojavom getijeovskih kontraprimjera.
66
Vladimir Drekalović
67
Znanje, uzročnost i priroda matematičkih istina
68
Vladimir Drekalović
70
Primjeri su preuzeti iz Bonjour (1985), § 3.
69
Znanje, uzročnost i priroda matematičkih istina
71
Internalista bi rekao da bih tada i gledajući figuru Jeljcina (lutku) vjerovao
da je to zaista on.Tačno, ali tada eksternalistički uslov o stanju stvari ne bi
bio ispunjen.
70
Vladimir Drekalović
72
Iako se govori u jednini o uslovu E i uslovu I jasno je da se u oba slučaja
radi o skupu uslova.
71
Znanje, uzročnost i priroda matematičkih istina
73
Cohen (1984), str. 282.
72
Vladimir Drekalović
73
Znanje, uzročnost i priroda matematičkih istina
74
Lazović (1994), str. 80.
74
Vladimir Drekalović
75
Znanje, uzročnost i priroda matematičkih istina
76
Vladimir Drekalović
Uzročna veza može postojati između stanja stvari, takvih kao što su
vjerovanja, a isto tako i između događaja. Ako dati događaj ili stanje, u
konjunkciji sa drugim događajem ili stanjem, vodi ili rezultira drugim
događajem ili stanjem ( ili je isto stanje dobijeno kasnije), ono će biti
nazvano uzrokom ovog posljednjeg. Ja ću takođe govoriti i o
činjenicama kao uzrocima.76
75
Goldman (1967), str. 356.
76
Goldman (1967), str. 358.
77
Znanje, uzročnost i priroda matematičkih istina
77
Pretpostavka je da čovjek ima zdrava čula i da nije izložen mogućim
obmanama kao što su hipnoza ili fatamorgana.
78
Skepticizam će uvijek naći mogućnost da dovede u pitanje i takve
najelementarnije oblike uzročnosti, ali o tome neće biti riječi u ovom tekstu.
78
Vladimir Drekalović
79
Goldman (1967), str. 361.
79
Znanje, uzročnost i priroda matematičkih istina
80
Vladimir Drekalović
Vs (p)
Vs (r)
Slika 1
Činjenica p uzrokuje činjenicu q, a ova vjerovanje VS(q). Iz
vjerovanja VS(q) i VS(r) S zaključivanjem stiče vjerovanje VS(p).
Svaka ozbiljnija saobraćajna nezgoda ostavlja nužno karakteri-
stične tragove na mjestu događaja. Međutim, svako vjerovanje
u to da su na cesti tragovi koji obično nastaju kao posljedica
saobraćajne nezgode, bez obzira na mentalnu moć ili nemoć
subjekta, ne povlači nužno vjerovanje u to da se na tom mjestu
desila saobraćajna nezgoda. Vjerovatno je ovo jedan od razloga
zbog kojih Goldman sa opreznošću pristupa uzročnoj analizi
80
Goldman (1967), str. 360.
81
Znanje, uzročnost i priroda matematičkih istina
81
Goldman (1967), str. 361.
82
Goldman (1967), str. 363.
82
Vladimir Drekalović
83
Znanje, uzročnost i priroda matematičkih istina
83
Postoje osporavanja takve mogućnosti koja nisu bez osnova. Naime, ako je
uzročna veza nužan uslov za znanje, kako onda možemo govoriti o znanju
budućih događaja? Da bi S znao činjenicu p, morala bi postojati uzročna veza
između činjenice p i S-ovog vjerovanja da p. Ako je p budući događaj u
odnosu na trenutak t, S-ovog vjerovanja da p, onda u trenutku t postojanja
njegovog vjerovanja da p ne postoji uzročna veza između tog vjerovanja i
činjenice. Ta veza će tek, eventualno, biti ostvarena ako se p ostvari.
84
Vladimir Drekalović
(p)
Vs (v)
Vs (q)
Vs (u)
Slika 2
Pri tome je u iskaz da ja nikad lažno ne izražavam svoje
namjere riječima, a v iskaz da ja svoje namjere uvijek i
ostvarujem. Za znanje moga prijatelja je suštinska uzročna veza
njegovog vjerovanja sa p. Pretpostavimo sad, da sam ja nakon
što sam svom prijatelju rekao svoju namjeru, promijenio
mišljenje i odustao od odlaska na periferiju. Međutim, igrom
slučaja sam baš u ponedjeljak kidnapovan i silom odveden na
periferiju grada. Da li se tada može reći da moj prijatelj zna da
ću ja u ponedjeljak biti na periferiji grada? Za ovako promjenjeni
slučaj bi takođe važila slika 2 na kojoj bi se nalazili VS(p) i p, ali
s tom razlikom što ne bi postojala uzročna veza između njih, jer
ne bi postojala veza između q i p. Moja namjera da odem na
periferiju grada ne bi u ovom slučaju uzrokovala moj odlazak
tamo. On je uzrokovan namjerom i akcijom kidnapera koji su me
oteli. Dakle, pošto ne postoji uzročna veza između mog boravka
na periferiji i vjerovanja moga prijatelja u to, on ima istinito
vjerovanje koje nije znanje. Da se ne bi stvorila pogrešna
predstava, treba reći da primjeri koji pokazuju da stanje stvari
ne mora biti uzrok vjerovanja koje se odnosi na to stanje nisu
samo ograničeni na skup znanja o budućim događajima. Na
primjer, znam da je sinoć iz dimnjaka na mojoj kući izlazio dim.
To znam jer se sjećam da sam sinoć u kaminu kuće opazio
vatru, odakle zaključujem da je sinoć iz dimnjaka izlazio dim.
Izlazak dima iz dimnjaka nije uzrok mog vjerovanja u to. To
85
Znanje, uzročnost i priroda matematičkih istina
84
Goldman, generalno, razlikuje dvije vrste uzročnih nizova čiji su primjeri
predstavljeni slikama 1 i 2.
85
Goldman (1967), str. 369.
86
Vladimir Drekalović
86
Goldman (1967), str. 369.
87
Goldman (1967), str. 370.
87
Znanje, uzročnost i priroda matematičkih istina
88
Goldman (1967), str. 363.
88
Vladimir Drekalović
89
Znanje, uzročnost i priroda matematičkih istina
90
Vladimir Drekalović
90
Primjer je sličan primjeru iz Skyrms (1967).
91
Swain (1972), str. 296.
91
Znanje, uzročnost i priroda matematičkih istina
92
Svejn pored uzročne dovoljnosti govori i o, kako kaže, logičkoj
dovoljnosti. Čini se da Svejn nije na jasan način napravio razliku između te
dvije vrste dovoljnosti. Primjer koji u tu svrhu daje takođe nosi dosta
nejasnoća (Svejn (1972), str. 298.). Na ovom mjestu tome nećemo
posvećivati posebnu pažnju jer nije suštinska za ovu raspravu.
92
Vladimir Drekalović
93
Swain (1972), str. 299.
93
Znanje, uzročnost i priroda matematičkih istina
94
Primjer je preuzet iz Swain (1972).
94
Vladimir Drekalović
95
Znanje, uzročnost i priroda matematičkih istina
95
Goldman (1967), str. 364.
96
Dancy (1985), str. 34.
96
Vladimir Drekalović
97
Goldman (1967), str. 368.
98
Dancy (1985), str. 34.
99
Goldman (1967), str. 360.
97
Znanje, uzročnost i priroda matematičkih istina
100
Goldman (1967), str. 357.
98
Vladimir Drekalović
99
Znanje, uzročnost i priroda matematičkih istina
101
Goldman je 1976. godine objavio tekst „ Discrimination and Perceptual
Knowledge“ koji je vodio konačnom napuštanju rane verzije uzročne teorije.
100
Vladimir Drekalović
102
O pitanju relevantnosti alternativa, grubo govoreći, postoje dva gledišta.
101
Znanje, uzročnost i priroda matematičkih istina
102
Vladimir Drekalović
103
Znanje, uzročnost i priroda matematičkih istina
103
Pryor (2007).
104
Vladimir Drekalović
105
Znanje, uzročnost i priroda matematičkih istina
104
Goldman (1976), str. 786.
106
Vladimir Drekalović
105
Postoje autori koji misle da je uzročna teorija primjenljiva i u slučaju
matematičkog znanja. Njihove ideje će biti razmatrane u sljedećoj glavi.
107
Znanje, uzročnost i priroda matematičkih istina
108
Vladimir Drekalović
106
Nozick (1981).
109
Znanje, uzročnost i priroda matematičkih istina
4) p → S vjeruje da p.107
Problem u vezi sa posljednjim primjerom je riješen ovim
dodatnim uslovom. Naime, u njemu neće biti ispunjen uslov (4),
jer u situaciji u kojoj se nalazim ispred kompjutera, ali mi se ne
izazivaju vjerovanje da sam ispred kompjutera, ja neću vjerovati
da sam ispred kompjutera.
Znati da p, znači vjerovati da p kada je p istinito, a ne
vjerovati da p kada je p lažno. Na ovaj način je vjerovanje
povezano sa činjenicom. Možemo reći da vjerovanje takvog
subjekta prati istinu da p. Znati, znači imati vjerovanje koje prati
istinu. Znanje je poseban način povezivanja sa svijetom, jer
uključuje posebnu činjeničku povezanost sa svijetom: njegovo
praćenje.108
Koristeći zakone kontrapozicije i dvostruke negacije mogli
bismo reći da se uslovi (3) i (4) svode na uslov р ako i samo ako
S vjeruje da р, ali Nozik to ne zaključuje. Primjetimo da se
uslovi (1) i (2) odnose na ono što se stvarno dešava. Uslovi (3) i
(4) su takozvani „konjunktivni iskazi“ (subjunctive conditionals)
koji se odnose na ono što bi se desilo čak i u okolnostima koje
bi bile nešto drugačije od onih koje zaista vladaju. To su oni
kondicionalni iskazi kod kojih uslov iz antecendensa nije
ispunjen u stvarnim okolnostima, ali je veza izmedju
njega i stanja stvari opisanog u konsekvensu takva da važi. Kad
bi se javilo A, javilo bi se i B. Osim njih, postoje i standardni
protivčinjenički kondicionalni iskazi kod kojih se u antecedensu
tvrdi suprotno od onoga sto se stvarno desilo, pa se u
konsekvensu kaže šta bi se onda desilo. Recimo, da Cezar na
dan martovskih Ida nije otišao u Senat, ne bi bio ubijen. To je
obično implikacija koja počiva na nekim zakonitim uzročnim
107
Ovde ne razmatramo mogućnost postojanja protivrječnih vjerovanja, to
jest, da subjekat vjeruje da p i da vjeruje da ne-p.
108
Nozick (1981).
110
Vladimir Drekalović
111
Znanje, uzročnost i priroda matematičkih istina
109
Postoje i drugačiji stavovi o ovoj temi o čemu će biti riječi u posljednjoj
glavi.
112
Vladimir Drekalović
110
Nozick (1981).
113
Znanje, uzročnost i priroda matematičkih istina
111
Nozick (1981).
114
Vladimir Drekalović
115
Znanje, uzročnost i priroda matematičkih istina
4 . M AT E M AT I Č K O Z N A N J E
112
Hart (1996), str.4.
113
Benacerraf (1973), str. 23.
116
Vladimir Drekalović
114
Goldman (1967), str. 357.
115
Pitanje je da li zaključivanje kao dio kauzalnog lanca može biti
posmatrano samostalno kao kauzalni proces. Drugim riječima, da li
subjektovo vjerovanje da q, ako on iz q zaključuje p, uzrokuje njegovo
vjerovanje da p? Na ovo pitanje ja neću pokušati dati konačan odgovor. Sklon
sam da kažem da zaključivanje jeste kauzalni proces, to jest da kada je neko
zasnovao njegovo vjerovanje u jedan iskaz na svom vjerovanju u neki skup
iskaza, onda njegovo vjerovanje u taj skup iskaza može biti posmatrano kao
uzrok njegovog vjerovanja u prvi iskaz. Ali ja ne želim zasnovati moju teoriju
na ovoj tvrdnji. Sve što tvrdim je da ako je lanac zaključivanja „dodan“
kauzalnom lancu, onda je čitav lanac kauzalni proces. (Goldman (1967), str.
362).
117
Znanje, uzročnost i priroda matematičkih istina
118
Vladimir Drekalović
116
Benacerraf (1973), str. 24.
119
Znanje, uzročnost i priroda matematičkih istina
117
Kitcher (1984), str. 92.
118
Kitcher (1984), str. 93-4.
120
Vladimir Drekalović
121
Znanje, uzročnost i priroda matematičkih istina
119
Po Vujakliji intuicija je neposredno uviđanje, duhovno gledanje,
neposredno stečeno znanje do kog se nije došlo putem iskustva ili
razmišljanja, „otkrivanje koje se razvija iz čovjekove duše“ (Gete).
120
Gödel (1947/64), str. 483–4.
121
Benacerraf (1973), str. 26.
122
Vladimir Drekalović
122
Benacerraf (1973), str. 26.
123
Znanje, uzročnost i priroda matematičkih istina
Pošto je, dakle, duša besmrtna i pošto se više puta ponovo rađala i
budući da je posmatrala sve stvari i na zemlji i u podzemnom svetu,
onda ona nema ništa što nije naučila. Prema tome, nije nikakvo čudo
što ona o vrlini i ostalim stvarima ima sećanja na ono što je ranije
znala. Pošto je cela priroda homogena i pošto je duša sve naučila, onda
ne postoji ništa što bi nekoga moglo sprečiti da, ako se podseti samo
na jedno, što se kod ljudi zove učenjem, sve ostalo pronađe sam ... 124
123
Benacerraf (1973), str. 26.
124
Platon, Menon, 81d.
124
Vladimir Drekalović
Zato svako znanje koje pokaže ne može imati drugi izvor osim
sjećanja.
Pored „standardnog“ shvatanja matematičke istine,
Benaseraf govori i o „kombinatornom“ shvatanju. Po njemu,
priroda matematičkih objekata nije bitna za matematičko znanje.
Beznačajna su pitanja tipa: Da li ti objekti postoje? Ako da, gdje
se nalaze? Kakva je naša veza sa njima? Kako saznajemo bilo
šta o njima? Znanje, iskazano matematičkim tvrđenjem,
dobijeno je i preneseno dokazom. Dokaz, sam po sebi, garant
je istine. On nas ubjeđuje u tačnost matematičkih tvrđenja.
Dokazujući, saznajemo. Sve što znamo (tvrdimo) zasnovano je
dokazom na prethodnim znanjima (tvrđenjima). Međutim, taj put
„unazad“, na kojem se svaki iskaz oslanja na prethodne, nije
beskonačan. Nakon konačno mnogo koraka na kraju (početku)
čekaju nas aksiome, iskazi koje matematičari smatraju istinitim,
bez potrebe da ta istinitost bude potkrijepljena dokazom. Ali
kako onda, uzimajući u obzir „kombinatorno“ shvatanje da je
znanje dobijeno dokazom, znamo da su aksiome tačne? Za ovo
shvatanje nije interesantna Gedelova intuicija ili potraga za
nekom drugom vezom između aksioma i objekata o kojima one
govore. Upravo to brine Benaserafa. On smatra nedostatkom
takvog shvatanja što „izbjegava ono što mi se čini neophodnim
za prikaz istine“, a to je put preko objekata o kojima govore
„iskazi čija je istina definisana“125. „Kombinatornom“ shvatanju,
nastavlja on, nedostaje ne samo veza između početnih iskaza
matematičke teorije i stvari na koje se ti iskazi odnose, već i
želja da se ta veza nađe. Gedel je takvu želju pokazao koristeći
pojam intuicije.
Postoji više načina da se zasnuje neki skupa aksioma.
Recimo, aksiome mogu biti uvedene dogovorom126, bez
posebnog obrazloženja njihovog izbora. Benaseraf ne vidi
125
Benacerraf (1973), str. 29.
126
Quine (1936).
125
Znanje, uzročnost i priroda matematičkih istina
127
Russell (1919), str. 71.
128
Benacerraf (1973), str. 30.
129
Konzistentnosti, nezavisnost i kompletnost su standardni zahtjevi. Za skup
aksioma kažemo da je konzistentan ako se iz njega ne mogu izvesti dva
protivrječna tvrđenja. Nezavisnost aksioma znači nemogućnost da se bilo
koja aksioma izvede iz preostalih. Kompletnost skupa aksioma znači da se
svako tvrđenje unutar teorije mora moći dokazati ili pobiti.
126
Vladimir Drekalović
130
Steiner (1975).
131
Stajner obezvrjeđuje značaj dokaza kao sredstva kojim se dolazi do
matematičkog znanja, o čemu će niže biti riječi.
132
Steiner(1975), str. 117-8.
133
Grice (1961), str. 438-9.
127
Znanje, uzročnost i priroda matematičkih istina
134
Steiner (1975), str. 120.
135
Steiner (1975), str. 133.
128
Vladimir Drekalović
129
Znanje, uzročnost i priroda matematičkih istina
140
Platon, Teetet, 201.
141
Platon, Teetet, 202.
130
Vladimir Drekalović
142
Maddy (1990), str. 37.
131
Znanje, uzročnost i priroda matematičkih istina
132
Vladimir Drekalović
143
Osim aksioma. O njihovom opravdanju će biti riječi u sljedećem
poglavlju.
144
Kako da iskaze geometrije Lobačevskog potvrdimo u svijetu koji
prepoznaju naša čula?
145
Za izvođenje možemo reći da je valjano ako garantuje da će iz istinitih
premisa biti dobijen istiniti zaključak.
146
Izuzetak su aksiome.
133
Znanje, uzročnost i priroda matematičkih istina
147
Maddy (1990) str. 37.
134
Vladimir Drekalović
148
„ ... ja ću taj termin (platonizam) koristiti sasvim sinonimno sa
,realizam’, kao primjenjen na matematiku: matematika je naučno učenje o
objektivno postojećim matematičkim objektima baš kao što je fizika učenje o
fizičkim objektima ... iako termin ,platonizam’ sugeriše realizam o
univerzalijama, mnogi platonisti posmatraju matematiku kao nauku o
posebnim matematičkim pojedinačnim objektima: brojevima, funkcijama,
skupovima, itd. ” (Maddy (1990), str. 21).
135
Znanje, uzročnost i priroda matematičkih istina
149
Maddy (1990), str. 2.
150
Maddy (1990), str. 2.
136
Vladimir Drekalović
Skupovi mogu ... takođe biti objašnjeni kao realni objekti ... koji
postoje nezavisno od naših definicija i konstrukcija. 152
Ili
Ili
151
Maddy (1990), str. 76.
152
Gödel (1944), str. 456.
153
Gödel (1944), str. 449.
154
Gödel (1947/64), str. 483-4.
137
Znanje, uzročnost i priroda matematičkih istina
155
Gödel (1947/64), str. 484.
156
Maddy (1990), str. 76.
157
Gödel (1947/64), str. 484.
158
Maddy (1990), str. 76-77.
159
Gödel (1947/64), str. 484.
160
Maddy (1990), str. 77.
138
Vladimir Drekalović
ili
161
Gödel (1947/64), str. 485.
162
Gödel (1947/64), str. 477.
163
Gödel (1947/64), str. 483-484.
164
Gödel (1947/64), str. 483.
165
Pod tradicionalnim platonizmom Medi podrazumijeva shvatanje po kom
su svi matematički objekti apstraktni, to jest, imaju neki drugačiji vid
postojanja, nisu dio čulnog svijeta.
139
Znanje, uzročnost i priroda matematičkih istina
166
Frege (1950), str. 19.
140
Vladimir Drekalović
167
Zlato je materijal koji se nalazi u rudniku pored konkretnog grada na
Aljasci.
168
„Skupovi su stvari kao što je skup moje dvije ruke.“
141
Znanje, uzročnost i priroda matematičkih istina
169
Maddy (1990.), str. 43
170
Maddy (1990.), str. 44
142
Vladimir Drekalović
171
Maddy (1990), str. 49.
172
Maddy (1990.), str. 48.
143
Znanje, uzročnost i priroda matematičkih istina
173
Piaget (1937), Phillips (1975).
144
Vladimir Drekalović
174
Kitcher (1984), str. 108.
145
Znanje, uzročnost i priroda matematičkih istina
175
Kicher (1984), str. 109.
176
Boolos (1971), str. 220.
146
Vladimir Drekalović
X X
X X
X
X
X X
X
X
X
X X
X X
X X
X
X
X
Slika 3
147
Znanje, uzročnost i priroda matematičkih istina
Slika 4
Tako bismo predstavili skupove čiji su članovi skupovi. Uopšte,
grupisati neke objekte znači predstaviti ih zajedno kao jednu
cjelinu. Vizuelno, tu cjelinu možemo predstaviti uvođenjem
simbola za objekte, a zatim te simbole na neki način „ograditi“.
Grupisanje višeg reda koristi predstavljanje skupa prethodnog
nivoa kao polaznu tačku daljeg grupisanja. Krugove koji su već
stvoreni grupišemo stvarajući grupu-skup višeg reda. Intuitivno,
skupovi se stvaraju u nivoima. Prvi nivo čine skupovi čiji su
elementi individue. Drugi nivo skupovi čiji su elementi individue i
skupovi stvoreni na prvom nivou, ..., (n+1). nivo, skupovi čiji su
elementi individue i skupovi stvoreni zaključno sa n-tim nivoom.
Šta nam to omogućuje da raspoznajemo stvari, da ih vidimo
kao određene stvari? Između ostalih, o tome govori Heb (Hebb),
po kojem možemo govoriti o promjenama u neurološkoj strukturi
zahvaljujući kojima se premošćuje jaz između svjetlosnih obrisa
na mrežnjači i opažajnih vjerovanja koja stičemo. Pod tim
148
Vladimir Drekalović
149
Znanje, uzročnost i priroda matematičkih istina
Skup višeg ranga (a set of higher order), kao što je skup koji se
sastoji od skupa jaja i skupa, Stivove dvije ruke, ponovo bi trebalo da
180
Maddy (1990), str. 58.
150
Vladimir Drekalović
se nalazi tamo gdje su njegovi članovi, to jest, tamo gdje je skup jaja i
tamo gdje je skup ruku. 181
181
Maddy (1990), str. 59.
182
Maddy (1990), str. 59.
183
Ona smatra da je broj, po svojoj prirodi, osobina skupa.
184
Pod agregatom Medi podrazumjeva fizički materijal raspodjeljen osobinom
„biti nešto“ (npr. jaje).To je neki fizički materijal podijeljen na određeni
način.
185
Klasa se razlikuje od skupa u tome što zavisi od osobine poput „biti jaje u
kartonu“. Skupovi se, s druge strane, određuju iterativno, posmatranjem na
svakom nivou svih podskupova od onoga što je već generisano prije, bez
obzira da li ili ne članovi tih podskupova mogu biti izdvojeni sa nekom
osobinom.
151
Znanje, uzročnost i priroda matematičkih istina
186
„Raselov skup, skup svih skupova koji nisu svoji članovi, ne može biti
formiran na bilo kojem nivou, jer će novi skupovi koji nisu svoji članovi (po
iterativnom stvaranju nijedan skup nije sam svoj član) biti stvoreni na
sljedećem nivou.“ (Maddy(1990), str.62)
„ ... skup svih skupova ili neki drugi skup slične ekstenzije ne može
postojati. Naime, svaki skup izgrađen na ovaj način odmah dovodi do daljnje
primjene operacije ,skup’ i zato do postojanja većih skupova.“ (Gödel
(1947/64), str. 475)
187
Skupovi skupova skupova...
152
Vladimir Drekalović
188
Maddy (1990), str. 65
189
Maddy (1990), str. 63
190
Maddy (1990), str. 67
153
Znanje, uzročnost i priroda matematičkih istina
191
Maddy (1990), str. 69
192
U fusnoti na 71. str. „Realizma“, autorka ostavlja mogućnost da bi umjesto
„netačno“ mogli koristiti i „neistinito u nekom smislu“.
154
Vladimir Drekalović
193
Ova aksioma, tzv. „neograničena komprehenzija“, je odbačena jer dopušta
formiranje Raselovog skupa koji vodi paradoksu. U aksiomatici teorije
skupova zamijenjena je Cermelovom separacionom aksiomom koja tvrdi
samo da svaka osobina određuje skup elemenata, sa tom osobinom, koji je
podskup nekog skupa.
194
Maddy (1990), str. 72.
155
Znanje, uzročnost i priroda matematičkih istina
195
Maddy (1990), str. 72.
196
Maddy (1990), str. 72.
197
„Aksioma dvočlanog skupa izražava činjenicu da za proizvoljne skupove
x i y postoji skup { x , y } čiji su elementi upravo skupovi x i y.“
(Vujošević (1996), str. 154)
156
Vladimir Drekalović
198
Martin (2005), str. 222.
199
Gödel (1944), str. 456.
200
Gödel (1951), str. 321.
157
Znanje, uzročnost i priroda matematičkih istina
201
Gödel (1944), str. 465-6.
202
Gödel (1944), str. 466.
203
Gödel (1951), str. 321.
204
Gödel (1951), str. 320.
158
Vladimir Drekalović
značenja riječi „skup“ i „pripada“, tj. na osnovu toga šta znači biti
skup i šta znači za skup (ili druge objekte) biti član skupa.
Međutim, ovakvo gledište ne odolijeva lako sljedećem pitanju.
Zašto bi, na primjer, postojanje beskonačnog skupa slijedilo iz
značenja riječi „skup“ (pojam skupa) išta više nego što bi
postojanje kamenog stola slijedilo iz značenja riječi „sto“ (pojam
sto)? Zaista, zašto bi, uopšte, postojanje ikakvog skupa slijedilo
iz pojma skupa?
Martin smatra da ni Gedel nije tražio opravdanje u opažanju,
već da je istinitost aksioma posmatrao u odnosu na pojam na
koji se one odnose. I zaista, Gedel kaže da vjerovatno postoje
... druge (dosad nepoznate) aksiome teorije skupova koje bi još više
pomogle razumijevanju pojmova koji leže u osnovi logike i
matematike i koje bi nam omogućile da shvatimo da su implicirane
tim pojmovima.205
205
Gödel (1947/64), str. 477.
206
Martin (2005), str. 223.
207
Martin (2005), str. 213.
159
Znanje, uzročnost i priroda matematičkih istina
208
Gödel (1944), str. 456.
160
Vladimir Drekalović
161
Znanje, uzročnost i priroda matematičkih istina
Ako sad opažamo ovaj skup čulom vida, šta onda vidimo?
Očigledno, vidimo upravo samu jabuku. Nakon svega, ja ne vidim bilo
šta u tom regionu prostora, što izgleda različito od jabuke ... kako se
taj objekat (skup) razlikuje od jabuke, jer on ima tačno isti oblik i boju
... Ali ja tamo ne primjećujem bilo šta drugačije od jabuke. Očigledno,
taj čudni objekat se nikako ne razlikuje od jabuke. Šta je sa mirisom ili
ukusom? Ponovo, izgleda da skup mora biti identičan po mirisu i
ukusu sa jabukom. Dakle, on izgleda, miriše i ima isti ukus kao
jabuka, i nalazi se na tačno istom mjestu i u tačno istom vremenu – a
ipak je različit objekat! 209
209
Chihara (1982), str. 223-4.
210
Chihara (1982), str. 223-4.
162
Vladimir Drekalović
211
Maddy (1990), str. 151.
212
Maddy (1990), str. 152.
213
Maddy (1990), str. 152.
163
Znanje, uzročnost i priroda matematičkih istina
214
Neformalno govoreći, aksioma ekstenzionalnosti izražava uvjerenje da su
skupovi jednaki ako imaju iste elemente. (Vujošević (1996), str. 153)
215
Maddy (1990), str. 153.
164
Vladimir Drekalović
216
Kvajn poistovjećuje objekat sa jednočlanim skupom koji ga sadrži, u želji
da uprosti svoju teoriju. To pojednostavljivanje zahtijeva malu modifikaciju
ZFC-a, kao i dodatnu pretpostavku da elementi od kojih počinje iterativna
hijerarhija formiraju skup sa najmanje dva člana. (Quine (1969), §4)
217
Kanamori (2003), str. 278.
165
Znanje, uzročnost i priroda matematičkih istina
218
Russell (1945), str. 198.
219
„... fizikalizam je učenje koje govori o tome da su činjenice hemije,
biologije, psihologije, semantike, sve objašnjive u terminima fizike ...“ (Field
(1972), str. 357).
220
Field (1982), str. 69.
166
Vladimir Drekalović
221
Field (1982), str. 68.
222
{ {} , {{}} , {{},{{}}} , {{},{{}},{{},{{}}}} , . . . }.
223
Maddy (1990), str. 156.
167
Znanje, uzročnost i priroda matematičkih istina
... ako je skupove zaista moguće opažati, kako sam pokazala, onda
oni moraju igrati istu ulogu u nastanku mog opažajnog vjerovanja o
njima, kao što, recimo, moja ruka igra u nastanku mog opažajnog
vjerovanja, kad je ispred mene, posmatrana pri dobroj osvjetljenosti, a
to je kauzalna uloga. 226
224
Medi ovaj pojam definiše ovako: Tranzitivno zatvorenje skupa sastoji se
od njegovih članova, članova njegovih članova, članova od članova njegovih
članova, itd.
Vujošević (1996, str. 156, 178) tranzitivno zatvorenje skupa x određuje kao
najmanji tranzitivan skup koji sadrži x. (skup x je tranzitivan ako za sve y, z;
y ∈ z ∧ z ∈ x => y ∈ x, tj. ako je relacija ∈ tranzitivna na skupu x.)
225
Maddy (1990), str. 157.
226
Maddy (1990), str. 157.
227
Maddy (1990), str. 157.
168
Vladimir Drekalović
228
Uniformnost univerzuma skupova (analogno sa uniformnošću prirode):
univerzum skupova ne mijenja suštinski svoju prirodu kako „ide“ od manjih
ka većim skupovima ili kardinalima, tj. ista ili analogna stanja stvari se
ponovo pojavljuju (možda u složenijim oblicima). (Maddy (1988a), str. 502)
229
Maddy (1988b), str. 760.
169
Znanje, uzročnost i priroda matematičkih istina
230
Maddy (1988b), str. 760-61.
170
Vladimir Drekalović
231
Maddy (1990), str. 116.
232
Linearno uređenje P = (P , <) je dobro uređenje ako svaki podskup skupa
P ima najmanji element u uređenju P (Vujošević (1996), str. 139).
233
Skup se ne može podijeliti u više nepraznih disjunktnih dijelova od
onoliko koliko ima članova.
234
Zermelo (1908), str.187.
171
Znanje, uzročnost i priroda matematičkih istina
235
Zermelo (1908), str. 187.
236
Maddy (1990), str. 118.
172
Vladimir Drekalović
237
Maddy (1988b), str. 758.
238
Zermelo (1908), str. 200.
239
Maddy (1990), str. 119.
173
Znanje, uzročnost i priroda matematičkih istina
ili
240
Zavisni izbor – postoji izborna funkcija za bilo koju prebrojivu kolekciju
nepraznih skupova, tako da svaki izbor zavisi od prethodnog.
241
Prebrojivi izbor – postoji izborna funkcija za bilo koju prebrojivu kolekciju
nepraznih skupova.
242
Zermelo (1908), str. 189.
243
Maddy (1990), str. 120.
174
Vladimir Drekalović
175
Znanje, uzročnost i priroda matematičkih istina
246
Maddy (1983), str. 115.
176
Vladimir Drekalović
Tako elementi prave klase kao što je klasa svih skupova, svi
postoje, ali ne postoje zajedno u smislu da formiraju skup. Razlog za
ovo je očigledan: novi skupovi su formirani na svakom nivou, tako da
nema nivoa na kojem je formiran skup svih skupova.250
247
Cantor (1899), str. 114.
248
Maddy (1983), str. 116.
249
Aristotel na sličan način govori o beskonačnim skupovima. Po njemu,
beskonačni skupovi postoje potencijalno (na primjer, jedan više broj može
uvijek biti nabrojan), ali ne i aktualno (svi brojevi ne mogu postojati
istovremeno).
250
Maddy (1983), str. 119.
177
Znanje, uzročnost i priroda matematičkih istina
251
Maddy (1983), str. 121.
252
Maddy (1990), str. 122.
253
Maddy (1990), 123.
178
Vladimir Drekalović
254
Maddy (1990), str. 123.
255
Maddy (1990), str. 123.
256
Maddy (1990), str. 124.
257
Maddy (1990), str. 124.
179
Znanje, uzročnost i priroda matematičkih istina
258
Cantor (1895), str. 45.
259
Maddy (1988a), str. 490.
180
Vladimir Drekalović
260
Maddy (1988a), str. 491.
261
ZFC je Cermelo–Frenkelova (Fraenkel) teorija skupova proširena
aksiomom izbora. Ta teorija je, neformalno govoreći, zasnovana na sljedećim
principima:
–jednaki skupovi imaju iste elemente,
–svaka familija skupova ima uniju,
–nad svakim skupom postoji skup svih njegovih podskupova,
–postoji beskonačan skup,
–slika skupa pri svakom preslikavanju je takođe skup,
–svi matematički objekti su skupovi. (Vujošević (1996), str. 147)
181
Znanje, uzročnost i priroda matematičkih istina
262
Maddy (1990), str.128.
263
Stvaranje te hijerarhije omogućuje tzv. aksioma regularnosti. Istorijski
gledano, teorija ZF je nastala kao rezultat logičke analize jedne predstave o
postepenoj, kumulativnoj izgradnji skupova u kojoj aksioma regularnosti ima
ključnu ulogu. Ta predstava podrazumjeva hijerarhiju skupova u kojoj se na
prvom stupnju nalazi kolekcija zadatih objekata ili praelemenata, na drugom
stupnju javljaju se skupovi praelemenata i svi elementi prvog stupnja, itd.
Prvobitno, teorija ZF je predstavljala opis svojstava ovako izgrađenih
skupova, a kasnije se pokazalo da praelementi uopšte nisu potrebni, tj. da se
svi matematički skupovi ovakvom konstrukcijom mogu dobiti iz praznog
skupa. Intuitivno, aksioma regularnosti eliminiše određene patološke objekte
iz klase svih skupova. Ona obezbjeđuje da se u odnosu na relaciju, ne mogu
pojaviti ciklusi oblika x0 є x1 є ... є xn є x0 ili beskonačni opadajući nizovi
oblika ... є x2 є x1 є x0. (Vujošević (1996), str. 177)
182
Vladimir Drekalović
183
Znanje, uzročnost i priroda matematičkih istina
267
Maddy (1990), str. 134.
184
Vladimir Drekalović
Kondicionalizam
Na 25. strani Realizma, Medijeva govori o shvatanju koje
zove kondicionalizam. Definiše ga kao logičko učenje koje
govori o tome koji zaključci slijede iz kojih premisa. Ona to
shvatanje vidi kao drugu varijantu formalizma. Prva varijanta je
starija, i po njoj je matematika samo igra simbolima koji nemaju
značenje. Matematika je kao šah, a njeni simboli kao šahovske
figure. Da li je baš tako? Pravila šaha su proizvoljna, a je li tako i
sa, na primjer, aritmetikom? Značenja aksioma teorije o
brojevima se mogu odnositi i na opažajnu stvarnost i tako
doprinjeti našem znanju prirode. Sa šahom to nije slučaj. Nije
teško vidjeti kako nam razni tačni iskazi matematike mogu
pomoći da odredimo, na primjer, broj potrebnih cigli da bismo
zazidali neku površinu. Ipak, nije jasno kako nam niz simbola
bez značenja može koristiti da riješimo probleme realnog svijeta
išta više od proizvoljnih kombinacija šaha. Upravo tako Frege
kritikuje formalizam. Pita se koja je svrha matematike, ako je
samo igra simbolima. Fregeovo pitanje je: kako se mogu
primijeniti nizovi simbola bez značenja (ako su bez značenja,
kako formalisti kažu)? Kondicionalizam daje odgovor. Kad
fizičar pravi neko testiranje, on ima hipoteze i pravi eksperiment.
On, takođe, koristi i zaključivanje i da nije njega ne bi bilo
opravdanja posljedica koje se u eksperimentu dešavaju. Da ne
koristimo zaključivanje, ni objašnjenje ne bi bilo valjano, ne bi
bilo opravdano. Logička forma nam ispunjena konkretnim
sadržajem kontroliše valjan tok misli.
Ima još primjera o primjeni nekih matematičkih sadržaja koji,
na prvi pogled, nemaju nikakvu primjenu. Recimo, Hilbert je
vjerovao da jedino konačna matematika ima smisao. Ali, on je
želio iskoristiti i iskaze beskonačne matematike. Gledao ih je
kao koristan alat za izvođenje iskaza konačne matematike.
Njegov plan je bio upravo to. Htio je pokazati da se iskazi
185
Znanje, uzročnost i priroda matematičkih istina
268
Maddy (1990), str. 25.
186
Vladimir Drekalović
Ona (filozofija) sve ostavlja takvim kakvo je. Ona, takođe, ostavlja
i matematiku takvom kakva je ... Filozofija prosto stavlja sve ispred
nas i niti objašnjava, niti dedukuje bilo šta ... Filozofija jedino tvrdi
ono što svako prihvata. 270
269
Putnam (1979), str. 74.
270
Wittgenstein (1953), ∫ 124, 126, 599 .
271
Maddy (1997), str. 164-165.
272
Wittgenstein (1938/46), str. 43.
187
Znanje, uzročnost i priroda matematičkih istina
273
Maddy (1997), str. 164.
274
Maddy (1997), str. 165.
275
Maddy (1997), str. 166.
188
Vladimir Drekalović
276
Maddy (1997), str. 166.
277
Wittgenstein (1939), str. 239-40.
278
Wittgenstein (1933/44), φ 35.
279
Hilbert (1926), str. 191.
280
Wittgenstein (1939), str. 103.
189
Znanje, uzročnost i priroda matematičkih istina
Vitgenštajnovim riječima:
281
Maddy (1997), str. 167.
282
Maddy (1997), str. 167.
283
Wittgenstein (1932/4), str. 381.
284
Carnap (1950), str. 245.
190
Vladimir Drekalović
Isto važi za jezik brojeva ili jezik skupova: ako prihvatimo jezik sa
jasnim pravilima, prihvatamo i postojanje brojeva ili skupova ... Ali
spoljašnja pitanja kao što su, postoje li brojevi ili postoje li skupovi, ne
mogu biti postavljena; jedino njihove opštepoznate unutrašnje
kopije.286
... jedino može biti opravdan kao više ili manje koristan, plodan,
onaj koji vodi cilju za koji je jezik namjenjen. 287
285
Carnap (1950), str. 243-4.
286
Maddy (1997), str. 96.
287
Carnap (1950), str. 250.
191
Znanje, uzročnost i priroda matematičkih istina
192
Vladimir Drekalović
292
Quine (1981) str. 181, 21.
293
Quine (1975), str. 72
294
Maddy (1997), str. 181.
295
Maddy (1997), str. 181.
193
Znanje, uzročnost i priroda matematičkih istina
296
Quine (1981), str. 181.
297
Maddy (1997), str. 184
298
Medi govoreći o „opservaciji i hipotetičko-deduktivnoj metodi“ i
„dokazu i aksiomatskoj metodi“, govori o osnovnim metodama nauke i
matematike.
299
Maddy (1997), str. 184.
194
Vladimir Drekalović
300
Maddy (1997), str. 185.
301
Мaddy (1997), str. 185.
195
Znanje, uzročnost i priroda matematičkih istina
302
Heyting (1931), str. 52-3.
303
Maddy (1997), str.186.
304
Maddy (1997), str. 188.
305
Maddy (1997), str. 190-1.
196
Vladimir Drekalović
197
Znanje, uzročnost i priroda matematičkih istina
309
Maddy (1997), str. 192.
310
Maddy (1997), str. 192.
198
Vladimir Drekalović
311
Maddy (1997), str. 191.
312
Maddy (1990), str. 23.
313
Maddy (1997), str. 192.
314
Doduše, samo skupove fizičkih objekata.
199
Znanje, uzročnost i priroda matematičkih istina
200
Dr Vladimir Drekalović
5 . D O K A Z - P O S T U PA K
M AT E M AT I Č K O G
O P R AV D A N J A
U ovom radu je u vezi sa pojmom znanja, posebna pažnja
posvećena matematičkom znanju. Da bismo govorili o tom
znanju, neizbježno smo morali govoriti i o prirodi matematičkih
objekata.
Ako matematičara pitamo gdje možemo naći matematičke
objekte ili kako ih možemo opaziti, vjerovatno odgovor nećemo
dobiti. Za njegov rad je sasvim nebitno da li ili ne matematički
objekti imaju mjesto u prostoru, boju ili miris. Pitati gdje se
brojevi nalaze za njega nema smisla ništa više nego pitati o
tome kakav miris ima neka Betovenova simfonija. Matematika
je, smatra on, već rekla svojim iskazima sve što se o tim
objektima moglo reći. Ona nam govori o beskonačnim
skupovima beskonačnih objekata (na primjer, skup nizova u
beskonačnodimenzionalnom prostoru), o savršeno pravim i
neograničenim linijama, o objektima bez dijelova (tačkama).
Teško da u našoj opažajnoj okolini možemo naći tako brojne i
savršene stvari. To je jedan od bitnih razloga zbog kojih mnogi
filozofi smatraju da nam matematički objekti nisu uzročno
dostupni i da su van prostora i vremena. Takav stav se čini
prihvatljivim, ali je on podstakao druga pitanja. Kako išta
možemo znati o tim čulno udaljenim stvarima? Platon je predlo-
žio teoriju o sjećanju duše. Frege smatra da su matematički
objekti razumu dati direktno, tako da on nema nikakve prepreke
do njih.315 Gedelovo mišljenje je da, bez obzira na njihovu
udaljenost od čulnog iskustva, imamo nešto poput opažanja
teorije skupova, što se vidi iz činjenice da nas aksiome „tjeraju“
315
Frege (1950), paragraf 105.
201
Znanje, uzročnost i priroda matematičkih istina
316
Resnik (1997), str. 84.
317
Peanove aksiome.
202
Dr Vladimir Drekalović
318
Benacerraf (1965).
319
Resnik (1997), str. 91.
320
Quine (1981), str. 34.
203
Znanje, uzročnost i priroda matematičkih istina
204
Dr Vladimir Drekalović
205
Znanje, uzročnost i priroda matematičkih istina
206
Dr Vladimir Drekalović
i 2n različitih nula
onda je
ekvivalentno sa
a odavde dobijamo da je
321
Dokaz na ovom mjestu podrazumijeva niz iskaza, pri čemu je svaki
izveden iz prethodnih nužno, valjanim pravilom zaključivanja.
207
Znanje, uzročnost i priroda matematičkih istina
čiji su korjeni
i da je
322
Nemamo u vidu postupak matematičke indukcije koji je, u stvari, vrsta
deduktivnog zaključivanja, već indukciju sličnu onoj koja se primjenjuje u
prirodnim naukama.
323
Polya (1954).
208
Dr Vladimir Drekalović
324
Steiner (1975), str. 105.
325
Srinivasa Ramanujan (1887–1920). Ramanudžan je bio indijski
matematičar koji je skoro bez ikakvog formalnog obrazovanja u vezi sa
čistom matematikom dao bitan doprinos u okviru matematičke analize, teorije
brojeva i još nekih matematičkih oblasti.
209
Znanje, uzročnost i priroda matematičkih istina
326
Steiner (1975), str. 136.
327
Kant (1965), str. 32-3.
210
Dr Vladimir Drekalović
328
Koji nije aksioma.
211
Znanje, uzročnost i priroda matematičkih istina
329
Kitcher (1984), str. 38.
330
Hume (1973), str. 180.
331
Za slične ideje vidjeti Poincare (1913), Resnik (1997) i Davis and Hersh
(1981).
212
Dr Vladimir Drekalović
cjelokupne realnosti; ono što čini jedinstvo dokaza biće nam sasvim
neshvatljivo.332
Hjumovsko shvatanje u liku Kičera ima savremenog
predstavnika. On, naime, nastoji ukazati na znakove koji bi
trebalo da pokažu nesigurnost naših ubjeđenja u neke
matematičke iskaze, a vezano za dužinu njihovog dokaza. Kod
dugih dokaza naša pažnja može popustiti, te se ponekad
možemo pogrešno pozvati na nešto što smo ranije dokazali.
Pogrešno u smislu da smo možda zaboravili sve detalje tvrđenja
na koje se oslanjamo u daljem dokazu, ili da smo jednostavno
zaboravili dokaz tog tvrđenja. Slično, Dekart žali zbog činjenice
što su duža izvođenja nesigurna, jer prevazilaze prostor onoga
što sebi možemo istovremeno predstaviti. Doduše, on smatra
da to stanje možemo popraviti stalnim ponavljanjem kako bismo
težili tome da čitav lanac zaključivanja imamo kao cjelinu - jedan
akt shvatanja.333 U vezi sa Dekartovim predlogom, prirodno je
pitanje o granicama ljudskih mentalnih mogućnosti. Kako bi se
Dekartov predlog ostvario kod dužih dokaza o kojima govori
Kičer? Dokaz svakog tvrđenja koje je već dokazano, a koje se
koristi u daljem dokazu, trebalo bi da ponavljamo sa željom da
on postane „jedna cjelina“ sa čitavim dokazom. Ipak, složenost
nekih dokaza znatno komplikuje ovu zamisao. Praktično, mnoge
matematičke oblasti su međusobno zavisne i činjenice iz jedne
oblasti se često uzimaju kao već znane - dokazane činjenice u
drugoj oblasti. Nije rijetkost da se barata činjenicama iz prve
oblasti baveći se nekim dokazima u drugoj, a bez obaveze da
se napravi prisjećanje o dokazu iz prve oblasti.
Psihologističkim prigovorima, koje smo naveli, dovodi se u
pitanje sticanje matematičkog znanja dokazom! Šta leži u
osnovi takvih prigovora? Dokaz se shvata kao niz koraka kojim
se dolazi do nekog matematičkog tvrđenja. Ali, da bi taj niz za
332
Poincare (1913), str. 217.
333
Descartes (1954).
213
Znanje, uzročnost i priroda matematičkih istina
214
Dr Vladimir Drekalović
drugih nauka. Koliko još ima iskaza drugih nauka pri čemu za
opravdanje vjerovanja u njih nije moguće obezbijediti shvatanje
cjeline? Ili, bolje pitati, koliko postoji iskaza nauke takvih da je
za opravdanje vjerovanja u njih moguće obezbijediti
jedinstvenost o kojoj govore psihologisti? Većina iskaza svake
nauke nisu trivijalne, očigledne činjenice, iako ih mi zbog opšte
prihvaćenosti najčešće tako doživljavamo. One obično za svoje
opravdanje, takođe, podrazumijevaju niz drugih tvrđenja koja,
opet, imaju svoja opravdanja. Tako i sagledavanje opravdanja
takvih istina teško može biti dato u jedinstvenom doživljaju.
Prigovor u vezi sa uticajem autoriteta na sticanje vjerovanja i
njihovo opravdanje najmanje bi trebalo da pogađa matematiku.
Matematičko opravdanje subjekta koji vjeruje u to da je zbir
uglova u svakom trouglu jednak zbiru dva prava ugla je
neuporedivo jače od onog koji vjeruje u istorijski iskaz o broju
poginulih vojnika u bici kod Vaterloa ili onog koji vjeruje u iskaz
geografije o vremenu stvaranja mlađih vjenačnih planina.
Naime, učitelj matematičkim opravdanjem ne može učenika
uvjeriti u opravdanost nekog neistinitog matematičkog tvrđenja,
što nije slučaj u drugim naučnim oblastima. Prethodno slijedi iz
činjenice da opravdanje - dokaz u matematici garantuje i
istinitost, što se ne može reći za druge oblasti. U njima
dozvoljavamo postojanje vjerovanja koja nisu istinita. S druge
strane, opravdanost u matematici ne dozvoljava neistinitost.
Opravdanost je u njoj dovoljan uslov za istinitost.
Konačno, razmislimo još jednom o nastojanjima da se svako
znanje, pa i matematičko, opravda empirijski, nekom vrstom
opažanja. Uzročna teorija znanja je bila jedan pokušaj da se
riješi problem nastao pojavom getijeovskih primjera. Tražio se
uslov veze između stanja stvari i vjerovanja. Doduše, Goldman
je u svom poznatom tekstu napomenuo da ta teorija može imati
očekivan rezultat jedino u slučaju empirijskih nauka. Benaseraf i
Medijeva su pokazali da tu napomenu nisu prihvatili kao ozbiljnu
sugestiju. Pokušali su uslov uzročnosti prenijeti i u matematiku.
215
Znanje, uzročnost i priroda matematičkih istina
334
Izuzev Stajnera.
335
Aksiome Euklidske geometrije, Peanove aksiome.
216
Dr Vladimir Drekalović
217
Literatura:
218
11. Cantor G. (1895), Contributions to the Founding of the
Theory of Transfinite Numbers (Open Court Press, Chicago,
Illinois, 1915; reprint, Dover, New York, 1952.).
12. Cantor G.(1899), „Letter to Dedekind“ (št. u van Heijenoort
(1967), str 113-17).
13. Carnap R. (1950), „Empiricism, semantics, and ontology“
(št. u Benacerraf i Putnam (1983), str. 241-57).
14. Chappell T. (2005), „Plato on Knowledge in the Theaetetus“,
The Stanford Encyclopedia of Philosophy (Summer 2005
Edition), Edward N. Yalta (ed.):
URL=http://plato.stanford.edu/archives/sum2005/entries/plat
o-theatetus/.
15. Chihara C. (1982), „A Gödelian thesis regarding
mathematical objects: Do they exist? And can we perceive
them?“ (Philosophical Review, 91, str. 211-27).
16. Chisholm R.M. (1957), Perceiving: a Philosophical Study
(New York: Cornell University Press).
17. Chisholm R.M. (1976), Person and Object (LaSale, Ill.,
Open Court).
18. Chisholm R.M. (1997), Theory of Knowledge (New Jersey:
Prentice-Hall).
19. Cohen S. (1984), „Justification and Truth“ (Philosophical
Studies, 46, str. 279-295).
20. Crossley J.N., Ash C.J., Brickhill C.J., Stillwell J.C.,
Williams N.H. (1972), What is Mathematical Logic?
(London: Oxford University Press).
219
21. Čuljak Z. (ur.) (2003), Vjerovanje, opravdanje i znanje.
Suvremene teorije znanja i epistemičkoga opravdanja
(Zagreb: Ibis grafika).
22. Dancy J. (1985), Inroduction to Contemporary
Epistemology (Oxford: BasilmBlackwell).
23. Davis P.J. and Hersh R. (1981), The Mathematical
Experience (Boston, Mass.:Houghton Mifflin).
24. Descartes (1954), Geometry (New York: Dover)
25. Dummett M. (1978), Truth and Other Enigmas (Harvard:
University Press).
26. Enderton H. (1977), Elements of Set Theory (New
York:Academic Press).
27. Erl V. Dž. (2005), Uvod u Filozofiju (Beograd: Dereta).
28. Feferman S., Dawson J., Goldfarb J., Parsons C. (ed)
(1995), Kurt Gödel: Collected works, vol 3 (New York:
Oxford University Press).
29. Field H. (1972), „Tarski’s theory of truth“ (Journal of
Philosophy, 69, str. 347-75).
30. Field H. (1982), „Realism and antirealism about
mathematics“ (št. u Field(1989), str. 53-78).
31. Field H. (1989), Reailsm, Mathematics, and Modality
(Oxford: BasilmBlackwell).
32. Frege G. (1950), The Foundations of Arithmetic (Oxford:
Blackwell).
33. Gettier E.(1963), „Is justified true belief knowledge?“
(Analysis, 23, str. 121-123).
220
34. Gödel K. (1944), „Russell’s mathematical logic“ (št. u
Benacerraf i Putnam(1983), str. 447-469).
35. Gödel K. (1947/64), „What is Cantor’s continuum
problem?“ (št. u Benacerraf i Putnam (1983), str. 470-85).
36. Gödel K. (1951), „Some basic theorems on the foundations
of mathematics and their implications“ (št. u Feferman et all
(1995), str. 304-323).
37. Goldman A. (1967), „A causal theory of knowing“ (Journal
of Philosophy, 64, str. 355-372).
38. Goldman A. (1976), „Discrimination and Perceptual
Knowledge“ (Journal of Philosophy, 73, str. 771-791).
39. Goldman A. (1979), „What is justified belief“ (št. u
Pappas(1979)).
40. Goldman A. (1986), Epistemology and Cognition
(Cambridge: Harvard University Press).
41. Goodstein R.L. (1968), „Postojanje u matematici“ (št. u
Šikić(1987)).
42. Greco J., Sosa E. (ed.) (2004), Epistemologija.Vodič u
teorije znanja. (Zagreb: Jesenski i Turk).
43. Grice P. (1961), „The causal theory of perception“ (št. u R.
Swartz(1965), Perceiving, Sensing and Knowing (Berkeley:
University of California Press), str. 438-472).
44. Harman G. (1973), Thought (Princeton: Princeton
University Press).
221
45. Hart W.H. (1977.), „Review of Steiner’s mathematical
knowledge“ (Journal of Philosophy, 74, str. 118-129).
46. Hart W.D. (ed.) (1996), The Philosophy of Mathematics
(Oxford: Oxford University Press).
47. Hebb D.O. (1980), Essay on Mind (Hillsdale, NJ: Lawrence
Erlbaum Associates).
48. Heyting A. (1931), „The intuitionist foundations of
mathematics“ (št. u Benacerraf i Putnam (1983), str. 52-61).
49. Hilbert D. (1926), „On the infinite“ (št. u Benacerraf i
Putnam (1983), str.183-201).
50. Hintikka J. (1962), Knowledge and Belief:An Introduction
to the Logic of the Two Notions (Ithaca: Cornell University
Press).
51. Hume D.A. (1973), Treatise of Human Nature
(Oxford:Oxford University Press).
52. Kanamori A. (2003), „The empty set, the singleton, and the
ordered pair“ (The Bulletin of Symbolic Logic, Vol. 9, No. 3,
str. 273-298).
53. Kant I (1965), Critique of Pure Reason (London:
Macmillan).
54. Kitcher P. (1984), The Nature of Mathematical Knowledge
(Oxford: Oxford University Press).
55. Koplston F. (1988), Istorija Filozofije, Tom I (Beograd:
BIGZ).
222
56. Kornblith H. (1983), „Justifed belief and epistemically
responsible action“ (The Philosophical Review, 92: 33-48).
57. Kripke S. (1980), Naming and Necessity (Oxford: Basil
Blackwell).
58. Lazović Ž. (1994), O Prirodi Epistemičkog Opravdanja
(Beograd: FDS).
59. Lehrer K. (1974), Knowledge (Oxford: Oxford University
Press).
60. Maddy P. (1980), „Perception and mathematical intuition“
(št. u Hart (1996), str. 114-141).
61. Maddy P. (1983), „Proper classes“ (The Journal of
Symbolic Logic, Vol. 48, No. 1).
62. Maddy P. (1988a), „Believing the axioms I“ (The Journal
of Symbolic Logic, Vol. 53, No. 2).
63. Maddy P. (1988b), „Believing the axioms II“ (The Journal
of Symbolic Logic, Vol. 53, No. 3).
64. Maddy P. (1990), Realism in Mathematics (New York:
Oxford University Press).
65. Maddy P.(1991), „Philosophy of mathematics: prospect for
the 1990S“ (Synthese 88, str. 155-164).
66. Maddy P. (1997), Naturalism in Mathematics (New York:
Oxford University Press).
67. Maddy P.(2005), „Mathematical existence“
(http://www.lps.uci.edu/home/fac-staff/faculty/maddy/).
223
68. Malcolm N. (1963), Knowledge and Certainty (Englewood
Cliffs,N.J.:Prentice-Hall)
69. Martin D.A. (2005), „Gödel’s conceptual realism“ (The
Bulletin of Symbolic Logic, Vol. 11, No. 2).
70. Mikulić B. (2004), „Znalac i lažljivac:Semiotiziranje
spoznaje“ (št. u Greco J.,Sosa E.(2004), str. 561-617).
71. Moore G.H. (1982), Zermelo’s Axiom of Choice (New York:
Springer).
72. Mur Dž. E. (1998), Principi Etike (Beograd: ΠΛΑΤΩ).
73. Nozick R. (1981), Philosophical Explanations (Cambridge,
Mass:Harvard University Press).
74. Papas G.S.,Swain M. (ed.) (1978), Essays on Knowledge
and Justification (Ithaca:Cornell University Press).
75. Pappas G.S. (ed.) (1979), Justification and Knowledge
(Dordrecht: Reidel).
76. Paxson T.D. (1974), „Professor Swain’s account of
knowledge“ (Philosophical Studies, 25, str. 57-61).
77. Petronijević B. (1997), Osnovi Teorije Saznanja (Beograd:
Zavod za udžbenike i nastavna sredstva).
78. Phillips J.L. (1975), The Origins of Intellect: Piaget’s
Theory (San Francisco: W. H. Freeman and Company).
79. Piaget J. (1937), The Construction of Reality in the Child
(New York: Basic Books, 1954).
80. Platon (1970), Dijalozi (Beograd:Kultura).
81. Platon (1979), Dijalozi (Zagreb:Itro Naprijed).
224
82. Poincare H.(1913), The Foundations of Science: Science
and Hypothesis, The Value of Science and Method (New
York: Science Press).
83. Polya G. (1954), Induction and Analogy in Mathematics
(princenton, N.J.:Princenton University Press).
84. Prichard H.A. (1950), Knowledge and Perception (Oxford:
Oxford University Press).
85. Pryor J. (2004), „The Gettier problem“
(URL:http://www.princeton.edu/~jimpryor/courses/epist/note
s/gettier.html).
86. Pryor J. (2004), „Gettier, Goldman, and Perceptual
Discrimination“
(http://www.jimpryor.net/teaching/courses/epist/notes/goldm
an1.html).
87. Putnam H. (1979), Mathematics, Matter and Method
(Cambridge: Cambridge University Press).
88. Putnam H. (1980), „Models and reality“ (št. u Benacerraf i
Putnam (1983), str. 421-444).
89. Putnam H. (1983), Realism and Reason (Cambridge:
Cambridge University Press).
90. Quine W.V.O. (1936), „Truth by convention“ (št. u
Benacerraf and Putnam (1983), str. 329-354).
91. Quine W.V.O. (1948), „O onome što jeste“ (št. u
Šikić(1987)).
92. Quine W.V.O. (1969), Set Theory and its Logic (Cambridge,
Mass.:Harvard University Press).
225
93. Quine W.V.O. (1975), „Five milestones of empiricism“ (št.
u Quine(1981)).
94. Quine W.V.O. (1981), Theories and Things (Cambridge,
Mass.:Harvard University Press).
95. Radford C. (1966), „Knowledge-by examples“ (Analysis
27, str. 1-11).
96. Ramsey F.P. (1978), Foundations. Essays in Philosophy,
Logic, Mathematics and Economics (London, Routledge and
Kegan Paul).
97. Resnik M.D. (1997), Mathematics as Science of Patterns
(New York: Oxford University Press).
98. Rorty R.. (1979), Philosophy and the Mirror of Nature
(Princeton: Princeton University Press).
99. Russell B. (1919), Introduction to Mathematical Philosophy
(London: Allen and Unwin).
100. Russell B. (1921), The Analysis of Mind (London:
Macmillan).
101. Russell B. (1945), A History of Western Philosophy (New
York: Simon Schuster).
102. Russell B. (1948), Human Knowledge (New York: Simon
and Schuster).
103. Ryle G. (1949), The Concept of Mind (New York: Barnes
and Noble).
104. Singer P. (ed.) (2004), Uvod u Etiku (Novi Sad: Izdavačka
knjižarnica Zorana Stojanovića. Sremski Karlovci).
226
105. Skyrms B. (1967), „The Explication of ,X knows that p’ “
(Journal of Philosophy, 64.12 str. 373-389).
106. Skyrms B. (1980), Causal Necessity (New Haven: Yale
University Press).
107. Sosa E. (1964), „The analysis of knowledge that p“
(Analysis 25: 1-8)
108. Steiner M. (1975), Mathematical Knowledge (Ithaca:
Cornell University Press).
109. Swain M. (1972), „Knowledge, causality and justification“
(Journal of Philosophy, 69.11 str. 291-300).
110. Swain M. (1981), Reasons and Knowledge (Ithaca: Cornell
University Press).
111. Swain M. (1981a), „Justification and reliable belief“
(Philosophical Studies, 40, str. 389-408).
112. Swartz R.J.(ed.)(1965), Perceiving, Sensing and Knowing
(Berkeley: University of California Press).
113. Šikić Z. (ed.) (1987), Novija Filozofija Matematike
(Beograd: Nolit).
114. Tolliver J. T. (1978), „On Swain’s Causal Analysis of
Knowledge“ (št. u Papas, Swain(1978)).
115. Unger P. (1968), „An Analysis of factual knowledge“
(Journal of Philosophy, 65).
116. van Heijenoort J. (ed.) (1967), From Frege to Gödel
(Cambridge, Mass.: Harvard University Press).
117. Vujošević S. (1996), Matematička Logika (Podgorica:Cid).
227
118. Wittgenstein L. (1932/4), Philosophical Grammar (Rhees
R.(ed.)(Berkeley, Calif.: University of California Press,
1974)).
119. Wittgenstein L. (1933/44), Remarks on the Foundations of
Mathematics (Wright G.H., Rhees R., Anscombe G.E.M.
(ed.) (Cambridge, Mass.: MIT Press, 1978)).
120. Wittgenstein L. (1938/46), Lectures and Conversations
(Barrett C. (ed.) (Berkeley, Calif.: University of California
Press, 1967)).
121. Wittgenstein L. (1939), Lectures on the Foundations of
Mathematics (Diamond C. (ed.) (Ithaca, NY: Cornell
University Press, 1976)).
122. Wittgenstein L. (1953), Philosophical Investigations (New
York: Macmillan).
123. Zagzebski L.T. (2004), „Što je znanje?“ (št. u Greco J.,Sosa
E.(2004.), str. 113-142).
124. Zermelo E. (1908), „A new proof of possibility of a well-
ordering“ (št. u van Heijenoort (1967), str. 183-98).
228
IZVOD IZ RECENZIJE
30.3.2011.
229
BIOGRAFIJA
Vladimir Drekalović je
rođen 1971. godine u
Visokom (Bosna i Her-
cegovina), gdje je poha-
đao i osnovnu školu.
Završio je Prvu sarajev-
sku gimnaziju, nakon
čega je počeo uporedene
studije filozofije i matematike na Filozofskom i Prirodno-
matematičkom fakultetu Univerziteta u Sarajevu. Zbog ratnih
dešavanja u Bosni i Hercegovini, osnovne studije filozofije i
matematike je nastavio i završio na Univerzitetu Crne Gore.
Magistrirao je i doktorirao na Filozofskom fakultetu u Beogradu.
Oblasti kojima se bavi su filozofija matematike, logika i teorija
saznanja.
Radi kao nastavnik na Filozofskom fakultetu u Nikšiću.
230
231
232