Herramientas para abordar el método axiomático estilo Hilbert

Detalles Bibliográficos
Publicado en: Jornadas de Investigación en Filosofía (13 : 2023 : Ensenada) - [Actas] - . Ensenada : Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación. Departamento de Filosofía, 2023
Autor Principal: Curto, Mauro Francisco
Formato: Documento de evento
Temas:
Acceso en línea:http://www.memoria.fahce.unlp.edu.ar/trab_eventos/ev.17113/ev.17113.pdf
http://jornadasfilo.fahce.unlp.edu.ar/xi-jornadas-2022/actas
Resumen:El método axiomático estilo Hilbert es reconocido por la mayoría de los lógicos como un cálculo de gran dificultad, de aquí que uno de los primeros objetivos que se plantean es dar una prueba del teorema de la deducción para facilitar las derivaciones consecuentes; sin embargo, eso modifica la estructura de las derivaciones naturalizándolas. En el presente trabajo se brindarán definiciones de "axioma" y "corolario" con el fin de simplificar las derivaciones y aprehender el funcionamiento del cálculo sin modificar la estructura de la prueba.
The Hilbert-style axiomatic method is recognized by most logicians as a calculus of great difficulty, hence one of the first objectives is to provide a proof of the deduction theorem to facilitate consequent derivations, however , this modifies the structure of the derivations, naturalizing them. In this work, definitions of "axiom" and "corollary" will be provided in order to simplify the derivations and understand how the calculus works without modifying the structure of the proof.