Mantık derin bir konudur; felsefe, matematik ve bilgisayar bilimi alanındaki birçok çalışmanın merkezindedir. Genel bir ifadeyle, neyin [sonuçların] neyden [öncüllerden] çıkarıldığının – mantıksal sonuç – bilimidir. Şu şekilde olduğu gibi; Öncül: Bütün insanlar ölümlüdür. Öncül: Sokrates bir insandır. Sonuç: Öyleyse Sokrates de ölümlüdür. Erken modern dönem filozofu Immanuel Kant, Aristoteles’in mantığı bulduğu düşüncesindeydi ve mantık,…