Entidades Matemticas Concretas

1. (La forma de) El terreno que acabo de comprar en Tepetongo es un

cuadrado.
2. Necesariamente, la suma de los ngulos internos de un cuadrado es
igual a la de cuatro ngulos rectos.
3. Por lo tanto, necesariamente, la suma de los ngulos internos del
terreno que acabo de comprar en Tepetongo es igual a la de cuatro
ngulos rectos.
No es difcil ver que este argumento no es mas que un anlogo geomtrico
de la famosa paradoja de la modalidad de re presentada por Quine en su
Reference and modality (1963, From a Logical Point of View(second ed.), C
VIII, pp. 139159. New York: Harper Torchbooks): surgen los mismos
problemas, y las mismas soluciones propuestas para el caso de el nmero
de planetas del sistema solar se aplican mutatis mutandi a la forma del
terreno que acabo de comprar en Tepetongo. En general, parecera que el
problema es endmico al lenguaje de las matemticas aplicadas, es decir,
surge cada vez que hablamos de cantidades, magnitudes, formas, etc.

En general, podemos clasificar las propuestas de solucin al problema de

Quine en dos tipos: adjetivales y nominales. Para las nominales,
expresiones como la forma del terreno que acabo de comprar en
Tepetongo, el nmero de planteas del sistema solar y similares son
expresiones nominales. Las propuestas adjetivales, por el contrario,
sostienen que esto no es as y que, contrariamente a lo que su forma
gramatical superficial podra sugerir, enunciados como (1) predican una
propiedad (la de tener una forma cuadrada o la de ser nueve en cantidad)
de objetos concretos (como el terreno que acabo de comprar en Tepetongo o
los planetas del sistema solar), mientras que las nominales sostienen que
dichas expresiones s son expresiones nominales. La mayora de las
posiciones nominales conciben a enunciados como (1) como genuinos
enunciados de identidad de tal manera que la extensin (si no la intensin)
de la expresin la forma del terreno que acabo de comprar en Tepetongo
es efectivamente un cuadrado, es decir, un objeto geomtrico. Sin embargo
tambin hay quienes sostienen que la relacin entre

las expresiones

nominales que ocurren entre ellos no es de identidad, sino algo ms dbil,

como similitud, isomorfismo, etc. o quienes sostienen que la otra expresin
nominal debe leerse adjetivalmente (es decir, que ser un cuadrado no
significa ms que ser cuadrado dnde cuadrado es claramente un
adjetivo).
Una notoria excepcin a este patrn son los conjuntos cuyos miembros son
entidades concretas. Por un lado, es posible formar con ellos una paradoja
similar a la de Quine:

1. La ms reciente adicin a la lista de Patrimonio de la Humanidad de

la UNESCO es el conjunto de la obra de Le Corbusier.
2. El estadio de Bagdad pertenece al conjunto de la obra de Le
Corbusier.
3. Si a es un elemento del conjunto C, entonces
necesariamente a pertenece a C.
4. Por lo tanto, necesariamente el estadio de Bagdad pertenece a la
ms reciente adicin a la lista de Patrimonio de la Humanidad de la
UNESCO.
Sin embargo, en este caso, la lectura adjetival de enunciados como (5) es
mucho menos intuitiva que la de enunciados como (1). Segn sta, el
conjunto de la obra de Le Corbusier no sera una genuina expresin
nominal, sino parte indisociable del predicado es el conjunto de la obra de
Le Corbusier, lo cual suena extremadamente extrao, adems de
revisionista.
Por otro lado, los defensores de la posicin nominal tambin tienen
problemas para asignar contenido a este tipo de expresiones ya que, a
diferencia de el nmero de planetas del sistema solar o la forma del
terreno que.., el conjunto de la obra de Le Corbusier no parece referir
prima facie a ningn objeto matemtico puro como el nmero nueve o un
tringulo, sino a un objeto matemtico mixto, a saber, el conjunto que
3

tiene como miembros a la iglesia de Ronchamps, el estadio de Bagdad, la

fbrica Duval en Vosges, etc.
Lo que no logro comprender es de dnde viene este, por lo menos aparente,
diferencia entre el caso de los conjuntos y el de otros objetos matemticos.