Mathematical Logic, Lectures on Modern Mathematics, Vol. 3

Aunque 'Mathematical Logic' es un ensayo técnico, la obra de Kreisel está profundamente anclada en las implicaciones filosóficas de la lógica. Este libro de Hofstadter, aunque divulgativo, aborda de forma 'no obvia' las mismas intersecciones entre la lógica, la auto-referencia y los fundamentos del pensamiento, explorando ideas complejas de una forma accesible y creativa, lejos de un tratado formal de lógica.

A diferencia de un ensayo técnico contemporáneo de Kreisel, este libro ofrece una perspectiva histórica y compilatoria de los cimientos que nutrieron el campo de la lógica matemática. Conecta de forma no obvia con Kreisel al situar su trabajo dentro de una tradición más amplia, mostrando las raíces y el desarrollo de los conceptos que él mismo examina, en lugar de profundizar en una rama específica.

La obra de Kreisel está fuertemente influenciada por Gödel. Este libro permite una inmersión 'profunda' en las ideas originales de Gödel que subyacen a gran parte de la lógica matemática moderna, incluyendo las concepciones sobre prueba, verdad y computabilidad que Kreisel expandió y analizó en sus propios trabajos. Ambos autores exploran las fronteras del conocimiento matemático y sus limitaciones intrínsecas.

Mientras Kreisel aborda la lógica desde una perspectiva técnica y formal, Quine se sumerge 'profundamente' en las cuestiones filosóficas fundamentales que subyacen a su práctica, como la reificación de las entidades lógicas y la distinción entre lógica de primer y segundo orden. Ambos, a su manera, exploran los límites y las presuposiciones de la lógica matemática, aunque con enfoques metodológicos diferentes en sus ensayos.

Este libro, aunque influyente en los círculos de la lógica, podría considerarse 'oscuro' para el público general, dado que Tarski es un autor con una presencia en listas de recomendaciones más orientada a especialistas, fuera del ámbito anglosajón predominante en divulgación. Establece conexiones con Kreisel al presentar uno de los marcos fundamentales de la lógica matemática que muchos lógicos, incluido Kreisel, utilizaron y desarrollaron.

Este libro, escrito por el propio Kreisel y J.L. Krivine, comparte una 'estructura' similar a 'Mathematical Logic, Lectures on Modern Mathematics, Vol. 3' al ser un ensayo técnico y formal que profundiza en una rama específica de la lógica matemática (la teoría de modelos). Ambos presentan la información con una organización lógica rigurosa y un enfoque expositivo de tipo académico, pero este se enfoca en la teoría de modelos mientras que el libro de referencia tiene un alcance más general.