"Mantık" sayfasının sürümleri arasındaki fark

k
→‎Mantığın tarihçesi: Lojistik takviyei ikmal demektir. Lojik ise "logic" kelimesinin aynen dil içine alınmış hali olup mantık demektir. Burada bir kelime karmaşası yaşanmış.
(Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0)
k (→‎Mantığın tarihçesi: Lojistik takviyei ikmal demektir. Lojik ise "logic" kelimesinin aynen dil içine alınmış hali olup mantık demektir. Burada bir kelime karmaşası yaşanmış.)
[[F. Bacon]], tümevarım mantığını içeren deneysel yöntemin geçerli olduğunu göstermiştir. [[Descartes]] ve [[Ramus]] gibi düşünürler bilimcil yöntem konusunu Yeni Çağ’da ön plana çıkarmış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ık)|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 lojistiklojik 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.
 
=== İslam Dünyasında Mantık ===
2

değişiklik