Bilimin gücü arkasında durduğu ölçülebilir öngörülerde bulunmasındadır.
Darwin'in evrim kuramı böyle öngörülerde bulunamamasına rağmen bilimsel
olabilir mi? Çok karmaşık sistemlerde öngörüde bulunabilmek için henüz
icat edilmemiş matematiksel araçlar geliştirilebilir ilerde. Newton
gereken matematiği de kendisi icat etmiş, geometriyi hazır bulmuştu.
Einstein geometriyi de matematiği de hazır buldu, hatta yardım aldı.
Darwin kuramını ortaya attığında işin matematiği şöyle dursun, biyolojik
temelleri bile yoktu ortada. Darwin, temelleri birer birer sonradan
ortaya çıkmakta olan bir kuram ortaya attı. Bu gerçekten olağanüstü.
Ömrümüz yeterse Darwin'in kuramının matematiksel öngörü araçlarına
kavuştuğunu da görebiliriz.
Bilimin gücü, saygınlığı nereden gelir? Olacakları (gerçeği)
önceden bilebilmesindedir. Ama bunu eski zaman kâhinleri gibi yapmaz.
Nasıl bilebildiğini açık ve kesin olarak tanımlar ki herkes aynı yoldan
öngörülerde bulunabilsin. Öngörülerini ölçüye/hesaba gelir biçimde yapar
ki gerçeğin kendisini yalanlayabilmesinin ölçütlerini baştan açıklayıp
her koşulda arkasında dursun. Yani öngörüsü baştan belirttiği ölçüte
uygun çıkmazsa "yanılmışım" diyebilsin. Bu bilimsel yöntemdir. Yöntemin özü tekrarlanabilirliktir.
Bilimsel yöntemin günümüzdeki biçimi ve araçlarını yöntemin kendisi sanmamak gerekir. Bilim şudur:
- Nasıl öngörüde bulunulabileceğini açık ve kesin olarak tanımla (kuramın kendisi ve çıkarsama yöntemleri).
- Öngörülerin yaşam/gerçek hakkında olmalıdır.
- Öngörülerinin
doğru veya yanlış çıkma ölçütlerini baştan açıklamalısın ki kıvırtma
olmasın, isteyen herkes öngörüleri aynı biçimde sınayabilsin.
Günümüzdeki biçim ve araçlar şunlardır:
- Çıkarsama yöntemi Aristo mantığıdır, ikili biçimsel mantıktır. (*)
- Hesap araçları da bu mantığı kullanan aksiyomatik sistemlerdir.
- Doğru/yanlış
ölçütü rakamsal değerlerin tutturulup tutturulamamasıdır; bu değerler
istatistiksel dağılım/olasılık değerleri de olabilir.
- Kuramlar özyinelemeli (recursive) çalışmazlar: kuram (x) --> iddia[i] X çok sayıda deney/gözlem/ölçüm.
Kuramların tikel önermeler değil, önerme fabrikaları olduğuna dikkat etmek
gerekir. Bir kuramı yukardaki gibi "waterfall" (herşeyi önceden bilen)
olarak tanımlamaz da kuramı bir özyinelemeli öğrenme ve öngörülerini
gittikçe iyileştirme makinesi olarak tanımlarsam ortalık dağılır.
Öte
yandan kuram en değerli şeydir, saf yaratıcı düşüncedir. Tarihte bir
çok kuramın sınanabilir öngörü fabrikası niteliğine sahip olmadan
doğduklarını unutmamalıyız. Zamanla bu niteliği kazanabilirler. Bunun
ötesinde, bu niteliğin günümüzdeki olgunlaşmış biçiminin ebedi olduğunu
düşünmek te salaklıktır. Günümüzdeki biçim:
- Her şeyi baştan bilen kuram (önerme fabrikası, yoksa mümkün bütün önermelerin kümesi değil)
- Çıkarsama yöntemi Aristo mantığı
- Hesap yöntemi aksiyomatik sistemler
- Deney/gözlem/ölçüm gittikçe zorlaşıyor ve dolaylılaşıyor
Bugüne
kadar kuram kategorisi şöyle gelişti: Kapsadığı gerçeklik alanına
ilişkin mümkün bütün önermelerin doğruluk değerini baştan (a priori) içeren minicik
bir çekirdektir kuram; ne kadar küçük çekirdek ne kadar büyük bir alanı
kapsıyorsa o kadar iyidir. Mümkün bütün iddialar kuramdan çıkarsama
(deduction) yoluyla elde edilebilirler. Yani "her şeyin tohumu tanrısal
bir kuram ve ondan gerçeklikle sınanabilir iddialar türetmemizi sağlayan
aksiyomatik disiplinler" modeli, bilimsel yöntemin tek ve değişmez
modeli sanılmaktadır.
Sicim kuramını da bilmiyorum,
"bayesianism"le ilgisini de. Ama anlaşılan Darwin'in kuramına benzer bir
durumu varmış. Güvenilir öngörülerde bulunabilmek için tanrısal tohum
olarak kuram yerine bir sistem önermek mevcut bilimsel paradigmaya
aykırı. Çok büyük bir direnişle karşılaşacaktır.
(*) Diyalektikçiler Aristo mantığının modern bilimdeki sarsılmaz yerine şaşarlar. Aslına bakarsanız ikili biçimsel mantık yaşamı yansıtmaktan çok uzaktır; diyalektik çok daha iyidir. Ama çoğunlukla sanıldığının aksine mantık bilimimizin temeli değil araçlarından biridir. Bilimdeki tahtını tekrarlanabilirlik ilkesine cuk oturmasına borçludur, yoksa doğayı anlamanın iyi bir yolu olmasına değil.