Felsefenin bir dalı olan mantık, akıl yürütme ya da doğru düşünme yöntemlerini inceleyen bir bilimdir. Belirli verilerden, kanıtlardan ya da gözlemlerden nasıl sonuca varıldığını inceler.
Bilim, felsefe, hukuk ve tarih alanında ya da sıradan günlük olaylarda bu verilerin gerçekte neyi kanıtladığını bilmek çok önemlidir. Mantığın doğru kullanımıyla bu konuda doğru sonuçlara varılır.
Mantıkta geçerli kanıtlamaların iki temel biçimi vardır. Bazen genel bir kural bilinir ve bundan özel durumlara ilişkin sonuçlar çıkartılır. Örneğin, kömürün her zaman sert ve siyah olduğunu bildiğimiz için, biri avcunda bir kömür parçası bulunduğunu söylerse, onun avcundaki maddenin sert ve siyah olduğunu biliriz. Tümdengelim adı verilen bu kanıtlama yöntemi matematikte çok kullanılır.
Bazen de farklı nesnelerin gözleminden elde edilen verilere dayanarak genel bir kural oluşturulur. Örneğin, uçan her şeyin kanatları olduğunu gözlemlersek, uçmak için kanatların gerekli olduğunu söyleyebiliriz. Tümevarım adı verilen bu yöntem genellikle bilimsel araştırmalarda kullanılır.
