Up next in 10
Auzef Mantık Felsefesi 2025-2026 Final Soruları
https://lolonolo.com/2026/07/03/mantik-felsefesi-2025-2026-final-sorulari/
https://lolonolo.com
Show More Show Less View Video Transcript
0:00
hoş geldiniz. Bugün mantık felsefesini
0:02
öyle tozlu raflarda kalmış, sıkıcı,
0:04
akademik kurallar bütünü olarak değil,
0:06
insan düşüncesini ve modern
0:07
bilgisayarları yöneten o görünmez
0:09
işletim sistemi yani düşüncenin kaynak
0:11
kodu olarak ele alıyoruz. İnternette
0:13
arama yaparken, bir yapay zekayile
0:15
yazışırken veya sadece günlük bir
0:17
problemi çözerken bile aslında zihnimiz
0:19
bu kodları çalıştırıyor. Zihnimizin arka
0:21
planındaki bu muazzam mimarinin
0:23
kaynağına inmeye hazır mısınız? Hadi hiç
0:25
vakit kaybetmeden yol haritamıza bir göz
0:27
atalım. Önce klasik mantığın ilkeleriyle
0:29
başlıyoruz. Sonra modern mantık ve o
0:31
meşhur Russle paradoksuna bakacağız.
0:34
Ardından 20. yüzyıl mantık devrimini
0:36
konuşup olarak farklı kuramlar ve
0:38
matematiksel mantık ile toparlayacağız.
0:40
Antik çağlardan yapay zekanın şafana
0:42
uzanan bir yolculuk bizi bekliyor. Hemen
0:45
ilk bölümümüzle klasik mantığın
0:47
ilkeleriyle başlıyoruz. Sahneyi de
0:50
gerçekliğin temel kurallarını yazan
0:52
Aristoteles'le açıyoruz. Yola çıkmadan
0:55
önce incelediğimiz kaynağın bu alanı
0:57
nasıl tanımladığına dikkatlice bir
0:59
bakalım. Mantık felsefesi sadece
1:01
mantığın ne olduğunu değil, onun temel
1:03
kavramlarını, yöntemlerini ve yarattığı
1:06
felsefi sorunları masaya yatırır. Yani
1:09
bugün sadece kuralları ezberlemeyeceğiz.
1:11
O kuralların neden var olduğunu da
1:13
birlikte sorgulayacağız. Aristoteles'in
1:15
koyduğu ve klasik mantığın dayandığı o
1:18
üç temel ilkeye bakın. Özdeşlik,
1:20
çelişmezlik ve üçüncü halin
1:22
imkansızlığı. Bunlar aslında gerçeklik
1:24
algımızın yapı taşları. Metnimiz
1:27
Aristoteles'in bu sarsılmaz sistemi
1:29
tasım yani kıyas üzerine kurduğunu
1:31
söylüyor. Kıyas dediğimiz şey iki basit
1:34
öncülden yola çıkıp kesinlikle inkar
1:37
edilemez bir sonuç çıkarma sanatı. Yani
1:40
A B'ye eşitse ve B de C'ye eşitse o
1:43
zaman AC'ye eşittir diyorsunuz. Bu kadar
1:45
net. İyi de biz bu kuralları pratikte
1:48
nasıl test edeceğiz? Kaynağımız burada
1:50
önermeler mantığına ve doğruluk
1:52
tablolarına işaret ediyor. Bu tablolar
1:55
karmaşık düşünceleri matematiksel bir
1:57
kesinlikle adım adım kontrol etmemizi
1:59
sağlayan harika araçlar. Düşünsenize
2:01
düşüncenin içindeki mantik hatalarını
2:04
tıpkı yazılımcıların bir bilgisayar
2:05
kodundaki hataları ayıkladığı gibi
2:08
sistematik olarak ayıklayabiliyoruz.
2:10
Geldik ikinci bölüme. Modern mantık ve
2:12
Russle paradoksu. Şimdi kusursuz gibi
2:15
görünen bu antik sistemin 19. yüzyılın
2:18
sonlarına doğru nasıl devasa bir bugla
2:20
yani sistem hatasıyla çöktüğüne
2:22
bakacağız. Modern mantığın kurucusu
2:24
sayılan Godlop Frege sahnede kaynağımız
2:28
Fregy'nin mantığı biçimselleştiren o
2:30
sıkı matematiksel sisteme dönüştüren ilk
2:32
kişi olduğunun altını çiziyor. Vizyonu o
2:35
kadar genişti ki sayılar gibi soyut
2:38
varlıkları da bu sisteme dahil etti. Ama
2:40
küçük bir sorun vardı. Fregen'in
2:42
kullandığı dil yani notasyon inanılmaz
2:44
karmaşıktı. Neyse ki piyanı devreye
2:46
girdi de bu karmaşık dili hepimiz için
2:48
okunabilir, sade bir hale getirdi. Bugün
2:51
kullandığımız sistemin temeli de tam
2:53
olarak buradan geliyor. Ama durun
2:55
felsefe tarihinin en büyük dramalarından
2:57
birine geliyoruz. Şimdi kusursuz bir
3:00
matematiksel sistem inşa ettiğinizi
3:02
düşünün. Peki o mükemmel sistem kendi
3:05
kendisiyle çelişirse ne olur?
3:07
Matematiğin en temelinde o sapa sağlam
3:09
sandığınız zeminde ölümcül bir hata
3:11
bulduğunuzu hayal edin. Ciddi bir panik
3:14
değil mi? Karşımızda tarihin en epik
3:16
entelektüel çarpışmalarından biri var.
3:18
Sol tarafta Fregen'in o meşhur hatasını,
3:21
çöken sistemini kurtarmak için umutsuzca
3:24
5 aksiyomu değiştirmeye çalışmasını
3:26
görüyoruz. Sağda ise Russell'ın
3:28
getirdiği zarif çözümü yani tipler
3:30
kuramını. Bugün bildiğimiz adıyla Russle
3:33
paradoksu. Sağdaki tipler kuramı diyor
3:35
ki bir küme yani bir bütün asla
3:38
kendisinin elemanı olamaz. Bu sadece
3:40
sıradan bir matematik kuralı değil.
3:42
düşünce sistemimizi tam anlamıyla
3:44
çöküşten kurtaran dahice bir yamaydı.
3:47
Buradan 3. bölüme geçiyoruz. 20. yüzyıl
3:49
mantık devrimi. 1920'ler ve 30'larda
3:52
mantık dünyasında ortalığı toza, dumana
3:54
katan o büyük paradigma kaymasına bir
3:56
bakalım. Şu zaman çizelgesine bir bakar
3:58
mısınız? İnsan aklının sınırlarını çizen
4:01
dahilerin resmi geçidi adeta. Hilbert'in
4:04
1899'da geometriye getirdiği temelden
4:07
Tarski'nin 1921'deki küme kuramına ve
4:11
1931'de Gödel'in her şeyi altüst eden
4:14
teoremine sadece 30 küsür yılda mantığın
4:17
ve matematiğin sınırları baştan aşağı
4:18
yeniden yazıldı. Ve işte o bomba Kurt
4:21
Gödel 1931 kelimenin tam anlamıyla
4:25
zihinleri yaktı. İncelediğimiz metin
4:27
Gödel'in eksiklik teoremini çok net
4:29
özetliyor. Yeterince güçlü ve tutarlı
4:31
her biçimsel sistemde ispatlanamayan
4:34
doğru önermeler bulunur. Bir düşünsenize
4:37
matematikte kesinlikle doğru olduğunu
4:38
bildiğimiz ama asla hiçbir şekilde
4:41
kanıtlayamayacağımız şeyler var.
4:43
kusursuzluk arayışının tam kalbine
4:45
yerleştirilmiş bir dinamit lokumu.
4:47
Üstelik kaynağımız Gödel'in bu devrimsel
4:49
fikirleri dönemin en parlak zihinlerinin
4:51
buluştuğu o meşhur Viyana çevresi
4:53
toplantılarında da tartıştığını
4:54
özellikle belirtiyor. Tabii Gödel tek
4:57
başına değildi. Alfred Tarski ve David
4:59
Hilbert'in adımlarını da takip ediyoruz
5:01
metinde. Tarski özellikle doğruluk
5:03
kuramıyla felsefede yeni bir sayfa
5:05
açıyor. Hilbert ise hepimizin bildiği o
5:08
Öklit geometrisini alıp yepyeni sapa
5:10
sağlam bir aksiometrik sisteme
5:11
dönüştürüyor. Hatta Hilbert'in integral
5:14
denklemleri üzerine yaptığı çalışmalar
5:16
var ki modern kuantum fiziğini bile
5:18
şekillendiren o derin Hilbert uzayı
5:20
kavramını doğuruyor. Ve geldik 4. son
5:23
bölümümüze. Farklı kuramlar ve
5:25
matematiksel mantık. O soyut felsefi
5:27
fikirlerin devasa bir aydınlanma anıyla
5:30
fiziksel donanımlara dönüştüğü kırılma
5:33
noktasındayız artık. George Bull onun bu
5:35
yaklaşımı düşünce dilinin nasıl
5:37
matematiğe dönüştüğünü bize harika bir
5:39
şekilde gösteriyor. Kaynağımız buun
5:41
mantıksal önermeleri cebirsel
5:43
denklemlere nasıl çevirdiğini çok iyi
5:45
anlatmış. Mesela hiçbir x y değildir
5:48
diyorsunuz ve bunu x y = 0 olarak
5:51
yazıyorsunuz. Bu öylesine kağıt üstünde
5:54
bir matematik hilesi değil. Metin bize
5:56
bunun doğrudan elektrik anahtarlama
5:58
devreleriyle eşleştiğini söylüyor. Yani
6:00
şu an elinizdeki telefonun, önünüzdeki
6:02
bilgisayarın işlemcisi tam olarak bu
6:04
dili konuşuyor. İnanılmaz bir bağlantı.
6:07
Elektrik anahtarlarından ve bule
6:09
cebrinden yola çıkan alan Turing ise
6:11
sahneye adımını tam da burada atıyor.
6:14
Kaynağımız Turing'in o meşhur Turing
6:16
makinesi modeliyle tarih akışını nasıl
6:19
değiştirdiğine odaklanmış. Turing
6:21
insanların yaptığı tüm karmaşık
6:23
hesaplamaları bir makinenin de
6:25
yapabileceğini kuramsal olarak
6:26
kanıtladı. Ve bu teorik ispat aslında
6:29
hepimizin içinde yaşadığı şu devasa
6:31
dijital çağın gerçek doğum belgesinden
6:34
başka bir şey değil. Elbette bu koca
6:36
yapı sadece bir iki dehanın omuzlarında
6:38
yükselmedi. Kaynağımız bu dönemin diğer
6:40
önemli beyinlerini de kesinlikle
6:42
unutmuyor. Mesela doğruluğu onun
6:44
faydasıyla ölçen pragmatizmin kurucusu
6:46
Charles Sanders Pearsce veya parça ve
6:49
bütün arasındaki o karmaşık ilişkiyi
6:51
inceleyen meroloji kuramını geliştiren
6:53
Stanislav Lesnierski ve tabii ki
6:56
sembolik mantık araştırmasıyla bu soyut
6:58
yapıyı daha da sağlamlaştıran G Lewis.
7:01
Mantık felsefesi gerçekten de kolları
7:03
çok farklı disiplinlere uzanan devasa ve
7:06
verimli bir ağaç gibi. Onca donanımdan
7:08
matematiksel makineden sonra tekrar
7:10
insana yani kendi zihnimize dönecek
7:12
olursak erken dönem Mitgenstein'ın
7:15
incelediğimiz metinde de öne çıkarılan o
7:17
adeta mikrofon bıraktıran sözüyle baş
7:19
başayız. Dilin sınırları düşüncenin
7:21
sınırlarını belirler. Traktatus
7:23
logicofilosoficus'taki bu müthiş fikir
7:25
inşa ettiğimiz tüm sistemlerin,
7:27
algıladığımız tüm gerçekliğin aslında
7:29
kullandığımız dilin kapasitesine nasıl
7:31
haps olduğunu çok çarpıcı bir şekilde
7:33
yüzümüze vuruyor. Bugün sizlerle
7:35
birlikte Aristoteles'ten çıkıp türünge
7:37
kadar uzanan o muazzam mimariyi
7:39
inceledik. Mantık sadece doğru
7:41
düşünmenin değil makinelara nasıl
7:43
düşüneceklerini öğreten dile dönüştü.
7:45
Ama bu incelemeyi bitirirken sizi şu
7:47
asıl soruyla başa bırakmak istiyorum.
7:49
bilgisayarların hesaplama gücünün sınır
7:51
tanımadığı ama diğer yanda Gödel'in asla
7:54
kanıtlayamayacağınız doğrular hep olacak
7:56
diyerek sınırları çizdiği bu evrende
7:58
kendi zekamızın insan düşüncesinin
8:01
gerçek sınırları tam olarak nerede
8:02
başlayıp nerede bitiyor belki de
8:04
felsefenin bir sonraki büyük devrimi tam
8:07
da bu sorunun cevabında gizlidir. Bu
8:09
kaynak incelememizde bana eşlik
8:11
ettiğiniz için teşekkürler. Bir
8:12
sonrakinde görüşmek üzere.
Jobs & Education