1.
doğum günü olan 14 ocak* dünya mantık günü ilan edilmiş olan, dünyanın en büyük mantıkçılarından kabul edilen polonyalı..
kümeler kuramıyla küçük yaşta kafayı bozmuş tarski. ilk makalesini 19 yaşında yayımlamış bununla ilgili. yaşadığı dönem ve coğrafya politik olarak arapsaçı olduğu için, bu kadar mücadele içinde nasıl bu kadar bilgi üretmiş şaşılasıdır. meşhur doğruluk kuramını, kümeler kuramı çalışırken ortaya çıkmıştır. 'doğru kavramının kendisiyle arasında uçurum olan insan için herhangi hesaplama kıstası mümkün müdür' sorusunu sormuş. aslında halting problemi de bu sorunun içindedir. tarski'nin amacı semantiğe başvurmaksızın açık bir doğruluk kıstası elde etmek. yani şöyle ifade edebiliriz : (∀x))(xdoğrudur↔t(x)) burda t(x) semantik bi terim olmayacak. ayrıca bu aritmetik bi dildir ve konusu sayılardır. tarski'nin doğruluk tanımı sadece aritmetiğin sayılarını değil kümeler kuramını da kapsar. ancak sonlu kümeleri bu kuramda yalnız bir sayı ile kodlanır. bu sebeple aritmetiğin 'doğru' kümesini aritmetik dilinin kendi içinde tanımlamanın hiçbir imkanı yoktur. tanım için bir meta-dil'e ihtiyaç vardır. elimizde daha zengin* bir dil varsa ancak ve ancak o zaman doğruluğu teyit edebiliriz. tarski'nin logical consequence'i budur işte.
mantıkçı pozitivistlerin de umudu olmuş kendisi. popper, tarski'den sonra yanlışlamayı falan unutmuş. hatta çokça nakledilir ''tarski sayesinde doğru kelimesini rahatlıkla kullanıyorum artık'' minvalindeki sözü. halbuki tarski ilk başta doğruluk kuramı'nın bilim felsefecilerinin kıçını yırttığı doğrulukla alakası olmadığını söylemesine rağmen kendini şöhrete kaptırmış ve 'evreka' modunu açıp bi çok pozitiviste abilik görevi yapmış.
kümeler kuramıyla küçük yaşta kafayı bozmuş tarski. ilk makalesini 19 yaşında yayımlamış bununla ilgili. yaşadığı dönem ve coğrafya politik olarak arapsaçı olduğu için, bu kadar mücadele içinde nasıl bu kadar bilgi üretmiş şaşılasıdır. meşhur doğruluk kuramını, kümeler kuramı çalışırken ortaya çıkmıştır. 'doğru kavramının kendisiyle arasında uçurum olan insan için herhangi hesaplama kıstası mümkün müdür' sorusunu sormuş. aslında halting problemi de bu sorunun içindedir. tarski'nin amacı semantiğe başvurmaksızın açık bir doğruluk kıstası elde etmek. yani şöyle ifade edebiliriz : (∀x))(xdoğrudur↔t(x)) burda t(x) semantik bi terim olmayacak. ayrıca bu aritmetik bi dildir ve konusu sayılardır. tarski'nin doğruluk tanımı sadece aritmetiğin sayılarını değil kümeler kuramını da kapsar. ancak sonlu kümeleri bu kuramda yalnız bir sayı ile kodlanır. bu sebeple aritmetiğin 'doğru' kümesini aritmetik dilinin kendi içinde tanımlamanın hiçbir imkanı yoktur. tanım için bir meta-dil'e ihtiyaç vardır. elimizde daha zengin* bir dil varsa ancak ve ancak o zaman doğruluğu teyit edebiliriz. tarski'nin logical consequence'i budur işte.
mantıkçı pozitivistlerin de umudu olmuş kendisi. popper, tarski'den sonra yanlışlamayı falan unutmuş. hatta çokça nakledilir ''tarski sayesinde doğru kelimesini rahatlıkla kullanıyorum artık'' minvalindeki sözü. halbuki tarski ilk başta doğruluk kuramı'nın bilim felsefecilerinin kıçını yırttığı doğrulukla alakası olmadığını söylemesine rağmen kendini şöhrete kaptırmış ve 'evreka' modunu açıp bi çok pozitiviste abilik görevi yapmış.
devamını gör...