Fundada por Aristóteles como ciencia, la lógica establece las reglas que rigen la razón en sus cálculos y razonamientos hipotético-deductivos. Las paradojas (irresolubles) muestran los límites de cualquier formalismo, o más bien la imposibilidad de cualquier formalismo absoluto.