AYT Mantık Mantığa Giriş Ders Notu

Mantığa Giriş – Ders Notu

Mantık

Mantık: doğru düşünmenin ve geçerli akıl yürütmenin biçimsel kurallarını inceler.

Mantığın Tarihi

Aristoteles:

• klasik mantık
• kıyas
• Organon

Stoacılar: önermeler arasındaki ilişkiler.

Leibniz: sembolik mantık fikrine katkı.

Boole: mantığın cebirsel gösterimi.

Frege: modern biçimsel mantık.

Düşünme, Dil ve Mantık

Düşünce: zihinsel içerik.

Dil: düşüncenin ifade aracı.

Mantık: düşünceler arasındaki geçerli ilişkileri inceler.

Sembolik dil: belirsizliği azaltır ve mantıksal biçimi görünür kılar.

Aklın Temel İlkeleri

Özdeşlik: A, A’dır.

Çelişmezlik: A ve A-değili aynı koşullarda birlikte doğru olamaz.

Üçüncü hâlin imkânsızlığı: A veya A-değili.

Yeter sebep: yargıların yeterli gerekçesi bulunmalıdır.

Kavram ve Terim

Kavram: zihinsel tasarım.

Terim: kavramın dildeki ifadesi.

İçlem: kavramın özellikleri.

Kaplam: kavramın kapsadığı varlıklar.

Genel ilişki: içlem arttıkça kaplam daralabilir.

Tanım

İyi tanım:

• açık
• anlaşılır
• gereğinden geniş veya dar olmayan
• döngüsel olmayan

bir açıklama olmalıdır.

Önerme

Doğru veya yanlış olabilen yargı cümlesidir.

Önerme olmayanlar:

• soru
• emir
• dilek
• ünlem

Çıkarım

Öncül: başlangıç önermesi.

Sonuç: öncüllerden ulaşılan önerme.

Tümdengelim

Öncüller doğruysa sonuç zorunlu olarak çıkar.

Tümevarım

Tekil örneklerden genel sonuca gider.

Sonuç olasılıklıdır.

Analoji

Benzerliklerden hareketle sonuç çıkarır.

Sonuç genellikle olasılıklıdır.

Doğruluk ve Geçerlilik

Doğruluk: önermenin özelliği.

Geçerlilik: çıkarımın özelliği.

Bir çıkarım geçerli olup yanlış öncüllere sahip olabilir.

Sağlam Çıkarım

Geçerli çıkarım + doğru öncüller.

Tutarlılık

Bir önerme kümesinin kendi içinde çelişki taşımamasıdır.

Safsata

İkna edici görünmesine rağmen mantıksal hata içeren akıl yürütmedir.

Sık Karıştırılan Noktalar

• Aristoteles → klasik mantık.
• Özdeşlik → A, A’dır.
• Çelişmezlik → birlikte doğru olamaz.
• Üçüncü hâl → A veya A-değili.
• Kavram → zihinsel.
• Terim → dilsel.
• Önerme → doğru/yanlış.
• Doğruluk → önerme.
• Geçerlilik → çıkarım.
• Tümdengelim → zorunlu.
• Tümevarım → olasılıklı.
• Sağlam → geçerli + doğru öncül.
• Tutarlılık → çelişki yok.

Mantığa Giriş Kısa Özeti

Mantık, düşüncelerin biçimsel doğruluğunu ve çıkarımların geçerliliğini inceler. Klasik mantığın sistemli kurucusu Aristoteles’tir. Aklın temel ilkeleri özdeşlik, çelişmezlik, üçüncü hâlin imkânsızlığı ve yeter sebeptir. Doğruluk önermeye, geçerlilik çıkarıma aittir.