Doğru düşüncenin aleti olan Mantık, bilginin yapısını inceleyen, doğru ile yanlış akıl yürütmenin ayrımını yapan disiplin. Önceleri bir felsefe dalıyken daha sonra Matematik ve Bilgisayar Biliminin de parçası haline gelmiştir. Mantığa en büyük katkıları Aristoteles ve Gottlob Frege yapmıştır.