Filosofía de la lógica

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.