Mantık: Revizyonlar arasındaki fark

'''Mantık''' ya da '''eseme''', [[bilgi]]nin yapısını inceleyen, [[doğru]] ve yanlış (mantık)|doğru ile yanlış]] arasındaki [[akıl]] yürütmenin ayrımını yapan disiplindir, [[doğru]] [[düşünce]]nin aletidir. Önceleri bir [[felsefe]] dalıyken daha sonra kendi başına bir ihtisas alanı olmuştur. [[Matematik]] ve [[Bilgisayar Bilimi]]nin de parçası haline gelmiştir. Bir disiplin olarak [[Aristoteles]] tarafından kurulmuştur. Aristoteles'den etkilenen [[Farabi]] tarafından iki kısımda kategorize edilmiştir. (düşünce ve sonuç) [[İbn-i Sina]] geçicilik ve içerme arasındaki ilişkiyi geliştirmiştir. Çağdaş zamanlarda [[Frege]], [[Russell]] ve [[Wittgenstein]] önemli katkılar yapmıştır.

Sembolik mantık üzerine ilk sistemli çalışma [[Leibniz]] tarafından yapılmıştır. De Morgan sembollerle ifade edilebilecek bir mantık üzerine çalışmıştır. G. Boole gibi matematikçiler mantığın matematikleştirilmesine çalışırken, G. Frege bugünkü önermeler ve niceleme mantığını kurmuştur. Sembolik mantığın en önemli klasiklerinden biri B. [[Russel]] ve N. [[Whitehead]]'ın birlikte yazdığı Matematiğin İlkeleri kitabıdır. Günümüzde lojistik adı verilen sembolik mantık büyük ölçüde bu kitaba dayanmaktadır. [[Lukasiewic]] üç değerli mantık sistemi geliştirmiş, [[Reicheinbach]] olasılık mantığı adıyla sonsuz [[doğruluk değeri|doğruluk değerli]] mantık sistemini kurmuştur.