¿Cuáles son las filosofías de la lógica?

La lógica es un tema amplio. No es lo que la gente suele decir que es, como “la ciencia de la inferencia”, el “estudio de la argumentación” o algo así. La disciplina implica mucho más, como la teoría de la recursión, la teoría del modelo, el análisis no estándar, etc., es decir, temas que están lejos del mero estudio de las inferencias, aunque este campo es una parte importante de la lógica aplicada. Filosofía de la lógica trata, como su nombre indica, con la reflexión filosófica y el pensamiento crítico sobre la lógica, tanto la disciplina como las lógicas particulares que, de manera apropiada, traen muchas preguntas filosóficas interesantes y relevantes. Los temas típicos en la filosofía de la lógica son: ¿es la lógica algo dado a priori o podemos considerarla como una clase de ciencia “empírica” (tiendo particularmente a estar de acuerdo con esta segunda opinión)? Segundo: cuando desarrollamos un sistema lógico, ¿estamos presuponiendo la lógica? Quiero decir: para hacer frente a la aritmética, debemos ser conscientes del significado de “dos”, que la aritmética solo se plantea para definir. Lo mismo con la lógica. Formalizamos conceptos que parecen estar ya presuponidos. Podrían mencionarse muchas otras preguntas, y ciertamente nuestros amigos Quora se sentirán más orgullosos de que yo. Pero resumiendo esto, la filosofía de la lógica es esta: reflexión sobre la disciplina y sobre los sistemas lógicos.