AYT Mantık Mantığa Giriş Konu Anlatımı

Mantığa Giriş

Mantık; doğru düşünmenin ve geçerli akıl yürütmenin biçimsel kurallarını inceleyen disiplindir. Mantık, bir düşüncenin yalnızca içeriğine değil, öncüller ile sonuç arasındaki ilişkinin yapısına da odaklanır.

AYT Felsefe Grubu’nda Mantığa Giriş konusu; mantığın tanımı, konusu, tarihsel gelişimi, düşünme-dil-mantık ilişkisi, aklın temel ilkeleri, kavram ve terim, önerme, çıkarım, doğruluk-geçerlilik ayrımı ve temel mantıksal değerlendirmeler üzerinden ele alınır.

Mantık Nedir?

Mantık, akıl yürütmelerin biçimini ve geçerlilik koşullarını inceleyen disiplindir.

Mantığın temel soruları:

• Bir çıkarım geçerli midir?
• Sonuç öncüllerden zorunlu olarak çıkar mı?
• Bir düşünce kendi içinde tutarlı mıdır?
• Kullanılan kavramlar açık mıdır?
• İfadeler birbiriyle çelişiyor mu?

Mantığın Konusu

Mantık özellikle:

• kavramlar,
• önermeler,
• çıkarımlar,
• akıl yürütme biçimleri,
• geçerlilik,
• tutarlılık,
• çelişki

üzerinde durur.

Mantık ve Doğru Düşünme

Gündelik dilde “mantıklı düşünme” çoğu zaman makul ve tutarlı düşünme anlamında kullanılır.

Mantık biliminde ise daha teknik biçimde:

• öncüller,
• sonuç,
• çıkarım biçimi,
• geçerlilik

incelenir.

Mantığın Tarihsel Gelişimi

Mantıksal düşünme çok eski olmakla birlikte mantığın sistemli bir disiplin hâline gelmesinde Aristoteles’in özel bir yeri vardır.

Aristoteles

Aristoteles, klasik mantığın sistemli kurucusu olarak kabul edilir.

Mantık üzerine eserleri daha sonra “Organon” adı altında bir araya getirilmiştir.

Aristoteles özellikle:

• kavram,
• önerme,
• kıyas

üzerinde durmuş ve tümdengelimsel akıl yürütmenin biçimlerini sistemleştirmiştir.

Stoacılar

Stoacı düşünürler özellikle önermeler arasındaki ilişkiler ve koşullu çıkarımlar üzerinde çalışmışlardır.

Bu çalışmalar modern önermeler mantığının tarihsel öncülleri arasında değerlendirilir.

Leibniz

Leibniz, düşünmenin sembollerle ifade edilebileceği evrensel bir mantık dili fikrini geliştirmiştir.

Bu yönüyle sembolik mantığın tarihsel gelişimine katkı sağlamıştır.

George Boole

Boole, mantıksal işlemleri cebirsel yapılarla ifade ederek modern sembolik mantığın gelişimine önemli katkı sağlamıştır.

Gottlob Frege

Frege, modern mantığın gelişiminde merkezi isimlerden biridir.

Niceleme ve modern biçimsel mantığın gelişmesine önemli katkılar yapmıştır.

Mantık, Düşünme ve Dil

Düşünceler çoğu zaman dil aracılığıyla ifade edilir.

Mantık açısından dil önemlidir çünkü:

• kavramlar terimlerle,
• yargılar önermelerle,
• çıkarımlar cümleler arasındaki ilişkilerle

ifade edilir.

Ancak doğal dil bazen:

• çok anlamlı,
• belirsiz,
• duygusal,
• bağlama bağımlı

olabilir.

Bu nedenle mantık, gerektiğinde sembolik dil kullanır.

Doğal Dil ve Sembolik Dil

Doğal dil: gündelik yaşamda kullanılan Türkçe, İngilizce gibi dillerdir.

Sembolik dil: mantıksal yapıyı daha açık göstermek için özel işaretlerin kullanıldığı dildir.

Sembolik dilin amacı:

• belirsizliği azaltmak,
• biçimi görünür kılmak,
• çıkarımları denetlemeyi kolaylaştırmaktır.

Aklın Temel İlkeleri

Mantıkta düşünmenin temelinde bazı ilkeler bulunur.

Başlıca ilkeler:

• özdeşlik,
• çelişmezlik,
• üçüncü hâlin imkânsızlığı,
• yeter sebep.

Özdeşlik İlkesi

Bir şey ne ise odur.

Klasik gösterim: A, A’dır.

Bir kavram akıl yürütme boyunca aynı anlamda kullanılmalıdır.

Çelişmezlik İlkesi

Bir önerme aynı zamanda, aynı koşullarda ve aynı anlamda hem doğru hem yanlış olamaz.

Başka deyişle:

A ile A’nın değili aynı koşullarda birlikte doğru olamaz.

Üçüncü Hâlin İmkânsızlığı İlkesi

Klasik iki değerli mantıkta bir önerme ya doğrudur ya yanlıştır; üçüncü bir doğruluk değeri kabul edilmez.

Yeter Sebep İlkesi

Her yargının, olayın veya kabulün yeterli bir gerekçeye dayanması gerektiği düşüncesidir.

Leibniz ile özellikle ilişkilendirilir.

Kavram

Kavram, nesne veya varlıkların ortak özelliklerini zihinde temsil eden genel tasarımdır.

Örnek:

• insan,
• üçgen,
• şehir,
• adalet.

Kavram tek başına doğru veya yanlış değildir.

Terim

Terim, bir kavramın dildeki ifadesidir.

Örneğin:

“insan” sözcüğü bir terimdir ve insan kavramını ifade eder.

Kavramın İçlemi ve Kaplamı

İçlem: kavramın içerdiği özellikler.

Kaplam: kavramın kapsadığı varlıklar kümesi.

Genellikle içlem arttıkça kaplam daralır.

Tanım

Tanım, bir kavramın anlamını açık ve ayırt edici biçimde belirtme işlemidir.

İyi bir tanım:

• açık olmalı,
• belirsiz olmamalı,
• tanımlananı gereğinden geniş veya dar kapsamamalı,
• mümkün olduğunca döngüsel olmamalıdır.

Önerme

Önerme, doğru veya yanlış olabilen yargı bildiren cümledir.

Örnek:

“Ankara Türkiye’nin başkentidir.”

Bu ifade doğruluk değeri taşıdığı için önermedir.

Önerme Olmayan İfadeler

Her cümle önerme değildir.

Önerme olmayanlara örnek:

• sorular,
• emirler,
• dilekler,
• ünlemler.

Doğruluk Değeri

Klasik mantıkta önermeler:

• doğru,
• yanlış

doğruluk değerlerinden birini alır.

Çıkarım

Çıkarım, bir veya daha fazla önermeden başka bir önermeye ulaşma işlemidir.

Çıkarımda:

• başlangıç önermeleri → öncüller,
• ulaşılan önerme → sonuç

olarak adlandırılır.

Öncül

Sonucu desteklemek için kullanılan başlangıç önermesidir.

Sonuç

Öncüllerden hareketle ulaşılan önermedir.

Tümdengelim

Tümdengelim, öncüllerin doğru kabul edilmesi durumunda sonucun zorunlu olarak çıktığı çıkarım biçimidir.

Geçerli bir tümdengelimde öncüllerin doğru, sonucun yanlış olması mümkün değildir.

Tümevarım

Tümevarım, gözlenen tekil durumlardan daha genel bir sonuca ulaşır.

Tümevarımsal sonuç:

• zorunlu değil,
• olasılıklıdır.

Analoji

Analoji, iki durum arasındaki benzerliklerden hareketle birinden diğeri hakkında sonuç çıkarma biçimidir.

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

Geçerlilik

Geçerlilik, bir çıkarımın biçimsel özelliğidir.

Geçerli tümdengelimsel çıkarımda:

öncüller doğruysa sonuç yanlış olamaz.

Doğruluk ve Geçerlilik Ayrımı

Doğruluk: tek tek önermelerin gerçeklikle ilişkisine aittir.

Geçerlilik: öncül-sonuç ilişkisinin biçimine aittir.

Geçerli Fakat Yanlış Öncüllü Çıkarım

Bir çıkarım biçimsel olarak geçerli olabilir fakat öncülleri yanlış olabilir.

Sağlam Çıkarım

Tümdengelimsel bir çıkarım:

• geçerli,
• öncülleri doğru

ise sağlam olarak adlandırılır.

Bu durumda sonucu da doğrudur.

Tutarlılık

Bir düşünce sistemi veya önerme kümesi kendi içinde çelişki barındırmıyorsa tutarlı kabul edilir.

Tutarlılık, bütün önermelerin gerçek dünyada doğru olmasıyla aynı şey değildir.

Çelişki

Bir önerme ile onun değili aynı koşullarda birlikte ileri sürülüyorsa çelişki ortaya çıkar.

Mantıksal Biçim

Mantık, cümlelerin içeriğini değiştirerek aynı çıkarım biçiminin korunup korunmadığını inceleyebilir.

Örnek biçim:

Bütün A’lar B’dir. C, A’dır. O hâlde C, B’dir.

Bu yapı farklı içeriklerle kullanılabilir.

Biçim ve İçerik Ayrımı

İçerik: önermelerin ne hakkında olduğu.

Biçim: önermelerin mantıksal yapısı ve birbirleriyle ilişkisi.

Mantık ve Bilimler

Mantık:

• matematikte,
• felsefede,
• bilimsel araştırmada,
• hukukta,
• bilgisayar bilimlerinde

akıl yürütmelerin değerlendirilmesine katkı sağlar.

Mantık tek başına deneysel bilgi üretmez; düşüncelerin düzenini ve çıkarım ilişkilerini denetler.

Mantık ve Matematik

Matematiksel kanıtlar mantıksal çıkarım kurallarından yoğun biçimde yararlanır.

Modern mantıkla matematik arasında güçlü ilişki vardır.

Mantık ve Bilgisayar Bilimleri

Dijital devreler, algoritmalar ve programlama dilleri mantıksal yapılarla ilişkilidir.

Boole mantığı özellikle bilgisayar bilimlerinin tarihsel gelişimi açısından önemlidir.

Safsata

Safsata, ilk bakışta ikna edici görünen fakat mantıksal açıdan hatalı olan akıl yürütmedir.

Safsatalar:

• biçimsel,
• içerik veya dil kullanımına bağlı

olabilir.

Mantığın Önemi

Mantık:

• tutarlı düşünmeye,
• kavramları açık kullanmaya,
• çıkarımları denetlemeye,
• çelişkileri fark etmeye,
• kanıtları değerlendirmeye,
• safsatalardan kaçınmaya

yardım eder.

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

Soru Çözerken Kullanılabilecek Yaklaşım

Temel İlke Sorusu

A, A’dır → özdeşlik A ve A-değili birlikte doğru olamaz → çelişmezlik A veya A-değili → üçüncü hâlin imkânsızlığı her yargı gerekçe ister → yeter sebep

Kavram Sorusu

zihinsel tasarım → kavram dildeki ifade → terim özellikler → içlem kapsanan bireyler → kaplam

Önerme-Çıkarım Sorusu

doğru/yanlış olabilir → önerme başlangıç ifadeleri → öncül ulaşılan ifade → sonuç doğru/yanlış → önerme geçerli/geçersiz → çıkarım

Konu Özeti

Mantık: doğru düşünmenin ve geçerli çıkarımın biçimsel kurallarını inceler.

Tarih: Aristoteles klasik mantığın sistemli kurucusudur; Boole ve Frege modern mantığın gelişiminde önemlidir.

Temel ilkeler: özdeşlik, çelişmezlik, üçüncü hâlin imkânsızlığı ve yeter sebep.

Temel birimler: kavram, terim, önerme, öncül, sonuç ve çıkarım.

Temel ayrım: doğruluk önermeye; geçerlilik çıkarıma aittir.