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.