Mantık argümanların yapısını inceler. Doğru düşünme sanatı veya doğru düşünme bilimi olarak anılır. Mantıksal çıkarımları sistematik olarak tümdengelim, tümevarım ve analojik akıl yürütme gibi akıl yürütme türleriyle ele alır ve geçerlilik gibi yönlerden inceler.