Formel Mantık
Formal Logic
Tanım
Örnek Vaka / Uygulama
Bir araştırmacının 'Bütün insanlar ölümlüdür; Sokrates bir insandır; O halde Sokrates ölümlüdür' önermesini içerikten soyutlayıp sadece p -> q, q -> r, o halde p -> r formel yapısıyla test etmesi ve geçerliliğini doğrulaması.
Derin Analiz
Bilişsel bilimler ve mantık felsefesi bağlamında formel mantık, içeriğin doğruluk değerinden bağımsız olarak, argümanların yapısal geçerliliğini inceleyen soyut bir sistemdir. İnsan bilişinin sezgisel veya gündelik düşünce kalıplarından (common sense) ayrılan bu yapı, tümdengelimsel çıkarımların kurallarını matematiksel bir kesinlikle modellenmesini sağlar. Nörobiyolojik düzeyde, prefrontal korteksin yürütücü işlevleri ve çalışma belleği, bu kural tabanlı manipülasyonları gerçekleştirirken sembolik temsilleri işleme kapasitesiyle doğrudan ilişkilidir.
Etimoloji
Latince 'formalis' [şekle, biçime ait] sıfatından ve Yunanca 'logike' [düşünce, akıl, söz] kelimesinden türetilmiştir.
Karıştırmayın
İnformal mantık (gündelik argümanların ikna ediciliği ve içeriğiyle ilgilenir) ve sezgisel düşünce (hızlı, bilişsel kestirmelere dayalı zihinsel süreçler).