De la posibilidad a la existencia matemática: los casos de Shapiro y Balaguer

Resumen

En este artí­culo me gustarí­a concentrarme en la forma de tratar el problema de Benacerraf respecto de la inaccesibilidad de los objetos abstractos. Este es el principio (llamado FBP por Balaguer) que caracteriza a los objetos por axiomas de una teorí­a de la existencia consistente. Analizo los argumentos de Shapiro y Balaguer en favor de este principio y concluyo que no son suficientemente fuertes para convencer a sus adversarios. Comparo este principio con el argumento de la indispensabilidad de Quine, como una manera de contraste.