Significatividad, teora y metateora en la crtica de Frege al formalismo Andrs Fernando Stisman (UNT) rea: Filosofa del lenguaje El objetivo

de este trabajo es analizar uno de los aspectos de la crtica de Frege al formalismo centrndome en su discusin con Heine y Thomae. El primero expresa: No respondo a la pregunta Qu es un nmero? definiendo el nmero conceptualmente () Defino desde el punto de vista del formalista puro y llamo nmeros a ciertos signos tangibles. El segundo afirma: La concepcin formal de los nmeros () no pregunta qu son los nmeros y qu hacen, sino ms bien qu se pide de ellos en la aritmtica. Para el formalista, la aritmtica es un juego con smbolos() que no tienen otro contenido (en el juego del clculo) que el que se les asigna por sus comportamientos con respecto a ciertas reglas de combinacin (reglas del juego). El jugador de ajedrez hace un uso similar de estas piezas; les otorga ciertas propiedades determinando su conducta en el juego, y las piezas son slo los signos externos de esta conducta. Ms all de las diferencias, Heine y Thomae comparten quelas expresiones aritmticas no tienen sentido sentido ni referencia extra-sgnica. El primero porque niega estos planos en el mbito de la aritmtica, y, el segundo, puesto que piensa que la referencia es irrelevante y sostiene que el sentido est dado por comportamiento de los signos numricos con respecto a ciertas reglas. Frege muestra travs del tratamiento de diversos temas que iremos desarrollando (los nmeros negativos, los fraccionarios, el cero, las reglas aritmticas, el orden) cmo cada vez que el matemtico formalista intenta prescindir del significado de las expresiones aritmticas lo presupone. No se puede escapar del significado, a lo sumo es posible remitirlo a un nivel superior, el de la meta-teora. Veremos cmo en la polmica de Frege con matemticos formalistas no slo entran en consideracin cuestiones especficas de la aritmtica, sino tambin su propia concepcin sobre el significado y el comportamiento semntico de las expresiones.