Mantık, insan zihninin düşünsel işleyişini; doğruluk ve yanlışlık, tutarlılık ve çelişki gibi kavramlar çerçevesinde sistematik, nesnel ve tutarlı bir yaklaşımla ele alan bir disiplindir. Kuramsal ve uygulamalı yönleri bir arada barındıran mantık, felsefe, matematik, dilbilim, bilişim ve bilimsel düşüncenin metodolojik temellerini paylaşan köklü bir bilgi alanıdır. Mantık, insan zihninin kavramsal düşünme, değerlendirme ve çıkarım üretme yetilerinin yapısını ve işleyiş ilkelerini sistematik bir biçimde inceleyen disiplinler arası bir bilgi alanıdır. Doğru ile yanlış, tutarlılık ile çelişki gibi temel karşıtlıklar üzerinden zihinsel süreçlerin geçerlilik ve doğruluk ölçütlerini sorgular. Akıl yürütme süreçlerinin hangi ilkelere dayanarak geçerli ve doğru sayılabileceğini belirlemeyi amaçlar. Bu bağlamda, mantık yalnızca soyut akıl yürütmenin kurallarını belirlemekle kalmaz; aynı zamanda bilgi üretimi, problem çözme ve eleştirel düşünme gibi bilişsel faaliyetlerin temelini oluşturur.
Mantık, kuramsal yönüyle formel sistemler ve sembolik dil yapılarını araştırırken; pratik yönüyle gündelik yaşamda, bilimsel yöntemlerde ve teknolojik uygulamalarda geçerli akıl yürütme biçimlerinin analizine olanak sağlar. Mantık, felsefenin epistemoloji ve ontolojiyle kesişen alanlarında temellenirken; matematikte ispat kuramı ve model teorisiyle, dilbilimde anlamsal yapıların çözümlenmesiyle, bilişimde algoritmik düşünceyle ve bilimsel metodolojide deneysel verilerin akılcı yorumlanmasıyla iç içe geçmiştir. Bu çok yönlü yapısıyla mantık, yalnızca bir düşünme aracı değil, modern bilginin inşasında merkezi bir epistemolojik zemin sunar.İnsan zihni, yalnızca bilgi toplamakla kalmaz; aynı zamanda bu bilgileri sınıflandırır, ilişkilendirir ve yeni bilgiler türetir. Mantık, bu türetim süreçlerinin geçerliliğini analiz eder.
Mantığın temel inceleme alanları, önermelerin ve çıkarımların doğru ya da yanlış olma durumları ile bir düşünce sisteminin kendi içinde tutarlılık taşıyıp taşımadığıdır. Bu karşıtlıklar, mantıksal değerlendirmede ölçüt işlevi görür. Klasik mantık, sembolik mantık, çok-değerli mantık gibi yapılar üzerinden düşünce biçimlerinin formelleştirilmesine yardım eder. Gündelik akıl yürütme, bilimsel hipotez testleri, yapay zekâda karar alma algoritmaları vb. alanlara uygulanabilirlik açısından mantıksal süreçler önemli yer tutar. Mantık bilimi, Felsefe, Matematik, Dil Bilim, Bilgisayar ve Bilişim gibi alanlarda uygulama alanlarına sahiptir.
Mantık Tarihçesi: İlk sistemli mantık olmasa da, doğa filozofları (örneğin Herakleitos, Parmenides) evrenin yapısını açıklarken mantıksal çıkarımlara başvurmuşlardır. Sokrates, mantıksal sorgulama (sokratik yöntem) yoluyla doğru bilgiye ulaşılabileceğini savunmuş ve eleştirel düşüncenin temellerini atmıştır. Aristoteles (M.Ö. 384–322), mantığı bağımsız bir disiplin haline getirmiştir. Aristoteles'in “Organon” adlı eserinde kıyas (sillojizm) "Tüm insanlar ölümlüdür. Sokrates bir insandır. Öyleyse Sokrates ölümlüdür." kıyas yöntemini sistemleştirmiştir. Kategoriler, önermeler, tümdengelim gibi birçok temel mantık kavramları Aristoteles’e dayanır. Aristoteles’in mantığı yaklaşık 2000 yıl boyunca Batı düşüncesine yön vermiştir.
Helenistik ve Roma Döneminde "Stoacılar" (özellikle Chrysippos), mantığı daha sembolik hale getiren "önermeler mantığını" geliştirmişlerdir. Aristoteles’in düşünceleri Roma’da Boethius tarafından Latinceye çevrilmiştir. İslam düşünürlerinden Farabi, İbn Sina ve İbn Rüşd’ün, mantığı felsefi düşünceyle bütünleştirdiği ve medrese eğitiminde temel bir bilim dalı haline getirdiği dile getirilmiştir. İbn Sina’nın "işraki mantık" ve "burhan" (kanıtlama) kavramları, bu dönemde delil getirme ve ispatlama açısından önemli olmuştur. Aynı dönemlerde Batı dünyasında Skolastik düşünürlerin çoğu, mantığı dini argümanlara yerleştirmiştir. Özellikle Thomas Aquinas mantığı teolojik tartışmalarda çok sık kullanmıştır.
Yeni Çağ’da Descartes ve Leibniz, rasyonel düşünceye büyük önem vermişlerdir. Bu bağlamda Leibniz’in evrensel bir mantık dili tasarladığı, mantığın matematiksel bir biçime dönüştürülmesini sağlamıştır. Kant, mantığı zihnin yapısal kategorileriyle ilişkilendirip mantık ile bilginin temellerini sorgulamaya açmıştır. 19. yüzyılda George Boole’un mantığı matematiksel formlara dökerek sembolik bi dil ile önemeler mantığını ifade etmiş, Gottlob Frege de günümüzdeki çağdaş mantığın temellerini atmıştı. Gottlob Frege, mantığın dilsel çözümlemelere dayalı sistematik bir yapı özelliğini ortaya çıkarmıştır. Bertrand Russell ve Alfred North Whitehead, tüm matematiği mantıksal ilkelerle temellendirmeye çalışarak farklı bir yaklaşım sergilemişlerdir. 20. yüzyılda Wittgenstein’ın, dil ile mantık arasında sıkı bir ilişki kurarak mantığın dilsel anlam çözümlemeleriyle birleştirip mantık ve dil arasındaki etkileşimleri incelemiştir. Alan Turing ise mantığı bilgisayar bilimine yerleştirerek, mantığın bilişimdeki önemini ortaya koymuştur.
