Mantık
Mantık veya lojik, geçerli çıkarım biçimlerini inceleyen bir disiplindir. Mantık, akıl yürütme süreçlerinin yapısal geçerliliğini inceleyerek doğru ile yanlış arasındaki akıl yürütmenin ayrımını belirler ve bu temel işlevi nedeniyle "doğru düşüncenin aleti" olarak kabul edilir. Başlangıçta bir felsefe dalı olan mantık, zamanla sembolik ve formel bir yapıya bürünerek kendi başına bir ihtisas alanı olmuş, matematik ve bilgisayar biliminin de temel bir parçası haline gelmiştir.