Mantığa Giriş ve Klasik Mantığın Temelleri

AYT Felsefe Grubu testi 12 sorudan oluşur ve bu soruların yaklaşık 1-2 tanesi mantık ünitesinden gelir. Sayısal ağırlıklı bir alan değildir; ancak doğru çalışıldığında en istikrarlı net üreten başlıklardan biridir. Konunun büyük kısmı tanımsal ve örnek tabanlıdır, sınav sorularında karşılaşılan kalıplar yıllar içinde belirgin biçimde tekrar etmektedir.

Mantık, felsefe grubunun ilk üç ünitesinden (psikoloji, sosyoloji, mantık) en geç işlenen ama puan getirisi en hesaplanabilir olanıdır. Soru kalıbı çoğunlukla şu üç eksende gezinir: akıl ilkelerinden hangisinin örneği verildiği, tümevarım-tümdengelim-analoji ayrımı, kavramlar arası ilişki ve içlem-kaplam ters orantısı. 2023 sınavında doğrudan akıl ilkeleri sorulmuş, 2022 ve 2021 sınavlarında ise önerme türleri ile ilgili yorum soruları çıkmıştır.

Bu Konuda İşlenecek Başlıklar

• Mantığa giriş: Tanım, "logos" kavramı, biçim-içerik ayrımı.
• Tarihsel gelişim: Aristoteles, Farabi, Bacon, Mill, Frege, Russell-Whitehead.
• Doğru düşünmenin koşulları: Tutarlılık, geçerlilik, doğruluk.
• Aklın temel ilkeleri: Özdeşlik, çelişmezlik, üçüncü halin imkânsızlığı, yeter sebep.
• Akıl yürütme türleri: Tümdengelim, tümevarım, analoji.
• Klasik mantık 1: Kavram, terim, kavram çeşitleri, beş tümel, içlem-kaplam.
• Tanım ve önerme: Tanım kuralları, önerme türleri (A-E-I-O).

Mantık, doğru düşünmenin ve akıl yürütmenin ilke ve kurallarını inceleyen normatif bir disiplindir. Sözcüğün kökeni Yunanca logos'tur; söz, akıl, düşünce ve yasa anlamlarını birlikte taşır. Burada normatif kelimesi kural koyucu demektir: mantık betimleyici bir bilim değildir, "doğru düşünme nasıl olmalıdır" sorusuna kural koyar.

Mantık Biçimle İlgilenir, İçerikle Değil

Mantığın en temel ayırt edici özelliği, akıl yürütmenin içeriğiyle değil biçimiyle ilgilenmesidir. Bir başka ifadeyle, öncüllerin gerçek dünyada doğru olup olmadığı mantık açısından ikinci sıradadır; öncüllerden çıkarılan sonucun, öncüllerin yapısından zorunlu olarak çıkıp çıkmadığı birinci sıradadır. Bu yüzden öncüllerin tamamı yanlış olsa bile bir akıl yürütme biçimsel olarak geçerli sayılabilir.

Klasik bir örnekle açıklamak gerekirse: "Tüm dört ayaklılar etle beslenir. Tavşan dört ayaklıdır. Öyleyse tavşan da etle beslenir." Bu çıkarımın içeriği gerçeklikle uyuşmaz; tavşan etle beslenmez. Ne var ki çıkarımın biçimi kusursuz bir kıyastır: birinci öncüldeki "tüm dört ayaklılar" kümesi etle beslenenler kümesini içermektedir, tavşan da bu kümede yer aldığından sonuç biçimsel olarak öncüllerden zorunlu çıkar. Mantık bu bakışla ilgilenir; fizik veya biyolojiye ait içerik doğruluğu mantığın değil, ilgili özel bilimin sorumluluğundadır.

Mantığın Komşu Disiplinlerden Farkı

• Mantık ve felsefe: Mantık tarihsel olarak felsefenin içinden doğmuştur; bugün de filozoflar görüş geliştirirken mantığın kurallarına başvurur. Felsefe doğru-yanlış değil tutarlı-tutarsız ekseninde işlerken, mantık geçerlilik ölçütünü ortaya koyar.
• Mantık ve psikoloji: Psikoloji insanın nasıl düşündüğünü betimler (deneysel, açıklayıcı). Mantık ise insanın nasıl düşünmesi gerektiğini belirler (normatif, kural koyucu).
• Mantık ve matematik: İkisi de formel bilimdir; konuları doğada değil zihindedir. Matematik, ispatlarını yaparken mantığın kurallarından yararlanır.
• Mantık ve bilim: Bilimsel araştırma sürecinde verilerin sınıflandırılması, hipotezin sınanması ve sonuca varılması mantıksal akıl yürütme olmadan mümkün değildir.

Mantığın tarihsel serüveni, antik Yunan'da bir disiplin olarak kurulmasından başlayıp 20. yüzyılda matematiksel-sembolik bir araç hâline gelmesine uzanan uzun bir çizgidir. Bu çizgide birkaç dönüm noktası AYT açısından kritik öneme sahiptir.

Klasik Dönem: Aristoteles ve Organon

Aristoteles (MÖ 384-322), mantığı sistemli bir disiplin olarak kurmuş ilk düşünürdür. Mantığın "babası" olarak anılır. Mantığa dair çalışmaları sonradan Organon ("alet, araç" anlamında) adı altında derlenmiştir. Organon altı temel kitaptan oluşur: Kategoriler, Önermeler Üzerine, Birinci Analitikler, İkinci Analitikler, Topikler ve Sofistik Çürütmeler. Aristoteles mantığa klasik mantık ya da iki değerli mantık denir; çünkü her önermeyi ya doğru ya yanlış kabul eder, üçüncü bir değer tanımaz.

Aristoteles bu eserlerde tümdengelim yöntemini, kıyas formlarını, kavramların sınıflandırılmasını ve önerme yapılarını ortaya koymuştur. Tümdengelimi en mükemmel akıl yürütme yöntemi olarak tanımlamış, kıyası mantığın temel inceleme alanı yapmıştır. Klasik mantığın inceleme alanı kısaca üç ana başlıkta toplanır: kavram, önerme, kıyas.

İslam Dünyasında Mantık: Farabi

Farabi (870-950), İslam dünyasında Aristoteles mantığını yorumlayıp aktaran ve özgün katkılar sunan en önemli isimdir. "İkinci Öğretmen" (el-Muallim es-Sani) sıfatıyla anılır — Birinci Öğretmen Aristoteles'tir. Farabi, mantığın diğer bilimlerin yöntemi olduğunu vurgulamış ve İslam felsefesinde mantığın kurucu figürü hâline gelmiştir.

Modern Dönem: Bacon, Mill ve Tümevarım Mantığı

Francis Bacon (1561-1626) klasik tümdengelimi yetersiz bularak Novum Organum ("Yeni Organon") adlı eserinde tümevarımı bilimsel araştırmanın temel yöntemi yapmıştır. Bacon'a göre bilimin gelişmesi için tek tek doğa olaylarının gözlenmesi ve genel yasaların buradan çıkarılması gerekir; tümdengelim yeni bilgi üretmez. Bu yaklaşım modern bilim yönteminin temel taşıdır.

John Stuart Mill (1806-1873) tümevarım mantığını Mantık Sistemi adlı eserinde sistemleştirmiştir. Mill'in beş yöntemi bilimsel araştırmada neden-sonuç ilişkilerini bulmaya yarar: uyma yöntemi, ayırma yöntemi, uyma-ayırma yöntemi, kalıntılar yöntemi, birlikte değişme yöntemi.

Çağdaş Dönem: Sembolik Mantığın Doğuşu

19. yüzyılın sonu ile 20. yüzyılın başı, mantık tarihinin en köklü dönüşümüne sahne olmuştur. Bu dönüşümün kilit ismi Gottlob Frege'dir (1848-1925). Frege, dilin gündelik belirsizliklerinden arındırılmış sembolik bir mantık geliştirmiş, mantığı matematiğe yaklaştırmıştır. Begriffsschrift (1879, "Kavram Yazısı") adlı eseri modern sembolik mantığın doğum belgesi sayılır.

Frege'nin programını sürdüren Bertrand Russell (1872-1970) ve Alfred North Whitehead (1861-1947) birlikte yazdıkları Principia Mathematica (1910-1913, "Matematiğin İlkeleri") eserinde matematiğin tamamının mantıksal aksiyomlardan türetilebileceğini savunmuşlardır. Bu yaklaşıma logisizm denir. 1847'de Augustus De Morgan ve aynı dönemde George Boole'un cebirsel mantık çalışmaları da çağdaş mantığın temellerini hazırlayan halkalardandır.

Mantığın merkezi sorusu "Doğru düşünmek nedir?" sorusudur. Bu soruya cevap verirken üç farklı kavram birbirinden ayrılır: tutarlılık, geçerlilik ve doğruluk. Üçü de "doğru düşünme"yi ifade eder gibi görünür; ancak teknik anlamları farklıdır.

Tutarlılık (Çelişkisizlik)

Bir akıl yürütmenin yargılarının kendi içinde çelişmemesi durumudur. Aynı kişinin "Yardım severim" demesi ve karşılaştığı yardıma muhtaç biri için yardım etmesi tutarlı bir davranıştır; "yardım severim" deyip yardım etmemesi tutarsızdır. Tutarlılık, önermelerin birbiriyle uyumlu olmasıyla ilgilidir; gerçeklikle uyumdan farklıdır.

Geçerlilik

Bir akıl yürütmenin sonucunun, öncüllerinden zorunlu olarak çıkması durumudur. Geçerlilik biçimseldir; öncüllerin gerçeklikteki doğruluğu işin içine girmez. Sonuç öncüllerden zorunlu çıkıyorsa kıyas geçerli, çıkmıyorsa geçersizdir. "Bütün üniversite adayları lise mezunudur. Cemre üniversite adayıdır. Öyleyse Cemre lise mezunudur." Bu kıyas geçerlidir; sonuç öncüllerden zorunlu çıkar. "Bütün öğrenciler insandır. Melisa öğrencidir. Öyleyse Melisa pilottur." Bu kıyas geçersizdir; pilotluk öncüllerde geçmediğinden sonuç biçimsel olarak çıkmaz.

Doğruluk

Bir önermenin gerçeklikle uyumudur. "Ankara, Türkiye'nin başkentidir" önermesi gerçeklikle uyumlu olduğu için doğrudur; "İstanbul, Türkiye'nin başkentidir" önermesi yanlıştır. Mantık doğruluğu doğrudan ele almaz; ancak öncüllerin doğruluğunu varsayan akıl yürütmelerin geçerliliğini sınar.

Üç Kavramın Birlikte Çalışması

Bu üç kavram birbirini gerektirmez. Şöyle bir tablo durum daha net görmemizi sağlar:

Doğruluk Değeri Nedir?

Bir önermenin doğru ya da yanlış olabilme özelliğine doğruluk değeri denir. Doğruluk değeri "doğru olması" anlamına gelmez; bir önermenin doğru ya da yanlış olarak değerlendirilebilmesi anlamına gelir. Klasik mantık iki değerlidir: bir önerme ya doğrudur ya yanlıştır, üçüncü bir değer yoktur.

Doğruluk değeri iki türlü ayrımla incelenir: bilgi doğrusu (deney ve gözlemle ispatlanan; örnek: "Su 100 °C'de kaynar") ve mantık doğrusu (akıl yürütmeyle ulaşılan, deneye gerek olmayan; örnek: "Üçgenin üç açısı vardır"). Mantığın asıl konusu mantık doğrularıdır.

Aristoteles, Organon'da klasik mantığın üç temel ilkesini ortaya koymuştur: özdeşlik, çelişmezlik, üçüncü halin imkânsızlığı. 17. yüzyılda Gottfried Wilhelm Leibniz bu üç ilkeye dördüncüsünü eklemiştir: yeter sebep ilkesi. Bu dört ilke, klasik mantığın üzerinde yükseldiği temel sütunlardır ve AYT'de mantık ünitesinden gelen soruların büyük çoğunluğu bu ilkelerle ilgilidir.

1. Özdeşlik İlkesi

"Bir şey neyse odur." Bir varlık kendisiyle aynıdır; A, A'dır. "Kalem kalemdir", "İnsan insandır", "Üçgen üçgendir" önermeleri özdeşlik ilkesinin örnekleridir. Buradaki kritik nokta şudur: özdeşlik, eşitlik veya benzerlikle karıştırılmamalıdır. İki kalemin aynı fabrikadan çıkmış olması, onları benzer yapar; ama özdeş yapmaz. Tek yumurta ikizleri %95 oranında birbirine benzese de özdeş değildir; her biri kendisiyle özdeştir, diğerine sadece benzerdir.

Anahtar kelime: "kendisiyle aynıdır", "neyse odur".

2. Çelişmezlik İlkesi

"Bir şey aynı anda hem kendisi hem de kendisi olmayan olamaz." A, aynı zamanda hem A hem de A-olmayan değildir. "Bir insan aynı anda hem ölümlü hem ölümsüz olamaz", "Bir öğrenci aynı anda hem tembel hem çalışkan olamaz", "Bir önerme aynı anda hem doğru hem yanlış olamaz". Buradaki "aynı anda, aynı koşullarda" ifadesi önemlidir; farklı zamanlarda aynı kişi tembel ya da çalışkan olabilir.

Anahtar kelime: "hem … hem …" kalıbı çelişmezlik ilkesini işaret eder.

3. Üçüncü Halin İmkânsızlığı İlkesi

"Bir önerme ya doğrudur ya yanlıştır; üçüncü bir seçenek yoktur." A ya A'dır ya da A-olmayandır; iki seçenek arasında üçüncü bir konum mümkün değildir. "İnsan ya ölümlüdür ya ölümsüzdür", "Yarışmayı ya kazanırsın ya kaybedersin", "Ya bu deveyi gütmek ya bu diyardan gitmek".

Anahtar kelime: "ya … ya …" kalıbı üçüncü halin imkânsızlığı ilkesini işaret eder.

4. Yeter Sebep İlkesi

"Yeterli bir sebep olmadıkça hiçbir şey var olamaz." Her olay ve varlık yeterli bir nedene dayanır; nedensiz hiçbir şey ortaya çıkmaz. "Havanın aydınlanmasının nedeni güneşin doğmasıdır", "Ateşin elimizi yakmasının nedeni ateşin yakıcı olmasıdır", "Yerlerin ıslanmasının nedeni yağmurun yağmasıdır". Leibniz bu ilkeyi özellikle modern bilim ve metafiziğin temel direği olarak görmüştür.

Anahtar kelime: "neden", "sebep", "çünkü" vurgusu yeter sebep ilkesini işaret eder.

Akıl yürütme, zihnin elindeki bilinen önermelerden hareketle bilinmeyen yeni bir yargıya ulaşma işlemidir. Klasik mantıkta üç temel akıl yürütme türü incelenir: tümdengelim, tümevarım, analoji. Üçü de "öncüllerden sonuç çıkarma" işine yarar; ne var ki kesinlik dereceleri ve yön farkları birbirinden ayrılır.

Tümdengelim (Dedüksiyon): Genelden Özele

Tümdengelim, genel bir önermeden özel bir sonuca giden akıl yürütmedir. Yön: genel → özel. Aristoteles'in kıyası tümdengelim formundadır. Tümdengelimin temel özelliği sonucunun zorunlu ve kesin olmasıdır: öncüller doğru ve biçim geçerliyse sonuç zorunlu olarak doğrudur.

Klasik örnek:

• Öncül 1: Tüm insanlar ölümlüdür.
• Öncül 2: Sokrates insandır.
• Sonuç: Öyleyse Sokrates ölümlüdür.

Buradaki sonuç, öncüllerden zorunlu çıkar; sonuç öncüllerin içinde zaten gizlidir. Tümdengelim yeni bilgi üretmez, yalnızca öncüllerde örtük olanı açığa çıkarır. Bu nedenle Bacon ve modern bilimciler tümdengelimi bilim üreten yöntem olarak görmemiştir.

Tümevarım (İndüksiyon): Özelden Genele

Tümevarım, özel ve tek tek olaylardan genel bir kurala giden akıl yürütmedir. Yön: özel → genel. Bilimsel araştırmanın temel yöntemidir; deney ve gözlem sonuçlarından genel yasaya geçişte kullanılır. Tümevarımın temel özelliği sonucunun olasılıklı (kesin değil) olmasıdır; çünkü genelleme her zaman yeni bir gözlemle yanlışlanabilir.

Tümevarım iki alt türe ayrılır:

• Tam tümevarım: Bir bütünü oluşturan parçaların hepsi tek tek incelenir; sonuç kesindir. Örnek: "Pazartesi 24 saat, salı 24 saat, çarşamba 24 saat … pazar 24 saat. Öyleyse haftanın bütün günleri 24 saattir." Tam tümevarım sınırlı sayıda parçaya sahip olan kümeler için işler.
• Eksik tümevarım: Bir bütünün yalnızca bir kısmı gözlenir; bütün hakkında genelleme yapılır. Sonuç olasılıklıdır. Örnek: "Gözlemlediğim üç bin kuğu beyazdı; öyleyse bütün kuğular beyazdır." 19. yüzyılda Avustralya'da siyah kuğunun keşfedilmesi bu tür eksik tümevarım sonuçlarının nasıl yanlışlanabileceğini göstermiştir. Bilimsel pratikte kullanılan tümevarım büyük ölçüde eksik tümevarımdır.

Analoji (Benzeşim): Özelden Özele

Analoji, iki nesnenin ya da olayın bilinen benzerliklerinden yola çıkarak bilinmeyen ortak bir özelliğin de paylaşıldığını çıkarsama işlemidir. Yön: özel → özel. Sonuç olasılıklıdır.

Örnek: "Antalya ile Muğla'nın ikisi de deniz kenarındadır. Antalya'da otelcilik gelişmiştir. Öyleyse Muğla'da da otelcilik gelişmiştir." Bu çıkarım gerçeklikle örtüşür; ama analoji gerçeklikle her zaman örtüşmez. Aynı kalıbı Rize için kurarsak: "Antalya ile Rize'nin ikisi de deniz kenarındadır … Öyleyse Rize'de de otelcilik Antalya gibi gelişmiştir." Bu sonuç gerçeklikle uyuşmaz, ama analojinin biçimi aynıdır. Sonucun olasılıklı oluşunu açıkça gösteren bir örnektir.

Klasik mantığın inceleme alanı üç başlığa indirgenir: kavram, önerme, kıyas. Bu üç başlık birbirinin üzerine kuruludur — kavramlar bir araya gelerek önermeleri, önermeler bir araya gelerek kıyasları oluşturur. Bu konunun kalan bölümünde kavram ve önerme yapı taşları üzerinde durulacak; kıyas konusu bir sonraki ünite olan Klasik Mantık (Devam) ve Mantık-Dil İlişkisi'nde işlenecektir.

Kavram Nedir?

Kavram, bir nesnenin ya da olayın zihindeki genel tasarımıdır. Dış dünyadaki tek tek varlıklardan ortak özelliklerin soyutlanmasıyla zihinde oluşan birim. "Kuş" dendiğinde zihnimizde belirli bir tek kuş değil, kuşların ortak özelliklerini taşıyan genel bir tasarım canlanır; bu zihinsel tasarım kuş kavramıdır.

Kavramı dilde ifade eden işaret terimdir. "Kuş" sözcüğü bir terimdir. Tek başına anlam taşıyan en küçük birime terim denir. "Bu, şu, o, ki" gibi bağımsız anlam taşımayan kelimeler terim sayılmaz. Terimler tek sözcükten oluşabileceği gibi birleşik de olabilir: "Türkiye" tek başına bir terimdir; "Bakanlar Kurulu" da birleşik bir terimdir.

Üç Aşamalı Yapı: Zihin, Dil, Gerçeklik

Mantık üç düzlemi birbirinden ayırır:

• Kavram — zihinde olan (örn: "kuş kavramı")
• Terim — dilde söylenen ya da yazılan (örn: "kuş" sözcüğü)
• Nesne — gerçeklikte var olan (örn: gökyüzünde uçan kuş)

Bu üç düzlem her kavramda var olmak zorunda değildir. "Ejderha" kavramının zihinde tasarımı vardır, dilde terimi vardır; ama gerçeklikte nesnesi yoktur. "Elma" kavramının ise üçü de vardır.

Kavramın Üç Göstergesi: Nelik, Gerçeklik, Kimlik

Klasik mantık kavramı üç farklı açıdan ele alır:

Bu üç gösterge arasındaki ilişki şu kuralla özetlenebilir: Her kimliğin gerçekliği ve neliği vardır; her gerçekliğin neliği vardır ama her neliğin gerçekliği yoktur. Ejderhanın neliği vardır (zihinde tasarımı vardır), ama gerçekliği yoktur. İnsanın hem neliği, hem gerçekliği vardır; kimlik için "hangi insan?" sorusuna cevap gerekir — Atatürk, Mimar Sinan gibi.

Bir kavramı incelerken iki temel boyut göz önüne alınır: içlem ve kaplam. Bu iki kavram birlikte düşünülmek zorundadır; çünkü aralarında klasik mantığın en temel ters orantısı vardır.

İçlem (Anlam, Comprehension)

İçlem, bir kavramın içerdiği nitelikler ve özelliklerin tümüdür. "Kavramın anlamı" ya da "ortak özellikleri" olarak da geçer. İnsan kavramının içlemine girenler şunlardır: canlıdır, hayvandır (biyolojik anlamda), düşünür, konuşur, alet yapar, toplumsal yaşam kurar, ölümlüdür… İçlem, kavramı tanımlayan nitelikler kümesidir.

Kaplam (Oylum, Extension)

Kaplam, bir kavramın kapsadığı tek tek nesnelerin tümüdür. "Kavramın kapsamı" ya da "kapsadığı bireyler" olarak da geçer. İnsan kavramının kaplamı dünyadaki bütün insanlardır; çiçek kavramının kaplamı bütün çiçeklerdir.

Ters Orantı: İçlem Artarsa Kaplam Azalır

Bir kavramın içlemi arttıkça kaplamı azalır; tersine içlemi azaldıkça kaplamı artar. Bu ters orantı klasik mantığın merkezi yapı taşlarındandır. Aşağıdaki sıralamada bu ilişki açıkça görülür:

"Varlık" kavramı bütün nesneleri kapsar (kaplamı en fazla), ama hakkında söylenebilecek özel nitelik çok azdır (içlemi en az). "Mustafa Kemal Atatürk" tek bir bireye karşılık gelir (kaplamı en az), ama hakkında söylenebilecek nitelikler kümesi geniştir (içlemi en fazla).

Pratik Bir Örnek: Çiçek

Çiçek kavramı için içlem ve kaplam belirleyelim:

• Çiçeğin içlemi: Bitki olma, üreme organı olma, renkli olma, kokulu olma, taç yaprakları olma … (yukarı doğru: bitki → canlı → varlık).
• Çiçeğin kaplamı: Menekşe, papatya, gül, lale … (aşağı doğru: çiçeğin altındaki tek tek türler).

Aynı kavram için içlem yukarı doğru (üst kavramlara), kaplam aşağı doğru (alt kavramlara) genişler. Üst kavramların kaplamı geniştir, alt kavramların içlemi geniştir.

Kavramlar farklı ölçütlere göre türlere ayrılır. AYT'de bu sınıflandırmaların hangi kavramı hangi gruba yerleştireceği soruları sıkça çıkar.

Tek-Genel-Tümel-Tikel Ayrımı

• Tekil kavram: Tek bir bireye karşılık gelir. Örnek: Atatürk, Konya, Uludağ. Tek bir varlığa işaret ettiği için bireyseldir.
• Genel kavram: Bir sınıfın tamamını ifade eder. Örnek: Şehir (81 ilin tamamını), insan, ağaç.
• Tümel kavram: Bir sınıfın bütününü niceleyici (her, bütün, hepsi, hiçbir) ile ifade eden kavramdır. Örnek: "Bütün insanlar", "her öğrenci", "hiçbir taş".
• Tikel kavram: Bir sınıfın bir kısmını niceleyici (bazı, birkaç, bir takım, bir kısım) ile ifade eden kavramdır. Örnek: "Bazı insanlar", "birkaç öğrenci", "bir takım toplumlar".

Somut-Soyut Kavram Ayrımı

• Somut kavram: Beş duyu organıyla algılanabilen, elle tutulabilen kavram. Örnek: Kalem, ağaç, insan, masa.
• Soyut kavram: Duyularla algılanamayan, zihinsel kavram. Örnek: Özgürlük, insanlık, sevgi, adalet. Bir kavram somut bir varlığa karşılık gelse de soyut adlandırma alabilir: İnsan somut, insanlık soyut.

Olumlu-Olumsuz Kavram Ayrımı (Biçimsel Ayrım)

Bu ayrımda biçime bakılır, içeriğe değil. Bir kavramın olumlu mu olumsuz mu olduğunu belirleyen, sözcüğün "-mez, -maz, -sız, -siz, -olmayan" gibi olumsuzluk eki taşıyıp taşımadığıdır.

• Olumlu kavram: Olumsuzluk eki almamış kavram. Örnek: tembel, canlı, koşan. (Anlamı olumlu olmasa da biçimi olumludur.)
• Olumsuz kavram: Olumsuzluk eki almış kavram. Örnek: tembel olmayan, cansız, koşmayan.

Önemli not: Mantıkta "tembel" olumlu bir kavramdır; "tembel olmayan" ise olumsuzdur. Buradaki "olumlu" anlamı günlük dildeki "iyi" anlamıyla aynı değildir; sadece olumsuzluk eki almama biçimine işaret eder.

Kollektif-Distribütif Kavram Ayrımı

• Kollektif (toplu) kavram: Bireyler grubunu ifade eder ve grupta gerçekleşir. Örnek: Ordu (bireysel asker olamaz), meclis, üniversite, sürü. Tek başına bir asker "ordu" değildir; grup oluşturduğunda ordudur.
• Distribütif (dağıtıcı) kavram: Bireyler grubunu ifade eder ama bireyde gerçekleşir. Örnek: Asker (tek bir kişi olarak da askerdir), milletvekili, öğrenci.

Kavramlar Arası İlişki Türleri

İki farklı kavramın kaplamları arasındaki ilişki dört temel türle ele alınır:

• Eşitlik: İki kavramın kaplamı birbirinin tıpatıp aynısıdır; her A bir B, her B bir A'dır. "Her konuşan düşünendir, her düşünen konuşandır". Tek bir küme oluştururlar. Anahtar: "her … her …" / "bütün … bütün …".
• Ayrıklık: İki kavramın hiçbir ortak elemanı yoktur. "Hiçbir taş canlı değildir". İki ayrı küme oluştururlar. Anahtar: "hiçbir …".
• Tam girişimlik (içerme): Bir kavramın kaplamı, diğerinin kaplamının tamamını içerir. "Bütün kargalar kuştur, bazı kuşlar kargadır". Bir küme diğerinin içinde. Anahtar: Bir taraf "bütün …" diğer taraf "bazı …".
• Eksik girişimlik (kesişme): İki kavramın kaplamları kısmen örtüşür. "Bazı kadınlar sarışındır, bazı sarışınlar kadındır". Kümeler kesişir. Anahtar: Her iki taraf da "bazı …".

Aristoteles'in Organon'una giriş niteliğinde olan İsagoji adlı eseriyle Porphyrios (MS 234-305) kavramları beş temel sınıfa ayırmıştır. Bu beşli sınıflama klasik mantıkta Beş Tümel (quinque voces) adıyla anılır ve AYT'de soru kalıbı olarak düzenli karşımıza çıkar.

1. Cins (Genus)

Altında türlerin sıralandığı, kaplamı geniş içlemi az olan üst kavramdır. Hayvan kavramı kedi, köpek, at türlerini altında barındırır; bu yüzden hayvan, kedinin/köpeğin/atın cinsidir.

2. Tür (Species)

Cinsin altında sıralanan, kaplamı dar içlemi geniş olan alt kavramdır. Kedi, hayvanın bir türüdür. Cins ve tür kavramları görelidir: aynı kavram bir başka kavramın türü olabileceği gibi başka bir kavramın cinsi de olabilir. Örneğin kedi hayvanın türü, Van kedisi ile Ankara kedisi'nin cinsidir.

3. Ayrım (Differentia)

Bir türü, içinde bulunduğu cinsten ayıran temel öz niteliktir. Hayvan cinsi içinde insanı diğer hayvanlardan ayıran nitelik akıllı olma'dır; o hâlde "akıl" insan türünün ayrımıdır. Kuşları kediden ve köpekten ayıran uçabilme bir ayrımdır. Ayrım, türün cins içindeki yerini belirleyen özsel niteliktir.

4. Özgülük / Hassa (Proprium)

Yalnızca o türde bulunan ama türün özünden olmayan, türden zorunlu çıkmayan ama türe ait olan niteliktir. Klasik örnek: gülmek insana özgüdür; insanın özünü oluşturmaz ama yalnızca insanda görülür. Aynı şekilde medeniyet kurmak, uygarlık yaratmak, tarih yazmak insana özgü davranışlardır.

5. İlinti / Araz (Accidens)

Birden fazla türde ortak olarak bulunabilen, türün özünden olmayan ve türden ayrılabilir nitelik. Beslenmek insanlarda ve hayvanlarda ortaktır; bu yüzden insanın özüne ait değil, ilintisidir. Aynı şekilde uyumak, hareket etmek ilinti niteliklerdir.

Aristoteles Kıyası ile Beş Tümel İlişkisi

Aristoteles'in klasik tanımı "İnsan akıllı bir hayvandır" beş tümelin üçünü doğrudan içerir: İnsan (tür), akıllı (ayrım), hayvan (cins). Bu üçlü yapı (cins + ayrım = tür) klasik mantığın "iyi tanım" şablonunu kurar.

Tanım, bir kavramın anlamını aydınlatma, açıklama ve belirleme işlemidir. Aristoteles tanımı "özün araştırılması" olarak tarif etmiştir; iyi bir tanım, kavramın özünü yakalar ve onu diğer kavramlardan ayırır. Tanım kuralları aday için pratik açıdan önemlidir, çünkü AYT'de doğrudan "tanım hangi özelliği taşımalı" tarzında soru gelmektedir.

İyi Bir Tanımın Kuralları

• Tam olmalı: Tanımı yapılan bütün bireyler tanımın içine girmeli, sınıfın dışındaki hiçbir şey içeri girmemelidir. Klasik örnek: Platon'un "İnsan iki ayaklı tüysüz bir canlıdır" tanımı tam değildir; çünkü Diogenes'in tüylerini yolduğu bir horoz da bu tanıma uyar. Tanım, kapsayıcı ve ayırt edici olmalıdır.
• Açık olmalı: Tanımda kullanılan kavramlar tanımlanmak istenen kavramdan daha az anlaşılır olmamalıdır. "Mantık normatif bir disiplindir" doğru bir önerme olabilir; ama "normatif" ve "disiplin" kavramlarını bilmeyen biri için tanımlayıcı değildir.
• Kısır döngüye düşmemeli: Tanım kendi kendisini tekrarlamamalı, A'yı B ile, B'yi A ile tanımlama hatasına düşülmemelidir. "Sıpa, eşeğin yavrusudur. Eşek, sıpanın annesidir." Bu iki tanım kısır döngü oluşturur; ikisi birlikte yeni bilgi vermez.
• Olumlu olmalı: Mümkünse olumsuz değil olumlu ifadelerle tanım yapılmalıdır. Bir kavramı sadece "ne olmadığı" üzerinden tanımlamak çoğu zaman yetersiz kalır.

Tanımlanamayan Kavramlar

Klasik mantık, bütün kavramların kapsamlı olarak tanımlanamayacağını kabul eder. Tanımlanamayan üç ana grup vardır:

• Duyu verileri: Renk, koku, tat, ses gibi beş duyu organıyla algılanan içerikler tam olarak tanımlanamaz. Kırmızıyı hiç görmemiş birine kırmızıyı sözle anlatmak imkânsızdır.
• Duygular: Aşk, üzüntü, öfke, nefret, sevinç gibi yaşantısal içerikler tam tanımlanamaz; sadece betimlenebilir.
• Üst cinsler: Varlık, cevher, zaman, mekân gibi en yüksek cinsler kendinden daha üst bir cins olmadığı için tam tanımlanamaz; tanımın kuralı "cins + ayrım"dır, üst cinsin cinsi yoktur.

Tanım Çeşitleri

Beş tümele göre tanım iki temel ayrıma uğrar:

• Özle ilgili tanım (özgülük tanımı): Kavramı sadece o türe ait nitelikle tanımlar. "İnsan konuşan canlıdır" — konuşma yalnızca insana özgüdür.
• İlinti ile ilgili tanım: Türlerle ortak olan bir nitelikle tanımlar. "İnsan uyuyan canlıdır" — uyumak ortak bir niteliktir, insana özel değildir.

Tanımlananın kaynağına göre de iki ayrım yapılır:

• Ad tanımı: Uzlaşımla, zihinsel-keyfi olarak yapılan tanım. Matematikteki kavramlar bu türdendir: "Üçgen, üç doğru parçasıyla sınırlanmış kapalı düzlem şeklidir."
• Nesne tanımı: Deney ve gözlemle elde edilen tanım. "Altın iletkendir" önermesi gözleme dayanan bir nesne tanımıdır.

Önerme, doğru ya da yanlış değer alabilen tam yargı bildiren cümledir. Kısaca: bir cümle önerme olabilmek için doğruluk değeri taşıyabilmelidir. Klasik mantık iki değerli olduğundan, her önerme ya doğrudur ya yanlıştır; üçüncü bir seçenek yoktur.

Önerme Olabilmenin Üç Koşulu

• Cümle tam bir yargı bildirmelidir; bitmiş, anlamlı bir hüküm içermelidir.
• Cümle doğru ya da yanlış değer alabilmelidir; doğruluk-yanlışlık değerlendirilemiyorsa önerme değildir.
• Cümlenin doğru olmak zorunda olmadığı önemlidir; yanlış da olsa doğruluk değerine sahipse önermedir.

Örnekler:

• "Sokrates filozoftur" → Önermedir. Tam yargı vardır, doğruluk değeri "doğru"dur.
• "İstanbul, Türkiye'nin başkentidir" → Önermedir. Doğruluk değeri "yanlış"tır, ama yine de önermedir.
• "Üçgenin üç açısı vardır" → Önermedir. Mantık doğrusudur.

Önerme Olmayan Cümle Türleri

Bütün cümleler önerme değildir. Doğru/yanlış olarak değerlendirilemeyen cümleler önerme dışında kalır:

Genel kural: Her önerme bir cümledir, ama her cümle önerme değildir. Bir cümlenin önerme olup olmadığını anlamak için "Doğru mu, yanlış mı?" diye sorabiliyor muyuz, ona bakılır. "Kalemini getir" cümlesi için doğru-yanlış sorusu anlamsızdır; bu yüzden önerme değildir.

Klasik mantıkta önermeler dört temel ölçüte göre sınıflandırılır: yapı, nitelik, nicelik, kiplik. AYT için en kritik ayrımlar nicelik ve nitelik bakımındandır; bu iki ayrım birleştirildiğinde klasik mantığın temel önerme yapısı olan A, E, I, O formları ortaya çıkar.

1. Yapı Bakımından: Basit ve Bileşik Önermeler

• Basit önerme: Tek bir yargı bildiren önermedir. Örnek: "Çimen yeşildir."
• Bileşik önerme: Birden fazla yargı içerir. Örnek: "Yiyecekler vitaminliyse faydalıdır."
  • Bitişik koşullu: "ise" bağlacıyla kurulur. "Şeyma çalışırsa üniversiteyi kazanır."
  • Ayrık koşullu: "ya … ya da" bağlacıyla kurulur. "Ya üniversiteyi kazanacağım ya da iş bulup çalışacağım."

2. Nitelik Bakımından: Olumlu ve Olumsuz Önermeler

• Olumlu önerme: Yüklemde bildirilen özellik öznede vardır. "Süt yararlıdır."
• Olumsuz önerme: Yüklemde bildirilen özellik öznede yoktur. "Süt yararlı değildir."

3. Nicelik Bakımından: Tümel ve Tikel Önermeler

• Tümel önerme: Öznesi tüm kaplamıyla ele alınır. "Bütün, her, hepsi, hiçbir" niceleyicileri kullanılır. "Bütün insanlar ölümlüdür."
• Tikel önerme: Öznesi kaplamının bir kısmıyla ele alınır. "Bazı, birkaç, bir takım" niceleyicileri kullanılır. "Bazı insanlar şairdir."

Standart Önerme Formları: A, E, I, O

Nicelik ve nitelik ayrımları birleştirildiğinde klasik mantığın dört standart önerme formu ortaya çıkar. Latince affirmo (olumluyorum) ve nego (olumsuzluyorum) kelimelerindeki ünlülerden harf alınır:

4. Kiplik Bakımından: Yalın, Zorunlu, Mümkün Önermeler

• Yalın önerme: Doğrudan bir yargı bildirir; doğruluğu deney ve gözlemle sınanabilir. "Canlıların yaşayabilmesi için gerekli koşulları taşıyan tek gezegen Dünya'dır."
• Zorunlu önerme: Sonuç zorunluluğu bildirir. "İnsan mutlaka ölümlüdür."
• Mümkün önerme: Olasılık bildirir. "Yarın yağmur yağabilir."

Bu bölümde, mantık ünitesinden gelmesi muhtemel klasik soru kalıplarının çözümlü örnekleri yer almaktadır. Soruların yapısı geçmiş AYT sınavlarında karşılaşılan kalıplar göz önüne alınarak hazırlanmıştır.

Örnek 1 — Aklın İlkeleri

Soru: "Bir öğrenci aynı anda hem tembel hem çalışkan olamaz." Bu önerme aşağıdaki ilkelerden hangisinin örneğidir?

A) Özdeşlik    B) Çelişmezlik    C) Üçüncü halin imkânsızlığı    D) Yeter sebep    E) Karşıolum

Çözüm: Önermede "hem … hem …" kalıbı kullanılmıştır; bir şeyin aynı anda hem kendisi hem de kendisinin zıttı olamayacağı belirtiliyor. Bu, çelişmezlik ilkesinin tam ifadesidir. Cevap: B (Çelişmezlik).

Örnek 2 — Akıl Yürütme Türü

Soru: "Gözlemlediğim 500 üniversite öğrencisi ders çalışıyordu. Öyleyse bütün üniversite öğrencileri ders çalışır." Bu akıl yürütme aşağıdakilerden hangisidir?

A) Tümdengelim    B) Tam tümevarım    C) Eksik tümevarım    D) Analoji    E) Kıyas

Çözüm: Çıkarımda 500 öğrenciden bütün üniversite öğrencilerine genelleme yapılmıştır. Türkiye'deki üniversite öğrencisi sayısı milyonlarla ifade edildiğinden 500 öğrenci tüm popülasyonu kapsayamaz; bu yüzden eksik tümevarımdır. Sonuç olasılıklıdır. Cevap: C (Eksik tümevarım).

Örnek 3 — Kavramlar Arası İlişki

Soru: "Bütün kediler memelidir, bazı memeliler kedidir." Bu iki önerme aşağıdaki kavramlar arası ilişkilerden hangisini örneklemektedir?

A) Eşitlik    B) Ayrıklık    C) Tam girişimlik    D) Eksik girişimlik    E) Çelişiklik

Çözüm: Önermelerden biri "bütün …" ile, diğeri "bazı …" ile başlamaktadır. Kediler memeliler kümesinin içinde tam olarak yer alır; ama her memeli kedi değildir. Bu durum tam girişimlik ilişkisidir. Cevap: C (Tam girişimlik).

Örnek 4 — İçlem-Kaplam İlişkisi

Soru: Aşağıdaki kavramlardan hangisinin kaplamı en geniştir?

A) Memeli    B) Köpek    C) Hayvan    D) Canlı    E) Çoban köpeği

Çözüm: Kaplam, kavramın kapsadığı bireylerin sayısıyla ilgilidir. Sıralarsak: çoban köpeği ⊂ köpek ⊂ memeli ⊂ hayvan ⊂ canlı. Yukarıya çıktıkça kaplam genişler. Cevap: D (Canlı).

Örnek 5 — Beş Tümel

Soru: "İnsanın gülmesi" niteliği aşağıdaki beş tümelden hangisine örnektir?

A) Cins    B) Tür    C) Ayrım    D) Özgülük    E) İlinti

Çözüm: Gülme niteliği yalnızca insan türünde görülür; başka hiçbir türde yoktur. Ne var ki insanın özünü oluşturmaz, türden çıkmak zorunda değildir; insan ağlamayan biri de hâlâ insandır. Yalnızca o türe ait, ama özünden olmayan nitelik özgülüktür. Cevap: D (Özgülük).

Örnek 6 — Önerme Tespiti

Soru: Aşağıdakilerden hangisi bir önermedir?

A) "Ah, ne kadar yorgunum!"    B) "İnşallah sınavı kazanırım."    C) "Saat kaç?"    D) "Ankara, Türkiye'nin başkentidir."    E) "Sessiz olun."

Çözüm: Önerme, doğru ya da yanlış değer alabilen yargı bildiren cümledir. A ünlem, B dua, C soru, E emir cümlesidir; bunlar doğru/yanlış olarak değerlendirilemez. D ise tam yargı bildirir ve doğruluk değeri "doğru"dur. Cevap: D.

Örnek 7 — Standart Önerme Formu

Soru: "Bazı öğrenciler sınava hazır değildir." önermesi A-E-I-O standart formlarından hangisine örnektir?

A) A    B) E    C) I    D) O    E) Hiçbiri

Çözüm: Önermenin niceleyicisi "bazı"dır → tikel; yüklem ekinde "değildir" vardır → olumsuz. Tikel olumsuz önerme O formunda gösterilir. Cevap: D (O).

Mantık ünitesinin en zorlayıcı yanı, birbirine benzeyen kavramların ince ayrımlarıdır. Aşağıdaki tablolar ve uyarı kutuları, sınavda karıştırılan başlıkları bir arada toplar.

Karıştırılan Çift 1: Tutarlılık vs. Doğruluk

• Tutarlılık önermelerin kendi içinde çelişmemesidir.
• Doğruluk önermenin gerçeklikle uyumudur.
• Bütün öncülleri yanlış olan bir kıyas tutarlı (geçerli) olabilir; bu, kıyasın doğru olduğu anlamına gelmez.

Karıştırılan Çift 2: Tümdengelim vs. Tümevarım

• Tümdengelim: Genel → özel, sonuç kesin. Aristoteles'in yöntemi.
• Tümevarım: Özel → genel, sonuç olasılıklı. Bacon ve Mill'in yöntemi.
• Tümdengelim yeni bilgi üretmez (öncüllerde gizli); tümevarım yeni bilgi üretir ama kesinlik vermez.

Karıştırılan Çift 3: Özdeşlik vs. Eşitlik vs. Benzerlik

• Özdeşlik: Bir şey kendisiyle aynıdır (A, A'dır). Tek bir varlığın kendisiyle ilişkisi.
• Eşitlik: İki farklı varlığın belirli bir nitelikte aynı oluşu (sayıca, hak olarak vs.).
• Benzerlik: İki farklı varlığın bazı niteliklerde örtüşmesi.
• Tek yumurta ikizleri benzerdir, eşit olabilirler (örn. boy uzunluğunda); ama özdeş değildirler. Her biri kendisiyle özdeştir.

Karıştırılan Çift 4: Çelişmezlik vs. Üçüncü Halin İmkânsızlığı

• Çelişmezlik: "Hem … hem …" kalıbı. Aynı anda iki zıt durum olamaz.
• Üçüncü halin imkânsızlığı: "Ya … ya …" kalıbı. İki seçenek arasında üçüncü yol yoktur.
• Bu iki ilke birbirine yakındır; ama anahtar kelimeleriyle (hem/ya) ayrılır.

Karıştırılan Çift 5: Özgülük vs. İlinti

• Özgülük: Yalnızca o türde bulunan nitelik. Gülmek, medeniyet kurmak insana özgüdür.
• İlinti: Birden fazla türde ortak bulunan nitelik. Beslenmek, uyumak, hareket etmek hem insan hem hayvanda var.
• Anahtar soru: "Bu özellik sadece bu türde mi?" Cevap evetse özgülük, başka türlerde de varsa ilinti.

Karıştırılan Çift 6: İçlem vs. Kaplam

• İçlem: Kavramın özellik sayısı (anlamı, niteliği).
• Kaplam: Kavramın kapsadığı birey sayısı (kapsamı).
• Ters orantı: İçlem artarsa kaplam azalır. Üst kavramların kaplamı, alt kavramların içlemi geniştir.

Mantık Ünitesi — Kompakt Özet