Eklemler mantığının sınırlılıkları ve niceleme mantığına duyulan ihtiyaç; önerme fonksiyonu (açık önerme), birey değişkenleri (x, y) ve birey sabitleri (a, b); yüklem harfleri (Px, İx); evrensel niceleyici (∀ – her, bütün) ve varlıksal niceleyici (∃ – bazı, en az bir); Aristotelesçi A, E, I, O önermelerinin niceleme mantığıyla sembolleştirilmesi; niceleyicilerin olumsuzlanması (¬∀x Px ≡ ∃x ¬Px); niceleme mantığında çıkarım (evrensel örnekleme); Frege ve modern mantığın kuruluşu.
Niceleme mantığına neden ihtiyaç var?
Eklemler mantığının sınırı: “Bütün insanlar ölümlüdür. Sokrates insandır. O hâlde Sokrates ölümlüdür.” çıkarımı eklemler mantığında p, q ⊢ r olarak gösterilir ve geçerliliği kanıtlanamaz; çünkü önermelerin iç yapısı (kim, hangi özellik) görülmez.
Niceleme (yüklemler) mantığı: Önermelerin iç yapısını birey, yüklem ve niceleyici olarak çözümler → Gottlob Frege (1879, Kavram Yazısı) ile modern mantığın temeli atıldı.
Temel kavramlar:
- Birey sabiti: Belirli bir birey (a: Ali, s: Sokrates)
- Birey değişkeni: Belirsiz birey (x, y)
- Yüklem harfi: Özellik (İ: insan olmak, Ö: ölümlü olmak) → İs: “Sokrates insandır.”
- Önerme fonksiyonu (açık önerme): İx (“x insandır”) → x belirlenmeden doğru ya da yanlış değildir; değişken ya değiştirilir ya da nicelenir.
Niceleyiciler ve A, E, I, O önermeleri
Evrensel niceleyici ∀: “Her x için”, “bütün”
Varlıksal niceleyici ∃: “En az bir x vardır”, “bazı”
Aristotelesçi önermelerin sembolleştirilmesi (İ: insan, Ö: ölümlü):
| Önerme | Günlük dil | Sembol |
|---|---|---|
| A | Bütün insanlar ölümlüdür. | ∀x (İx → Öx) |
| E | Hiçbir insan ölümsüz değildir / Hiçbir S P değildir. | ∀x (Sx → ¬Px) |
| I | Bazı öğrenciler sporcudur. | ∃x (Öx ∧ Sx) |
| O | Bazı öğrenciler sporcu değildir. | ∃x (Öx ∧ ¬Sx) |
⚠️ Tümel önermelerde →, tikel önermelerde ∧ kullanılır. “∃x (Öx → Sx)” yazmak hatalıdır.
Niceleyicilerin olumsuzlanması:
- ¬∀x Px ≡ ∃x ¬Px → “Herkes geldi” yanlışsa “Gelmeyen en az biri var.”
- ¬∃x Px ≡ ∀x ¬Px → “Gelen kimse yok” = “Herkes gelmedi.”
→ Karşıolma karesindeki çelişiklik ilişkisinin sembolik ifadesidir (A ile O, E ile I).
Niceleme mantığında çıkarım
Evrensel örnekleme: “Her şey için doğru olan, herhangi bir birey için de doğrudur.”
Sokrates örneği:
- ∀x (İx → Öx) — Bütün insanlar ölümlüdür.
- İs — Sokrates insandır.
- İs → Ös — (1’den evrensel örnekleme)
- Ös — Sokrates ölümlüdür. (2 ve 3’ten modus ponens)
Başka örnek: “Bütün kuşların kanatları vardır. Penguen bir kuştur. ⊢ Penguenin kanatları vardır.” → ∀x (Kx → Kanx), Kp ⊢ Kan p
İki yerli yüklemler: “Ali, Ayşe’den uzundur.” → U(a, b); ilişkiler de sembolleştirilebilir.
Önemi: Matematiğin temellendirilmesi, bilgisayar bilimi (veri tabanı sorguları, programlama dilleri), yapay zekâda bilgi temsili ve otomatik akıl yürütme
💡 “Her öğrencinin bir öğretmeni vardır.” (∀x ∃y) ile “Bütün öğrencilerin ortak bir öğretmeni vardır.” (∃y ∀x) farklı anlamlardır: Niceleyicilerin sırası önemlidir!
Kavramlar
- niceleyici
- her, bazı gibi nicelik bildiren sembol
- önerme fonksiyonu
- değişken içeren açık önerme
- birey sabiti
- belirli bir bireyi gösteren harf
- yüklem
- bireye yüklenen özellik
- evrensel örnekleme
- genel önermeden tek bireye geçiş
- Eklemler mantığı önermenin iç yapısını göremez
- Frege (1879) niceleme mantığının kurucusu
- Birey sabiti (a), birey değişkeni (x), yüklem harfi (Px)
- ∀ evrensel (her), ∃ varlıksal (bazı)
- A: ∀x (Sx → Px); I: ∃x (Sx ∧ Px)
- ¬∀x Px ≡ ∃x ¬Px; evrensel örnekleme ile Sokrates kıyası
Örnek soru ve çözümü
Kartlardaki örneklerden yararlanarak “Bazı kuşlar uçamaz.” ve “Bütün metaller iletkendir.” önermelerini sembolleştiriniz (K: kuş, U: uçar, M: metal, İ: iletken).
“Bazı kuşlar uçamaz.” tikel olumsuz (O) önermedir: ∃x (Kx ∧ ¬Ux). “Bütün metaller iletkendir.” tümel olumlu (A) önermedir: ∀x (Mx → İx). Tümelde koşul (→), tikelde birleşme (∧) kullanılır.
Çözümlü örnekler
1. ∃ sembolü hangi anlamdadır? Kolay
Çözüm“Bazı, en az bir x vardır ki” anlamında varlıksal niceleyici.
2. “Her öğrenci başarılı değildir.” önermesini sembolleştirip eşdeğerini yazınız (Ö: öğrenci, B: başarılı). Orta
Çözüm¬∀x (Öx → Bx) ≡ ∃x (Öx ∧ ¬Bx): Başarılı olmayan en az bir öğrenci vardır.
3. “Bütün balinalar memelidir. Hiçbir memeli solungaçla solumaz. ⊢ Hiçbir balina solungaçla solumaz.” çıkarımını sembolleştiriniz. Zor
Çözüm∀x (Bx → Mx), ∀x (Mx → ¬Sx) ⊢ ∀x (Bx → ¬Sx). Evrensel örnekleme ve koşullu kıyasla geçerlidir.
Sık yapılan hatalar
- Tikel önermelerde → kullanmak (∃x (Sx ∧ Px) olmalı).
- Niceleyicilerin sırasının anlamı değiştirmediğini sanmak.
- ¬∀x Px’i ∀x ¬Px ile eşdeğer saymak.
Biliyor muydun?
Frege, mantığı matematiğin temeli yapma çalışmasını tamamlamak üzereyken Russell’dan aldığı bir mektupla sisteminde bir çelişki (Russell paradoksu) olduğunu öğrendi; yine de kitabının sonuna bu sorunu dürüstçe ekledi!