A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade.

A Lógica Matemática despontou no século XX como um dos campos mais fascinantes e revolucionários do conhecimento humano. Conexões espetaculares com diversas partes da Matemática (Álgebra, Teoria dos Números, Topologia Geral, Combinatória, Teoria das Categorias), Ciência da Computação, Inteligência Artificial e Robótica se cruzam nas províncias da Teoria da Computabilidade ("Funções Recursivas"), Teoria dos Modelos e Análise Não-convencional.