Ünite 7: Gottlob Frege 1

Begriffsschrift'in Yayımlanması

Gottlob Frege'nin ilk eseri olan Begriffsschrift (Kavram Yazısı), günlük dilin yetersizliklerini aşmak ve aritmetik dilinde modellenen formel bir saf düşünce dili kurmak amacıyla yazılmıştır.

Özne-Yüklem Dogmasının Reddi

İlk mantıkçıların aksine Frege, 'Yunanlılar Persleri yendiler' ile 'Persler Yunanlılar tarafından yenildiler' cümlelerinin retorik olarak farklı olsa da aynı kavramsal içeriğe sahip olduğunu kanıtlayarak geleneksel özne-yüklem dogmasını yıkmıştır.

Philo'nun Dört Olasılık Analizi

Frege, koşullu önermeleri açıklarken Philo'nun dört olasılık kuralını kullanmıştır: Gama ve Delta'nın her ikisinin evetlenmesi, birinin evetlenip diğerinin yalanlanması, ya da her ikisinin yalanlanması durumlarını incelemiştir.

Schröder ile Boole Notasyonu Tartışması

Schröder, Frege'nin Boole notasyonundan ayrılmasına karşı çıkmış; Frege ise matematiksel akıl yürütmeyi incelemek istediğini ve Boole'un cebirsel uyarlamasının sınırlı amaçlar dışında yetersiz kaldığını savunmuştur.

Anahtar Kavramlar

Begriffsschrift (Kavram Yazısı)Frege'nin formel bir saf düşünce dili oluşturmak ve dedüksiyonda mutlak kesinliği sağlamak amacıyla kaleme aldığı ilk eseridir. Günlük dilin retorik vurgularından arındırılmış, kavramsal içeriği öne çıkaran bir sembolleştirme sistemi sunar.

Yargı İmi (⊢)Frege'nin bir ifadenin yargı bildirdiğini belirtmek için sembollerin soluna yazdığı özel imdir. Örneğin '⊢ Γ' ifadesi, Gama içeriğinin bir yargı olarak evetlendiğini ve doğruluk değeri taşıdığını gösterir.

İçerik ÇizgisiYargı imindeki dikey çizgi olmaksızın sadece yatay çizgiden oluşan kısımdır. Ardından gelen işaretin doğruluğu hakkında bir hükme varılmaksızın, sadece bir düşünce olarak ele alındığını bildirmeye yarar.

Philocu Koşullu ÖnermeDelta evetlendiği sürece Gama'nın yalanlanmaması gerektiği durumunu ifade eden koşullu önerme biçimidir. Frege, bu kavramı Philo'nun dört olasılık kuralına dayandırarak mantıksal sistemine uyarlamıştır.

Modus Ponens (Ayırma Kuralı)Frege'nin tüm çıkarımları indirgemeyi önerdiği tek temel çıkarım şeklidir. Koşullu bir karmaşık ifadede alt cümleciğin atılması suretiyle öncülden sonuca geçişi sağlar.

İçerik Özdeşliği (≡)İki farklı adın aynı kavramsal içeriğe sahip olduğunu ve her zaman birbirinin yerine geçebileceğini belirten semboldür. Frege, 'sabah yıldızı ≡ akşam yıldızı' örneğinde olduğu gibi bu özdeşliğin önemli bilgiler verdiğini savunmuştur.

FonksiyonBir ifadenin içerisindeki bir veya birden fazla savın başka bir sembolle değiştirilebilir olduğu varsayıldığında, ifade de değişmeden kalan ana kısımdır. Matematikten mantığa uyarlanmıştır.

SavFonksiyon içerisinde yer değiştiren, değişkenlik gösteren ve fonksiyonu tamamlayarak olası bir yargı içeriği ortaya çıkaran unsurdur. Örneğin 'karbondioksitin ...den daha ağır olma durumu' fonksiyonunda 'hidrojen' bir savdır.

Gotik Harf StiliFrege'nin değişkenlerin ve niceleyicilerin rolünü günlük dil harflerinden ayırmak ve kapsam sınırlarını belirlemek için sembolizmde kullandığı özel harf stilidir.

Tümel NiceleyiciBir önermenin ya da fonksiyonun evrensel olarak geçerli olduğunu (her şey için sağlandığını) belirten, gotik harfler ve girintiler yardımıyla kurulan mantıksal araçtır.

Bağsız Değişken (İtalik Harf)Frege sisteminde niceleyici olmaksızın italik harflerle ifade edilen ve tümelliği kısayoldan temsil etmek için kullanılan değişkenlerdir.

Mantıksal AksiyomlarFrege'nin saf düşünce ilkelerini temsil etmek ve tüm diğer çıkarımların temelini oluşturmak üzere belirlediği, koşul, değilleme ve özdeşlik içeren dokuz temel önermedir.

Bağıntılar MantığıFrege'nin mantık sistemine ilk kez tatmin edici biçimde dâhil ettiği; matematiksel indüksiyonun ve doğal sayıların dizisel sıralamasının açıklanabilmesi için hayati önem taşıyan mantık dalıdır.

Diğer Önemli Bilgiler

Sabah Yıldızı ve Akşam Yıldızı Örneği

Frege, içerik özdeşliğini açıklamak için 'sabah yıldızı' ve 'akşam yıldızı'nın aynı nesneyi gösterdiğini, ancak 'sabah yıldızı ≡ akşam yıldızı' demenin Kant'ın sentetik yargıları gibi önemli bilgi ürettiğini belirtmiştir.

Frege'nin Dokuz Temel Aksiyomu

Frege, mantığı dedüktif bir sistem olarak sunabilmek için ilk altısı temel mantığa, ikisi özdeşlik kuramına ve biri genel mantığa ait olan, tamamı basit ve aşikar 9 aksiyomluk bir şema belirlemiştir.

Gotik Harf ve Girinti Sistemi

Frege, değişkenlerin kapsamını ve genellemeleri karıştırmamak amacıyla gotik harfleri içerik çizgisindeki girintilerle birlikte kullanarak modern niceleme mantığının temellerini atmıştır.

Matematiksel İndüksiyon ve Kümeler Kuramı

Kitabının üçüncü bölümünde Frege, genel kümeler kuramını örnek alarak; doğal sayıların dizisel sıralamasının ve matematiksel indüksiyonun ancak bağıntılar mantığıyla açıklanabileceğini göstermiştir.

Modus Ponens İndirgemesi

Frege, çok sayıdaki çıkarım kuralının hata riskini artırdığını savunarak, tüm mantıksal çıkarımları tek bir basit şekle, yani geleneksel mantığın modus ponens (ayırma) kuralına indirgemeyi başarmıştır.

Sınavda Dikkat Et

Frege'nin özne-yüklem dogmasını reddettiğini unutmayın; 'Yunanlılar Persleri yendiler' ile tersi cümlenin kavramsal içeriği aynıdır.
Begriffsschrift eserinin amacının günlük dilden arındırılmış formel bir saf düşünce dili kurmak olduğunu karıştırmayın.
Yargı iminin '⊢' olduğunu, içerik çizgisinin ise evetleme veya yalanlama olmaksızın sadece düşünce bildirdiğini iyi ayırt edin.
Frege'nin tüm çıkarımları tek bir temel şekle, yani modus ponens (ayırma) kuralına indirgediğini unutmayın.
İçerik özdeşliği sembolünün (≡) adlar hakkında olduğunu ve sabah/akşam yıldızı örneğiyle açıklandığını zihninizde tutun.
Fonksiyon ve sav kavramlarının matematikten alındığını; değişmeyen kısmın fonksiyon, değişen kısmın sav olduğunu unutmayın.
Frege'nin sisteminde toplam 9 adet temel aksiyom bulunduğunu ve bunların ilk altısının temel mantığa ait olduğunu hatırlayın.