Yüklem Analizi
Predicate Analysis
Tanım
Bireysel önermelerin içindeki öğelerin birbirleriyle olan ilişkilerini ve önermelerin bir bütün olarak birbirleriyle olan bağlarını inceleyen sembolik mantık sistemi.
Örnek Vaka / Uygulama
Bir psikoloji araştırmacısında katılımcılara verilen 'Tüm insanlar düşünür ve Socrates bir insandır, o halde Socrates düşünür' argümanının mantıksal geçerliliğini test etmek için yüklem analizi formülleri kullanılır.
Derin Analiz
Bilişsel bilimler ve yapay zeka alanında mantıksal çıkarım süreçlerinin modellenmesinde kullanılan yüklem analizi, insan zihninin karmaşık argümanları nasıl yapılandırdığını ve sembolik temsilleri nasıl işlediğini inceleyen formal bir yöntemdir. Önermeler mantığından farklı olarak, ifadelerin içyapısını (özne, yüklem, niceleyiciler) ve nesneler arasındaki ilişkileri çözümler. Bilişsel psikolojide tümdengelimli akıl yürütme, dilbilimde ise anlambilim (semantics) analizleri yapılırken bu mantıksal temellerden yararlanılır.
Etimoloji
Latince 'praedicare' (ilan etmek, bildirmek, yüklemlemek) fiilinden türetilen 'praedicatum' (yüklem) kelimesine dayanır.
Karıştırmayın
Önermeler analizi (propositional analysis) ile sıklıkla karıştırılır; önermeler analizi ifadelerin içyapısını parçalarına ayırmadan bir bütün olarak ele alırken, yüklem analizi önermenin içindeki elemanların ve niceliklerin (tüm, bazı) ilişkilerini derinlemesine inceler.
Keşfetmeye Devam Edin
Sembolik Mantık
Sembolik Mantık
Symbolic Logic
Argümanların geçerlilik koşullarını kesin olarak incelemek amacıyla, doğal dilin öznel ve yan anlamlarından arındırılmış matematiksel ve küme teorik sembollerin sistematik kullanım biçimi.
İncele
Tümdengelim
Tümdengelim
Deduction
Genel bir kural veya öncülden, mantıksal geçerlilik kurallarına bağlı olarak özel bir sonuç çıkarma süreci.
İncele