Doğrudan ve dolaylı çıkarım, kıyas kuralları ve çeşitleri.
Konu Anlatımı
12. Sınıf Mantık Çıkarım ve Kıyas Konu Anlatımı
Klasik mantığın en temel yapı taşlarından biri olan çıkarım ve kıyas konusu, düşüncelerimizi doğru biçimde kurabilmemiz ve akıl yürütme süreçlerimizi sağlam temellere oturtabilmemiz açısından büyük önem taşır. 12. Sınıf Mantık dersi kapsamında ele alınan bu konu, öncüllerden sonuca nasıl ulaşıldığını, hangi kuralların geçerli olduğunu ve hangi yapıların geçersiz sayıldığını sistematik bir şekilde ortaya koyar. Bu yazıda 12. Sınıf Mantık Çıkarım ve Kıyas konusunu tüm alt başlıklarıyla detaylı biçimde inceleyeceğiz.
Çıkarım Nedir?
Çıkarım, bir ya da birden fazla önermeden (öncül) yeni bir önerme (sonuç) elde etme işlemidir. Günlük hayatta sürekli olarak çıkarımda bulunuruz; ancak mantık bilimi bu süreci belirli kurallar çerçevesinde ele alır. Çıkarımın geçerli olabilmesi için öncüller ile sonuç arasında mantıksal bir bağın bulunması gerekir. Eğer öncüller doğru kabul edildiğinde sonuç zorunlu olarak doğru çıkıyorsa, bu çıkarıma geçerli çıkarım denir.
Çıkarım sürecinde üç temel unsur vardır: öncüller, sonuç ve bu ikisi arasındaki mantıksal bağ. Öncüller, çıkarımın dayandığı başlangıç önermeleridir. Sonuç ise öncüllerden türetilen yeni önermedir. Mantıksal bağ, öncüllerin sonucu zorunlu kılıp kılmadığını belirleyen yapıdır.
Örneğin: "Bütün insanlar ölümlüdür" ve "Sokrates bir insandır" öncüllerinden "Sokrates ölümlüdür" sonucuna ulaşmak geçerli bir çıkarımdır. Burada öncüller doğru kabul edildiğinde sonucun yanlış olma olasılığı yoktur.
Çıkarım Türleri
Mantık biliminde çıkarımlar çeşitli ölçütlere göre sınıflandırılır. En temel ayrım doğrudan çıkarım ve dolaylı çıkarım arasında yapılır. Bu sınıflandırma, çıkarımda kullanılan öncül sayısına dayanır.
Doğrudan (Basit) Çıkarım
Doğrudan çıkarım, tek bir öncülden sonuç çıkarma işlemidir. Bu tür çıkarımda yalnızca bir önerme kullanılarak yeni bir önermeye ulaşılır. Doğrudan çıkarım, klasik mantıkta özellikle karşı olma ve döndürme işlemleriyle gerçekleştirilir.
Karşı Olma (Karşıtlık Kareleri) Yoluyla Çıkarım
Aristoteles mantığında dört temel kategorik önerme vardır: Tümel olumlu (A), Tümel olumsuz (E), Tikel olumlu (I) ve Tikel olumsuz (O). Bu dört önerme arasındaki ilişkiler, karşı olma karesi (mantık karesi) aracılığıyla gösterilir.
Karşıt (Konter) İlişki: A ve E önermeleri arasındaki ilişkidir. Her ikisi aynı anda doğru olamaz, ancak her ikisi aynı anda yanlış olabilir. Örneğin "Bütün kuşlar uçar" (A) ile "Hiçbir kuş uçmaz" (E) aynı anda doğru olamaz.
Alt Karşıt İlişki: I ve O önermeleri arasındaki ilişkidir. Her ikisi aynı anda yanlış olamaz, ancak her ikisi aynı anda doğru olabilir. Örneğin "Bazı öğrenciler çalışkandır" (I) ile "Bazı öğrenciler çalışkan değildir" (O) aynı anda doğru olabilir.
Çelişik İlişki: A ile O ve E ile I arasındaki ilişkidir. Çelişik önermeler her zaman farklı doğruluk değeri taşır; biri doğruysa diğeri zorunlu olarak yanlıştır. Örneğin "Bütün kediler sevimlidir" (A) doğruysa "Bazı kediler sevimli değildir" (O) zorunlu olarak yanlıştır.
Altık İlişki: A ile I ve E ile O arasındaki ilişkidir. Tümel önerme doğruysa tikeli de doğrudur. Ancak tikel doğruysa tümel hakkında kesin bir şey söylenemez. Örneğin "Bütün metaller iletkendir" (A) doğruysa "Bazı metaller iletkendir" (I) de zorunlu olarak doğrudur.
Döndürme Yoluyla Çıkarım
Döndürme, bir önermenin konu ve yükleminin yer değiştirmesiyle yeni bir önerme elde etme işlemidir. Klasik mantıkta üç tür döndürme vardır:
Düz Döndürme (Konversiyon): Önermenin konu ve yüklemi yer değiştirir. A önermesi "Bütün S, P dir" düz döndürmeyle "Bazı P, S dir" (I) olur. E önermesi "Hiçbir S, P değildir" düz döndürmeyle "Hiçbir P, S değildir" (E) olur. I önermesi "Bazı S, P dir" düz döndürmeyle "Bazı P, S dir" (I) olur. O önermesinin geçerli düz döndürmesi yoktur.
Ters Döndürme (Obversiyon): Önermenin niteliği değiştirilir ve yüklemin olumsuzlanmışı alınır. Bu işlem dört önerme tipi için de geçerlidir. Örneğin "Bütün S, P dir" (A) ters döndürmeyle "Hiçbir S, P-değildir değildir" (E) olur.
Karşı Döndürme (Kontrapozisyon): Düz döndürme ve ters döndürmenin birlikte uygulanmasıyla elde edilir. A önermesinin karşı döndürmesi geçerlidir. Örneğin "Bütün S, P dir" önermesinin karşı döndürmesi "Bütün P-olmayan, S-olmayan dır" biçiminde elde edilir.
Dolaylı Çıkarım
Dolaylı çıkarım, iki ya da daha fazla öncülden sonuç çıkarma işlemidir. Klasik mantıkta dolaylı çıkarımın en önemli biçimi kıyastır (tasım/syllogism). 12. Sınıf Mantık Çıkarım ve Kıyas konusunun en kapsamlı bölümü bu alanı kapsar.
Kıyas (Tasım / Syllogism) Nedir?
Kıyas, iki öncül ve bir sonuçtan oluşan dolaylı bir çıkarım biçimidir. Aristoteles tarafından sistematik hale getirilen kıyas, klasik mantığın temel akıl yürütme aracıdır. Bir kıyasta üç terim bulunur: büyük terim, küçük terim ve orta terim.
Büyük Terim (P): Sonuç önermesinin yüklemi olan terimdir. Büyük terim, büyük öncülde yer alır.
Küçük Terim (S): Sonuç önermesinin konusu olan terimdir. Küçük terim, küçük öncülde yer alır.
Orta Terim (M): Her iki öncülde ortak olarak bulunan ancak sonuçta yer almayan terimdir. Orta terim, iki öncül arasındaki bağlantıyı kuran terimdir.
Klasik kıyas yapısı şöyle gösterilir:
Büyük Öncül: Bütün M, P dir. (Orta terim ile büyük terim arasındaki ilişki)
Küçük Öncül: Bütün S, M dir. (Küçük terim ile orta terim arasındaki ilişki)
Sonuç: Bütün S, P dir. (Küçük terim ile büyük terim arasındaki ilişki)
Örnek: "Bütün canlılar beslenmeye ihtiyaç duyar" (Büyük Öncül) ve "Bütün bitkiler canlıdır" (Küçük Öncül) öncüllerinden "Bütün bitkiler beslenmeye ihtiyaç duyar" (Sonuç) çıkarılır.
Kıyasın Kuralları
Bir kıyasın geçerli olabilmesi için belirli kurallara uyması gerekir. Bu kurallar ihlal edildiğinde kıyas geçersiz sayılır ve mantıksal bir hata (yanılgı) ortaya çıkar.
Kural 1 — Üç Terim Kuralı: Bir kıyasta yalnızca üç terim bulunmalıdır: büyük terim, küçük terim ve orta terim. Eğer bir terim farklı anlamlarda kullanılırsa "dört terim yanılgısı" ortaya çıkar. Örneğin "yüz" kelimesi hem sayı hem de organ anlamında kullanılırsa bu kural ihlal edilmiş olur.
Kural 2 — Orta Terim Kuralı: Orta terim, öncüllerin en az birinde tümel (dağıtılmış) olarak yer almalıdır. Aksi takdirde "dağıtılmamış orta terim yanılgısı" oluşur.
Kural 3 — Sonuçta Genişleme Yasağı: Öncüllerde tikel (dağıtılmamış) olan bir terim, sonuçta tümel (dağıtılmış) olamaz. Bu kurala uyulmazsa "yasadışı büyük terim" veya "yasadışı küçük terim" hatası meydana gelir.
Kural 4 — İki Olumsuz Öncül Kuralı: Her iki öncül de olumsuz olamaz. İki olumsuz öncülden geçerli bir sonuç çıkarılamaz.
Kural 5 — Olumsuz Öncül-Sonuç İlişkisi: Öncüllerden biri olumsuzsa sonuç da olumsuz olmalıdır. Öncüllerden biri olumsuzken sonuç olumlu olamaz.
Kural 6 — İki Tikel Öncül Kuralı: Her iki öncül de tikel olamaz. İki tikel öncülden geçerli bir sonuç çıkarılamaz.
Kural 7 — Tikel Öncül-Sonuç İlişkisi: Öncüllerden biri tikelse sonuç da tikel olmalıdır.
Kıyasın Figürleri
Figür, orta terimin öncüllerdeki konumuna göre belirlenir. Orta terimin büyük öncülde konu mu yüklem mi olduğu ve küçük öncülde konu mu yüklem mi olduğu dört farklı figür oluşturur.
Birinci Figür: Orta terim, büyük öncülün konusu ve küçük öncülün yüklemidir. Bu figür en doğal ve yaygın kıyas biçimidir. Yapısı: M–P / S–M / S–P. Aristoteles bu figürü mükemmel figür olarak adlandırmıştır. Örnek: "Bütün memeliler sıcakkanlıdır" (M–P), "Bütün kediler memelidir" (S–M), "Bütün kediler sıcakkanlıdır" (S–P).
İkinci Figür: Orta terim, her iki öncülün de yüklemidir. Yapısı: P–M / S–M / S–P. Bu figürde sonuç daima olumsuz olur. Örnek: "Hiçbir balık memeli değildir" (P–M), "Bütün kediler memelidir" (S–M), "Hiçbir kedi balık değildir" (S–P).
Üçüncü Figür: Orta terim, her iki öncülün de konusudur. Yapısı: M–P / M–S / S–P. Bu figürde sonuç daima tikel olur. Örnek: "Bütün kediler memelidir" (M–P), "Bütün kediler evcilleştirilebilir" (M–S), "Bazı evcilleştirilebilir canlılar memelidir" (S–P).
Dördüncü Figür: Orta terim, büyük öncülün yüklemi ve küçük öncülün konusudur. Yapısı: P–M / M–S / S–P. Bu figür Aristoteles tarafından tanınmamış olup daha sonra Galen tarafından eklenmiştir. Bu nedenle "Galen figürü" olarak da adlandırılır.
Kıyasın Modları
Mod, bir kıyastaki önermelerin türlerinin (A, E, I, O) sıralanışıdır. Her figürde farklı mod kombinasyonları geçerli olabilir. Geleneksel mantıkta toplam 256 olası mod kombinasyonu vardır; ancak bunlardan yalnızca 19 tanesi (bazı kaynaklara göre 24) geçerli kıyas oluşturur.
Birinci Figürün Geçerli Modları: Barbara (AAA), Celarent (EAE), Darii (AII), Ferio (EIO). Bu modların isimleri Orta Çağ mantıkçıları tarafından ezberlenmeyi kolaylaştırmak için verilmiştir. Barbara en bilinen ve en temel moddur.
İkinci Figürün Geçerli Modları: Cesare (EAE), Camestres (AEE), Festino (EIO), Baroco (AOO).
Üçüncü Figürün Geçerli Modları: Darapti (AAI), Disamis (IAI), Datisi (AII), Felapton (EAO), Bocardo (OAO), Ferison (EIO).
Dördüncü Figürün Geçerli Modları: Bramantip (AAI), Camenes (AEE), Dimaris (IAI), Fesapo (EAO), Fresison (EIO).
Barbara Modu (AAA-1) Örneği
Barbara, birinci figürün en temel modudur ve üç tümel olumlu (A) önermeden oluşur.
Büyük Öncül (A): Bütün filozoflar düşünürdür.
Küçük Öncül (A): Bütün sofistler filozoftur.
Sonuç (A): Bütün sofistler düşünürdür.
Bu kıyas geçerlidir çünkü tüm kurallara uygundur: Orta terim "filozof" büyük öncülde tümel olarak dağıtılmıştır, sonuçta öncüllerde olmayan yeni bir terim kullanılmamıştır ve önermelerin nitelik-nicelik ilişkileri tutarlıdır.
Celarent Modu (EAE-1) Örneği
Büyük Öncül (E): Hiçbir bitki hayvan değildir.
Küçük Öncül (A): Bütün güller bitkidir.
Sonuç (E): Hiçbir gül hayvan değildir.
Burada büyük öncül olumsuz olduğu için sonuç da olumsuz çıkmıştır. Bu kural 5 ile uyumludur.
Geçerlilik ve Sağlamlık (Doğruluk) Farkı
12. Sınıf Mantık Çıkarım ve Kıyas konusunda öğrencilerin en çok karıştırdığı noktalardan biri, geçerlilik ile sağlamlık arasındaki farktır.
Geçerlilik (Validity): Bir çıkarımın biçimsel yapısıyla ilgilidir. Öncüller doğru kabul edildiğinde sonucun zorunlu olarak doğru çıkıp çıkmadığına bakılır. Öncüllerin gerçek hayatta doğru olup olmadığı önemli değildir; önemli olan yapının mantıksal kurallarla tutarlı olmasıdır.
Sağlamlık (Soundness): Bir çıkarımın hem geçerli olması hem de öncüllerinin gerçekten doğru olması durumudur. Sağlam bir çıkarımda sonuç gerçek hayatta da doğrudur.
Örneğin şu kıyas geçerli ama sağlam değildir: "Bütün kuşlar uçar" (yanlış öncül, çünkü penguenler uçamaz), "Bütün kartallar kuştur", "Bütün kartallar uçar". Yapı geçerlidir (Barbara modu) ancak büyük öncül yanlış olduğu için sağlam değildir.
Tümdengelim ve Tümevarım Çıkarım Ayrımı
Çıkarımlar, akıl yürütme yönüne göre de sınıflandırılır. Tümdengelim (dedüksiyon), genel önermelerden özel sonuçlara ulaşma sürecidir ve klasik kıyasın temel yöntemidir. Öncüller doğruysa sonuç zorunlu olarak doğrudur.
Tümevarım (endüksiyon) ise tek tek gözlemlerden genel sonuçlara ulaşma sürecidir. Tümevarımsal çıkarımlarda sonuç zorunlu değil olasılıksaldır. Örneğin "Gördüğüm tüm kargalar siyahtır, öyleyse tüm kargalar siyahtır" tümevarımsal bir çıkarımdır ve kesin değildir.
Klasik mantıkta ağırlıklı olarak tümdengelimsel çıkarım incelenir. 12. Sınıf Mantık Çıkarım ve Kıyas konusu da büyük ölçüde tümdengelimsel yapıları kapsar.
Analoji (Benzetme) Yoluyla Çıkarım
Analoji, iki nesne veya durum arasındaki benzerliklere dayanarak çıkarım yapma yöntemidir. Analoji, tümdengelim kadar kesin sonuçlar vermez ancak günlük hayatta ve bilimsel keşiflerde sıklıkla kullanılır. Örneğin "Dünya ve Mars gezegenleri birçok açıdan benzerdir. Dünya'da yaşam vardır. O halde Mars'ta da yaşam olabilir" biçiminde bir akıl yürütme analoji yoluyla çıkarıma örnektir.
Sorit (Zincirleme Kıyas)
Sorit, ikiden fazla öncülün zincirleme biçimde birbirine bağlanarak tek bir sonuca ulaştığı çıkarım biçimidir. Sorit, aslında birden fazla kıyasın birleştirilmiş halidir. Orta terimler ardışık olarak birbirini takip eder.
Örnek: "Bütün A'lar B'dir", "Bütün B'ler C'dir", "Bütün C'ler D'dir" öncüllerinden "Bütün A'lar D'dir" sonucuna ulaşılır. Bu zincirleme yapı Aristoteles soriti olarak da bilinir.
Entimem (Eksik Kıyas)
Günlük dilde çoğu zaman kıyasların tüm öncülleri açıkça ifade edilmez. Bir öncülün ya da sonucun söylenmeden bırakıldığı kıyaslara entimem denir. Örneğin "Sokrates insandır, bu yüzden ölümlüdür" ifadesi bir entimemdir. Burada "Bütün insanlar ölümlüdür" büyük öncülü söylenmeden geçilmiştir.
Entimemler günlük iletişimde çok yaygındır çünkü herkesin bildiği varsayılan öncüller genellikle atlanır. Ancak mantıksal analiz yaparken eksik öncülün tamamlanması gerekir.
Dilem (İkilem)
Dilem, koşullu ve ayrık önermelerin birlikte kullanıldığı bir çıkarım biçimidir. En yaygın biçimi şöyledir: "Eğer A ise B dir; Eğer C ise D dir; A veya C dir; O halde B veya D dir." Dilemler yapıcı (constructive) ve yıkıcı (destructive) olmak üzere ikiye ayrılır.
Kıyas Geçerliliğini Test Etme Yöntemleri
Bir kıyasın geçerli olup olmadığını test etmenin birkaç yolu vardır:
Kural Yöntemi: Yukarıda açıklanan yedi kurala uygunluk kontrol edilir. Herhangi bir kuralın ihlali kıyası geçersiz kılar.
Venn Şemaları Yöntemi: Üç kümenin kesişimlerini gösteren Venn şemaları çizilerek öncüllerin sonucu zorunlu kılıp kılmadığı görsel olarak kontrol edilir. Bu yöntem özellikle karmaşık kıyasların analizinde oldukça kullanışlıdır.
Karşı Örnek Yöntemi: Kıyasın formuna uygun ancak öncülleri doğru, sonucu yanlış olan bir örnek bulunursa kıyas geçersizdir. Eğer böyle bir örnek bulunamıyorsa bu, kıyasın geçerli olduğuna dair güçlü bir kanıttır.
Yaygın Kıyas Hataları (Yanılgılar)
Kıyas kurallarının ihlal edilmesiyle ortaya çıkan hatalara biçimsel yanılgılar denir. En yaygın olanları şunlardır:
Dört Terim Yanılgısı: Kıyasta üçten fazla terim kullanılması veya bir terimin iki farklı anlamda kullanılmasıdır. Örneğin "yıldız" kelimesinin hem gök cismi hem de ünlü kişi anlamında kullanılması.
Dağıtılmamış Orta Terim Yanılgısı: Orta terimin hiçbir öncülde tümel olarak yer almamasıdır. Örnek: "Bütün kediler memelidir", "Bütün köpekler memelidir", "Bütün köpekler kedidir" — burada "memeli" orta terimi hiçbir öncülde dağıtılmamıştır.
Yasadışı Büyük veya Küçük Terim Yanılgısı: Öncüllerde tikel olan bir terimin sonuçta tümel olarak kullanılmasıdır.
Günlük Hayatta Çıkarım ve Kıyas
12. Sınıf Mantık Çıkarım ve Kıyas konusu yalnızca teorik bir bilgi alanı değildir. Günlük hayatta sürekli olarak çıkarımlar yapar ve kıyaslar kurarız. Hukuk alanında bir yargıcın kanun maddelerini somut olaylara uygulaması kıyas mantığına dayanır. Tıpta bir doktorun belirtilerden teşhise ulaşması çıkarım sürecinin bir uygulamasıdır. Bilimde hipotezlerin test edilmesi ve sonuçlara ulaşılması çıkarım yöntemlerine dayanır.
Bu nedenle mantık bilimi ve özellikle çıkarım ile kıyas konuları, eleştirel düşünme becerisinin temelini oluşturur. Doğru akıl yürütebilmek, günlük kararlarımızdan akademik çalışmalarımıza kadar hayatımızın her alanını olumlu etkiler.
Özet ve Tekrar
Bu kapsamlı konu anlatımında 12. Sınıf Mantık Çıkarım ve Kıyas konusunun tüm alt başlıklarını ele aldık. Çıkarımın ne olduğunu, doğrudan ve dolaylı çıkarım türlerini, kıyasın yapısını, terimlerini, kurallarını, figürlerini ve modlarını ayrıntılı biçimde inceledik. Karşı olma karesi, döndürme işlemleri, entimem, sorit ve dilem gibi kavramları örneklerle açıkladık. Kıyas geçerliliğinin nasıl test edileceğini ve yaygın yanılgıları da öğrendik. Bu konuyu tam anlamıyla kavrayabilmek için bol bol örnek çözmek ve farklı kıyas yapılarını analiz etmek büyük önem taşımaktadır.
Örnek Sorular
12. Sınıf Mantık Çıkarım ve Kıyas Çözümlü Sorular
Aşağıda 12. Sınıf Mantık Çıkarım ve Kıyas konusuyla ilgili 7 çoktan seçmeli ve 3 açık uçlu olmak üzere toplam 10 çözümlü soru bulunmaktadır. Her sorunun ardından ayrıntılı çözümü verilmiştir.
Soru 1 (Çoktan Seçmeli)
Aşağıdakilerden hangisi bir kıyasta bulunması gereken terimlerden biri değildir?
- A) Büyük terim
- B) Küçük terim
- C) Orta terim
- D) Yan terim
- E) Yüklem terimi
Çözüm: Bir kıyasta üç terim bulunur: büyük terim (P), küçük terim (S) ve orta terim (M). "Yan terim" diye ayrı bir sınıflandırma klasik kıyas terminolojisinde yoktur. Büyük terim aynı zamanda sonucun yüklemi olduğu için E şıkkı dolaylı olarak doğrudur ancak "yan terim" kavramı kıyasa özgü bir terim değildir.
Cevap: D
Soru 2 (Çoktan Seçmeli)
"Bütün öğretmenler sabırlıdır" (A) önermesinin çelişiği aşağıdakilerden hangisidir?
- A) Hiçbir öğretmen sabırlı değildir.
- B) Bazı öğretmenler sabırlıdır.
- C) Bazı öğretmenler sabırlı değildir.
- D) Bütün öğretmenler sabırlı değildir.
- E) Hiçbir sabırlı kişi öğretmen değildir.
Çözüm: Mantık karesine göre A (tümel olumlu) önermesinin çelişiği O (tikel olumsuz) önermesidir. "Bütün öğretmenler sabırlıdır" önermesinin çelişiği "Bazı öğretmenler sabırlı değildir" olur. Çelişik önermeler her zaman farklı doğruluk değeri taşır.
Cevap: C
Soru 3 (Çoktan Seçmeli)
Aşağıdaki kıyaslardan hangisi Barbara moduna örnektir?
- A) Hiçbir balık memeli değildir. / Bütün yunuslar memelidir. / Hiçbir yunus balık değildir.
- B) Bütün metaller iletkendir. / Bütün bakırlar metaldir. / Bütün bakırlar iletkendir.
- C) Bazı öğrenciler çalışkandır. / Bütün çalışkanlar başarılıdır. / Bazı öğrenciler başarılıdır.
- D) Hiçbir bitki hayvan değildir. / Bazı canlılar bitkidir. / Bazı canlılar hayvan değildir.
- E) Bazı insanlar dürüsttür. / Bazı dürüstler cesaretlidir. / Bazı insanlar cesaretlidir.
Çözüm: Barbara modu AAA-1 yapısındadır; yani birinci figürde üç tümel olumlu (A) önermeden oluşur. B şıkkında büyük öncül "Bütün metaller iletkendir" (A), küçük öncül "Bütün bakırlar metaldir" (A) ve sonuç "Bütün bakırlar iletkendir" (A) olup birinci figürde Barbara moduna uygundur.
Cevap: B
Soru 4 (Çoktan Seçmeli)
"Hiçbir S, P değildir" önermesinin düz döndürmesi (konversiyon) aşağıdakilerden hangisidir?
- A) Bütün P, S dir.
- B) Hiçbir P, S değildir.
- C) Bazı P, S dir.
- D) Bazı P, S değildir.
- E) Bütün S, P dir.
Çözüm: E (tümel olumsuz) önermesinin düz döndürmesinde konu ve yüklem yer değiştirir ve önerme tipi değişmez. "Hiçbir S, P değildir" düz döndürmeyle "Hiçbir P, S değildir" olur. E önermesinin düz döndürmesi yine E önermesidir.
Cevap: B
Soru 5 (Çoktan Seçmeli)
Bir kıyasta her iki öncülün de olumsuz olması durumunda ne olur?
- A) Sonuç zorunlu olarak olumlu olur.
- B) Sonuç zorunlu olarak tikel olur.
- C) Kıyas geçersiz sayılır.
- D) Sonuç tümel olumsuz olur.
- E) Orta terim dağıtılmamış olur.
Çözüm: Kıyas kurallarına göre her iki öncül olumsuz olamaz. İki olumsuz öncülden geçerli bir sonuç çıkarılamaz çünkü olumsuz öncüller terimler arasında olumlu bir bağ kurulamayacağını gösterir. Bu durumda kıyas geçersiz sayılır.
Cevap: C
Soru 6 (Çoktan Seçmeli)
İkinci figürde orta terimin konumu aşağıdakilerden hangisidir?
- A) Her iki öncülün konusu
- B) Büyük öncülün konusu, küçük öncülün yüklemi
- C) Her iki öncülün yüklemi
- D) Büyük öncülün yüklemi, küçük öncülün konusu
- E) Yalnızca büyük öncülün konusu
Çözüm: İkinci figürde orta terim her iki öncülün de yüklemi konumundadır. Bu figürde yapı P–M / S–M / S–P biçimindedir. Bu nedenle doğru cevap C şıkkıdır.
Cevap: C
Soru 7 (Çoktan Seçmeli)
Aşağıdakilerden hangisi bir entimem örneğidir?
- A) Bütün insanlar ölümlüdür. Sokrates insandır. O halde Sokrates ölümlüdür.
- B) Sokrates insandır, bu yüzden ölümlüdür.
- C) Eğer yağmur yağarsa yerler ıslanır. Yağmur yağıyor. O halde yerler ıslanır.
- D) Bazı hayvanlar uçar. Kartallar hayvanır. Bazı kartallar uçar.
- E) Hiçbir balık uçamaz. Somon bir balıktır. Somon uçamaz.
Çözüm: Entimem, bir öncülü veya sonucu söylenmeden bırakılan eksik kıyastır. B şıkkında "Bütün insanlar ölümlüdür" büyük öncülü açıkça ifade edilmemiştir. Sadece küçük öncül ve sonuç verilmiştir. Bu nedenle bu bir entimemdir.
Cevap: B
Soru 8 (Açık Uçlu)
Doğrudan çıkarım ile dolaylı çıkarım arasındaki temel farkı açıklayınız ve her birine birer örnek veriniz.
Çözüm: Doğrudan çıkarım, tek bir öncülden sonuç çıkarma işlemidir. Dolaylı çıkarım ise iki veya daha fazla öncülden sonuç çıkarma işlemidir. Doğrudan çıkarıma örnek: "Bütün kediler memelidir" önermesinden düz döndürme yoluyla "Bazı memeliler kedidir" sonucuna ulaşmak. Dolaylı çıkarıma örnek: "Bütün memeliler sıcakkanlıdır" ve "Bütün kediler memelidir" öncüllerinden "Bütün kediler sıcakkanlıdır" sonucuna ulaşmak. Temel fark kullanılan öncül sayısıdır: doğrudan çıkarımda bir öncül, dolaylı çıkarımda en az iki öncül kullanılır.
Soru 9 (Açık Uçlu)
Aşağıdaki kıyasın geçerli olup olmadığını kural yöntemiyle belirleyiniz:
"Bütün kuşlar uçar. Bütün kartallar kuştur. Bütün kartallar uçar."
Çözüm: Bu kıyası analiz edelim. Büyük terim (P): uçar, Küçük terim (S): kartallar, Orta terim (M): kuşlar. Büyük öncül: Bütün M, P dir (A). Küçük öncül: Bütün S, M dir (A). Sonuç: Bütün S, P dir (A). Bu birinci figürde Barbara (AAA-1) modudur. Kuralları kontrol edelim: Üç terim var (kural 1 sağlanır). Orta terim "kuşlar" büyük öncülde konu olarak tümel dağıtılmıştır (kural 2 sağlanır). Sonuçta S dağıtılmış, küçük öncülde de dağıtılmış (kural 3 sağlanır). Olumsuz öncül yok (kural 4 ve 5 sağlanır). Tikel öncül yok (kural 6 ve 7 sağlanır). Sonuç olarak kıyas geçerlidir. Ancak büyük öncül olgusal olarak yanlıştır (penguenler uçamaz), bu nedenle kıyas geçerli ama sağlam değildir.
Soru 10 (Açık Uçlu)
Kıyasın dört figürünü orta terimin konumuna göre açıklayınız ve her figür için birer geçerli mod adı yazınız.
Çözüm: Kıyasın figürleri orta terimin (M) öncüllerdeki konumuna göre belirlenir. Birinci Figür: M büyük öncülün konusu, küçük öncülün yüklemidir (M–P / S–M). Geçerli mod örneği: Barbara (AAA). İkinci Figür: M her iki öncülün yüklemidir (P–M / S–M). Geçerli mod örneği: Cesare (EAE). Üçüncü Figür: M her iki öncülün konusudur (M–P / M–S). Geçerli mod örneği: Darapti (AAI). Dördüncü Figür: M büyük öncülün yüklemi, küçük öncülün konusudur (P–M / M–S). Geçerli mod örneği: Bramantip (AAI). Her figürün kendine özgü geçerli modları vardır ve sonuçların nitelik-nicelik özellikleri figüre göre farklılık gösterir.
Çalışma Kağıdı
12. Sınıf Mantık – Çıkarım ve Kıyas Çalışma Kâğıdı
Ders: Mantık | Ünite: Klasik Mantık | Konu: Çıkarım ve Kıyas
Adı Soyadı: ______________________________ Sınıf/No: ____________ Tarih: ___/___/______
Etkinlik 1 – Kavram Eşleştirme
Yönerge: Sol sütundaki kavramları sağ sütundaki tanımlarla eşleştiriniz. Her tanımın yanındaki boşluğa ilgili kavramın numarasını yazınız.
Kavramlar:
1. Çıkarım 2. Kıyas 3. Orta Terim 4. Entimem 5. Sorit 6. Büyük Terim 7. Figür 8. Mod
Tanımlar:
( ___ ) Bir öncülü veya sonucu söylenmeden bırakılan eksik kıyastır.
( ___ ) Bir veya birden fazla önermeden yeni bir önerme elde etme işlemidir.
( ___ ) Her iki öncülde ortak olarak bulunan ancak sonuçta yer almayan terimdir.
( ___ ) İki öncül ve bir sonuçtan oluşan dolaylı çıkarım biçimidir.
( ___ ) Kıyastaki önerme tiplerinin (A, E, I, O) sıralanışıdır.
( ___ ) Orta terimin öncüllerdeki konumuna göre belirlenen kıyas biçimidir.
( ___ ) Sonuç önermesinin yüklemi olan terimdir.
( ___ ) Birden fazla öncülün zincirleme biçimde birbirine bağlandığı çıkarım türüdür.
Etkinlik 2 – Boşluk Doldurma
Yönerge: Aşağıdaki cümlelerdeki boşlukları uygun kavramlarla doldurunuz.
1. Tek bir öncülden sonuç çıkarma işlemine _________________________ çıkarım denir.
2. Mantık karesinde A ve O önermeleri arasında _________________________ ilişkisi vardır.
3. Bir önermenin konu ve yükleminin yer değiştirmesine _________________________ denir.
4. Kıyasta sonuç önermesinin konusu olan terime _________________________ denir.
5. Barbara modu _________________________ figüre aittir ve _________________________ önerme tiplerinden oluşur.
6. İki olumsuz öncülden geçerli bir sonuç _________________________.
7. Genel önermelerden özel sonuçlara ulaşma yöntemine _________________________ denir.
8. Dördüncü figürü kıyas sistemine ekleyen düşünür _________________________ olarak bilinir.
9. Bir çıkarımın hem geçerli olması hem de öncüllerinin doğru olması durumuna _________________________ denir.
10. Üçüncü figürde sonuç her zaman _________________________ niceliğindedir.
Etkinlik 3 – Doğru / Yanlış
Yönerge: Aşağıdaki ifadelerin başına doğru ise (D), yanlış ise (Y) yazınız.
( ___ ) 1. Bir kıyasta dört terim bulunabilir.
( ___ ) 2. Çelişik önermeler aynı anda doğru olabilir.
( ___ ) 3. E önermesinin düz döndürmesi yine E önermesidir.
( ___ ) 4. İkinci figürde sonuç daima olumsuz olur.
( ___ ) 5. Öncüllerden biri tikelse sonuç tümel olabilir.
( ___ ) 6. Karşıt (konter) ilişkisinde A ve E önermeleri aynı anda yanlış olabilir.
( ___ ) 7. O önermesinin geçerli düz döndürmesi vardır.
( ___ ) 8. Tümevarımsal çıkarımda sonuç zorunludur.
( ___ ) 9. Orta terim, öncüllerin en az birinde tümel olarak yer almalıdır.
( ___ ) 10. Entimem bir eksik kıyas biçimidir.
Etkinlik 4 – Kıyas Analizi
Yönerge: Aşağıdaki kıyasları inceleyiniz. Her biri için büyük terim, küçük terim, orta terimi belirleyiniz; figürünü ve modunu yazınız; geçerli olup olmadığını belirtiniz.
Kıyas A:
Büyük Öncül: Bütün memeliler sıcakkanlıdır.
Küçük Öncül: Bütün kediler memelidir.
Sonuç: Bütün kediler sıcakkanlıdır.
Büyük Terim: ____________ Küçük Terim: ____________ Orta Terim: ____________
Figür: ____________ Mod: ____________ Geçerli mi? ____________
Kıyas B:
Büyük Öncül: Hiçbir balık memeli değildir.
Küçük Öncül: Bütün yunuslar memelidir.
Sonuç: Hiçbir yunus balık değildir.
Büyük Terim: ____________ Küçük Terim: ____________ Orta Terim: ____________
Figür: ____________ Mod: ____________ Geçerli mi? ____________
Kıyas C:
Büyük Öncül: Bazı sporcular öğrencidir.
Küçük Öncül: Bazı öğrenciler çalışkandır.
Sonuç: Bazı sporcular çalışkandır.
Büyük Terim: ____________ Küçük Terim: ____________ Orta Terim: ____________
Figür: ____________ Mod: ____________ Geçerli mi? ____________
Etkinlik 5 – Karşı Olma Karesi Uygulaması
Yönerge: Verilen önermeye göre mantık karesini kullanarak diğer önermelerin doğruluk değerlerini bulunuz.
Verilen: "Bütün öğrenciler başarılıdır" (A) önermesi DOĞRU ise;
E (Tümel Olumsuz) – "Hiçbir öğrenci başarılı değildir" → ____________
I (Tikel Olumlu) – "Bazı öğrenciler başarılıdır" → ____________
O (Tikel Olumsuz) – "Bazı öğrenciler başarılı değildir" → ____________
Verilen: "Bazı kitaplar ilgi çekicidir" (I) önermesi YANLIŞ ise;
A (Tümel Olumlu) – "Bütün kitaplar ilgi çekicidir" → ____________
E (Tümel Olumsuz) – "Hiçbir kitap ilgi çekici değildir" → ____________
O (Tikel Olumsuz) – "Bazı kitaplar ilgi çekici değildir" → ____________
Etkinlik 6 – Döndürme İşlemleri
Yönerge: Aşağıdaki önermelerin istenen döndürmelerini yapınız.
1. "Bütün kuşlar kanatlıdır" (A) → Düz Döndürme: _______________________________________________
2. "Hiçbir balık sürüngen değildir" (E) → Düz Döndürme: _______________________________________________
3. "Bazı öğrenciler sporculardır" (I) → Düz Döndürme: _______________________________________________
4. "Bütün insanlar canlıdır" (A) → Ters Döndürme: _______________________________________________
5. "Hiçbir taş canlı değildir" (E) → Ters Döndürme: _______________________________________________
Etkinlik 7 – Entimemi Tamamla
Yönerge: Aşağıdaki entimemlerin eksik öncülünü veya sonucunu yazarak kıyası tamamlayınız.
1. "Ali insandır, bu yüzden Ali ölümlüdür."
Eksik Öncül: _______________________________________________
2. "Bütün metaller iletkendir. O halde bakır da iletkendir."
Eksik Öncül: _______________________________________________
3. "Bütün kuşlar kanatlıdır. Bütün kartallar kuştur."
Eksik Sonuç: _______________________________________________
4. "Hiçbir bitki hareket edemez. Bu yüzden gül hareket edemez."
Eksik Öncül: _______________________________________________
Etkinlik 8 – Geçerlilik Değerlendirmesi
Yönerge: Aşağıdaki kıyasların geçerli olup olmadığını belirleyiniz. Geçersiz olanlar için hangi kuralın ihlal edildiğini yazınız.
Kıyas 1: Bütün kediler memelidir. / Bütün köpekler memelidir. / Bütün köpekler kedidir.
Geçerli / Geçersiz: ____________ İhlal Edilen Kural: _______________________________________________
Kıyas 2: Hiçbir bitki hayvan değildir. / Hiçbir hayvan mineral değildir. / Hiçbir mineral bitki değildir.
Geçerli / Geçersiz: ____________ İhlal Edilen Kural: _______________________________________________
Kıyas 3: Bazı insanlar doktordur. / Bazı doktorlar kadındır. / Bazı insanlar kadındır.
Geçerli / Geçersiz: ____________ İhlal Edilen Kural: _______________________________________________
Kıyas 4: Bütün öğretmenler eğitimlidir. / Bütün profesörler öğretmendir. / Bütün profesörler eğitimlidir.
Geçerli / Geçersiz: ____________ İhlal Edilen Kural: _______________________________________________
12. Sınıf Mantık – Çıkarım ve Kıyas Çalışma Kâğıdı | Klasik Mantık Ünitesi
Sıkça Sorulan Sorular
12. Sınıf Mantık müfredatı 2025-2026 yılında kaç ünite?
2025-2026 müfredatına göre 12. sınıf mantık dersi birden fazla üniteden oluşmaktadır. Sayfadaki ünite listesinden güncel bilgiye ulaşabilirsiniz.
12. sınıf Çıkarım ve kıyas konuları hangi dönemlerde işleniyor?
12. sınıf mantık dersi konuları 1. dönem ve 2. dönem olarak iki yarıyılda işlenmektedir. Her ünitenin tahmini süre bilgisi Millî Eğitim Bakanlığı'nın haftalık ders planlarında yer almaktadır.
12. sınıf mantık müfredatı ne zaman güncellendi?
Gösterilen içerik 2025-2026 eğitim-öğretim yılı için güncellenmiştir. Millî Eğitim Bakanlığı'nın resmi sitesinde yayımlanan müfredat dokümanları esas alınmıştır.