Kavramdaki Yüz Altın: Ontolojik Kanıt ve Robot Tanrı
1078. Canterbury'de bir keşiş, felsefe tarihinin en cüretkar argümanını yazıyor. Anselmus'un tanımı şu: Tanrı, "kendisinden daha büyüğü düşünülemeyen şey"dir. Ahmak bile bu cümleyi anlar; demek ki o şey en azından zihinde var. Ama gerçekte var olmak, yalnızca zihinde var olmaktan daha büyüktür. O halde en büyük şey sadece zihinde olsaydı, ondan daha büyüğü düşünülebilirdi: aynısı, ama gerçek olanı. Çelişki. Demek ki Tanrı var. Nokta. Teleskop yok, mucize yok, tanık yok. Argüman tamamen çevrimdışı çalışıyor; tek girdisi bir tanım.
İlk hata raporu aynı yüzyıldan geldi. Gaunilo, başka bir keşiş: aynı motoru alın, içine "mükemmel ada" koyun. Kendisinden mükemmeli düşünülemeyen ada da aynı mantıkla var olmak zorunda; çünkü haritada kalan ada, kıyısına çıkılabilenden daha az mükemmel. Saçma. Saçmaysa motorda bozuk bir dişli var; hangisi olduğunu henüz gösteremesek bile. Anselmus cevap verdi: bu akıl yürütme yalnızca en büyük varlık için çalışır, adaların azami hali yoktur. Belki. Ama "bu hamle sadece benim ürünümde meşru" diyen satıcıya karşı içgüdünüz ne diyorsa, onu dinleyin.
Fişi 1781'de Kant çekti: var olmak bir özellik değildir. Cebinizdeki yüz altın ile hayalinizdeki yüz altının kavramı birebir aynıdır; gerçek olanlar kavrama bir kuruş eklemez. "Var" dediğinizde nesneye yeni bir nitelik takmazsınız; kavramın dünyada bir karşılığı olduğunu söylersiniz. Tanımın içine istediğinizi koyabilirsiniz: en bilge, en güçlü, en mükemmel. Koyamayacağınız tek şey, karşılığın kendisi.
Yazının taşıyıcı ayrımı bu: tanımdan varlık türetmek ile bir şeyi tanımla var etmek aynı şey değil. İkincisi imkansız; birincisi ise her seferinde gizlice ikincisine dönüşüyor. Tanım size şunu söyler: böyle bir şey varsa, onu neyle tanıyacaksınız. O "varsa" kaydı tanımın içinden sökülemez. Tanımdan huy çıkarmak bile meşrudur; eksiği olmayanın hileye ihtiyacı olmaz, denebilir, çünkü çıkarım yine "varsa" kaydıyla çalışır. Varlığın kendisi başka lig. Kelimelerden dünyaya geçen her argümanın bir köprüye ihtiyacı var ve köprü, sorunun ta kendisi. Ontolojik kanıt köprüyü haritaya çizip nehri geçtiğini sanıyor.
Bunun 2026 ile ilgisi ne? Numara hala dolaşımda, hem de günlük sürümde. Pazarlama her sabah bir ontolojik kanıt kurar: ürünü mükemmel diye tanımla, gerisini tanım halletsin. "Gelmiş geçmiş en gelişmiş yapay zeka." Her şeyi bilen, kendini durmadan geliştiren sistem vaatleri; AGI kelimesinin kendisi yarı tanım, yarı kehanet. Teknik raporda "güvenli ve tarafsız" yazması sistemi güvenli ve tarafsız yapmaz; kavrama özellik eklemek bedava, dünyaya eklemek pahalıdır. Eleştirel düşünmenin buradaki tek dersi şu: bir tanım size keşif diye sunulduğunda alarm çalmalı. Yol haritasında yazan tanrı, demoda görünmek zorunda değil.
Adil olalım: argümanın yirminci yüzyılda modal mantıkla yeniden yazılmış, ciddiye alınması gereken bir sürümü var. Özeti şu: azami büyüklükte bir varlık, varsa zorunlu olarak vardır, yani bütün mümkün dünyalarda. Böyle bir varlık mümkünse bile, bir mümkün dünyada var demektir; zorunlu olan bir dünyada varsa hepsinde vardır, bizimki dahil. Mantık sağlam, standart sistemlerde geçerli. Ama bütün ağırlık tek kelimeye taşındı: mümkün. Buradaki mümkün, "bana imkansız gelmiyor" demek değil; metafizik anlamda mümkün demek. Onu kabul etmek, sonucun neredeyse tamamını peşin kabul etmek. Argüman ölmedi; bütün riskini tek bir öncüle taşıdı. Bug'ı kendi kodunuzdan silip bağımlılığa taşımak gibi: derleme geçer, hata yine gemiye biner.
Anselmus'a bir hakkı teslim edelim: bunu satış metni olarak yazmadı, dua olarak yazdı; zaten inandığı şeyi anlamaya çalışıyordu. Bugünün tanım mühendisleri için aynı şey söylenemez. Test ise basit ve Kant kadar eski. Kavramda yüz altın var. Kasada kaç tane?