Mantık (logic)

Mantık, gerçeği ve akıl yürütmeyi inceleyen disiplinler arası bir alandır.

İnformal mantık, örneğin yanlışlık çeşitlerini listeleyerek, geçerli argümanları gayrı resmi olarak karakterize etmeye çalışır.

Formal (biçimsel) mantık, birinci dereceden mantık gibi formal sistemleri kullanarak ifadeleri ve argüman kalıplarını sembolik olarak temsil eder.

Formal mantık içinde matematiksel mantık, mantıksal sistemlerin matematiksel özelliklerini incelerken, felsefi mantık bunları anlamın, bilginin ve varoluşun doğası gibi felsefi problemlere uygular. Biçimsel mantık sistemleri, dilbilim, bilişsel bilim ve bilgisayar bilimi gibi diğer alanlarda da uygulanır.

Mantık, Antik Çağ'dan beri, Aristoteles mantığı, stoacı mantık, Anviksiki ve mohistler dahil olmak üzere erken yaklaşımlar üzerinde çalışılmıştır. Modern biçimsel mantığın kökleri,19. yüzyılın sonlarında Gottlob Frege gibi matematikçilerin çalışmalarında bulunur.


Mantıkta kullanılan argüman terminolojisi

Bir mantık locked çipteki çekirdek eleman için saldırı yöntemleri (https://arxiv.org/pdf/1907.08863.pdf)

 

https://en.wikipedia.org/wiki/Logic

16 Eylül 2021
23 Ekim 2023

 

GERİ (bilim felsefesi, filozofları)
GERİ (bilim felsefesi İlgili konular)
GERİ (felsefe, TABLO)