INVESTIGADORES
DA RE Bruno
congresos y reuniones científicas
Título:
El modelo estándar de la aritmética: recursividad y lógica de primer orden
Autor/es:
DA RE, BRUNO
Lugar:
Santa Fe
Reunión:
Congreso; XVII CONGRESO NACIONAL DE FILOSOFÍA; 2015
Institución organizadora:
AFRA-UNL
Resumen:
En esta comunicación, argumentaré a favor de la posibilidad de capturar el modelo estándar de la aritmética, utilizando la lógica clásica de primer orden como lógica subyacente.Como es sabido, las teorías aritméticas formuladas en un lenguaje de primer orden poseen modelos que, si bien satisfacen sus oraciones, difieren estructuralmente del modelo estándar. A estos modelos se los denomina modelos no estándar de la aritmética y deberemos lidiar con ellos a los fines de diferenciarlos del modelo estándar. En esta tarea, el concepto de recursividad, en el plano técnico, y computabilidad, en el plano filosófico, constituyen la clave de la propuesta que sostendré en este trabajo. En este sentido, luego de algunas precisiones introductorias, defenderé la línea argumentativa iniciada por Halbach y Horsten (2005) y discutiré la tesis, sostenida entre otros por Shapiro (1991), que propugna la necesidad de usar lógica de segundo orden.
