Lafilosofía de la lógicaes la rama de lafilosofíaque trata de la naturaleza y la justificación de los sistemaslógicos.
Algunas preguntas fundamentales que plantea son : ¿Hay una única "verdad" lógica, o hay muchas igualmente correctas?
¿Es posible que haya desacuerdos acerca de si unprincipio lógico(como laley del medio excluido) es correcta?
¿Qué hace a una expresión unaconstante lógica?
¿Cuáles son las definiciones adecuadas deconsecuencia lógica, cuantificacióny otros conceptos lógicos?
¿Cuál es el alcance de la lógica?
; por ejemplo, ¿envuelve a lasmatemáticas?
¿Es realmente lógica lalógica de segundo orden?
¿Es la lógica un problema deconvención?
¿Es lalógica empírica?
¿Cuál es la naturaleza de lanecesidadlógica?
La filosofía de la lógica es a menudo confundida con lalógica filosófica, que es la aplicación de técnicas formales lógicas a los problemas filosóficos.
Variosfilósofoshan hecho importantes contribuciones a ambos campos.
Hay un cierto solapamiento entre la filosofía de la lógica, la lógica filosófica, lafilosofía del lenguaje, laepistemologíay lametafísica.