La filosofía de la lógica es la rama de la filosofía que trata de la naturaleza y la justificación de los sistemas ló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 un principio lógico (como la ley del medio excluido) es correcta?¿Qué hace a una expresión una constante lógica?¿Cuáles son las definiciones adecuadas de consecuencia lógica, cuantificación y otros conceptos lógicos?¿Cuál es el alcance de la lógica?; por ejemplo, ¿envuelve a las matemáticas?¿Es realmente lógica la lógica de segundo orden?¿Es la lógica un problema de convención?¿Es la lógica empírica?¿Cuál es la naturaleza de la necesidad lógica?La filosofía de la lógica es a menudo confundida con la lógica filosófica, que es la aplicación de técnicas formales lógicas a los problemas filosóficos. Varios filósofos han hecho importantes contribuciones a ambos campos.Hay un cierto solapamiento entre la filosofía de la lógica, la lógica filosófica, la filosofía del lenguaje, la epistemología y la metafísica.
