On the Theory of Deduction, Part I. Derivation and Its Generalizations (1948)

Aunque Church es un lógico coetáneo de Gödel, este libro de texto no es una recomendación canónica como sus artículos de la década de 1930. Se conecta por ser un desarrollo exhaustivo, contemporáneo y didáctico de la lógica formal, directamente relacionado con el programa de investigación en el que Gödel publicó 'On the Theory of Deduction'. Comparte el objetivo de formalizar y generalizar los procesos deductivos.

Este compendio de textos fundamentales pone en contexto el trabajo de Gödel, incluyendo los antecedentes y el desarrollo de las ideas sobre sistemas deductivos. La conexión es no obvia porque, en lugar de recomendar otro artículo técnico de Gödel, ofrece la fuente primaria para entender la evolución de las ideas que culminan en trabajos como 'On the Theory of Deduction', mostrando su lugar en la historia de la lógica.

Este libro profundiza en la filosofía de la práctica matemática y la dinámica de los sistemas deductivos más allá de su formalización estática. Se conecta con el trabajo de Gödel en un nivel filosófico al cuestionar y explorar la naturaleza del progreso deductivo, la evolución de las pruebas y los conceptos, que es la preocupación subyacente en la teorización sobre la deducción.

Wang fue un colaborador y biógrafo intelectual de Gödel. Este libro sintetiza y reflexiona sobre las posiciones filosóficas en matemáticas, incluyendo las relacionadas con la naturaleza de la deducción y los sistemas formales. Ofrece una perspectiva profunda sobre las implicaciones filosóficas del trabajo técnico de Gödel, conectando directamente con el espíritu de indagación que motiva 'On the Theory of Deduction'.

Es un trabajo de filosofía de la lógica desde una perspectiva española, poco difundida en el canon anglosajón. Aborda cuestiones fundamentales sobre la deducción, la verdad lógica y los sistemas formales, ofreciendo una visión alternativa y complementaria a la tradición analítica en la que se enmarca el trabajo de Gödel.

Bernays fue un colaborador clave de Hilbert y un interlocutor importante en debates sobre los fundamentos. Este ensayo, menos conocido que los textos de Gödel, aborda desde una perspectiva filosófica cuestiones ontológicas y epistemológicas de las matemáticas y la lógica, que son el telón de fondo de cualquier teoría de la deducción.

Este libro es estructuralmente similar porque desarrolla un sistema metódico y formal para analizar el lenguaje y la deducción, usando una sintaxis explícita y reglas de transformación. Gödel reaccionó filosóficamente a este programa (). La conexión es directa en cuanto a la construcción de un marco sistemático para entender los sistemas formales y sus generalizaciones.

Se conecta estructuralmente porque es un tratado filosófico que intenta sistematizar y teorizar sobre los procesos de deducción e inferencia, estableciendo reglas y clasificaciones. Aunque su base filosófica (empirista) es opuesta a la de Gödel, comparte la ambición arquitectónica de proporcionar una teoría general del razonamiento deductivo y sus variantes.