Definiciones implícitas y estructuralismo matemático ante rem

Contenido principal del artículo

Mayra Huespe
Eduardo N. Giovannini

Resumen

El objetivo del presente trabajo es examinar críticamente el papel desempeñado por el método de las definiciones implícitas en la variante ante rem del estructuralismo matemático. En primer lugar, sostendremos que, en la descripción de dicho método presentada por Shapiro (1997), es posible distinguir dos nociones diferentes de definición implícita. Por un lado, una primera noción según la cual una definición implícita consiste en la especificación por medio de un sistema de axiomas del significado de los términos primitivos de una teoría matemática. Por otro lado, una segunda noción según la cual un conjunto de axiomas define un concepto de objeto matemático de orden superior, o más precisamente, una clase de modelos o estructuras. En segundo lugar, argumentaremos que estas das nociones de definición implícita no sólo difieren en cuanto a su funcionamiento semántico, sino además en lo que respecta a sus criterios adecuación.

Descargas

Los datos de descargas todavía no están disponibles.

Detalles del artículo

Cómo citar
Huespe, M., & Giovannini, E. N. (2020). Definiciones implícitas y estructuralismo matemático ante rem. Jornadas De Epistemología E Historia De La Ciencia, 438–448. Recuperado a partir de https://revistas.unc.edu.ar/index.php/jornadaehc/article/view/28582
Sección
Historia y filosofía de las ciencias formales

Citas

Hilbert, D. (1899). Grundlagen der Geometrie [Foundations of geometry]. Leipzig: Teubner.

Hodges, W. (2001). Model theory. En E. Zalta, The Stanford encyclopedia of philosophy (Fall 2018 Edition). https://plato.stanford.edu/ar- chives/fall2018/entries/model-theory/

Macbride, F. (2008). Can «ante rem» structuralism solve the access problem? The Philosophical Quarterly (1950-), 58(230), 155-164.

Parsons, C. (1990). The structuralist view of mathematical objects. Synthese, 84, p. 303-346.

Shapiro, S. (1997). Philosophy of mathematics: Structure and ontology. Oxford: Oxford University Press.

Shapiro, S. (1999). Implicit definition and abstraction [manuscrito no publicado].

Shapiro, S. (2005). Categories, structures, and the Frege–Hilbert contro- versy: The status of meta-mathematics. Philosophia Mathematica,

, 61-77.