INVESTIGADORES
LEGRIS Javier
capítulos de libros
Título:
Semántica de Gentzen
Autor/es:
JAVIER LEGRIS
Libro:
Anales de la Academia Nacional de Ciencias de Buenos Aires, vol. XLII
Editorial:
ACADEMIA NACIONAL DE CIENCIAS DE BUENOS AIRES
Referencias:
Lugar: BUENOS AIRES; Año: 2010; p. 661 - 670
Resumen:
Gerhard Gentzen (1909-1945) fue uno de los lógicos más importantes del siglo XX. Sus sistemas de deducción natural y secuentes, su célebre Hauptsatz, su demostración de la consistencia de la aritmética de 1936 y su análisis de procedimientos constructivos en matemática abrieron nuevos caminos para la lógica matemática, de riqueza metodológica y filosófica. En este trabajo paso revista a las ideas semánticas que están en la base de su distinción entre reglas de introducción y eliminación para las constantes lógicas, y describo cómo esas ideas han sido desarrolladas posteriormente en la teoría general de la demostración, añadiendo algunas observaciones filosóficas.
