A Lógica Matemática consiste no estudo e na aplicação da lógica. O precursor dessa ciência foi o clássico de lógica matemática “Principia Mathematica”.
Esses estudos também são chamados de Lógica Simbólica e incluem tradicionalmente a Teoria dos Conjuntos, a Teoria dos Modelos, a Teoria da Prova e a Teoria da Recursão.
Inicialmente nos estudos da lógica, os matemáticos atribuiam o valor de falsidade ou de verdade a um evento, e com base no raciocínio encontravam a resposta.
Já a lógica contemporânea, procura apresentar um cálculo simbólico para definir os resultados.
A lógica descreve as formas, as relações e as propriedades das preposições, em decorrência da construção de um simbolismo regulado e ordenado.
A matemática sempre foi considerada uma ciência baseada no intuito intelectual de verdades absolutas, mas a partir do XVII passou a ser considerada uma ciência que resulta de uma construção intelectual, uma invenção do espírito humano. Para tanto, é necessário o uso da lógica e da razão.