Yapay zekânın metafizik gerçekliği, orada olmayan varlığın ontolojisine benziyor; ilk başta bakıldığında belirli bir varlığa sahip olduğu hâlde ona ait olduğunu düşündüğümüz özellikleri acaba bizim tarafımızdan atfedilen, gerçeklik taşımadığı hâlde sadece kavramsal-kurgusal gerçeklik arasında salınan özellikler mi?Kimi zaman bize tam dokunmayan, dokunmasını da beklemediğimiz ama üzerine düşünmek zorunda olduğunu hissettiğimiz şeyler vardır. Böyle şeyler üzerine düşünen insanları sezgisel olarak rahatsız eden şey, insanı adeta taklit eden, mevcudiyetini belli belirsiz bir şekilde kabul edebildiğimiz ya da kabul etmekte zorlandığımız bir varlığın karanlık tasavvurudur.Bu noktada William Hughes Mearns’in aşağıdaki dörtlüğünde hissettiği gibi hissetmemiz adeta kaçınılmaz gibidir:Dün merdivenin üzerinde, Orada olmayan bir adamla tanıştım!Bugün de orada değildi, Keşke, keşke çekip gitseydi![1]Okura aklın temel yetileriyle sezgisel olan arasındaki cehennemi çukurun teolojik bir credus (iman) formülü ile aşılıp aşılmayacağına yönelik bir açıklama yapmaktan imtina edip, kendimize bu iki insan yetisi yani sezgi ve düşünce arasındaki farkın tam da orta noktasında duran bir varlık olarak yapay zekânın ontolojisine girelim diyorum.Peki üzerinde düşündüğümüzde bizi bu tasavvura iten boşluğu yaratan nedir? Buradan başlarsak, şu üzerinde çok tartışılan yapay zekânın nasıl bir “gariplikte” olduğunu anlayabiliriz diye düşünüyorum.Yapay zekâ orada olmayan varlığın ontolojisine benziyor; ilk başta bakıldığında belirli bir varlığa sahip olduğu hâlde ona ait olduğunu düşündüğümüz özellikleri acaba bizim tarafımızdan atfedilen, gerçeklik taşımadığı hâlde sadece kavramsal-kurgusal gerçeklik arasında salınan özellikler mi?Buna cevabı biraz gaz ve toz bulutlarından başlayarak verelim. Bundan 2500 sene önce Attik Yunan yarımadasının küçük bir bölgesi olan Stageira’da doğan bir filozof. Aristoteles. Kadim Yunan’ın felsefî geleneğinin detayına, Frede’nin Yunan’da rasyonel düşüncenin doğuşuna dair dipsiz kuyu olan tartışmalarına girmeden, değil yapay zekâ kadim kalkülüs makinelerinin bile hayal olduğu zamanların mantığıyla başladığımızda Aristoteles’in meşhur tasımlama (syllogism) mantığına ulaşırız.“Tüm kuşlar uçar/tüm martılar kuştur/o hâlde tüm martılar uçar”, Aristotelesçi tasımlamanın en bilinen örneklerinden birisidir.[2]Peki bu dedüktif mantık sisteminin, düşünebilen, hesaplayabilen ve hatta en zor meteorolojik, astronomik analizleri yapan makinelerle ilgisi nedir? Daha doğru bir ifadeyle, bu makineler, teknolojinin de marifetiyle daha kompleks sentantik, semantik ve mantık fonksiyonlarını nasıl kotarabilir hâle geldiler?Bu sorunun cevabı, Aristotelesçi mantığın, çok parlak bir zekânın ürünü olarak pek çok matematiksel ifadenin temelini de karşılayabilecek derecede ileri olmasına rağmen, çok belirgin bir eksikliği olmasında yatar. İnsan bu ya, eksiklik bulacaktır: Terimler. Gerçekten de Aristotelesçi tasımlama mantığının temelinde terimler yatar ve bu terimler, -kimi zaman fizik kanunlarının kesinliği ile yarışan- dedüktif mantığın açıklığı ve kesinliğine sahip olsa da terimin kendisi bir sorun teşkil ediyorsa nasıl yaklaşmak gerekir?Stoacılar buna çağının da ötesinde bir cevap bulmuş gibidir; onlar, doğudaki “meslektaşları” olan Budistler ve Hint kıtasının mantıkçılarına benzer bir mantık doktrinini geliştirmişlerdi: Terimler mantığına karşılık, önermeler (proposition/ aksiomata/ἀξῐώματα) mantığı. Stoacılar, insan zihni hakkındaki felsefelerine uygun olarak, terimlerin kimi zaman güvenilmez, kimi zaman “kaypak” ontolojisinin yerine önermeler mantığını kullanmışlardır. Dolayısıyla, tasım mantığı “Eğer tüm kuşlar uçuyorsa/martılar da kuş ise/martılar da uçar” şeklindeki önermeler mantığına evrilir.[3]Enteresan bir şekilde çağının çok ilerisinde olan bu mantık anlayışı şaşırtıcı bir şekilde günümüz önermeler mantığı ve birinci derece sembolik mantık sistemine benzeyecek kadar yenilikçi olmasına karşılık, rakip mantıkçı sistem olan Aristotelesçi mantığın etkisi ile birlikte felsefe ve mantık tarihinde çok fazla takdir görmemiştir. Polonyalı filozof ve mantıkçı Jan Lukasiewicz’in 1935 yılında yayımladığı “Zur Geschichte der Aussagenlogik” (Önermeler Mantığının Tarihi) başlıklı makalesine kadar, Stoacı mantığın önemi anlaşılmamıştır.[4]
Dolayısıyla hiçbir tümel kümeye atfedilemeyecek davranışsal bir yeti midir zekâ? Buna evet diyecek olursak. Turing testinin bir yapay zekâ için kriter olup olmadığını sorgulamak zorundayız. Neden “zekâ”nın tek referansı insan olsun?Sözü uzatmadan, ortaçağın sonuna kadar Batı felsefesini (buna İslam ve Arap felsefesini hatta kimi zaman kelam geleneğini de ekleyebiliriz) etkileyen Aristotelesçi mantık, özünü korumasına karşılık Leibniz, Bolzano ve Boole gibi mantıkçılarla aşılmış 19. yy.’da Viyana Çevresi’nin (Wiener Kreis) da etkisiyle Frege, Peano, Russell gibi matematiksel mantıkçıların ileri fikirlerinin ortaya çıkmasıyla birlikte başka bir mecraya doğru evrilmiştir.[5] Viyana Çevresi’nin erken döneminde çok etkisi olan Wittgenstein ile birlikte bambaşka bir yere evrilen akıl yürütme sanatı, Tarski ve Gödel ile başka bir noktaya ulaşır.[6]Bu da bizi kısaca bulunduğumuz noktaya çok yakınlaştırıyor. Gottlob Frege ve Charles Sanders Peirce tarafından dünyaya tanıtılan birinci derece mantık (first order logic). Bu mantığın çerçevesi nedir? İlk önce terimler mantığının yetersizliğini gördük; şimdi de predikat (önermeler) mantığının yetersizliğine bakalım, bu da bizi bilgisayarlara bir adım daha yaklaştıracaktır:Örneğin “kaldırımlar ıslaksa yağmur yağmıştır” gibi şartlı bir önermeyi düşünelim. Kaldırımların ıslak olması için yağmur bir gereklilik midir (necessary/wichtig)? Ya da mantıkçı veya filozof, fizikçi Feynman’ın gedankenexperiment’i (düşünce deneyi) olarak bilinen çift yarık deneyi sonucunda ışığın “hem dalga hem de parçacık” özelliğini taşıdığı yönündeki bilgiyi nasıl yorumlayacaktır?Birinci derece mantık, tüm sorunlardan azade olmasa da bazı “özelliklerin” diğer bazı “özelliklere” ait olduğu fikrine dayanır. Burası önemlidir. Frege’nin saf düşüncenin aritmetik üzerine modellemesine dair ileri sürdüğü kurgunun temelinde de bu vardır.[7] Dolayısıyla iki önerme terimi arasındaki indirgeme, önermeler arasındaki ilişkilere dayanır. Önerme terimlerinin kavramlarına değil.Programlama dilleri de tam olarak bunun üzerine kuruludur; eğer Python, C++ ya da Java programlarından birisi, önerme terimlerinin kavramsal “geçerliliği” (validness) üzerine kurulu olsaydı, bugün Amazon müşterilerini takip etmesi için gerekli veri analizini yapamazdı. Elbette instagram ünlülerinin etkilerinin takip edilmesi ve Twitter dezenformasyonları için kullanılan yapay zekâyı, pornografi için kullanılan yapay zekâyı saymıyorum bile.Bu kadar insani bilgeliğin geldiği son başarılı nokta ne kadar büyüleyici! Değil mi?Biz yapay zekâya dönelim; bu ne menem bir şeydir ki, önermeleri kavramsal olarak değerlendirmeden, matematiksel bir önermeler zincirini yorumlayarak öğrenebilmektedir? İşte burası, sezgisel olan ile rasyonel olan arasında ilk sayfada ifade ettiğim soruna bizi yaklaştıracaktır.Aşağıdaki önermeler zincirini ele alalım:
- Ba [(P ∨ Q) · ~ (P · Q)]
- Ba ~ P
Linguistik analizi kuvvetli ChatGPT ile bir çocuğun dilbilgisini karşılaştıralım; çocuklar neden içinde doğduğu, annesinden öğrendiği ana dilin gramer yapısını aksatmadan öğrenebilir? Eğer beyin belirli bir programlama ile çalışmıyorsa bu nasıl açıklanabilir?
TURING’IN ELMASI, ADEM’İN ELMASI
Ancak birinci derece mantık bile, belirli bir programlama düzeyine varsa bile, insan nous’unun yani onun öznel akıl yürütme biçiminin eşsiz bir unsuru olan anlama tarafıyla ilgili bir sorunu olacağı kesin gibidir.Turing makinesi terimi, Charles Boole ve Ada Lovelace (Lord Byron’ın kızıdır kendileri) gibi modern bilgisayar sistemleri fikrinin “ecdadı” olan büyük matematikçi Alan Turing (1912-1954) tarafından ortaya atılan bir terimdir. Turing makinesi, temelde bir makinenin insan soruşturmacı tarafından sorulan sorulara, soruşturmacının onun bir bilgisayarı insandan ayırt edemeyecek cevaplar verecek kadar ileri olduğu fikrine dayanır.[9] Eğer bir makine bu şekilde insanı “kandırıyorsa” Turing testini geçmiş demektir.Bu oldukça geniş bir tanımlamadır. İşin garip tarafı ise şu ana kadar gerçekten bu testi geçebilen bir makinenin olup olmadığının hâlâ aydınlatılamamış olmasıdır. Biz insanlar olarak bir varlığa “zekâ” atfediyorsak, bunun sebebi o varlıkla ilgili “zekâ” belirtisinin tek referans kaynağının insan olmasıdır. Bu hatta Tanrı/tanrılar için bile geçerlidir. Neden yapay zekâ için geçerli olmasın?Ve fakat, bu gerçekten büyük bir problemdir; eğer siz Stable Diffusion yapay zekâsına, “şeytanın bacağını kıran adam” diye bir portre çizmesini önerdiğinizde o da şeytanın bacağını gerçekten kıran bir adamın resmini üretirse, bu yapay zekânın davranışı neden bir çocuk zekâsına benzemesin?Daha da açalım; zekânın belirli bir yerde taklit edilip edilemeyeceğini çünkü x kişisindeki tüm kişisel özelliklerin y kişisindeki kişisel özellikler ile aynı kümede nasıl yer alacağına dair hiçbir kesinlik bulunmadığını biliyoruz; bunu vahşi hayatta belirli bir sosyalliğe sahip hayvanlarda -kurtlarda- görebiliriz; bazıları diğerlerinden “zekidir”. Ancak aynı sosyal ortam, kavramsal bir “zekâ”nın göstergesi midir?Dolayısıyla hiçbir tümel kümeye atfedilemeyecek davranışsal bir yeti midir zekâ? Buna evet diyecek olursak. Turing testinin bir yapay zekâ için kriter olup olmadığını sorgulamak zorundayız. Neden “zekâ”nın tek referansı insan olsun? Bu soru çok garip bir sorudur; ya söz konusu makineyi bir insan değil de -misal- bir uzaylı zekâsı teste tâbi tutuyorsa? Ve gerçekten o uzaylı bilinçli varlık için makine testi geçmiş olsaydı buna nasıl bir açıklama getirebilirdik?Turing bile testi geçen bir makinenin aslında gerçekten düşünmediğini fakat düşünmenin bir simülasyonunu yaptığını düşünmüştü.[10]John Searle bu fikri de sürdürmektedir:Hiç kimse bir yağmur fırtınasının bizi ıslatacağını düşünmez. Akli selim olan birisi neden zihni süreçlerin bilgisayar simülasyonlarının gerçekten zihni süreçler olduğunu düşünür?[11]Ancak mesele bu kadar siyah ve beyazlardan oluşmak zorunda değildir; neden bilgisayarlar tıpkı köpekler ya da balinalar gibi “zeki” (sentient) olmasınlar? Daha doğru bir ifadeyle sentient olmasalar da “zekâ” belirtisi göstermesinler?Genelde YZ literatüründe buna “zayıf YZ” ve “güçlü YZ” adı verilir. İkisi arasındaki fark da adlarından gelmektedir. Zayıf YZ, bir ihtimalle zekâ belirtisi gösterebilen makineleri işaret ederken “güçlü YZ” gerçekten bu makinelerin zihni olduğunu işaret eder.İkisi arasındaki farkı Searle’ün bir düşünce deneyinden anlayabiliriz.Biz insanlar olarak bir varlığa “zekâ” atfediyorsak, bunun sebebi o varlıkla ilgili “zekâ” belirtisinin tek referans kaynağının insan olmasıdır. Bu hatta Tanrı/tanrılar için bile geçerlidir. Neden yapay zekâ için geçerli olmasın?
Yorum Yazın