“11-12. Sınıf Mantık Ders Kitabı Cevapları Sayfa 65 Meb Yayınları” ulaşabilmek ve dersinizi kolayca yapabilmek için aşağıdaki yayınımızı mutlaka inceleyiniz.

Mantık Ders Kitabı Cevapları Meb Yayınları Sayfa 65

İNCELEME METNİ

Soru: Aşağıda verilen metne göre soruları cevaplayınız.

Mantık biliminin konusu içine giren çıkarımları (yani, mantıksal çıkarımları) herhangi bir akıl yürütmeden ayıran özeliklerden birisi, ilkinin objektif olarak denetlenebilmesidir. Mantık kuralları vasıtasıyla denetlenemeyen bir çıkarım, şüphesiz mantıksız veya saçma olarak nitelenemez. Böyle bir çıkarım sadece sonuçlarının doğruluğu mantıksal yolla denetlenemeyen, yani herkesin aynı sonuçları elde etmesi genellikle mümkün olmayan türden bir çıkarımdır. Mantıksal bir çıkarımın üzerinde herkesin anlaşabileceği sonuçlar vermesi (yani, objektif olarak denetlenebilmesi) ise tıpkı matematikte olduğu gibi formel bir dil vasıtasıyla ifade edilebilmesinin bir sonucudur. Kurulacak formel diller ise mantıksal çıkarım türlerini belirler. Formel bir dilin kurulabilmesi için en az şu iki şartın yerine gelmesi gerekir: Yapılan akıl yürütmelerini ifade etmek için kullanılan dil sembolik hale getirilmeli ve bu sembollerin nasıl kullanılacağını tayin eden kurallar tespit edilmelidir. (...) Fakat bir önermeden mantıksal çıkarım yoluyla yeni önermeye geçebilmek için kullanılacak kurallar klasik mantık içinde kullanılan kurallarla sınırlı değildir. Nitekim modern mantıkla yeni bir sembolik dil kurulmuş ve bu sembolleri kullanma kuralları tayin edilmiştir. Bu sayede de yeni mantıksal çıkarım türlerini ifade etmek imkânı doğmuştur. Modern mantıkta (önermeler mantığı içinde) önermeler bir bütün olarak ele alınır ve her bir önerme p, q, r gibi sembollerle gösterilir. (...) Önermeler mantığı içinde “ise, ve, veya” gibi önerme eklemleri sembolleştirilir ve bu sembollerin kullanma kuraları doğruluk tablosuyla belirlenir. Böylece tamamen formel hale getirilmiş bir sistem içinde, önermeler arasında, matematik işlemlere benzer bir şekilde çıkarım ilişkileri kurmak ve bu çıkarımların doğruluğunu denetleyebilmek imkânı doğar. Dikkat edilirse bu hâliyle önermeler mantığının klasik mantığa göre eksik bir yönü vardır. Çünkü klasik mantıkta (bir önermede özneye, yükleme ve aralarındaki bağa birer sembol tekabül ettirildiğinden), önermelerin iç yapısı da ifade edilebilmektedir. (...) Modern mantıkta önermelerin iç yapısını ifade edebilmek niceleme mantığı sayesinde mümkün olabilmektedir. Niceleme manığında kullanılan notasyon sayesinde önermelerin iç yapısını, hatta (x, y ve z’nin arasındadır gibi) daha da karmaşık ifadeleri sembolik hâle getirmek ve bu sembollerin kullanma kurallarını yine doğruluk tablosu yardımıyla tanımlayıp yeni mantıksal çıkarımları ifade edebilmek mümkün olmaktadır. (...) Kısaca, herhangi bir akıl yürütmeyi mantıksal bir çıkarımdan ayırmak gerekir. Mantıksal çıkarım, sadece formel sistemler için söz konusudur. Herhangi bir akıl yürütmenin doğruluğu ise bu akıl yürütmeye uyan bir formel sistem vasıtasıyla tayin edilebilir. (...)

  • Cevap:

Soru: 1) Formel dilin inşa edilebilmesi için yerine getirilmesi gereken temel koşullar nelerdir? Açıklayınız.

  • Cevap:

Soru: 2) Önermeler mantığının yapısından kaynaklanan temel kısıtlama nedir? Bu kısıtlamanın hangi mantık disipliniyle aşıldığını açıklayınız.

  • Cevap:

11-12. Sınıf Meb Yayınları Mantık Ders Kitabı Sayfa 65 ile ilgili aşağıda bulunan emojileri kullanarak duygularınızı belirtebilir aynı zamanda sosyal medyada paylaşarak bizlere katkıda bulunabilirsiniz.