Mantık tarihi, geçerli çıkarımın kuralları hakkındaki düşüncelerin Antik Çağ'dan modern sembolik sistemlere uzanan gelişimini inceler. [1]
TEMEL ÖZELLİKLER
Aristoteles'in kıyas kuramı, Stoacı önerme mantığı, İslam düşüncesindeki şerhler ve on dokuzuncu yüzyıldan itibaren matematiksel mantık başlıca dönüm noktalarıdır. Konunun kapsamı yerleşik terminoloji ile doğrulanabilir gözlem, belge ya da ölçümler temelinde belirlenir. Benzer kavramlar arasındaki ayrım kullanım bağlamına göre açıklanır; tarihsel gelişme ile güncel uygulama birbirine karıştırılmaz. Ölçüm, sınıflandırma veya yorum gerektiren durumlarda yöntemin sınırları belirtilir ve tek örnekten genelleme yapılmaz. Sağlık, hukuk ya da kamusal kararla ilişkili konularda belirsizlik, yetki alanı ve güncel kurallar ayrıca dikkate alınır. Böylece tanım, uygulama ve sınırlamalar aynı çerçevede görülebilir. [1][2]