Lógica matemática
En el último tercio del siglo XIX la lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal. Es una ciencia formal, ya que estudia las ideas y constituye una herramienta conceptual para todas las otras ciencias y áreas del conocimiento. y forma parte de un conjunto sistemático de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos,
Lógica
La lógica de predicados es el término genérico para los sistemas formales simbólicos como la lógica de primer orden, la lógica de segundo orden, la lógica de muchos órdenes y la lógica infinitaria. Proporciona una cuenta de cuantificadores lo suficientemente general para expresar un amplio conjunto de argumentos que ocurren en el lenguaje natural. Por ejemplo, la famosa paradoja del barbero de Bertrand Russell, "hay un hombre que afeita a todos y sólo a los hombres que no se afeitan a sí mismos", puede formalizarse mediante la sentencia formula_4, utilizando el predicado no lógico formula_5 para indicar que "x" es un hombre, y la relación no lógica formula_6 para indicar que "x" afeita a "y"; todos los demás símbolos de las fórmulas son lógicos, y expresan el cuantificadores universal y existencial, la conjunción, el implicación, la negación y el bicondicional.