Mantığın Doğası
Mantığın doğası SUNU İndir
Mantığın doğası PDF İndir

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

Felsefe Oku

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. 

Aristotelesçi Mantık
Aristotelesçi mantık SUNU İndir
Aristotelesçi mantık PDF İndir

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. 

Sembolik Mantık
Sembolik mantık SUNU İndir
Sembolik mantık PDF İndir

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): ∼\∼
• Tümel Evetleme (Ve): ∧\∧
• Tikel Evetleme (Veya): ∨\∨
• Koşul (İse):   ⟹  \⟹
• Karşılıklı Koşul (Ancak ve Ancak):   ⟺  \⟺
• 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.

Mantık Çeşitleri ve Uygulamaları
Mantık çeşitleri ve uygulamaları SUNU İndir
Mantık çeşitleri ve uygulamaları PDF İndir

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.