Mantık Özet

Mantık Özet WORD İndir
Mantık Özet PDF İndir

MANTIK DERSİ KAPSAMLI DERS NOTLARI

1. MANTIĞIN DOĞASI

1.1. Bilim Olarak Mantığın Neliği

• Mantığın Tanımı ve İşlevi: Mantık, doğru düşünmenin yani öncüllerden doğru sonuçlara ulaşabilmenin yöntemini veren ve zihni hataya düşmekten koruyan formel bir bilimdir. Aristoteles döneminde mantık bir "alet" (organon) olarak nitelendirilmiştir.
• Formel Dil ve Sembolik Yapı: Mantığın bir alet olarak işlev görebilmesi için konuşma dilinin içeriklerinden (anlamlarından) arındırılmış, yapay ve sembolik bir dile (formel dile) ihtiyacı vardır. Tıpkı dil bilgisi kurallarının cümlenin nasıl kurulacağını belirlemesi gibi, mantık da doğru düşünmenin kurallarını formel bir dille ortaya koyar.
• Filozofların Mantık Tanımları:
• Aristoteles: Mantık tek başına bir amaç değil, doğru bilgiye ulaşmak isteyen zihnin kullandığı bir araçtır. Düşüncenin içeriğinden çok biçimsel yapısıyla (formuyla) ilgilenir.
• Farabi: Mantığı dil bilgisine (gramere) benzetir. Dil bilgisi dilde hatasız konuşmayı sağlarken, mantık aklı doğru kullanmayı sağlayan bir "zihin grameri"dir.
• Bertrand Russell: Mantık, matematiğin özü ve temelidir. Günlük dilin çok anlamlılığından uzak, semboller aracılığıyla yapılan bir analiz yöntemidir.
• Necati Öner: Mantık, düşüncenin işleyişini konu edinen bağımsız bir bilimdir; insan zihnini gerçeğe ulaştıran düşünme işlemlerinin bilgisidir.
• Teo Grünberg: Mantık, içerikten tamamen arındırılmış formel bir sistemdir; önermelerin doğruluğuyla değil, aralarındaki tutarlılık ve çıkarımların geçerliliği ile ilgilenen bir denetleme bilimidir.

1.2. Mantığın Tarihsel Gelişiminin Temel Evreleri

Mantığın tarihsel gelişim süreci beş ana dönemde incelenmektedir:

1. Antik Yunan Dönemi: Mantığın bir disiplin olarak kurulması Aristoteles’in Organon adlı eseriyle gerçekleşmiştir. Aristoteles'ten önce Elea okulu (Parmenides, Zenon) ve Sofistler mantık çalışmalarına hazırlık yapmışlardır. Stoacılar ise mantığı metafizikten ayırıp şekilsel hâle getirmeye çalışmıştır.
2. Orta Çağ Dönemi: Antik Yunan mirası İslam dünyasına çeviriler yoluyla aktarılmıştır. Farabi mantığı sistemleştirmiş ("Muallimi Sani" unvanını almıştır), İbni Sina ise Aristoteles'i savunarak mantığı "bilinenden bilinmeyene ulaşma yöntemi" olarak geliştirmiştir. Batı'da ise skolastik düşüncede inancı akılla temellendirmek için kullanılmıştır.
3. Yeni Çağ Dönemi: Rönesans'la birlikte doğa bilimlerindeki gelişmeler Aristoteles mantığının (kıyas yönteminin) yetersiz kalmasına yol açmıştır. Francis Bacon tümevarım yöntemini savunurken, René Descartes açık ve seçik düşünmeye dayalı analitik bir yöntem arayışına girmiştir.
4. Aydınlanma Çağı Dönemi: Matematik mantık için model alınmıştır. Leibniz, mantığı matematiksel bir dile dönüştürerek evrensel bir akıl dili kurmayı amaçlamıştır.
5. 19. Yüzyıldan Günümüze (Modern Dönem): Sembolik mantık çalışmaları George Boole, Augustus De Morgan, Stanley Jevons, Gottlob Frege, Bertrand Russell ve Alfred North Whitehead ile gelişmiştir. Günümüzde mantık; bilgisayar bilimleri, algoritmalar ve yapay zekâ teknolojilerinin temel yapı taşıdır.

1.3. Mantığın Temel Kavramsal Çerçevesi

• Dil ve Düşünce İlişkisi: Düşünce dilin kaynağı, dil ise düşüncenin kalıbı ve taşıyıcısıdır. Mantık, dil ile düşünce arasındaki tutarlı ilişkiyi denetler.
• Temel Birimler:
• Tümce: İletişimin ve düşüncenin dışa vurumundaki en temel birimdir.
• Yargı: Zihnin iki kavram arasında bağ kurarak onaylama veya reddetme kararı vermesidir.
• Önerme: Bir yargı bildiren ve bu sayede doğru ya da yanlış değeri alabilen cümlelerdir (mantığın temel taşı).
• Çıkarım (Akıl Yürütme): Bilinen gerçeklerden yola çıkarak zihnin zorunlu olarak yeni bir bilgiye (sonuca) ulaşmasıdır.

2. ARİSTOTELESÇİ MANTIK

2.1. Aristotelesçi Mantıkta Kavram ve Terim

• Kavram ve Terim: Çeşitli nesnelerin zihindeki tasarımı kavram; bu tasarımların dil aracılığıyla ifade edilmesi ise terimdir. Bağlaçlar ve soru sözcükleri tek başlarına terim sayılmaz; terimler önermelerde özne veya yüklem olabilen ifadelerdir.
• Terim Çeşitleri:
• Somut / Soyut Terim: Duyuyla algılanabilen veya zihinle kavranabilen varlıkları (somut) ile nitelik veya ortak özellikleri (soyut) temsil eder.
• Tekil / Tümel / Tikel Terim: Tek bir bireyi (tekil), bir türün tüm bireylerini (tümel) veya bir kısmını (tikel) ifade eden terimlerdir.
• Kolektif / Distribütif Terim: Bireyler grubunu bir bütün olarak (kolektif) ya da o gruptaki bireylerin her biri için ayrı ayrı (distribütif) geçerli olan terimlerdir.
• Olumlu / Olumsuz Terim: Nitelik varsa olumlu, yoksa olumsuzdur.
• İçlem ve Kaplam:
• Kaplam: Bir kavramın içine aldığı nesneler kümesidir.
• İçlem: Bir kavramın kapsadığı elemanların ortak özellikleridir (anlamıdır).
• Ters Orantı: Kaplam çoğaldıkça içlem azalır, içlem çoğaldıkça kaplam azalır.
• Beş Tümel (Porphyrios Ağacı): Porphyrios tarafından sınıflandırılan beş tümel şunlardır: Cins, tür, ayrım, özgülük ve ilinti.

2.2. Aristotelesçi Mantıkta Önerme

• Önermenin Yapısı: Önerme, iki ya da daha fazla terimin bağlarla bağlanarak doğruluk değeri kazandığı yargı bildiren cümlelerdir. Özne, yüklem ve bağdan oluşur.
• Önerme Çeşitleri:
• Yapısına Göre: Basit önermeler ve basit olmayan (bileşik) önermeler.
• Niteliklerine Göre: Olumlu ve olumsuz önermeler.
• Niceliklerine Göre: Tümel, tikel ve tekil önermeler.
• Önermeler Arası İlişkiler (Karşı Olum Karesi): Kategorik önermelerin doğruluk ilişkileri üst karşıtlık (A-E), alt karşıtlık (I-O), altıklık (A-I, E-O) ve çelişiklik (A-O, E-I) ilişkileriyle incelenir.

2.3. Aristotelesçi Mantıkta Çıkarım

• Çıkarımın Tanımı: Mevcut verilerden veya öncüllerden yola çıkarak yeni bir sonuca varma işlemidir.
• Kıyas (Sillojizim): Dolaylı çıkarımın en temel biçimidir; iki öncülden bir sonuç elde etme işlemidir.
• Kıyasın Yapısı:
• Büyük Terim (P): Sonuç önermesinin yüklemidir.
• Küçük Terim (S): Sonuç önermesinin öznesidir.
• Orta Terim (M): Her iki öncülde geçen, köprü kuran ancak sonuçta yer almayan terimdir.
• Doğrudan Çıkarımlar: Karşı olum çıkarımları ve eş değerlik çıkarımları (düz döndürme ve ters döndürme) olarak incelenir.

3. SEMBOLİK MANTIK

3.1. Sembolik Mantığın Ayırt Edici Özellikleri ve Önemi

• Gelişimi: 19. yüzyılın sonlarından itibaren George Boole, Gottlob Frege, Alfred North Whitehead ve Bertrand Russell gibi matematikçi-mantıkçılar tarafından geliştirilmiştir.
• Temel Özellikleri: Konuşma dilinin belirsizliklerinden arındırılmış yapay, içeriksiz ve formel bir dildir. Karmaşık akıl yürütmelerin denetlenmesini kolaylaştırır; bilgisayar yazılımları, algoritmalar ve yapay zekânın temel altyapısını oluşturur.

3.2. Eklemler Mantığı

• Önerme Eklemleri ve Sembolleri:
• Değilleme (Değil): ∼\sim∼
• Tümel Evetleme (Ve): ∧\wedge∧
• Tikel Evetleme (Veya): ∨\vee∨
• Koşul (İse):   ⟹  \implies⟹
• Karşılıklı Koşul (Ancak ve Ancak):   ⟺  \iff⟺
• Doğruluk Değeri Tabloları: Bileşik bir önermenin basit bileşenlerinin alabileceği tüm doğru (D) ve yanlış (Y) kombinasyonlarına göre sonucun ne olacağını gösteren analiz şemalarıdır.
• Tutarlılık ve Geçerlilik Denetimi: Doğruluk tabloları yardımıyla önermelerin tutarlılığı (en az bir doğru yorum alması), geçerliliği (tüm yorumlarının doğru olması - totoloji) ve çıkarımların geçerliliği denetlenir.

3.3. Niceleme / Yüklemler Mantığı

• Ortaya Çıkış Nedeni: Önermeler mantığındaki "p,qp, qp,q" gibi harfler önermenin iç yapısını, özne-yüklem ilişkisini ve nicelik farklarını ("bütün" / "bazı") yansıtmada yetersiz kaldığı için niceleme mantığı doğmuştur.
• Temel Semboller:
• Tümlük (Her / Bütün): ∀\forall∀
• Tikellik (Bazı): ∃\exists∃
• Özne ve yüklemler değişkenlerle (x,yx, yx,y) ve yüklem harfleriyle (F,GF, GF,G) ifade edilir (Örn: ∀x(Fx  ⟹  Gx)\forall x (Fx \implies Gx)∀x(Fx⟹Gx)).

4. MANTIK ÇEŞİTLERİ VE UYGULAMALARI

4.1. Mantığın Uygulama Alanları

• Mantık yalnızca teorik bir disiplin değil; felsefe, matematik, fizik, kimya, biyoloji, psikoloji, tarih, hukuk ve teknoloji gibi pek çok alanda düşünceyi sistematik hâle getiren evrensel bir araçtır. Bilgisayar sistemleri ve yapay zekâ tamamen mantık ilkelerine dayanır.

4.2. Mantık Çeşitleri

Çağın ihtiyaçlarına göre mantık türleri çeşitlenmiştir:

• İnformel Mantık: Günlük dildeki argümanları ve doğal dildeki çıkarımların tutarlılığını inceler.
• Abdüktif (Geri Çıkarımsal) Mantık: Gözlemlerden yola çıkarak en makul ve açıklayıcı olası sonucu bulmayı amaçlar (tıbbi teşhisler, dedektiflik).
• Soru-Cevap Mantığı (Jaakko Hintikka): Bilgi edinme sürecini soru ve cevaplar üzerinden yapılandırır.
• Tutarlılık Ötesi (Parakonsistent) Mantık: Çelişkili önermelerin sistemi geçersiz kılmasına yol açmadan işlemeye devam etmesini sağlar.
• Bulanık Mantık (Fuzzy Logic): Doğruluk değerini dereceli olarak ele alır (0 ile 1 arasında ara değerler; örn: %60 ılık, %40 sıcak). Yapay zekâ ve ev aletlerinde kullanılır.
• Temporal (Zamanlı) Mantık: Önermelerin zaman içindeki ("her zaman", "gelecekte") doğruluklarını inceler.

4.3. Mantığın Günlük Hayattaki Yeri

• Paradokslar: Herkes tarafından kabul görmüş bir düşünceyle çelişen, doğru kabul edildiğinde yanlış çıkan döngüsel çelişkilerdir (Örn: Yalancı Paradoksu, Berber Paradoksu).
• Dilemmalar (İkilemler): Kişinin karşısına çıkan iki seçeneğin de benzer olumsuz sonuca götürdüğü akıl yürütme biçimleridir.
• Safsatalar: Biçimsel olarak doğruya benzer görünen ancak akıl yürütme açısından hatalı olan aldatıcı düşünme biçimleridir.

Diğer derslerin özet notları için  dersmateryalleri.com/ders-notlari adresini ziyaret ediniz.