UNIVERSIDAD NACIONAL DE COLOMBIA FACULTAD DE CIENCIAS HUMANAS DEPARTAMENTO DE FILOSOFA C Lgica iii

ximena velosa rojas 432531

Sobre el logicismo de Frege

En este trabajo, a propsito del artculo de Gottlob Frege, E. Heine's and J. Thomae's Theories of Irrational Numbers, ms que decir si estoy de acuerdo con el autor o no, puesto que una empresa as requiere una formacin matemtica muy enriquecida, quisiera comentar algunos aspectos de la posicin de Frege respecto del formalismo de J. Thomae (principalmente, ya que casi todo el artculo hace referencia a l ms que a E. Heine) y la fuerza con la cual el logicismo de Frege lo aborda. Esta consideracin se har desde una perspectiva filosfica por cuanto el origen de la argumentacin de Frege, en este artculo, est en las cuestiones metafsicas a que conduce la posicin formalista de Thomae respecto de los smbolos y su relacin con los nmeros. Si bien, Frege no introduce la cuestin del formalismo de Thomae y de Heine como una respuesta a la crisis de fundamentacin de la matemtica tradicional, no obstante, puede inferirse, a partir de lo comentado sobre los sobre los artculos de Hilbert y Gdel que logicismo, formalismo e intuicionismo fueron escuelas que se desarrollaron a partir de dicha crisis de fundamentacin que se abre sobre las implicaciones paradjicas de la teora de conjuntos del trabajo de Cantor. Sobre este trasfondo, de pretensin de fundamentacin consistente de la matemtica, Frege introduce las tesis de Heine y Thomae sobre series numricas y secuencias numricas las cuales parecen asemejarse a las series fundamentales de Cantor; con esto, la intencin de Frege es entrar en la cuestin sobre el estatus de los signos en estas series, cuestin, por lo dems filosfica, que establecer la diferencia esencial entre el formalismo y el logicismo. Tanto Thomae como Heine se desvan de las consideraciones de Cantor sobre los signos:
Cantor in fact does not seem to regard numerical signs as empty, though his statements leave room for doubt and he may not have considered the point explicitly. Yet the essential thing for him is what the signs express (which, to be sure, he wishes to control by those signs) and not the signs themselves. (Frege, p. 79)

Esta indeterminacin parece dejar abierta la cuestin del estatus de los signos y su relacin con los nmeros, dando origen a la tesis de Heine: "I define from the standpoint of the pure formalist and call certain tangible signs numbers. Thus the existence of these numbers is not in question" (Heine, tomado de Frege, p. 80). Segn Frege, Heine llama nmeros a ciertos signos para garantizar su existencia en un

sentido emprico, no puramente lgico o aritmtico. La idea del formalismo de Heine sobre garantizar la existencia de los nmeros es intentar resolver la cuestin sobre las propiedades que puedan otorgrsele a dichos signos numricos. Segn Thomae la concepcin formal de la aritmtica acepta limitaciones ms modestas que la concepcin lgica, no se pregunta qu sean o qu hacen los nmeros sino qu se exige de ellos en la aritmtica: "For the formalist, arithmetic is a game with signs, which are called empty. That means they have no other content (in the calculating game) than they are assigned by their behavior with respect to certain rules of combination (rules of the game)" (Thomae, tomado de Frege, p. 80). Lo que se exige de ellos es, pues, sus signos: In arithmetic we require of numbers only their signs, which, however are not treated as if they denoted numbers, but solely as figures; and rules are needed in order to manipulate these figures (Cf. p.85) Para el formalista, segn Thomae, no necesita demostrarse que los nmeros, que tienen ciertas propiedades, existen; simplemente introduce figuras, con reglas para su manipulacin. Luego se consideran esas reglas como propiedades (Cf. 81). A la luz de lo dicho, Frege establece una diferencia entre la posicin de Thomae y la de Heine; para el primero, la cuestin sobre la naturaleza de los nmeros carece de importancia para la aritmtica; mientras que para el ltimo, los nmeros son signos. Como quiera que sea, igualmente puede establecerse la distancia de Thomae y Heine respecto de Cantor. A las tesis de Thomae y Heine, Frege las clasifica dentro de un cierto tipo de aritmtica que llama aritmtica formal, mientras que a la posicin de Cantor respecto del mismo tema, los nmeros actuales, la llama aritmtica del significado (meaningful arithmetic). Esta distincin que establece Frege entre la aritmtica formal y la aritmtica del significado plantea la separacin sustancial entre el formalismo y el logicismo. La estimacin que de la aritmtica tiene el formalismo, mencionada por Thomae ms arriba, debe considerarse con la seriedad que el autor parece pretender y no debe por tanto creerse que la arbitrariedad con la cual son estipuladas las reglas conducira a un relativismo que impedira la cimentacin de una ciencia. Es importante resaltar que dentro del formalismo, lo que se formaliza es una teora axiomatizada. Circunscribindose en el crculo de la lgica de primer orden, formalizar una teora axiomatizada B significa escoger un lenguaje apropiado L de primer orden para B; es decir: una lista denumerable de variables; los smbolos de los cuatro conectores binarios ( ) y el unario (); los cuantificadores ( ); la igualdad (=); y, parmetros, esto es, smbolos para los trminos indefinidos de B (por ejemplo, la relacin de pertenencia en ZF). Puesto que los parmetros son slo smbolos en el vocabulario del lenguaje de primer orden determinado en una teora axiomatizada B, entonces, para formalizar dicha teora basta escoger los parmetros; una vez hecha esta eleccin, la teora B es formalizada. Se puede entonces expresar en el lenguaje de primer orden resultante L los axiomas, las definiciones y los teoremas de B, adems los axiomas de la lgica

formal clsica, y, por tanto, las pruebas de los teoremas de B. Es decir, proceder de modo completamente formal dentro del lenguaje. La importancia de a formalizacin est en determinar si una cierta ciencia (o una rama de las matemticas) est libre de contradiccin. Ahora bien, cuando Frege se plantea la pregunta sobre qu diferencia a la aritmtica formal de un simple juego, dice que si Thomae contrasta las reglas del ajedrez con las reglas de la aritmtica formal diciendo que las de la aritmtica formal hacen una contribucin sustancial al conocimiento de la naturaleza, es decir, mediante el servicio a la ciencia natural, entonces, la razn de que la aritmtica formal no sea un simple juego la slo puede estar en que los signos numricos denotan algo mientras que las piezas del ajedrez no. "There is no other ground for attributing a higher value to arithmetic than to chess". Finalmente, lo que esta diciendo con esto, es dando fuerza al logicismo por encima del formalismo al establecer la arbitrariedad de las reglas de inferencia estipuladas. A mi modo de entender, estas reglas tienen fuerza de necesidad, tanto para el formalismo como para el logicismo, por tanto, la motivacin para optar por una u otra corriente slo podra tener origen en una motivacin de tipo filosfico. Sin embargo, el problema que platea Frege va ms all de esto. Es importante resolver la indeterminacin de la relacin entre la aritmtica y su posible contenido proposicional. En este sentido cobra fuerza la tesis de la aritmtica del significado:
Whereas in meaningful arithmetic equations and inequations are sentences expressing propositions, in formal arithmetic they are comparable with the positions of chess pieces, transformed in accordance with certain rules without consideration for any sense. For if they were viewed as having a sense, the rules could not be arbitrarily stipulated; they would have to be so chosen that from formulas ex-pressing true propositions could be derived only formulas likewise expressing true propositions. Then the standpoint of formal arithmetic would have been abandoned, which insists that the rules for the manipulation of signs are quite arbitrarily stipulated. (Frege, p. 83)

Aunque este problema escapa a la aritmtica en s misma, no obstante deja abierto el problema de la aplicacin. Si en aritmtica no hay ninguna relacin con un contenido proposicional, queda abierto el problema de la aplicacin y por tanto debilita la fuerza cientfica a las ciencias naturales que se sirven de la aritmtica y una incertidumbre sobre la adquisicin de nuevo conocimiento. As mismo, Frege aade que slo si la aritmtica puede resolver el problema de la aplicacin, puede elevarse al grado de ciencia (Cf. 84), por tanto, la aplicabilidad es un asunto que atae necesariamente a ella. Sobre este punto versa una de las crticas ms fuertes de Frege al formalismo, l dice que el fin es el conocimiento, que determina todo lo que pasa, pero el formalismo olvida el fin. Frege proporciona un sentido de signo que podra resultar muy reducido para Thomae: "What are signs? I will limit my considerations to structures created by writing or printing upon the surface of a physical body (black-board, paper); for

clearly only these are meant when it is said that numbers are signs. But we shall not call every such structure a sign () but only such as serve to express, designate, or assert something () We do not wish to say something about a sign when we use it, but its denotation is usually the main thing" (Cf. 88). Con esto Frege separa la relacin de signo/significado con el objeto, enfatizando el hecho de que aunque la relacin entre signo/significado y objeto no tenga una conexin necesario, no por eso la relacin es trivial, nula y soslayable; aunque la relacin es arbitraria, no por eso carece de importancia para el desarrollo de una ciencia y en ultimas para la fundamentacin de la matemtica, pues lo que importa del signo es su capacidad representativa. En virtud de esto es que Frege dice lo siguiente:
The following difference between formal and meaningful arithmetic may also be noticed. In the latter the word "one" and the sign "I" denote the same thing, namely, the nonsensible number one itself, while in the former the term "figure one," or the erroneously used "one," denotes the concept under which the sign "I" and all signs of similar shape are subsumed.

Esta diferenciacin lleva implcita la idea de que mientras que en la aritmtica del significado es legitimo usar la expresin "el nmero uno" o simplemente "uno" como nombres propios, en la aritmtica formal no, puesto que ha muchas figuras uno y no hay un significado nico que pueda subsumirlas a todas, puesto que el formalismo no considera un criterio (ni siquiera el hecho) capaz de distinguir el nmero no sensible en s mismo. Por tanto, desde el punto de vista de la aritmtica formal, no puede considerarse la suma y el producto como algo que involucra a los nmeros en s mismos sino que tras designar los nmeros por signos numricos las propiedades de los nmeros son reflejadas en correspondencia a las propiedades de los signos, pero para Frege, las reglas de este procedimiento tienes su fundamentacin en la naturaleza de los nmeros. En consecuencia, la tesis de que los nmeros pueden ser manipulados como signos numricos bajo reglas arbitrarias debe ser abandonada.

Conclusin: Es claro que existen puntos de la argumentacin de Frege se he dejado por fuera por cuestiones de espacio, pero lo que me ha interesado tratar aqu son las herramientas que permitan distinguir las cuestiones filosficas del formalismo y el logicismo. La idea de Frege parece ser entonces, defender la idea de que la aritmtica pueda ser entendida como el estudio de sistemas formales ininterpretados. de esta idea no se sigue que el programa de Frege no sea en ningn modo un sistema formal, lo que se sigue es que el lenguaje lgico representa cierto tipo de sistema formal, el cual es relevante slo por cuanto lo que representan sus signos y lo que significan sus proposiciones. Los signos, por s mismos, independientes de lo que ellos representen, carecen de importancia; una posicin abiertamente antiformalista y fuertemente logicista. La idea de que la matemtica sea el estudio de un sistema formal

simplemente slo puede significar que hay una confusin entre el signo y la cosa significada. As mismo, Frege dice que esta confusin lleva al absurdo de suponer que los nmeros son simplemente los numerales, los smbolos escritos en una pgina, de donde no podra explicarse el estudio de sus propiedades ni como pueda surgir de all conocimiento alguno. Podra decirse entonces que la tesis de Frege, filosficamente, est mucho ms cercana a la tesis de Leibniz que a la de Kant, es por esto es he dicho al comienzo que en la esfera estrictamente matemtica es difcil establecer una diferencia fundamental entre el logicismo y el formalismo, por cuanto ambas doctrinas dan una importancia sustancial a la deduccin y demostracin sintctica. Sin embargo, podramos, s con mucha literatura de por medio establecer conexiones entre estas escuelas matemticas y ciertas doctrinas filosficas fundamentalmente distintas. Podra encontrarse una conexin entre la filosofa del logicismo y la escuela medieval realista. El realismo se entiende sobre la base del platonismo que sostiene que las entidades abstractas tienen una existencia independiente de la mente humana. La matemtica esta llena de este tipo de entidades abstractas, las cuales, la mente humana puede descubrir pero no crear (como exige el intuicionismo, por ejemplo); esta idea tiene la ventaja de que es legtimo aceptar la existencia de conceptos como conjunto sin preocuparse de cmo la mente humana pueda construir un conjunto. En suma, el realismo permite la libertad de aceptar muchas mas entidades abstractas en matemticas que una filosofa que limite el conocimiento slo a las entidades que la ente pueda construir. Es por esto que he dicho que la idea de Frege est mucho ms cercana a la tesis de Leibniz que a la de Kant. Recordando un poco el articulo de Hilbert podemos encontrar la raz filosfica del formalismo sobre la base de lo que se entiende por razonamiento finitario. En ste, no se considera sino: (i) un nmero finito dado de objetos y funciones; (ii) estas funciones deben ser bien definidas (fbf); (iii) sus definiciones permiten el clculo de sus valores en un sentido unvoco. Igualmente exige, que (iv) ningn objeto existe sin tener los medios para construirlo; (v) no se considera la totalidad de los objetos x de un conjunto infinito, sino que cuando se dice que una cierta propiedad vale para todo x o un argumento o un teorema es verdadero para todo x, lo que se dice es que para cada x tomado por s mismo es posible repetir el argumento general en cuestin. a la luz de esto, la doctrina filosfica ms cercana al formalismo es el nominalismo. Esta escuela reclama que las entidades abstractas no tienen existencia de ningn tipo, ni exterior a la mente humana como sostiene el realismo formalismo, ni interior a la mente humana como sostiene el conceptualismo (cercano al intuicionismo). Esto no quiere decir que no pueda ser un contenido mental, como pareca indicar Hilbert, pero verdadera existencia de ningn modo. Para el nominalismo, las entidades abstractas son meras palabras, nombres.

Resulta interesante, pues, sealar, que tanto formalistas como logicistas intentan formalizar varias ramas de la matemtica, pero por razones distintas. Para el logicista, la formalizacin pretende mostrar que la rama formalizada hace parte de la lgica, mientras que el formalista se sirve de la formalizacin para mostrar que dicha rama de la matemtica es libre de contradiccin. Finalmente, tanto formalismo como logicismo tienen sus debilidades a la hora de lograr una fundamentacin slida de la matemtica. El formalismo, como hemos visto, se vio seriamente comprometido en esta empresa con las conclusiones de Gdel, que mostraron que la formalizacin no puede ser considerada como una tcnica matemtica mediante la cual se pueda probar que la matemtica es libre de contradiccin, la matemtica no puede probar su propia consistencia. Mientras que el logicismo, en tanto su verdad se basa en la consistencia de su forma presenta dificultades a la hora de mostrar por ejemplo, el axioma infinito como una proposicin lgica, por cuanto que la razn de que se acepte un conjunto infinito actual, mediante un procedimiento inductivo, parece ms cuestin de fe que de fuerza sintctica o lgica. En virtud de lo dicho, pienso que matemticamente ambas escuelas no pueden sino constituirse como ramas de la matemtica, que por cuestiones de fe considero que ambas tienen el mismo estatus en fuerza argumentativa, pero filosficamente, por cuestiones tambin de fe, tiendo ms a creer en la fuerza argumentativa del logicismo de Frege.