La lógica formal es una disciplina que estudia la validez de los razonamientos independientemente de su contenido empírico, enfocándose en la estructura. Su objetivo es perfeccionar las formas deductivas y comprender cómo se refleja la realidad en el pensamiento humano. Además, se analiza el lenguaje como medio de expresión del pensamiento y la importancia de los conceptos para la comprensión de los objetos.