Professional Documents
Culture Documents
1.
2.
/
34 1
.
.. I., !./_-.,,,. \
l '.l .;.~ I
4.
t1ks1z bir 9ekilde kabul ettirmek amaciyle giri~ilen bir i9lem bag1-
dir. Ger<,:ek bir ispatm (yalmzca "ispat" ba9hg1 altmda toplana11
bir i9lemin degil) hi<,:bir "ama" ya yer b1rakimyan "sert" bir ku-
rulu9u vard1r. Her ispatm bitin-;. ine eklenebilecek biricik soz, is-
pata "evet" tir. Nitekim, eski bir sozle9meyle, baz1 okul <,:evrele-
rinde, matematik ispatlann sonuna 'sic erat demcmstrandum '
('ispat edilmesi gereken buydu') diye yaz1hr. Art1k olduk<,:a goz-
den dii9mii9 olan bu skolastik tespit, aslmda en son soz olarak ma-
tematik ispatlann kurulu9una aittir.
Matematik ispatlann da anadiregi forrnudur. Form, ispatm
ger<,:ekle9me yoludur. ispat 1 yapan bu forma uymaktir: B~1. for1?,
kaba yap1s1y la, man t1ktak i silloj izm' de or ta ya <,:1kar. S1llo.11zm is-
pata ornek olarak gosterilir. 'Biitiin insanlar ollimhicliir / Sokrates
insandn- / byleyse Sokrates oliimhicliir' onermelerinin bagh gicli~i
ne y~izy1llarclan beri ispatlann ol<,:egi goziyle bakih1119t1r. Son on~r
menm ba9mdaki "oyleyse" , ispatm olup bittigini a<,:1ga koyar. !s-
pat, belli bir ispat kuralma uygunluktur. Buna gore, her ispatta,
bir, ispat kurallan iizerinde anla9mak, bir de, bu kurallann uy -
gulanip uygulanmad1g1m gozclen ge<,:irmek gereklidir: Boylece, ..
mant1k-matematik ispatlarda, zorunlu, <,:oziilmez, gev9et1lmez, sert
bir bag i9ba~mdadlf. Yap1lan, bir koyumu akla vurmak, akla da-
yatmak, ayakta tutucu neclen'leriyle her<,:e9it kaq1-koymay1 ch~ta
b1rakaraktan benimsetmektir.
Daha d19tan bakild1kta, felsefedeki temellendirmeler, mate-
matik, mant1k ispatlarmdan bamba~ka bir k1hga biiriinmii9tiir.
Matematik-mant1k ispatlardaki form sertligi, kural siras1, achm
adim gidi9, ana duraklann ortiik olmamas1, ispattaki ba9lay1p bit-
me no~talarmm kesince belli edilmesi, ispat <,:at1smm elle tutu
lur 9ek1lde ortada olu9u.'. i9te biitiin bu ozelliklere yer yoktur
felsefe temellendirmelerinde. Felsefe temellendirmeleri, gev9ek,
kural s1ras1 diye biqeyi olrnayan, ac11rnh gi cli~ ten soz a<,:t1rmayan,
a.na ~uraklan <,:ogun nerecle ba~lay1p nerede bittigi kesinlikle bel-
~1 edile~~yei;i, 5at1s.1 herzamari <,:izilemeyen bir gidi9tir. Platon'u n
tdeafar ogretlSl, Anstoteles'in 'nedenler' a<,:1klamas1, Hume'un zo-
ru~lu bag <,:oziimlemesi, Descartes'in 'cogito' as:1klamas1, Kant'm
ahlak k~nununu tamt191, Hegel'in 'kavram-olrnay1' belirleyi9i,
H~ss~rl m tran~zendental ben'i ele ge<,:iri9i ... <,:e9idinclen felsefc
tanht boyunca i~lenmi~ olan klasik temell end irmeler bu gid i ~e
ta n1khk eder. Bu felsefe temell enclirmeler inin hcrbiri clalh bu-
39
d~kh bir yap1 koya~ ortaya. Bi: h~ra~~ (veya kurallar dizisine) in-
dirgenemezler. A~ag1 yukan b~r s1l~Jlz1:11 f?rmunda <;oziimlenebi-
lecek birtek felsefe temellendumes1 b1lm1yorum. Felsefe temel.
lendirmelerinde bir sillojizmdeki d erli-toplulugu ararnak bosuna
bir gayret olur. ispal1 yapan form diizeni ise, felsefe temelle~dir
melerinin ozelligi 'dag1111khg1chr'. ispat formu bir pasta kahbm:~
benzetilebilir . .Bu kahba uygunluk ispat1 verir. Bir felsefe temel .
lendirmesi ise, bir ~ehirclen farks1zdir: dolamba<;li yollan, kan~ik
ge<;itleri, ayn ti.i.rclen baglant1lan kavrar i<;incle. Bundan, felsefe ,
temellendirmelerinin bir 'formu' yoktur. ispatm <;at1s1111 (hakli
olarak yap1ld1g1 gibi) formal baghhkta anyacak olursak, felsefe
temellendirmelerinin birer ispat olmad1gm1 soyliyebiliriz.
A<,:1ga koymaya sava~L1g1rn bu son verilerin nedeni, daha on-
ce de clokundugum gibi, felsefe temellendirmelerinin bir koyu-
mu kabul ettirmek amac1111 gi.i.tmemesindcn <;1kar. Filozof, temel-
lendirrnelerinde bir koyumun altma destek koyrnakla gorevlen-
dirrnez kendini; as1l istegi bir soruyu <;epe<;evre aydrnlatmak, so-
rusunu clidiklemek, sorusunda derinle~mektir. Soruda derinle~
mek ise, matematik-mant1k alanmda bir ispat i~i degildir. Bir is-
patm odevi a~1lm1~tir art1k. Derinle~mek, felsefe sorusundaki kav-
ramm kullam~lanm tasvire yonelmi~tir. Tasvir ba~ka ispat ba~
kachr. Felsefece kavrarn tasviri, bir ~eyi ispat etmez, edemez de.
yii.nki.i. ortada ispat edilecek bir~ey yoktur. Yapt1g1, kavTam1 <;e-
~itli a<;1lardan goster.mektir. Felsefedeki temellendirmeler mate-
matik-mant1k<;a bir ispat, bir 'demonstratio' degil, felsefece bi1
gosterme, bir 'monstratio' clur. Filozof, sorusundaki kavrarnlarm
i~leyi~inde neler gordiigi.i.nii. anlatir; onceden koydugu biqeyin
ba~ka tiirli.i. gori.i.lerniyecegini ispatlamaya <;ah~maz .
5
Yukarda i~lemeye ~ah~t1g1m durumuyla tem~llendir~~ ile is-
pat arasmdaki kurulu~ aynhg1, felsefe temellenchrmelerm~n baz1
ana~izgilerini goriiniir kilm1~t1r. Boylece, felse~e temellendirmele-
riyle ilgili yanh~ birtak1m samlann giclerilrnesme yol a~1lm1~ olu-
yor. Ancak, ger~ege uyarak, temellenclirme ile ispat1 ~y~1 tutm~,
baz1 acele, dolay1siyle de yanh~ birtakim ~1kanrn]an birhktc geti-
rebilir. Durum, burada cla, daha bir~ok dii~iinme cluragmdakinin
ay111chr: iki ayn olay1 birtutma ah~kanhgm1 ortadan kaldirabi1e-
cek olan tasvirler, gizli de olsa, bir sure, eski ah~kanhgrn ~ekimin
den kurtulamaz. i~te, bundan otiirii, ~imdi de, yukardaki tespit-
lerden ~1kanlabilecek olan birka~ yanh~ ~1kanma dokunmadan
yapam1yacag1m.
Bu yanh~ ~1kanrn lardan biri, s1k s1k raslanchg1 iizere, ~oyle
dile getirilebilir: Felsefe temellenclirmelerinin 11ianlzkla bir ahp
verecegi yoktur. Bitimini bu c;:1kanrnda bulan dii~iinrne yolunu
kabaca ~oyle ~izebiliriz: ispatta .. salt mant1k i~ ba~mdachr; ispal ile
mant1k bir arada gider; ispat cl1~mda mant1k gev~er; temellenclir-
~e ispattan ba~ka biqeyse, teme1lenclirmenin mant1~t~n pek oyle
bir pay1 olm1yacakt1r. Kolayca farkma vanbcag1 g1b1, bu bagla-
mm kilit sozii karanhkLadir: hep "manttk", "rnant1k" cleniyor,
ama mant1ktan ne an1a~1lchg1 belirtilrniyor. (Boyle bir be1irtmeye
giri~menin siras1 clegil ~imdi. Buracla, yalmzca ~1kanm1 ayclmlata-
cak kaclar bir clurrna ile yetinecegim,) ispatlarda mant1k konu-
~\ir, .bu meydancla. Formal bagfant1lan ~igneyen bir ispat ispat de-
g1ldir, mant1ga aykin clavranm1s olur. "Mantik" deyince formal
b~g anl_a~1hyorsa, ispat rnant1kt1;. Gelgelelim, ispat d1~mda man-
tigm bir sozii olrnachgm1 clii~iinmek (hi~b i r ispata ihtiya~ cluy-
maks~zm soyliyebjliriz bunu) rnant1ks1zhgrn ta kendisi olur. Man-
ti.k duped~iz __ formal rnant1k degi1dir. M ant1k l utarh cli.i~iinmektir.
Tutarh du~unmek ise, chi~iinme clurnmlarma gore clegi~ir, bazan
t~.t~rhhk (neden olmasm) formal baghn gev~etrnekle e1de edile-
bihr. 1-:emellendirme ispat degilse, bu yalmzca formal bir gicli~i
olmachgrn_1 soylemektir temellendirrnenin. Arna, bunu soylemek,
~emellend1 rrnecle mant1k aramaroaltclir demeye gelmez. Yalmzca
1spat kurallanna uyrnakla bir fe]sefe sorusunu ' ispat' etmeyi uma-
may1z. ~iiphe~_iz ki tutars1z bir temellendirmenin bir ger~ekligi
olamaz; ~unku mant1ks1z~hr, yan i b iqcy soylemi~ say1lmaz. (L>r-
43
negin, hic;:bir lojistik kilt kirk yarma - lojistikc;:ilerin c;:ok iyi bil-
digi gibi - "bzgurliik nedir?" sorusunu ispatta c;:ozemez.)
.
Felsefe temellendirmelerini "mant1klt" veya "mant1k d1~1 "
sozleriyle darngalamaya kalk1~mak, bu temellendirmelerde olup
biteni dar bir ac;:1dan, hep ispat ac;:1smdan degerlendirme c;:abasm-
dan h1z ahr. Bu dii~iinme dogrultusu aslmda, hem felsefenin man-
uk giiciine inananlann, hem de felsefede mant1k-otesi bir c;:ah~
ma c;:e~idini i~lemek isteyenlerin, amac;:lanndaki aynhga bakma-
clan, baglanabilecekleri bir dogrultudur. Gerc;:ekte, felsefe ne ma.n-
t1ktir, ne de mant1k-otesi bir c;:ah~ma bic;:imidir. .Felsefeyi mant1k-
ta c;:ozmek kadar mant1k d1~111a aktarmak da felsefe temellendir-
melerinin ozel yap1sma ayk1n dii~er.
Hangisi olursa olsun, bir felsefe Lemellenclirmesinin, bir te-
mellenclirme olarak, mant1kc;:a bir yaplSl olacag1 kendiliginden ari-
la~1hr. Felsefe temellendirmesi bir felsefe sorusunun sordugu kav-
ram (lar) iizerinde bir Jwnil5madzr . Her konu~ma gibi, bir konu~
ma olarak rnant1kla yogrulur. Du~iinmede tutarhk, soziin en ge-
ni~ anlamiyle konu~macla tutarhktan ba~ka biqey degildir. Ancak,
teme1lend irmeni n, bu bakundan rnantiga uygunlugu, temellen-
dirme olarak mant1kh bir giicii olrnas1, doniip dola~1p yine ispat-
la bir ve aym ~ey say1lmas1111 gerektirmez. Felsefeye sayg1 sagla-
mak isteyener, temellenclirmelerin mant1g1 ile yetinebilirler. Yok-
sa, ille de ispat mant1g1 aramak, felsefe temellendirmelerine bes-
lenen guveni - gec;:ici olarak - sarsabilir. Oysa, ispat olmayan
bir felsefe temellendirmesinin mant.1ks1z biqey olmas1 gerek.ece-
gini ileri siirenler (felsefenin mantiks1z bir yap1 olmad1g1m apa-
c;:1k, bir gerc;:ek diye bellediklerinden) felsefenin, dolay1siyle, ispat-
la birtutmaktan vazgec;:emecl*leri bir mant1k diizeni oldugunu sa-
vunmaktadirlar. Felsefenin mantlk-otesi bir c;:ah~ma c;:e~idi oldugu-
nu ileri siirmek ise, felsefe temellendirmelerinin gen:;ek kurulu~u
nu hi<; hesaba katmamaktadir; bu, felsefeyi (felsefenin ic;:inde ol-
mayan hevesli ki~ilerin yaptig1 gibi) irrationel bir alana, belki de
~iire yakla~tlrmak isteyenlerin tutumudur. Ancak, felsefe ~iir de-
gildir. (Birakm ki, ~iir ifadelerinin de birer konu~ma-yap1s1 ola-
rak belli bir mant1g1, pek ozel d e olsa, belli bir tutarhk cliizeui
vardir.)
Felsefe temellendirrnelerini ispattan ayn tutmanrn yolac;:abi
lecegi yanh~ samlarclan biri de bir sorucla belirir: Fclsefccleki te-
,1 1.
6.
l
47
m1~g0z iyle' bakamay1z ; felsefe bir ispat olayd1, ispat. ~atts 1 , ti.im
yapmm ba~ans1 i~in bir garanti yerine ge~eb ilirdi.
Pcki, fe lsefe LemellencLirmelerinin ba~an ol~usii ispat for-
munda degilse nerededir? Bu sorudaki " nerededi r" den tek bir
ol~i.i an l a~1hyorsa, cevab1m ~u olacak : Felsefedeki temellendir-
m nin ba~an ol ~ u s i.i bir tek yerde degildir; bu ba~annm . tek ol-
~i.isu yoktur; temellendirmenin amaca eri~t i g i tek bir 'zaman
gosterilemez. Hangi felsefe temellendirmesini ( tabii yalmz ba~a
nh olan lan degil) ele ah rsak alahm , tek bir ol~u ile yak l a~ma
y1z ona.
~imd i, bu soylenenlerden, ~oyle bir sonu~ ~ 1k armaya kalkan -
lar olacaktir : Felsefe temellendirmelerinin _ba~ans1111 ol~ecegimiz
bir ol~u yoktur oyleyse. Arna, olaylar bu ~ 1k anm a hak verdirmez;
felsefe temellendirmelerini ol~mede ba~vurulab il ecek ol~i.ini.in tek
olmamas1, bir ol ~ i.iniin varolmad1g1 anlamma gelmez ki. Hi~ ~e
kinmeden ileri surebiliriz : Felsefe temellenclirmelerinin ba~anli
olup olmad1g1111 belirlemede kullanabilecegimiz bir tek ol~i.iden
yoksunuz ama, bir~ ok vlr; ii var elimizde buna kai,~1 hk . Bir ol~u
bollugu ise, her i~.de oldugu gibi, ol~u yoklugu nu gostermez. Ger-
~ekte olup biLen ~ud ur : bl~i.iler arasmda bir yard 1111la~rna, bera-
ber i~leme, takimlar halinde agir basma, degi ~ken durumlara gore
once veya soi1ra gelmeye raslarnr s1k s1k. Arna, gene de, butiin
bu ba~ka ba~ka ol~ulerin ol~u olmasm1 saglayan bir birliktelik
vardir; bu birlikteligi de, genel olarak, ~oyl e dile getirebiliriz :
bir felsefe temellenclirmesini dogn1lamada b a~v urabileceg;imiz her
dayanak, bu temelle nclirm enin ba~anst i ~ in bir ol ~i.iclll r.
Boylecc, donup clola ~ tp son 30 y1lm, ozellikle de Anglo-Sak
son felsefe geleneginin klasik temalanndan birine, belki de en
ba~t a gelenine, varchk : dogrulam a. Yalmz, ben burada, ~ u veya
bu alandak i ( ornegin bilimlerdeki) onermelerin clogrulanma yo-
lunu clegil de, felsefe a~1klamalannrn, dolay1siyle bilimdeki dog-
lamalara yonelen a~1klamalann nas1l dog;rulanchg1m ara~ tlnyo
r um : Sorum su : Bir felsefe temellendirm esi nasi l dogrulanzr :~
Ba~ka turlu cl~nclikte : Bir felsefe temellenclirmesinin, \undugu,
soyledigi ~ey baktmmdan dogru olmas1 i~in hangi ko~ullan yeri-
ne get irmesi gerekir ?
15te, ben, eldek i denemede bu soruya bir cevap veri lmi~ ol-
clugunu soyliyeceg;im : Bir felsefe temellendinnesi inceledigi kav-
r amlan, i~ledikleri gibi gosterebiliyorsa ba~anh bir temellend ir-
48
50
felsefe temellendirmelerini mi.s.11 ()l\:ebilir ? Arna, bu temellen~i'r~
meleri dogrularken gene de yukarda amlan sozlerle benzerlenn~
i~in i\:ine katmak zorunday1z. Yalmz, bu sozlerin, her ~ez hangi
anlamda kullamlchg1m bilmeye ihtiya\: varchr. Yoksa, \:ogun clam-
galay1c1, bunun i\:in de duygusal bir Lon la~1yan bu soz~er, fe]sefe
temellenclirmelerinin i<; k11n1lclam~1111 gbrmeye, clolay1siyle bu t.e-
mellendirmelerin gosterdigine bakip yer incle bir clogru~ama elcle
etmeye engel olabilirler. Ornegin, sonradan "<;i.1rtik" cl1ye aclla~1-
d1nlan bir felsefe lemellenclirmesinin, ger<;ekten bu ad1 hak ed1p
etmedigini, ya ni achn hangi anlamda u yguland1g1m btiti..in mo-
tiv'leriyle a<;1ga <;1karmak gerekir.
F elsefe temellend irmesinin dogTul uk pay1, y uka.rclaki s.zler-
den bir teki ile karara baglanamaz. Descarles' in cog1to Lemellcn-
dirmesine ( bir yerden sonra Tannnm varhgrn1 ~i.ipheyle ka~~J
lamaktan vazge<;tigi i<;in) "tutars1z" damgasuu . ~urma~la cogllo
temellenclirmesinin isi bitirilemez. Bu Lemellenclirme brr bak1ma
( tabii bir bak1ma) t~tars1z olabilir, oyleclir de ; gelgelelim, bu-
nun i<;in, temellendirmenin tiimiinde gosterileni, bu temellen-
clirrnenin "clti~tinme" kavrammm kullam~lanndan bir boyutu
gormemize yarchm ettigini gozden yitiremeyiz. Cogito Lemellen-
clirmesiyle a<;1ga <;1kan kavram gortiniimleri, ba~anlan bakunm-
clan ( i<;:ine kan~uklan bir<;ok felsefe ch~1 kayg1ya ragmen) , is-
ter olumlu, ister olumsuz olsun, tek bir darngalamada ozeLlene-
mez. "Haks1z" bir Lemellendirme "etkili" olabilir; " tekyanh "
bir temellenclirmenin tekyanhhg1 "yalm" olrnasm1 saghyabilir ;
"<;iiriik" bir temellenclirme "kand1nc1" olabilir ... Felsefenin ta-
rihi bu~a benzer . rnisallerle dolup ta~ar. Bu cla bizi, felsefe te-
mellenchrmelerinin onceclen hazirlanm1~ ch~ bir ol~i.iye vuru la-
miyacag1 gen;;egine gottirur.
v Onemli bir nokta cla ~oyle dile getirilebilir : Sozil eclilen de-
gerlerr:ie kavramlannclan yalmz felsefe temellendirmelerini degil,
ne <;e~Itten olursa olsun, her tiirlu konumay1 clegerlendirmede de
yararlamnz. Bu ise, felsefenin, kelimenin Lam anlam1yle bir ko-
nu~~a oldugunu yeni bir gorii~ a<;lSlndan belli eder. Felsefc ( da -
h~ once de soyl~mi~tim, ama eldeki baglamda yeniclen soyleme-
nm di.ipedi.iz bir tekrar olclugunu sanm1yorum), - felsefe bir ko -
nu~madi.r, kavramlar tizerinde bir konu~rnachr. Bu bakimclan
her konu~mamn, degi~ken ol~i.iler i~incle, saymadan ederniyccegi
konu~nrn (konu~up dii~Unme) kurallarma uyacaktir. Ters durum-
51
7
Yetkin bir felsej e tem ellendirmesi var mzdzr? - Demin bir
yerde on plana <51kmasma engel olclugum bu soruyu a<51ktan ~<51ga
serbest birakmanm zamam gelcligine inamyorum art1k. Yalmz,
tiimiiyle felsefe temellendirmelerinin i<5ine clogru clenedigim 011-
ceki sokulmalann, bu soruya belli bir aydmbk saglam1~ oldugu
ka111s111clay1m. Bu aydmhgm yarcl11myle, a~ag1claki k1sa a<51klama-
lann, soruya, tam da olmasa - ~iiphesiz ki oyledir - gene de bir
parlakhk kazandiracag1m samyorum.
Daha bu << Yetkin bir else fe temellendirmesi var m1dir? >>
sorusunun sorulabilmesi, felsefe temellendirmesinint yetkinlik~e,
varhg1m sarsacak bir hava yaratmaktad1r. <;;iinkii, bu soruda fel-
sefe temellendirmeleri i.izerinde, yetkinlikten yana, ne de olsa bir
~iiphe dile gelmekte, hatta bu soru baz1 ag1zlarda; olumsuz cevab1
gerektirir goriinmektedir. Ger<5ekten de, felsefe temellenclirmele-
rindeki yetkinlikten, bu temellendirmelerin hi<5bir yeni tartl~ma
ya yol a<51myacak bir niteligi oldugu anla~1hyorsa, hi<5bir felsefe
temellendirmesinin 'yetkin' bir temellendirme olmad1gm1 soyle-
mek zorunday1z. Gelgelelim, bu soylemedeki bir noktanm alt1m
<5izmezsek <5abucak yanh~ samlara bel baglanz : Yetkin bir felsefe
temellenclirmesi yoktur. Buracla bir olumsuzluk clile gelir. Ancak
bu olumsuzluk, bir ko~ulla s1111rlanm1~tlr ; 'yetkin' likten yeni tar-
t1~malara yol a~mamak anla~1hyorsa, ancak bu smITlamaya ba~vu
rulduguncla, hi<5bir felsefe temellenclirmesinin yetkin oldugu soy-
lenemez. <;;iinkii, yeniden elealmalan d1~ta bITakan a~1klam::ilar,
teori alanmda, olsa olsa ispatlard1r. Bu <la, ispatlardaki ba~an
ol~iisiiniin formal birtakim tutamaklara dayanmasmclan iler i ge~
lir ; bu tutamaklara uyma ispatm yetkinligini ispat etmi~ say1hr.
Oysa, felsefe temellendirmesi ispat otesi kurulu~undan otiirii, sirf
felsefe temellendirmesi oldugu i<5in, boylesine bir yetkinlige eri-
~emez.
52
53