La lógica formal se ocupa del razonamiento deductivo mediante símbolos, mientras que la lógica informal se basa en el lenguaje natural. La lógica matemática estudia las propiedades formales de los sistemas axiomáticos y su relación con el conocimiento empírico, científico y cultural en el contexto social y ambiental.