Düşünce tarihimiz, Aristoteles’in MÖ 4. yüzyılda ortaya koyduğu mantık kuramıyla yeniden şekillendi. Aristo Mantığı keskin ve netti: Bir şey ya vardır ya yoktur. Bir önerme ya doğrudur ya yanlıştır.
Gri alan tanımayan, iki kutuplu bir evren tarifi. “Özdeşlik”, “çelişmezlik” ve “üçüncü halin olanaksızlığı” ilkeleri üzerine kurulan bu sistem, modern matematiğin ve bugünkü bilgisayarların dili olan 1 ve 0 dünyasının temelini attı.
Matematiksel kanıtlarda kusursuz işleyen bu yapı, yaşamın bize sunduğu karmaşıklığı ve belirsizliği açıklamakta her zaman yetersiz kaldı. Çünkü doğada hiçbir şey yalnızca siyah ya da yalnızca beyaz değildir.
İnsanlığın mantıkla dansı nasıl devam etti? Bakalım.
MÖ 4. yüzyılda Aristoteles, Organon adlı eserinde kıyas sistemini ve “iki değerli mantığı ”ortaya koydu. Bu, bugün bilip algılayabildiğimiz ilk sistematik adımdır.
MÖ 3. yüzyılda Stoacı mantık sahneye çıktı. Kition’lu Zenon’un kurduğu okulda Kleanthes ve Chrysippos, “Eğer… o halde…” yapılarıyla önermeler mantığını geliştirdi ve modern mantığa kapı araladı.
Orta Çağ’da (5.–15. yy) skolastik mantık hâkim oldu. Thomas Aquinas, Aristoteles mantığını Hristiyan teolojisiyle harmanlayarak dil mantığı, önermeler mantığı ve kıyas tekniklerini sentezledi.
17.yüzyılda Leibniz, “Mantık hesaplanabilir” diyerek evrensel bir mantık dili tasarladı ve modern matematiksel mantığın öncüsü oldu.
18.yüzyılın ortasında George Boole mantığı cebirleştirerek Boolean cebiri’ni geliştirdi. Augustus De Morgan mantık yasalarını formüle etti; Charles Sanders Peirce ise yüzyılın sonuna doğru “sembolik mantığın” inşasına katkı sağladı.
19.yüzyılın sonundan 20. yüzyılın başına uzanan dönemde matematiksel mantık olgunlaştı. Frege, Begriffsschrift ile modern mantığın temellerini attı. Russell ve Whitehead ise Principia Mathematica ile mantığı matematiksel zemine oturtmaya çalıştı.
20.yüzyılın ilk yarısında iki önemli kırılma yaşandı. Gödel’in 1931’de ortaya koyduğu “eksiklik” teoremleri ve Tarski’nin 1930’larda geliştirdiği “doğruluk” tanımı, mantığın sınırlarını ve anlam bilimsel boyutunu belirginleştirdi. Bu dönemde Jan Łukasiewicz (okunuşu: Wukasiewicz), doğru ve yanlışın yanına “olası” ya da “belirsiz” anlamında üçüncü bir değer ekleyen “üç değerli mantık” sistemini kurarak “çok değerli mantıkların” ve “sonsuz değerli” sistemlerin kapısını araladı.
Yine 20. yüzyılın başından itibaren gelişen “modal mantık” ise zorunluluk, olasılık ve koşulluluğu inceledi. C.I. Lewis, 1910’lardaki çalışmalarıyla bu alanı sistematik hale getirdi; Saul Kripke ise 1960’larda “olası dünyalar semantiği” ile modal mantığa güçlü bir yorumlama çerçevesi kazandırdı.
20.yüzyılın sonunda Judea Pearl, 1980’lerde Bayes ağlarını geliştirerek “belirsizlik altında çıkarımın” matematiksel temelini kurdu. Bu yaklaşım, “bulanık mantıktan” farklı bir matematiksel dil kullansa da aynı temel soruyla boğuşuyordu:
Kesin olmayan dünyada nasıl karar verilir?
Hikayenin büyük balığı ise Bulanık Mantıktı.
1965 yılında bilim dünyasında taşları yerinden oynatan bir devrim gerçekleşti. Azerbaycanlı Türk bilim insanı Lütfi Aliasker Zade, Berkeley Üniversitesi’nde yayımladığı “Fuzzy Sets” (Bulanık Kümeler) makalesiyle klasik mantığın binlerce yıllık hakimiyetine meydan okudu.
Lütfi Aliasker Zade’nin tezi basit ama sarsıcıydı:
“Belirsizliklerle dolu bu gerçek dünyada insan zihni kararlarını kesin rakamlarla değil, yaklaşık değerlerle verir.”
Bir bardak suyun “sıcak” ya da “soğuk” olması arasındaki sonsuz gri tonu, yani “ılık” olma hâlini matematiksel bir zemine oturtan Lütfi Aliasker Zade, makinelerin de tıpkı insan gibi esnek kararlar verebilmesinin yolunu açtı. Bulanık mantıkta bir değer yalnızca (0) ya da (1) değildir; iki uç arasında (0.1, 0.5, 0.87) gibi sonsuz sayıda ara değerler bulunur.
Lütfi Aliasker Zade’nin fikri Batı dünyasında başlangıçta şüpheyle karşılandı. Doğu ise bu potansiyeli çok daha erken gördü.
1970’lerin sonundan itibaren Japon bilim insanları ve mühendisler Lütfi Aliasker Zade’yi ülkelerine davet ederek kuramını yakından inceledi.
Japonya, bulanık mantığa soyut bir tartışma olarak bakmadı; onu çamaşır makinelerinden hızlı trenlere, kamera netleme sistemlerinden endüstriyel robotlara kadar onlarca alanda ticari ürünlere dönüştürdü. Bu pratik vizyon, Japonya’nın 1980’lerde tüketici elektroniği ve otomasyonda dünya sahnesine çıkmasında önemli bir etken oldu.
Lütfi Aliasker Zade’nin kuramı sayesinde makineler artık yalnızca komut almıyor, çevrelerindeki belirsiz verileri yorumlayarak en makul kararı üretebiliyordu.
Lütfi Aliasker Zade’nin bilime katkıları yalnızca bulanık mantıkla sınırlı değildi. O, “Soft Computing” (Yumuşak Hesaplama) kavramının öncü isimlerinden biri olarak yapay sinir ağları, evrimsel algoritmalar ve olasılıksal yöntemlerin kesiştiği modern yapay zekâ mimarisine önemli katkılar sundu. Ortaya attığı “Z-Sayısı” ve “Dilsel Değişkenler” (Linguistic Variables) gibi kavramlar, bugün makinelerin insan dilini anlamasından karmaşık finansal tahminlere kadar geniş bir yelpazede kullanılmaktadır.
Peki, Aristoteles Öldü mü?
Hayır. Bu bir yıkım değil, bir evrimdir.
Kesin matematiksel kanıtlar ve dijital devrelerin temel işleyişi için Aristoteles’in disiplini vazgeçilmezdir.
Karmaşıklığın ve belirsizliğin hüküm sürdüğü her alanda ise bulanık mantığın esnekliği zorunludur.
Bu iki sistem birbirini dışlamaz. Biri temeli, diğeri çatıyı oluşturacak biçimde yapıyı birlikte güçlendirirler.
Bulanık mantık bizi makinelerin yalnızca işlem yapmadığı, aynı zamanda sezgisel kararlar verebildiği bir geleceğe taşıyor.
Otonom araçların trafikteki belirsizliği yönetmesinden akıllı enerji şebekelerinin tüketimi optimize etmesine kadar pek çok modern teknolojinin kökünde Lütfi Aliasker Zade’nin attığı tohumlar filizlenmektedir.
Türk olarak Lütfi Aliasker Zade’nin paradigma değiştirici başarıları bizi gururlandırıyor. Ancak konu, Lütfi Aliasker Zade’nin bizim içimizden çıkmış olmasından duyacağımız pasif bir övünmeden çok daha derindir. Görevimiz tıpkı Japonların yarım asır önce yaptığı gibi, bu bilimsel mirası anlamak, içselleştirmek ve hayata geçirmektir. Lütfi Aliasker Zade’nin dehasına verilebilecek en anlamlı karşılık, onun formülleriyle dünyayı daha iyi bir yer haline getirebilecek yeni nesil mühendisler ve düşünürler yetiştirmektir.
