BİLGİ AKTARMA VE DİL - ANLAMA VE TANIMLAMA
Kaplamsal tanım: Tanımlanan ile tanımlayanın kaplamlarının aynı yani özdeş olduğu, mantıksal açıdan yetkin, bilgi verici
olmayan tanımdır. "A, A'dır." şeklinde sembolleştirilir.
Örnek:
Kare, karedir.
Özne ve yüklemi aynı olan böyle bir tanım aynı zamanda özdeşlik önermesidir.
Tanım klasik mantıkta kavramlar aracılığıyla yapılırken sembolik mantıkta semboller aracılığıyla yapılır:
Klasik mantıkta;
• Tanımlanamazlar vardır.
• Duyguların, duyumların ve üstün cinslerin tanımı yapılamaz.
• Mantıksal değişmezlerin ( değil, ve, veya, ise, ancak ve ancak gibi) tanımı yapılamaz.
• Tanım, kavramın işaret ettiği gerçekliğin özü ile ilgilidir ve tanımın öze uygunluğu oranında geçerliliği vardır.
Sembolik mantıkta;
• Klasik mantıktaki önermeler sembolleştirilir.
• Mantık değişmezleri semboller aracılığıyla tanımlanır.
• Tanımın geçerliliği öze değil biçime ilişkindir.
MANTIK - AYT
MEBİ KONU ÖZETLERİ
