Mantık, felsefe alanında geçerli akıl yürütme çalışması olarak tanımlanır. Genellikle, mantıksal akıl yürütmenin üç alt türüne ayrılır: endüktif akıl yürütme, tümdengelimli akıl yürütme ve kaçırma akıl yürütme.
Üç mantıksal akıl yürütme alt tipinin her biri geçerli çıkarımlar yapmak için farklı bir yöntem kullanır. Endüktif akıl yürütme, yerçekiminin gerçek bir ilke olması gerektiğine dikkat çekmek gibi fiziksel gözlemlerle sonuç çıkarmaya odaklanır çünkü atılan herhangi bir nesne geri çekilmelidir. Tümdengelimli akıl yürütme, tüm bekarların evlenmemiş olduğu sonucuna varmak gibi doğrudan açıklamalardan gerekli gerçekleri bulmayı içerir, bu nedenle evlenmemiş bir adam bekardır. Son olarak, kaçırıcı akıl yürütme, yağmurun çimleri ıslatması ve çimlerin ıslanması durumunda daha önce yağmur yağmış gibi gözlemlenmesi gibi olası bir gerçeği ortaya çıkarmak için olası koşulları kullanır.
