La lógica es una ciencia formal estrechamente relacionada con la filosofía. A finales del siglo XIX se emancipó de ésta y desde entonces su formalidad ha dado paso a la construcción de un sistema orgánico y complejo de reglas, símbolos y otras estructuras que enriquecen el mundo de esta ciencia, la cual estudia los principios de la demostración y la inferencia válida.