Mantık, aklın tüm insanlarda ortak bir işleyiş biçiminin olduğu varsayımına dayanan, akıl yürütmelerdeki düzenliliği formel bir dille ifade etmeye, onları denetlenebilir kılmaya imkân sağlayacak kuralları belirlemeye çalışan bir bilgi sistemi olarak tanımlanabilir. Mantıkta geleneksel ve modern ayrımına yol açan sebeplerden ikisi özel önem taşır. Bunlardan ilki mantığa ve dolayısıyla felsefeye işlerlik kazandıracağı kanaatiyle önermeleri değerlendirme ve işleme tarzını değiştiren "mantıkçılık", diğeri ise "