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.
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)