Doğa Filozofu’nun sıkı bir okuyucuysanız daha önce birçok paradoksu işlediğimizi hatırlarsınız. Bu yazımızda yine bir paradoksu ele alacağız; ancak bu kez, dilimizde mantık kurallarının nasıl çatıştığını inceleyeceğiz. Elbette böyle dediğimizde hiçbir şey anlaşılmadığının farkındayız. Birazdan, son derece ilginç bir konuya dalacağız ve bir önceki cümlemiz sizin için anlaşılır hale gelecek. Şimdi arkanıza yaslanın ve kendinizi hazırlayın!
Kısaca Mantık Bilimi
Birazdan yazımızın önemli bir parçası olacak mantık bilimini de kısaca işlemek isteriz elbette. Birçoğumuz lise derslerinden en azından çok basitçe mantık derslerini hatırlarız, öyle değil mi? Matematiksel olarak mantık, bugün yapay zekaların algoritmalarının yazılmasında da kullanılan, dilin veya ifadelerin sembollere dökülmesidir aslında. Örneğin, biz “Yağmur yağdığında yerler ıslanır. Bugün yağmur yağdı. Dolayısıyla yerler ıslanır.” dediğimizde bu ifadeler mantıkta aşağıdaki gibi yer eder:
Diyelim ki ikinci cümle “P” olarak ifade edilecek. Yani P dediğimizde “Bugün yağmur yağdı” demiş oluyoruz. 3. cümle ise “Q” olsun. Bu durumda mantıksal olarak bu ifadeler:
P
(Bugün yağmur yağdı.)
Q
(Yerler ıslanır.)
Asıl yargımız olan ilk cümle, sonraki iki cümlenin gerçekliğine bağlı olduğu için de aşağıdaki gibi bir ifade çıkar:
P→Q
(Eğer yağmur yağarsa, o zaman yerler ıslanır.)
Bu akıl yürütme biçimi, klasik mantıkta modus ponens (önceleme yolu veya doğrulayan yol) olarak bilinir. Modus ponens, “Eğer P doğruysa ve P’nin doğru olduğu kanıtlanmışsa, o zaman Q da doğrudur.” şeklinde özetlenebilir. Burada P’nin doğru olduğu açıkça ifade edildiği için Q’nun da kaçınılmaz olarak doğru olduğunu kabul ederiz.
Mantık, yalnızca matematiksel bir araç olmanın ötesinde, felsefeden bilgisayar bilimlerine, hukuk sistemlerinden gündelik akıl yürütmelerimize kadar birçok alanda kritik bir rol oynar. Örneğin, yapay zeka sistemleri kararlarını oluştururken, insanların akıl yürütmelerini modelleyen bu tür mantıksal çıkarımlardan faydalanır. Benzer şekilde, hukukta bir davanın sonuçlandırılmasında da mantık kuralları devreye girer: Eğer belirli bir yasa bir koşul sağlandığında belirli bir sonucu gerektiriyorsa, yasanın mantıksal yapısı tam da burada gördüğümüz gibi işlemektedir.
Bu bağlamda, Moore’un Paradoksu gibi dil ve mantık ilişkisini sorgulayan felsefi meseleler, sadece teorik tartışmalardan ibaret değildir. Günlük hayatta iletişim kurarken de mantığın ve pragmatiğin nasıl iç içe geçtiğini anlamamıza yardımcı olur. Öyleyse, mantığın hem teorik hem de pratik alanlarda nasıl işlerlik kazandığını daha yakından incelemekte fayda var.
İşte bu en basit haliyle matematiksel mantıktır. Elbette detayına indiğimizde çok ağırlaşan bir disiplindir ancak bu yazı için bu kadarı bize yetecektir. Şimdi gelelim konumuza!
Moore’un Paradoksu
Moore’un Paradoksu, 20. yüzyılın önemli filozoflarından G.E. Moore tarafından ortaya atılan ve özellikle bilgi felsefesi ile zihin felsefesinde büyük tartışmalara yol açan bir problemdir. Paradoksun temelinde, belirli türdeki ifadelerin dilbilgisel olarak tutarlı olmasına rağmen, mantıksal ve bilişsel açıdan çelişkili görünmesi yatmaktadır. Ne mi demek istiyoruz?
Mesela az önceki ifademizi ele alalım: “Eğer yağmur yağarsa, o zaman yerler ıslanır.” Bu ifade şunu açıkça söylemiş olur: Eğer yağmur yağarsa, ben yerlerin ıslandığına inanırım.”
Peki ya şöyle bir cümle kursak: “Yağmur yağıyor ama ben buna inanmıyorum.”
Bu cümle elbette mantığımıza tam olarak oturmuyor öyle değil mi? Biz “yağmur yağıyor” dediğimiz anda bunun olduğuna inandığımızı söylemiş oluyoruz. “Bana yağmur yağıyor dediler ancak ben buna inanmıyorum.” dediğimizde mantığımıza uysa da ilk cümle tam olarak bunu karşılamıyor değil mi?
“Paradoks nerede peki?” dediğinizi kalbimizde hissettik. Paradoks kısmı şurada ki matematiksel olarak bu cümle hiçbir şekilde sorun değildir. Mantıksal olarak bu cümle “P ama ben P’ye inanmıyorum.” ifadesine denktir ama mantıksal olarak “P’ye inanmıyorum” ifadesi “P”’nin zıttı değildir. Bu nedenle mantıksal açıdan hiçbir sorun yoktur. Matematiksel mantığa göre “Bana yağmur yağıyor dediler ancak ben buna inanmıyorum.” cümlesi ile “Yağmur yağıyor ama ben buna inanmıyorum.” cümlesi aynı durumdadır. İkisi de bir çelişki taşımıyor.
Dil felsefesi üzerine yoğunlaşan Wittgenstein ve Kripke gibi filozoflara göre Moore’un paradoksunda geçen ifadeler dilin işleyişi açısından çelişkili görünür. Bir şeyin doğru olduğunu söylediğimizde, ona inandığımız varsayılır. Dolayısıyla, “P ama ben P’ye inanmıyorum” demek, dilin pragmatik kurallarına aykırı düşer. Yani onlara göre ortada paradoks yoktur. Hem dil açısından hem mantık açısından o cümle hatalı olmuş olur. Elbette tek yaklaşım dil felsefesi açısından olmaz, öyle değil mi? Felsefenin birçok alanı ve filozofların sayısız görüşü vardır. Bu da bu paradoksa birçok farklı yaklaşımla gelecek cevap getirmiştir ancak ana hatlarıyla cevaplar bunun tam anlamıyla bir paradoks olmadığını ve mantık olarak da bunun doğru olmadığını ve hatta hatalar barındırdığını söylemiş olur.
Moore’un paradoksu, bizim düşünüş şeklimizle matematiksel olarak mantığın tam olarak örtüşmediğini gösterir. Bu da bizim verdiğimiz kararların rasyonellikten neden uzak kaldığını göstermiş olur.
Sonuç olarak, Moore’un Paradoksu gibi örnekler, dilin pragmatik kurallarıyla mantıksal yapılar arasındaki ince farkları ortaya koyar ve bu farkların insan düşüncesini nasıl şekillendirdiğini gösterir. Mantığın kurallarına uygun biçimde düşündüğümüzde, hem bireysel hem de toplumsal düzeyde daha tutarlı ve sağlam argümanlar oluşturabiliriz. Bu bağlamda, mantık sadece soyut bir araç olmanın ötesinde; düşünsel yapımızı ve iletişimimizi organize etmemizde vazgeçilmez bir temel oluşturur.
Kaynakça ve İleri Okuma
Carneades.org. (2014, 27 Ekim). Moore’s Paradox [Video]. YouTube. https://www.youtube.com/watch?v=Qa57ZKNkcaE
Sorensen, R. (2022, 3 Mart). Epistemic paradoxes. Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/epistemic-paradoxes/
The Editors of Encyclopaedia Britannica. (2025, 8 Eylül). Brain Games: 8 philosophical puzzles and paradoxes. Britannica. https://www.britannica.com/list/8-philosophical-puzzles-and-paradoxes
The Editors of Encyclopaedia Britannica. (2025, 31 Ekim). G. E. Moore. Britannica. https://www.britannica.com/biography/G-E-Moore
