Mantık: Revizyonlar arasındaki fark
| [kontrol edilmiş revizyon] | [kontrol edilmiş revizyon] |
İçerik silindi İçerik eklendi
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ış. |
||
49. satır:
[[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
=== İslam Dünyasında Mantık ===
| |||