You are on page 1of 1
del concepto numéricamente equivalente al concepto evangelista. Puesto que sdlo un concepto puede ser numéricamente equivalente a otro concepto, esta exten- si6n sera una clase de conceptos: la clase de los con- ceptos que, al igual que los mencionados mas arriba, son aplicables a cuatro y solamente cuatro objetos. La definicién fregeana dara como resultado que el nimero cuatro es la clase de todos los conceptos que tienen —en este sentido— la propiedad de la cuaternidad. Sera a la vez una clase de conceptos (los que poseen la propiedad de la cuaternidad) y la extensi6n de un concepto de orden superior (el concepto de cuaterni- dad misma). A primera vista, esta definicion parece incongruente y circular. Pero la circularidad es s6lo aparente, y la ade- cuacién de la definici6n se deja ver mejor derivando de ella las conocidas propiedades de los nameros. Para ilus- trar el sentido de la definicion de Frege utilizamos antes el nGmero cuatro; pero en la definici6n misma, y en la crucial noci6én de la igualdad entre conceptos, no se re- currié a nGmero alguno. Como Frege dice, si un cama- rero quiere estar seguro de que ha puesto tantos cuchi- llos como platos, no necesita contar unos y otros; todo lo que tiene que hacer es asegurarse de que hay exacta- mente un cuchillo junto a cada plato. La conciencia de la correlacion biunivoca puede ser anterior a, y no nece- sita presuponer, la conciencia del nimero de objetos correlacionados. De aqui que el namero pueda ser defi- nido sin circularidad en términos de correlaci6n biuni- voca. La correlacién biunivoca es ahora formalmente defini- da en dos etapas. En primer lugar esta la definicion de correlacion: Si todo objeto que cae bajo el concepto F esta en la relacion ® con un objeto que cae bajo el concepto G, y si cada objeto que cae bajo G est en la relacion ® con un objeto que cae bajo F entonces los objetos que 119