The Philosophy of Logic

Aunque no es un tratado formal de lógica como la obra de Kreisel, Hofstadter aborda los límites de los sistemas formales, la autorreferencia y la incompletitud axiomática de maneras que resuenan con la teoría de modelos y la filosofía de la lógica. Ofrece una perspectiva que a menudo se pasa por alto en las discusiones académicas puramente formales, haciendo los conceptos accesibles y profundos a la vez.

Kreisel y Wittgenstein, aunque con enfoques metodológicos muy diferentes (matemático vs. filosófico-lingüístico), comparten una profunda preocupación por los fundamentos y los límites de la expresión formal y conceptual. La obra de Wittgenstein, especialmente su énfasis en los 'juegos de lenguaje' y el uso concreto, dialoga con las preguntas sobre la interpretación y el significado que son centrales en la lógica modelística y la reflexión de Kreisel sobre la noción de 'finitista' y la intuición en las matemáticas. Ambos interrogan cómo 'entendemos' los sistemas formales.

Similar a Kreisel, Conway profundiza en la construcción de sistemas matemáticos desde fundamentos axiomáticos. Su enfoque de los números surrealistas, que unifica varios sistemas numéricos, demuestra una arquitectura de pensamiento que valora la claridad, la elegancia y la coherencia interna, principios que son el corazón de la lógica matemática explorada por Kreisel. Ambos autores, desde sus campos respectivos, buscan las estructuras subyacentes que dan forma a los objetos matemáticos.

Aunque Haack es una autora reconocida, su obra específica sobre la filosofía de las lógicas a menudo es menos prominente en las listas canónicas anglosajonas en comparación con autores como Quine o Kripke, a pesar de su rigor y amplitud. Similar a Kreisel, aborda la lógica desde una perspectiva filosófica profunda, discutiendo la pluralidad de lógicas y sus compromisos subyacentes, lo cual resuena con la preocupación de Kreisel por los fundamentos de los sistemas formales.

Ingarden, un filósofo polaco poco traducido y difundido en el mundo anglosajón en comparación con sus contemporáneos, aborda la conexión intrínseca entre la lógica y la ontología. Este enfoque "profundo" y fundamental de la lógica, que va más allá de un mero cálculo formal para tocar la estructura de la realidad, conecta con la exploración de los modelos y las interpretaciones de Kreisel, quien también busca entender qué significa que una teoría lógica 'describa' o se relacione con entidades matemáticas.

Aunque es una obra mucho más temprana, la 'Principia Mathematica' comparte con 'The Philosophy of Logic' de Kreisel un interés central en los fundamentos formales de las matemáticas. Ambos textos, aunque con diferentes conclusiones o aproximaciones, se estructuran en torno a la construcción rigurosa de sistemas lógicos y la exploración de su capacidad para fundar el conocimiento matemático. La monumental empresa deRussell y Whitehead de formalizar matemáticamente sentó las bases para el tipo de análisis metamatemático que Kreisel profundizó.