Kaynak Bilgisi: Bu çalışma materyali, "Sembolik Mantık" dersine ait kopyalanmış metin ve ders ses kaydı transkripti kullanılarak hazırlanmıştır.

---

Sembolik Mantık Çalışma Materyali 📚

Giriş: Mantığın Tanımı ve Önemi

Mantık, doğru akıl yürütme kurallarının bilimi olarak tanımlanır ve felsefenin temel araçlarından biridir. Felsefi iddiaların güçlü akıl yürütmelerle desteklenmesi gerekliliği, mantığın önemini ortaya koyar. Mantık bilgisi, sadece felsefede değil, tüm bilim ve araştırma alanlarında ve gündelik yaşamda doğru sonuçlar çıkarmak, tutarsızlıkları tespit etmek ve eleştirel düşünme yeteneğini geliştirmek için vazgeçilmezdir. Mantık öğrenimi, soyut düşünme yeteneğini de geliştirir.

Bu çalışma materyalinde, mantığın konusu ve amacı, temel kavramları, akıl yürütme biçimleri ve sembolleştirmenin işlevi detaylı bir şekilde incelenecektir.

Mantığın Konusu ve Amacı

Mantığın temel konusu akıl yürütme dediğimiz düşünme biçimidir. Hayal kurmak veya plan yapmak gibi diğer düşünme türleri mantığın doğrudan konusu değildir. Akıl yürütmek, birtakım doğrulardan veya kabullerden hareketle bir sonuca varmak demektir.

Mantığın iki temel amacı vardır:

1. ✅ Düzgün akıl yürütme biçimlerini belirlemek: Doğru kabullerden yola çıktığımızda bizi kesin veya yüksek olasılıkla doğru sonuçlara ulaştıracak akıl yürütme biçimlerini tespit etmek.
2. ✅ Akıl yürütmeleri denetleyecek yöntemler geliştirmek: Akıl yürütmelerin belirlenen düzgün biçimlere uygun olup olmadığını kontrol etmek için metotlar oluşturmak.

Mantık, düşünmede ortaya çıkan paradoks ve çelişkilerden kaçınmak, tartışmalarda üstün gelmek ve eleştirel düşünme becerilerini geliştirmek amacıyla ortaya çıkmıştır.

Mantığın Temel Kavramları

1. Önerme 📚

Anlamlı olan ve kesin bir yargı bildiren tümcelere önerme denir. Önermeler, doğru ya da yanlış olabilen, yani bir doğruluk değeri alabilen ifadelerdir. Soru, emir veya ünlem tümceleri önerme değildir çünkü bir yargı bildirmezler.

• Örnekler:
  • "Eskişehir Türkiye'nin bir şehridir." (Doğru önerme)
  • "2 + 2 = 5" (Yanlış önerme)
  • "Bugün yağmur yağacak mı?" (Soru tümcesi, önerme değil)

Bir tümcenin önerme olması için doğruluk değerini bilmek zorunlu değildir; önemli olan bir yargı bildirmesidir.

💡 İfade Kullanımı ve Söz Edilmesi: Bir ifadenin kendisinden söz edildiğinde tırnak içine alınması önemlidir. Örneğin, "Ayşe bir öğrencidir" (Ayşe hakkında bir önerme) ile "'Ayşe' dört harflidir" (Ayşe kelimesi hakkında bir önerme) farklıdır.

2. Çıkarım ✅

Bir veya daha fazla sayıda önermeden hareketle bir başka önermeye ulaşmaya çıkarım denir.

• Öncül önermeler: Sonuç önermesine ulaşmak için başlangıç noktası olarak alınan önermelerdir.
• Sonuç önermesi: Öncüllerden hareketle ulaşılan önermedir.

Çıkarımlar genellikle "o halde", "öyleyse", "demek ki", "dolayısıyla" gibi ifadelerle belirtilir.

• Standart Biçim: Birinci öncül İkinci öncül ... Sonuncu öncül

  ---

  O halde, Sonuç önermesi

• Örnek: "Ali bugün çok hasta. Demek ki, Ali bugün okula gelemeyecek."

3. Akıl Yürütme Biçimleri 📊

Temel akıl yürütme biçimleri şunlardır:

1. Tümdengelimli (Dedüktif) Akıl Yürütme
2. Tümevarımlı (İndüktif) Akıl Yürütme
3. Heptengitmeli (Abdüktif) Akıl Yürütme

a. Tümdengelimli Akıl Yürütme (Dedüktif)

Amacı, doğru öncüllerden yola çıktığımızda bizi mutlaka doğru sonuçlara ulaştıracağından emin olacağımız çıkarım biçimlerini bulmaktır.

• Geçerlilik (Validity): Öncüllerin sonuç önermesini zorunlu kıldığı çıkarımlara geçerli çıkarım denir. Geçerli bir çıkarımda, tüm öncüller doğru kabul edildiğinde sonucun da doğru kabul edilmesi zorunludur. Bu, doğruluğu koruma özelliği olarak adlandırılır.
• Geçersizlik (Invalidity): Tüm öncüller doğru olduğu halde sonucun yanlış olabildiği çıkarımlara geçersiz çıkarım denir.

⚠️ Önemli Not: Bir çıkarımın geçerliliği, öncül ve sonuç önermelerinin gerçek doğruluk değerlerinden ziyade, aralarındaki mantıksal ilişkide aranır. Ancak, tüm öncüller doğru ve sonuç yanlış ise, çıkarım kesinlikle geçersizdir.

• Örnek (Geçerli): "Her insan ölümlüdür. Sokrates bir insandır. O halde, Sokrates ölümlüdür."

• Örnek (Geçersiz): "Kar beyazdır. O halde, çimen yeşildir." (Öncül ve sonuç doğru olsa da mantıksal bir bağ yoktur.)

b. Tümevarımlı Akıl Yürütme (İndüktif)

Öncül önermelerden doğru olma olasılığı yüksek sonuçlar çıkarılmaya çalışılır. Öncüllerin doğru olması sonucun doğru olma olasılığını artırıyorsa, bu çıkarım düzgün kabul edilir.

• Tümevarımsal Güç: Öncüllerin sonuç önermesini destekleme derecesidir. Güçlü tümevarımlı çıkarımlarda öncüller sonucun doğruluğunu ciddi olarak artırır.

• Tümevarımlı çıkarımlar, olgusal bilgimizi genişletmemizi sağlar.

• Analoji (Benzeşim) yoluyla akıl yürütme: İki şey arasındaki benzerliklerden yola çıkarak, farklı bir bakımdan da ortak özellik olduğu sonucuna varmaktır.

• Örnek (Güçlü Tümevarım): "Orçun yeni doğmuş bir bebektir. O halde, Orçun yarın maraton koşup birinci olamaz."

• Örnek (Zayıf Tümevarım): "Gördüğüm birinci kuğu beyazdır. Gördüğüm ikinci kuğu beyazdır. Gördüğüm üçüncü kuğu beyazdır. Dolayısıyla, tüm kuğular beyazdır." (Yetersiz gözlem nedeniyle zayıftır, zira siyah kuğular da vardır.)

c. Heptengitmeli Akıl Yürütme (Abdüktif)

Öncül önermelerinin tümünün doğru olması durumunu en iyi açıklayan önermeye sonuç önermesi olarak ulaşılmaya çalışılır. Sonuç zorunlu değildir, ancak en akla yatkın açıklamadır.

• Örnek: "Pencereye baktığımızda dışarıda yağmur yağıyor ve cama su damlaları düşüyor. O halde, dışarıda yağmur yağıyor." (En akla yatkın açıklama budur, ancak başka birisi hortumla su atıyor da olabilir.)

4. Tutarlılık (Consistency) ✅

Bir grup önermenin tümünün aynı zamanda doğru olabilmesi, bu önermeler grubunun tutarlı olması demektir. Tümünün aynı zamanda doğru olamaması ise tutarsızlıktır.

• Örnek (Tutarsız): "Ali Veli'nin kardeşidir." ve "Veli Ali'nin kardeşi değildir." önermeleri birlikte tutarsızdır.

5. Mantıksal Doğruluk (Logical Truth) 💡

• Mantıksal Olarak Doğru Önermeler: Gerçekliğin durumundan bağımsız olarak her zaman doğru olan önermelerdir (örn: "2=2", "Ayşe öğrenci ise, Ayşe öğrencidir.").
• Mantıksal Olarak Yanlış Önermeler: Gerçekliğin hiçbir durumunda doğru olamayacak önermelerdir (örn: "2≠2", "Ayşe öğrenci olmasına rağmen öğrenci değildir.").
• Olumsal Önermeler: Doğruluk değeri gerçekliğin durumuna göre değişebilen önermelerdir (örn: "İstanbul Türkiye'nin en kalabalık kentidir.").

Mantıkta Sembolleştirme

1. Gündelik Dil ve Sembolik Dil 📚

Dil, ifadelerin yapısal özelliklerini inceleyen sentaks (dizim), anlam özelliklerini inceleyen semantik (anlambilim) ve kullanım özelliklerini inceleyen pragmatik olmak üzere üç alanda incelenir.

Gündelik dil, bilimsel akıl yürütmeler için yetersiz kalabilir çünkü:

• Anlam Bulanıklığı: Bir ifadenin hangi durumlara uygulanabileceğinin kesin olarak belirlenememesidir (örn: "uzun", "hızlı").
• Çok-anlamlılık: Bir ifadenin birden fazla, ilgisiz anlamda kullanılmasıdır (örn: "al" kelimesi hem renk hem de fiil olarak kullanılabilir).

Bu sorunları gidermek amacıyla, ifadeleri anlam ve kullanım özelliklerinden bağımsız olarak, sadece sentaktik kurallarla ele alan sembolik diller veya biçimsel diller geliştirilmiştir.

2. Sembolleştirme ✅

Gündelik dildeki bir ifadenin sembolik dildeki karşılığını oluşturmaya sembolleştirme denir. Bir çıkarım sembolleştirilirken, sonuç önermesine ulaşıldığını belirten "O halde" gibi ifadeler yerine "=>" veya benzeri bir sembol kullanılır.

• Örnek: Türkçe: "İki üçten küçüktür. Dört beşten küçüktür. O halde, iki ile dördün toplamı, üç ile beşin toplamından küçüktür." Sembolleştirme: "2 < 3, 4 < 5 => 2 + 4 < 3 + 5"

3. Sembolleştirmenin Yararları 📈

Sembolleştirme, mantıksal analizde önemli avantajlar sağlar:

1. ✅ Kesinlik: İfadelerde anlam bulanıklığı ve çok-anlamlılıktan kaçınarak kesinlik sağlar.
2. ✅ Kısalık: Bilimsel önermelerin ve çıkarımların gündelik dilde olduğundan çok daha kısa ve öz bir biçimde ifade edilmesini sağlar, karmaşıklığı azaltır.
3. ✅ Genellik: Değişkenler kullanarak tek tek önermeler yerine, önermelerin ve çıkarımların genel biçimlerini incelemeye olanak tanır. Bu sayede, belirli bir biçimdeki tüm çıkarımların mantıksal geçerliliğine tek bir seferde karar verilebilir.
4. ✅ Hızlı ve Hatasız Denetleme: Sembolik önermeler sadece yapılarına (sentaktik özelliklerine) göre denetlenebildiği için, mantıksal denetleme süreçlerini hızlandırır ve hatasız hale getirir. Bu, bilgisayar programları aracılığıyla bile mantıksal denetlemelerin yapılabilmesini mümkün kılar.

Sonuç

Mantık, düzgün akıl yürütme biçimlerini belirleyip denetleme yöntemleri geliştiren temel bir bilim dalıdır. Önerme, çıkarım, tümdengelimli, tümevarımlı ve heptengitmeli akıl yürütme türleri, geçerlilik, tutarlılık ve mantıksal doğruluk, mantıksal analizin yapı taşlarını oluşturur. Gündelik dilin sınırlılıkları karşısında geliştirilen sembolik diller ve sembolleştirme, akıl yürütmelerin daha kesin, kısa ve genel bir biçimde incelenmesini sağlayarak mantıksal hataları en aza indirme ve soyut düşünme yeteneğini geliştirme potansiyeli sunar. Bu sayede, hem bilimsel hem de gündelik yaşamda daha sağlam ve tutarlı düşünme süreçleri inşa edilebilir.