Tans Pimentel, Claudia Luca

23/04/15
Control de lectura
Uno de los temas principales del texto de Benacerraf podra resumirse como el problema de
la identidad en los nmeros naturales, teniendo dos definiciones en la Teora de Conjuntos. El
autor inicia su exposicin mostrando que dos definiciones de nmeros naturales pueden llevar
a consecuencias diferentes al definir, por ejemplo, qu conjunto corresponde al nmero 17.
Esto tiene como resultado considerar que se tiene que tener una eleccin de una definicin
sobre otra o, al menos, decir que ambas definiciones son falsas.
Un nmero no puede ser el nombre de un "objeto" ya que se tiene, por ejemplo, que 3 =
[[[]]] pero de hecho difieren en que al 3 no le pertenecen objetos mientras que a [[[]]] s.
Benacerraf rechaza que los nmeros sean conjuntos pues no hay razn para identificarlos
como tal y, posteriormente, propone que ms bien podran ser definidos en funcin de su rol
(dgamos, de forma ordinal al decir que 3 habla de la posicin que tiene un nmero en una
secuencia). Sin embargo, me parece que sigue siendo un tanto ambiguo por qu no podemos
considerar que "3" es el nombre de un nmero, sea definido este ltimo como un conjunto o
no. Ms an, si bien es difcil hablar de la existencia de nmeros, su uso y definicin deberan
permitir hablar de ellos y considerar [[[]]] y [ [
]como homnimos, para poder
explicar por qu sus sentidos son diferentes pese a que se habla de la misma cosa (como la
posicin de un nmero en una serie).
Benacerraf considera que los nmeros pueden ser considerados idnticos al encontrar una
caracterstica en comn y hablando slo en ese contexto. Es decir, si slo hubiera un
predicado P y uno Q, no sera suficiente para diferenciar uno del otro. Se necesitara de un
tercer predicado o clase para lograrlo. En ese sentido, la Teora de Categoras podra ser ese
"tercer predicado" ya que para analizar un conjunto A y uno B que, en primer instancia
podran ser demasiado diferentes como para compararse desde la Teora de Conjuntos, al
tener a la Teora de Categoras como herramienta para analizarlos, podran ser englobados en
la categora de conjuntos y considerarse idnticos slo en tanto conjuntos y no de manera
general.