Elementos de lógica matemática (Teoría de modelos)

Aunque no es un tratado formal de lógica matemática, este libro se sumerge en la metamatemática, la autorreferencia y los límites de los sistemas formales, temas centrales en la obra de Kreisel. Ofrece una perspectiva multidisciplinar y humanista a conceptos que Kreisel aborda desde una óptica puramente formal.

Kreisel investiga los fundamentos y límites de la verdad en sistemas formales. Aunque Nietzsche no trata la lógica matemática directamente, su ensayo explora profundamente y de forma radical la naturaleza y los orígenes de la 'verdad' y los sistemas de clasificación humana, ofreciendo una perspectiva filosófica paralela que deconstruye la noción misma que la lógica matemática intenta formalizar. Ambos autores, desde sus campos, abordan el problema de la representación y la relación entre la realidad y sus modelos.

El trabajo de Kreisel se centra en la teoría de modelos, una parte de la lógica matemática que estudia las relaciones entre teorías formales y sus interpretaciones en 'modelos'. El 'Tractatus' de Wittgenstein es un intento monumental de definir precisamente los límites del lenguaje y del pensamiento lógico, buscando las bases 'lógicas' del mundo. Ambos abordan la estructura subyacente de la realidad a través del lente de la lógica, aunque Wittgenstein lo hace desde una perspectiva filosófica pura y Kreisel desde la formalización matemática.

Mientras Kreisel se enfoca en cómo los modelos matemáticos construyen y representan sistemas lógicos, Searle analiza la construcción de 'modelos' o sistemas sociales y culturales que estructuran la realidad. Ambos autores abordan la relación entre una estructura (lógica o social) y el mundo que pretende representar, desde un enfoque riguroso y analítico, pero en campos muy diferentes.

Georg Kreisel, con su trabajo en teoría de modelos, se inscribe en la tradición de los fundamentos de las matemáticas. Bourbaki es el epítome de este movimiento, buscando un formalismo y una axiomatización extrema. Comparten la preocupación por la estructura subyacente y la coherencia interna de los sistemas matemáticos, pero Bourbaki lo hace a escala enciclopédica, siendo menos conocido por el público general, pero de inmensa influencia en matemáticos.

Kreisel trabaja en cómo se construyen y se validan los modelos lógicos dentro de un sistema matemático. Kuhn, aunque en un ámbito diferente, explora la 'modelización' de la actividad científica misma, es decir, cómo los científicos construyen y validan sus 'modelos' (paradigmas) de la realidad. Ambos examinan la estructura de la justificación y el cambio dentro de sistemas complejos de conocimiento.