Mantığın tarihçesi
Mantık üzerine ilk bütünsel düşünme ve araştırmayı Aristoteles yapmıştır. Mantık üzerine altı kitap yazmıştır ve bu kitaplar o öldükten sonra Organon başlığı altında toplanmıştır. Bunlar, Kategoriler, Önermeler, Birinci Analitikler, İkinci Analitikler, Topikler, Sofistik Kanıtlar, daha sonra da Poetika ve Retorik ve Porfiryos’un İsagoji’si de eklenmiştir. Organon Porfiryos tarafından sadeleştirilmiş, M.S. 6'da, Boetyus tarafından Latinceye çevrilmiştir. Ortaçağ boyunca Aristo’nun öncülük ettiği Skolastik düşünce hakimiyetini sürdürmüştü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 bilimsel 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ığı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ğerli mantık sistemi kurmuştur.
