QQu es el Estructuralismo?

El estructuralismo en flosofa de las matemticas es la tesis que afrma que el objeto de estudio de las
matemticas son las estructuras. Todos los tipos de estructuralismo estn de acuerdo en ello, aunque
diferen en su manera de entender las estructuras.
Clasifcar los diversos tipos de estructuralismo ayuda a su comprensin. Dos distinciones que pueden
ayudar a una clasifcacin tal son las de platonismo matemtico y nominalismo matemtico.

Dos formas de clasifcacin: Platonismo matemtico y Nominalismo matemtico.

El platonismo en flosofa de las matemticas es la teora segn la cual los objetos matemticos existen y
son abstractos. Qe un objeto sea abstracto signifca que Quste no se localiza en el espacio-tiempo y que
no se encuentra relacionado causalmente con el resto de objetos del mundo. Todo buen platonismo
tendra que poder explicar cmo es que podemos conocer objetos matemticos sin tener acceso causal a
ellos (Problema del acceso) . Podemos resumir el platonismo en flosofa de las matemticas en tres tesis
bsicas: Existen objetos matemticos (Tesis de Existencia); 2) Los objetos matemticos son abstractos
(Tesis de la abstraccin); 3) Los objetos matemticos son independientes de nuestro lenguaje, prcticas o
conocimiento (Tesis de la independencia). (E)
El nominalismo en flosofa de las matemticas es la teora segn la cual los objetos matemticos
abstractos no existen o pueden ser eliminados. Qe los objetos puedan ser eliminados signifca que no
es necesario considerar los objetos matemticos como existentes para que la matemtica tenga sentido.
El nominalismo tambiQun afrma que los objetos matemticos dependen ontolgicamente de nuestras
prcticas, conocimiento o lenguaje. Todo buen anti-platonismo tendra que poder explicar cmo es
posible interpretar las matemticas sin comprometerse con la existencia de objetos matemticos
(Problema de la interpretacin). (E)
Estructuralismos platnicos y Estructuralismos anti-platnicos.
Los estructuralismos platnicos sostienen que la matemtica es la ciencia de las estructuras y que tales
estructuras son entidades abstractas que existen con independencia de nuestro lenguaje, prcticas y
conocimiento. Para los estructuralistas platnicos las estructuras no tienen ubicacin espacio temporal.
Un estructuralista podra decir As como los tomos seguiran existiendo aunque no hubiese humanos,
ni fsica, ni ciencia, as las estructuras matemticas seguiran existiendo aunque en el mundo no
hubiese matemticos. 2+2=4 sin importar lo que pase en el mundo .
Los estructuralismos anti-platnicos sostienen que la matemtica es la ciencia de las estructuras y que
tales estructuras no existen como entidades abstractas o pueden ser eliminadas. TambiQun afrma que las
estructuras son ontolgicamente dependientes de nuestro lenguaje, prcticas y conocimiento. Para los
estructuralistas anti-platnicos las estructuras matemticas tienen ubicacin espacio temporal, se
localizan en sus instancias.
Un estructuralista anti-platnico podra decir Las estructuras matemticas no son nada sin sus
instancias. Si no hay sistemas, ni prcticas, ni conocimiento matemtico tampoco hay matemticas.
Ejemplos de estructuralismos platnicos.
Ejemplos de estructuralismos no platnicos.