Genealogía y sistematización del concepto de completitud: del método axiomático a la metateoría de la lógica

Director/a: 
Enrique Alonso
Categoría: 
Resumen: 

Las preguntas en torno a la completitud, de una teor ía o de una l ógica, aparecían publicadas en 1928, pero solo unas pocas d écadas antes ni siquiera hab ían sido formuladas. Por tanto, el prop ósito de este trabajo consiste en ofrecer una explicaci ón plausible de c ómo los distintos sentidos del t érmino "completitud" fueron finalmente organizados como parte del canon de la l ógica. Nuestra hip ótesis ser á afirmar que la genealog ía de esta propiedad metate órica habr ía sido desarrollada en íntima conexi ón con el progresivo aislamiento de la noci ón de sistema formal. Debido a ello, los precedentes de la completitud pueden encontrarse en los siguientes hitos de la l ógica: el estudio matem ático de un conjunto de axiomas por s í mismo (Huntington y Veblen), el surgimiento de un metalenguaje desde el cual hablar de una teor ía concreta (Hilbert), y la distinci ón entre f órmulas v álidas y f órmulas demostrables dado un determinado c álculo (Bernays). Como se ver á, esta es la prueba documentable de que la metateor ía proviene del ideal axiomatico

En el curso 2017-2018 la sede del máster es la Universidad de Valladolid

El máster da acceso al doctorado interuniversitario en Lógica y Filosofía de la Ciencia

Aquí puedes conocer a nuestros alumnos

Enciclopedias, revistas, sociedades, bibliotecas virtuales

Encuentra aquí los últimos libros publicados por nuestros profesores

Trabajos fin de máster realizados por nuestros alumnos

Conoce a los coordinadores de cada Universidad

Conoce a nuestros profesores

Toda la información en un solo texto

Ciclo de conferencias anual

Nuestro decálogo de honestidad intelectual

Nuestro sistema de garantía de calidad