Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Matematica y Filosofia PDF
Matematica y Filosofia PDF
1990
ndice
PREFACIO..........................................................................................................................................6
PREFACIO..........................................................................................................................................8
INTRODUCCIN GENERAL ........................................................................................................11
CAPTULO I
PROLEGOMENA LOGICISTA.......................................................................................................22
DEDUCCIN E INTUICIN EN DESCARTES .......................................................................23
La mathesis...............................................................................................................................24
La axiomtica cartesiana .........................................................................................................25
UN PASO MS: EL LOGICISMO LEIBNIZIANO ..................................................................27
El calculo lgico y las ideas precursoras..................................................................................28
LGICA Y MATEMTICAS EN BOOLE: NUEVAS HERRAMIENTAS .............................29
La lgica como calculo operatorio y simblico.......................................................................30
La lgica es matemtica...........................................................................................................31
La matemtica es axiomtica...................................................................................................32
Nuevos resultados de Boole.....................................................................................................32
OTRO COMPONENTE: LA BSQUEDA DE LA RIGORIZACIN Y LOS
FUNDAMENTOS LGICOS .....................................................................................................34
Aritmetizacin y rigor..............................................................................................................35
La teora de conjuntos..............................................................................................................35
CAPTULO II
FREGE: EL PROYECTO LOGICISTA PRIMERA ETAPA...........................................................37
EL CONCEPTO DE NMERO ..................................................................................................38
La crtica al empirismo clsico ................................................................................................39
La crtica al formalismo...........................................................................................................40
La crtica al subjetivismo.........................................................................................................40
Que es un nmero?.................................................................................................................41
Una interpretacin histrica de las matemticas......................................................................43
EL PROYECTO LOGICISTA ....................................................................................................45
Sobre los indefinibles...........................................................................................................46
La aritmtica es lgica..............................................................................................................47
Equinumerocidad y la definicin de nmero........................................................................48
El axioma de comprensin.......................................................................................................49
Teora de conjuntos y reduccin logicista................................................................................50
La obra de Frege.......................................................................................................................50
CAPTULO VII
LA FILOSOFA DEL FORMALISMO Y EL INTUICIONISMO.................................................123
LOS FUNDAMENTOS DE LA MATEMTICA ....................................................................124
El factor paradojas..................................................................................................................125
La relacin con los universales..............................................................................................125
Dos actitudes hacia las matemticas......................................................................................126
LA FILOSOFA DEL FORMALISMO ....................................................................................127
Los objetos de la matemtica.................................................................................................127
La eliminacin de la intuicin................................................................................................128
Los sistemas formales............................................................................................................129
Trazos, frmulas y matemticas.............................................................................................129
Kant y el formalismo..............................................................................................................131
Formalismo y convencionalismo...........................................................................................131
LA FILOSOFA DEL INTUICIONISMO ................................................................................132
El constructivismo..................................................................................................................132
La intuicin............................................................................................................................133
El lenguaje y la lgica............................................................................................................134
El lenguaje como instrumento................................................................................................135
La reduccin de las matemticas............................................................................................136
Varios intuicionismos son inevitables....................................................................................136
Intuicin temporal e intersubjetividad....................................................................................137
Un balance..............................................................................................................................138
CAPTULO VIII
A MANERA DE CONCLUSIN: LOS TEOREMAS DE GDEL Y EL RACIONALISMO....139
DESARROLLO .........................................................................................................................140
Anatoma de un sistema formal..............................................................................................140
El programa del formalismo...................................................................................................141
Los teoremas de Gdel...........................................................................................................142
Gdel contra el formalismo y el racionalismo.......................................................................143
En torno a la fundamentaron de las matemticas: Lakatos....................................................144
El factor Gdel en la historia de las matemticas..................................................................145
NOTAS DEL CAPTULO I ...........................................................................................................147
NOTAS DEL CAPTULO II...........................................................................................................150
NOTAS DEL CAPTULO III.........................................................................................................153
NOTAS DEL CAPTULO IV.........................................................................................................161
NOTAS DEL CAPTULO V..........................................................................................................163
NOTAS DEL CAPTULO VI.........................................................................................................165
NOTAS DEL CAPTULO VII........................................................................................................170
NOTAS DEL CAPTULO VIII......................................................................................................172
BIBLIOGRAFA.............................................................................................................................173
PREFACIO
Conviene que el lector se prepare para empezar a leer este libro como lo hara si
fuese a tener una discusin acalorada: tranquilo, para no perder la compostura, pero muy
concentrado para no perderse ningn matiz de la argumentacin. El autor, graduado en
matemticas con un postgrado en filosofa, profesor de matemticas en la Universidad de
Costa Rica y presidente de la Asociacin Costarricense de Historia y Filosofa de la
Ciencia, esboza aqu una posicin en filosofa de las matemticas que no es corriente ni
fcil de seguir.
Qu son las matemticas? Una sencilla respuesta: lo que hacen los matemticos.
(Tambin, por supuesto, lo que hacemos los no matemticos cuando tratamos de
encontrar procedimientos para contar, medir, etc.) Ahora bien: Qu hacen los
matemticos? Una primera manera de ver su actividad sera como sigue: los
matemticos descubren entidades matemticas (por ejemplo, los nmeros), y las
propiedades de esas entidades, de igual manera que un cientfico natural encuentra
especies de seres vivos, o genes que corresponden a caractersticas de seres humanos,
o compuestos qumicos, o estrellas lejanas. Los seres descubiertos, y sus propiedades,
no dependen del matemtico: el nmero 3 es primo e impar aunque uno no quiera. Hasta
aqu todo bien, y muchos sostienen esta posicin sin ver problemas en ella. Pero, qu
ocurrira si un matemtico nos dijera que acaba de descubrir el ltimo nmero que existe,
ms all del cual no hay ninguno? Le daran un premio por su esfuerzo? Otro ejemplo:
saldra un matemtico a la prensa a declarar que el nmero 3, contra todas las
expectativas, ahora se est comportando como un nmero par? O que se ha
descubierto que a temperaturas muy bajas 2+2=5? Obviamente no. A pesar de que en
cierto modo hacer matemticas es descubrir cosas cuyas propiedades no dependen de la
voluntad de uno, parece evidente que trminos como descubrir, entidad, propiedad y
existir no tienen en las matemticas el mismo significado que en biologa o qumica.
Cual sea la diferencia es una de las tareas inconclusas en filosofa de las matemticas.
Ser entonces que las matemticas son simplemente un juego de combinacin de
smbolos en el papel, siguiendo ciertas reglas? Esta posicin tiene sus ventajas. Explica,
por ejemplo, que el matemtico no pueda descubrir un ltimo nmero: dada las reglas
con que usamos el trmino nmero, esto no es posible. Esta opinin sera muy atractiva
si no fuera porque las matemticas son cosa seria. De un clculo correcto pueden
depender cosas importantes, no porque el juego as lo determine, sino porque topamos
contra los hechos. Supongamos -y es algo que se me ocurri- que uno contrata a alguien
para que le enzacate el patio trasero. El precio se fija por metro cuadrado, y el jardinero
empieza a trabajar. Cuando al terminar me dice lo que cuesta el trabajo lo encuentro muy
por encima de mi primer clculo aproximado. Despus de mucho discutir me doy cuenta
de que el jardinero ha calculado los metros cuadrados contando superficies de cuatro
lados con la cuarta parte de un metro lineal por lado. As suman 1 -me dice. Diramos
6
en este caso que el jardinero juega otro juego? O ms bien que no sabe las relaciones
entre dimensiones? Otra consideracin: el desarrollo de la ciencia y de la tecnologa ha
exigido muchas veces, y ha tenido que esperar, desarrollos en las matemticas. La gran
importancia que el descubrimiento de la raz cuadrada de menos uno tuvo para el
desarrollo de las comunicaciones es asunto conocido. No diramos que las ciencias, ni
menos an la tecnologa, son simples juegos. Lo diramos entonces de las matemticas,
cuando stas son presupuesto para las ciencias?
La posicin de Angel Ruiz en cuanto a la naturaleza de las matemticas consta, a
mi entender, de dos partes:
(1) En las matemticas interviene el objeto, el sujeto y la sociedad. Distintas
posiciones en filosofa de las matemticas han enfatizado uno u otro punto de estos
elementos, pero solo si se tienen en cuenta los tres nos hacemos una idea de cmo
operan.
(2) No basta con tener en cuenta los distintos aspectos de estos tres elementos: el
papel de cada uno vara segn pocas histricas, segn tipos de problemas, segn
partes de las matemticas. En otras palabras se trata de una relacin compleja y variable.
Si no fuera porque el trmino ha sido objeto de toda clase de abusos diramos que la
relacin es dialctica.
Uno de los resultados de la posicin enunciada es que la relacin entre las
matemticas y los objetos fsicos es ms remota que entre las nociones de otras ciencias
y sus respectivos referentes. Tal vez algo semejante tenan en mente los escolsticos
cuando colocaron a las matemticas en el segundo grado de abstraccin, despus de lo
que llamaron fsica y que en realidad inclua todas las ciencias empricas. Lstima que
esa posicin escolstica degeneraba en una variante del psicologismo, y que por tanto en
ltimo trmino su verificacin o refutacin se hizo dependiente del avance de una ciencia
emprica.
Algunos detalles de la posicin de Angel Ruiz los encontrar el lector en las pginas
que siguen. Otros aun esperan respuesta, que en parte vendr de la discusin
subsiguiente. Para volver al comienzo de estas lneas, ojal la discusin a la que llama la
publicacin de esta obra sea desinteresada y atenta.
PREFACIO
Una filosofa para nuestro desarrollo
Mi parecer ha sido, conforme lo han reafirmado mis investigaciones, que los
filsofos de hoy son los cientficos pensantes, tanto en la teora cuanto en la prctica: en
la busca del saber y en la aplicacin de lo encontrado. El desprecio a las cuestiones
filosficas que manifiestan algunos cientficos, sea de lo que en filosofa se refiere a la
naturaleza o bien a la sociedad, es cosa ms bien de la baja cultura que caracteriza
desde hace algn tiempo al medio intelectual. Precisamente la necesidad de los estudios
interdisciplinarios y de los trabajos en grupo, ha vuelto a reunir lo que en ciertos
momentos se hizo en perodos histricos memorables: los hombres y mujeres que
investigaron lo ms globalmente posible, a veces integrando en s mismos cuestiones tan
aparentemente distintas como el arte y la ciencia. Ejemplo de ello lo encontramos en los
ms antiguos filsofos, quienes adems de investigar la naturaleza, es escriban poesa,
estudiaban y componan msica, legislaban -sin ser la clase de poltico desarticulado de
nuestros lares- y como ciudadanos libres se interesaban por la cosa pblica. El famoso
Tales de Mileto, quien fue matemtico, fsico, legislador y ontlogo, hasta se atrevi a
comerciar, al parecer con xito. El inters de la Escuela pitagrica fue tambin mltiple, lo
mismo que el de la primera Universidad de Occidente: la Academia de Platn, en que el
nico requisito de admisin era saber geometra. Puesto que los griegos aprendan
gramtica, msica, gimnasia, historia y danza durante los aos de su primaria y
secundaria, es de suponer que los estudios matemticos no eran su fuerte, ya que el
mismo Platn propone la primera reforma de programa, insistiendo en que los nios
pueden aprender matemticas desde muy pequeos, haciendo clculos en sus juegos y
creciendo progresivamente en ellos. Esto se percibe claramente en Leonardo da Vinci,
Galileo Galilei, Descartes, Lebniz y otros. Hasta Isaac Newton aproximadamente, los
cientficos se honraban en cuanto filsofos de la naturaleza.
Los padres de la Edad Contempornea son aquellos que reintroducen el concepto
del devenir en todos los campos de los de los saberes bsicos: Goethe, Lyell, Hegel,
Darwin, Wallace, Marx. Llegados nuestros tiempos, los pioneros de la Era Atmica
filosofaban como lo hicieron Einstein, Plank, Heisenberg, Russell, Whitehead, Conrad
Lorenz y muchos otros, hasta nuestros das en que los especialismos comienzan a
integrarse y la necesidad de filosofar es cada vez ms perentoria, hasta para los polticos,
que comienzan a sentir que sin estudios ticos no subsistirn. Por tanto, renuevo mi
parecer acerca de que los filsofos de nuestros tiempos son los cientficos pensantes, lo
mismo que no se puede construir filosofa en cualquier escuela universitaria sin estudios
cientficos y artsticos, y sin por lo menos mantener un buen concepto de la gimnasia.
Uno de los mritos de esta obra de Angel Ruiz se encuentra en que se trata de un
libro que ha sido concebido filosficamente incita a pensar. En acuerdo algunas veces y
en desacuerdo otras -cosa de lo ms saludable en la historia del pensamiento-, los
lectores podran, adems, enterarse de lo que han sido las principales corrientes de
pensamiento matemtico, en una apasionada discusin con ellas o contra ellas, en que el
autor desde un inicio delinea su posicin al respecto. Y as como nos resultan familiares
Demcrito, Platn, Euclides, Aristteles, Arqumedes, Toms de Aquino y otros ya
citados, hemos de familiarizarnos con los de Boole, Frege, Wittegenstein, Russell,
Lakatos, Gdel y aquellos que principalmente estudia Angel Ruiz, para defender su
propia tesis con la ayuda de las argumentaciones de ellos o bien en su contra.
Sin pretender etiquetar -porque es cosa deleznable, digna de mentalidades
fanticas o dogmticas- y ms bien por razones metodolgicas, creo que Angel Ruiz se
balancea entre pragmatismo y funcionalismo y que su tesis acerca de la
correspondencia obedece a un modelo fsico que Ruiz conduce a las matemticas. Esto
lo digo sin afn peyorativo, porque estimo esencial el pleno respeto a las diversas
posiciones y mtodos, tanto en ciencia como en arte y en general en todos los
quehaceres humanos constructivos. S que puedo equivocarme, pero como lo he dicho
en diversas ocasiones, aunque errare humanum est no me gusta insistir en este errar que
conduce al conformismo y a justificar errores a veces fatales. As que el amable lector,
que posiblemente sea el mejor juez, tendr un criterio al respecto seguramente mejor
fundado.
Las referencias de Angel Ruiz de un autor a otro, a veces me han parecido sui
generis, como cuando se refiere a un Frege platonizante que yo considero ms bien
hegelianizante, pero como en lo anterior, esto es cuestin controversial de lo ms
interesante y lo que hace del libro una obra de grandes alcances. En aquello creo que la
opinin de Ruiz es contraria, aunque no estoy en ello muy claro y me da gusto decirlo,
porque el pensamiento cuando se da no es necesariamente claro y distinto, y es lo que
nos hace libres y propensos a mejorar nuestra conciencia por nuestra imaginacin.
Sin tratar de establecer un paralogismo al respecto, creo difcil de aceptar la idea de
intuicin de Angel Ruiz, pero esto puede obedecer a un defecto de parte ma, porque
siempre me ha parecido esto de las intuiciones cosa todava por esclarecerse, igual que
ocurra hace algn tiempo con el famoso instinto de los animales, que nos era ms que
la palabra con que ocultbamos nuestra ignorancia en lo que se refiere a la conducta
animal. Puede ser que obedezca a un cambio en la nocin de intuicin que usa Ruiz,
porque no la encuentro similar ni a la John Locke ni a la de Kant ni a la de otros, aunque
parta de las ideas de Gdel. Lo bueno de este libro resulta en que no es slo
controversial en estos sentidos, sino en otros tantos, como la interpretacin de Ruiz
acerca de Piaget. Yo dira al respecto que el sujeto necesita actuar para vivir y las
acciones generan cambios en sus estructuras mentales; estos cambios ayudan a la
actuacin y se produce as el movimiento dialctico. Sin embargo, pienso que esto no se
9
10
INTRODUCCIN GENERAL
A la hora de tratar de escribir una introduccin a este libro haba pensado en intentar
explicar cmo cada captulo se conecta con los otros de manera terica y siguiendo cierta
secuencia histrica. Ahora que la escribo se me ocurre que lo ms adecuado es no
desentraar esta red de conexiones tericas, sino ms bien hacer manifiesta una idea del
tipo de tejido intelectual con el que est hecho este libro. O sea, intentar hacer un
bosquejo del marco de ideas y opiniones, percepciones e intuiciones que se encuentran
en la base del anlisis realizado. Y pienso esto porque se bien que este marco terico
con el que usted, estimado lector, pronto entrar en contacto, no es aceptado ni siquiera
medianamente en la comunidad no slo de filsofos profesionales sino en la de
matemticos y educadores. Se trata de una interpretacin sobre la naturaleza de las
matemticas poco ortodoxa. Estas frases constituyen -sin duda- una primera advertencia
al lector. Por otra parte, en este libro y en esta introduccin no pretendo demostrar mi
visin sobre las matemticas. Me contentar con sugerir ideas, opiniones y digamos
tomas de posicin. Estas se van a hacer manifiestas a lo largo del anlisis de los temas
propuestos. La pintura que se plantea busca ser apenas una visin diferente a partir de la
cual pueda intentarse una reflexin innovadora sobre las matemticas. Se trata en lo
esencial de solamente un punto de partida para la investigacin sistemtica y el anlisis
detallado posteriores.
Este es un libro de filosofa, y como tal no es posible eliminar el papel de la opinin
subjetiva y personal. Y aqu vamos a hacer una disgresin. Existe en nuestro tiempo
cierta mana a pensar que la filosofa puede sufrir los tratamientos demostrativos que se
afirma se dan con la lgica y la ciencia en general. Y es que la opinin -por ms
fundamentada que est- nunca deja de ser opinin. Y no por eso deja de ser valiosa. La
filosofa, la interpretacin epistemolgica y ontolgica nunca pueden estar liberadas de la
opinin y del mundo subjetivo y la visin personal que el pensador le confiere. Y -ms
que eso- cantas veces la opinin y la idea no demostrada constituyen precisamente el
elemento ms valioso en el avance cognitivo y en el decurso ascendente de la creatividad
intelectual. Cuntas veces es la interpretacin subjetiva y, a veces, extraa e intuitiva, la
que ha abierto los derroteros al conocimiento positivo. Esto me recuerda una discusin
reciente en el V Congreso Centroamericano de Filosofa en donde un par de filsofos
jvenes trataban de descubrir un criterio para decidir en torno a la conveniencia de dos
teoras cientficas. La idea esencial que se afirmaba era que la mejor teora sera la que
explicase por lo menos lo mismo que la otra pero tuviera menos carga metafsica. Desde
el punto de vista lgico, el criterio sonaba muy bien, pero la realidad siempre trasciende la
lgica. El caso comn en el conocimiento es ms difcil, no es el mencionado sino otro: la
existencia de teoras con ms carga metafsica pero mayor rango explicativo.
11
geometra analtica, que a la vez sera un punto de partida central para la creacin del
Clculo. Es decir, las dimensiones ms abstractas de las matemticas encuentran su
papel siempre en relacin con el mundo fsico y social. Se trata de una combinacin
diversa, compleja y distinta de elementos intuitivos y abstracto-lgicos que generan
sntesis tericas, en las que a veces predominan unos elementos y a veces otros. Pero
que siempre existe una dialctica de ambas dimensiones.
Las matemticas del siglo XIX con su abstraccin y con las necesidades del rigor
lgico empujaron hacia el apuntalamiento del racionalismo. El logicismo y el formalismo
son expresin de la matemtica nueva del siglo pasado. Sin duda podemos decir que
hasta la dcada de los aos 30 en el presente siglo no se haban dado importantes crisis
o dificultades en esta aproximacin epistemolgica. Sin embargo, en la dcada de los 30
Gdel public un famoso artculo llamado: Sobre sentencias formalmente indecidibles de
Principia Mathemtica y sistemas afines. Este resultado -como sealaremos en este
libro- tiene una gigantesca cantidad de implicaciones con relacin a la epistemologa y
tambin a la ontologa sobre las matemticas. Tambin posee grandes implicaciones con
relacin a los sistemas formales en general y a los lmites en particular de los
formalismos en matemticas y en el conocimiento. Los resultados de Gdel implican que
cualquier formalismo suficientemente fuerte para expresar la teora elemental de nmeros
es incompleto. La conclusin es inevitable: las matemticas no pueden ser formalizadas
de manera absoluta y adems, lo cual es un corolario del trabajo de Gdel: en las partes
formalizables, no es posible garantizar la consistencia. Este resultado slo puede
significar que todas las aspiraciones de fundamentar la matemtica por la va de los
sistemas formales quedaban semi-destruidas. Y este es precisamente el tipo de
fundamentacin que se haba intentado desde finales del siglo pasado. El intento de la
fundamentacin de la matemtica entraba entonces en crisis.
Esto resultaba un duro golpe tambin para el racionalismo, pero, sin embargo, no
implic en la conciencia del pensamiento occidental una renovacin de las ideas
dominantes sobre la naturaleza de las matemticas. La realidad es que las
consecuencias de los resultados gdelianos no slo no fueron sacados completamente,
sino que tampoco lograron ascender mucho en la comunidad intelectual y filosfica de
nuestro siglo.
El Empirismo Lgico que haba adoptado una reduccin sintctica de las
matemticas no pudo suponer una respuesta metodolgica verdaderamente alternativa al
racionalismo, y ser capaz de integrar los nuevos resultados. A pesar de esto el Empirismo
Lgico ha sido una corriente filosfica bastante influyente en el devenir intelectual de
nuestro siglo. A pesar de Gdel, la filosofa de las matemticas ha seguido dominada por
ideologas apriorsticas, axiomticas, formalistas, racionalistas o convencionalistas. Los
resultados de Gdel eran decisivos, no slo se destruan las vas particulares de la
fundamentacin de la matemtica que haban existido hasta entonces, sino que se
cuestionaba cualquier fundamentacin basada en el poder casi absoluto de los sistemas
16
donde esto slo es posible de manera particular y ocasional. Es decir, creo que
epistemolgicamente no es posible privilegiar ninguno de los factores epistemolgicos; ni
privilegiar el objeto como hace el Empirismo clsico, ni el sujeto como lo hace el
Racionalismo, ni el sujeto como lo hace a su manera Piaget. A veces el sujeto puede ser
determinante, a veces puede serlo el objeto. Se trata de una relacin dialctica de mutua
dependencia siempre en la que slo de manera concreta y precisa, de manera
individualizada y especfica, es posible estudiar el peso de los factores epistmicos. No
creo, entonces, en una visin metodolgica a priorstica del rol especfico de los factores
epistemolgicos.
Por otra parte, me parece de vital importancia, en el anlisis epistemolgico,
estudiar el rol preciso que juega el factor social. A diferencia tal vez de una epistemologa
clsica, creo que hay que afirmar el papel del factor social en la realidad epistemolgica
de una manera independiente, autnoma, condicionante y activa. El anlisis
epistemolgico debe entonces estudiarse a partir de una relacin integrada,
condicionante y recproca del objeto y del sujeto epistmicos y del factor social aqu con
la categora de factor epistemolgico. De nuevo, aqu yo considero que la preminencia de
cualquiera de estos tres factores en el resultado epistmico debe ser establecida a partir
del anlisis concreto de la situacin concreta.
Volviendo a la ontologa, yo s que es una provocacin afirmar que las
matemticas no son a priori. Pero creo que es un buen punto de partida para aprehender
la autntica naturaleza de las matemticas. Es obvio que no son clsicamente
experimentales, pero s creo que es posible determinar los referentes reales a los que sus
nociones y conceptos estn vinculados. Es decir, a la hora del establecimiento de
criterios de verdad en matemticas no creo que baste ni la consistencia ni la completitud,
ni las categoras en general de la lgica, sino que nunca creo posible prescindir de la
experiencia como ltima sancin para su verdad. El punto debera ser entonces: Cules
son los posibles mecanismos experimentales o no, pero empricos y relacionados con el
mundo, capaces de determinar si las proposiciones o teoras estructuradas de las
matemticas son verdaderas o no? Cul debe ser, entonces, la nocin de verdad que
corresponde?. En este sentido, tal vez, el concepto de modelo, y entonces la recurrencia
apropiada a la multitud de modelos cientficos que existen puede darnos la solucin. Creo
que centrar dispositivos de investigacin en este territorio sera de gran importancia y
resultara extraordinariamente fecundo. Ahora bien, cuando hablo de establecer la
experiencia como ltima sancin para la verdad matemtica, no dejo por fuera la
importancia de la existencia de importantes falsadores no empricos que pueden jugar un
papel en la valoracin veritativa as como en la utilidad y desarrollo de las matemticas.
Creo, en efecto, que el rol de la lgica dentro de las matemticas juega un papel muy
especial, pero al mismo tiempo entiendo que este papel lo puede jugar precisamente, o
se puede jugar precisamente, por el carcter especial de las matemticas, integrado en
una realidad global y emprica de las mismas. Con relacin a los referentes de las
18
Este libro est compuesto -en lo esencial- por artculos publicados en numerosas
revistas acadmicas, e incluso algunos pocos fragmentos fueron tomados de un pequeo
libro -de circulacin muy restringida- editado por la Editorial de la Universidad de Costa
Rica en 1988: La filosofa de las matemticas y el anlisis de textos en secundaria. Debo
mencionar que, sin embargo, la redaccin original fue hecha en 1984 pensando en un
libro. Por eso existe una lgica en el anlisis realizado. Esta es ms bien -aunque
relativamente- histrica. En el primer captulo se busca analizar algunas aspectos
intelectuales previos a la edificacin del proyecto logicista por Frege. Se ponen en
conexin algunas ideas centrales de Descartes y Leibniz que se afirman como sustrato
del proyecto logicista. Se mencionan avances de la lgica, y sobre todo se hace un
anlisis panormico de la historia de las matemticas modernas hasta el siglo XIX, que
es donde se afirma est precisamente el sustrato del proyecto. El segundo captulo
resume la visin de Frege. El tercer captulo es la descripcin de la etapa del proyecto
que desarrolla Russell.
Los captulos Cuarto, Quinto y Sexto constituyen una incursin en las filosofas de
Frege y Russell en lo que pueden tener de inters para la mejor comprensin de las ideas
de estos sobre las matemticas. El captulo Stimo es una breve exploracin sobre las
filosofas del formalismo y el intuicionismo que permita al mismo tiempo que ampliar la
perspectiva del anlisis del logicismo, realizar una pintura de la problemtica de los
fundamentos filosficos de la matemtica en general. El captulo Octavo es al mismo
tiempo que el lugar donde se introducen especficamente los teoremas de Gdel, una
breve sntesis de ideas a manera de conclusin, especialmente en relacin con el
racionalismo. Este captulo no pretende ser el corolario de los siete anteriores captulos,
ni tampoco el ltimo eslabn de una demostracin. Se trata ms bien de la sugerencia de
algunas ideas y opiniones as como cierto balance terico sobre la reflexin de la
naturaleza de las matemticas. El libro contiene -no obstante- suficiente descripcin de
las ideas logicistas (as como suficientes referencias) como para servir como introduccin
al tema, slo que con una visin intencionadamente parcializada.
Aunque el anlisis que se realiza en este libro ha tomado como punto focal a la
filosofa del logicismo, en realidad se trata de una incursin en buena parte de los
problemas de la filosofa de las matemticas. En realidad, de eso es de lo que trataba
desde un principio.
21
CAPTULO I
PROLEGOMENA LOGICISTA
INTRODUCCIN
Si bien es cierto que es posible rastrear en la antigedad clsica componentes del
logicismo moderno, no es menos cierto que este realmente responde a una visin en
correspondencia con la naturaleza de la matemtica moderna, que podramos decir
arranca en el siglo XVII. La misma filosofa moderna, por otra parte, podramos
atrevernos a decir comienza con Descartes.
Por circunstancias diferentes, la visin cartesiana sobre las matemticas estuvo
conectada a las corrientes filosficas e ideas que daran forma al logicismo.
De igual forma y tal vez con mayor nitidez, los resultados e ideas de Leibniz en
torno a la relacin entre lgica y matemticas contribuyeron a definir la filosofa del
logicismo moderno. Dentro del racionalismo y en una conexin (en cada caso diferente)
en torno al rol de lo axiomtico y lo formal, Descartes y Leibniz representan un punto de
partida intelectual para la reelaboracin teortica que Frege y Russell realizaron tiempo
despus.
Los desarrollos conceptuales de Boole en la matematizacin de la lgica y en el
apuntalamiento de lo axiomtico y operatorio, constituyen una fuente muy importante
para la elaboracin de un proyecto especfico de fundamentacin de las matemticas por
la lgica.
Pero aunque encontremos ideas y actitudes sobre las matemticas en Leibniz y
Descartes, recursos tcnicos interesantes en Boole y los lgicos del siglo XIX, era
necesario un nivel de desarrollo especial de las matemticas (que se da en los siglos
XVIII y XIX) para abrir el tipo de pensamiento y proyecto que Frege plante. Frege fue un
filsofo de las matemticas modernas que adquieren un carcter tambin especial en el
siglo XIX.
22
Para Descartes la matemtica era la esencia de la ciencia, y era suficiente para dar
cuenta de la realidad. Del modelo aristotlico afirma la deduccin, y entonces la
axiomtica, pero tambin la intuicin. Descartes establece la necesidad de una
contemplacin de un objeto individual a la hora de realizar las conclusiones
matemticas. El razonamiento matemtico no est desprovisto de un objeto, que en su
caso, como seala Beth en su obra con Piaget Epistemologa Matemtica y Psicologa,
es del mismo tipo que emerge al referirse a un tringulo, la esencia del tringulo 1. Este
objeto individual, a pesar de que no se libra del designio platnico, es necesario en tanto
la intuicin necesita objetos particulares para actuar. La intervencin de la intuicin en el
razonamiento matemtico establece una ptica diferente a la de la mera deducibilidad
lgica. El postulado de la experiencia no se afirma aqu, puesto que Descartes no le
reconoci valor 2.
Para Descartes los conceptos de la matemtica han sido puestos por Dios, son
innatos. Es este el puente entre la deduccin y la intuicin. Salvo por los primeros
principios puestos por Dios y absolutamente intuitivos, el resto en matemticas es
deductivo.
La aproximacin de Descartes apunta a la intuicin, que en ocasiones identifica con
la razn, pero, lo que es especial para nuestro tema, la deduccin. De hecho, es la
conjuncin de la deduccin y la bsqueda de primeros principios, lo que aparece, por
ejemplo, en la raz de las revoluciones cosmolgica y geomtrica. Esto es lo que ya
podemos llamar axiomtica, que aparece en Descartes con un hlito semi-religioso,
cargado de prejuicios escolsticos. La axiomtica cartesiana aparece con ese deseo de
23
toda metafsica por como seala Cassirer en El Problema del Conocimiento: ...abarcar y
agotar con el pensamiento, de una vez para siempre, toda la extensin del ser 3. El
sentido ltimo de las revoluciones cartesianas es importante de comprender a la hora de
incidir sobre la constitucin moderna del paradigma racionalista y axiomtico de las
matemticas.
Una gran parte de los resultados tericos matemticos conocidos en la poca de
Descartes fueron obtenidos en la Antigedad. Sin embargo en el medievo aparecen
elementos tericos antecedentes de los resultados cartesianos. Brunschvicg, en Les
tapes de la philosophie mathematique as lo apunta:
Le Tractatus de Latitudinibus Formarum (cuya influencia fue grande y
duradera hasta tal punto que, desde el descubrimiento de la imprenta, cuatro
ediciones se sucedieron de 1442 a 1515), ensea a representar las
variaciones de cualquier magnitud que sea, transportando sobre una superficie
plana las lneas de seal que haban sido hasta el momento trazadas sobre
una esfera. Los grados del fenmeno natural se describen por la ordenada; y
constituyen as lo que Oresme llama latitud de la forma; la longitud, es decir la
lnea de las abscisas, describe los tiempos correspondientes 4.
Oresme apunta hacia las coordenadas. Vieta hacia el mtodo operatorio, siguiendo
a Diofanto (lo que adecuadamente seala Brunschvicg 5). Para Descartes, a diferencia
de posiciones posteriores, el lgebra (como sealaba Paul Germain) no es una ciencia
sino un mtodo 6. Esto es herencia de las ideas anteriores.
La mathesis
La nocin de matemtica universal que describe rasgos centrales de su
aproximacin terica aparece como un ideal esencial, determinante metodolgico sobre
la ciencia y el conocimiento. En el seno de ese ideal es que las dos reformas se
establecen. Esta matemtica universal tendr un alcance diferente en relacin a que se
considere el conjunto de la obra filosfica (cosmolgica) de Descartes o slo la parte
estrictamente matemtica 7.
Estas dos aproximaciones separables esclarecen sus diferencias en el uso
cartesiano del espacio. Para Descartes: ...los Principes de la Philosophie son una fsica
de la geometra; la Gomtrie es una geometra de analista 8. La concepcin espacial
cartesiana es importante en la imagen del mundo moderno. La mathesis universalis
busca encerrar el conocimiento del mundo en un esquema matematizante. Se trata de
englobar la ciencia a partir de lo deductivo matemtico. Reforma matemtica y reforma
cosmolgica encuentran interseccin comn en la metodologa y en uno de los nfasis
tericos que Descartes apuntala. La reforma cosmolgica parte de la comprensin de la
existencia de un mtodo universal en el conocimiento 9.
24
La axiomtica cartesiana
La preocupacin principal de la Gomtrie de 1637 no recae en la geometrizacin
de la fsica sino, como seala Brunschvicg: ...opera una transformacin de los mtodos
tcnicos de la Geometra y el lgebra 13. A propsito de un problema planteado por
Pappus, Descartes muestra las ventajas del mtodo abstracto que l propone, y expresa
las caractersticas fundamentales de la nueva matemtica en Reponses aux secondes
objections faites sur les Meditations Metaphysiques. La expresin de las relaciones
geomtricas en algebraicas se convierte, desde un punto de vista tcnico, esencial para
25
Descartes. Son las coordenadas rectangulares las que enlazan las relaciones
geomtricas y las algebraicas. Con la Regulae se tiene una yuxtaposicin de geometra y
aritmtica; en la Gomtrie se da una jerarquizacin.
Las reformas cartesianas a la fsica y a la matemtica estn ntimamente
entrelazadas. No slo por la unidad en la aproximacin al mundo, sino por el mtodo
usado en ambas. Se trata de la deduccin de resultados partiendo de principios previos,
que son en Descartes a priori y mentales. En la reforma cosmolgica esto implica ms
problemas que en la matemtica; que slo pueden ser abordados con premisas
metafsicas. En la matemtica, aparte de establecer un resultado importante
tericamente, cual es la aritmetizacin de la geometra, establece una forma de
entenderla que va a influir en la concepcin de su naturaleza. Descartes con estos
resultados va a apuntalar (matemtica y filosficamente) los mtodos abstractos y el
tratamiento axiomtico de las matemticas modernas. Las reformas cartesianas deben
estudiarse en conexin con el desarrollo de la axiomtica y entonces con las condiciones
en las que el modelo antiguo de ciencia y matemtica (aunque transformado) deviene un
paradigma fundamental de la filosofa moderna.
En Descartes la intuicin es fundamental en matemticas, pero la deduccin es
apuntalada por los resultados que establece.
El anlisis sobre la cosmologa y la matemtica de Descartes est ntimamente
ligado a las mismas reglas que sanciona su Discurso del Mtodo (que enfatiza los
aspectos analticos y deductivos, pero tambin la bsqueda de primeros principios).
La participacin de Descartes en la configuracin de la reflexin moderna sobre la
matemtica no es nada despreciable. Su contraposicin epistemolgica a una
metodologa emprica de aproximacin a lo real ha influido extraordinariamente en los
siglos pasados. La traslacin de los criterios de verdad de la correspondencia con el ser
(Aristteles y escolsticos) a los de rigor, claridad y distincin de las ideas, fue esencial
en la edificacin del racionalismo moderno.
En lo que se refiere a la cosmologa las hiptesis de Descartes son cualitativas y
poco tiles para el desarrollo de la ciencia; todo el siglo XVII vivi una atmsfera
cualitativista.
Frente al racionalismo que subestima la experiencia y que hereda la pretensin
escolstica de los primeros principios, la aproximacin cuantitativa, por ejemplo de
Galileo, en la descripcin de la naturaleza y en la concepcin de la matemtica
representa un autntico salto metodolgico y epistemolgico hacia adelante (aunque esto
no sea vlido universalmente). Pero ser la tradicin racionalista la que ms peso tendr
en la constitucin del paradigma dominante sobre las matemticas.
26
30
La lgica es matemtica
Las leyes de la lgica son para Boole en su forma, aunque no en su contenido,
matemtica 32. Todas las leyes bsicas de lgica las va reduciendo a relaciones de
asociatividad, conmutatividad, distributividad, etc. Para ello identifica el signo + a los
trminos y, o de la lgica (se debe al usar las relaciones que vinculan clases de
objetos exigir interseccin vaca entre las clases para as garantizar la identificacin con
el + ). Las nicas diferencias con la aritmtica-lgebra son: (i) (si XY = XZ => Y = Z) no
es vlida y (ii) X2=X, que no es una regla clsica del lgebra (en 1847 haba sealado
Xn=X). Boole sustituy las relaciones lgicas as:
Todo X es Y ....... x*(1-y)= 0
Ningn X es Y ......x*y=0
Donde x representa la clase de las cosas X y y la de las cosas Y. Boole, adems,
aade:
Algn X es Y ........ xy = v
Algn X no es Y ...... x(1-y) = v,
para la expresin de proposiciones particulares, y donde vx = algunos X. En la base de la
aproximacin booleana se encontraban condiciones particulares de la matemtica de la
poca. Kneale en Desarrollo de la Lgica dice:
31
La matemtica es axiomtica
Para Boole la matemtica no es de magnitudes, su esencia est dada por su
carcter calculatorio y axiomtico 34. Esta es una aproximacin que deja de lado los
aspectos cuantitativos que fueron los que predominaron en el siglo XVIII. Para Boole la
realidad (al igual que la lgica) tambin est regida por las leyes matemticas.
La forma precisa de la expresin matemtica de la lgica se desarrolla en Boole a
travs de ecuaciones 35, cosa que Hamilton (el filsofo) haba obtenido. Los
razonamientos pueden expresarse a travs de funciones y sus desarrollos. El camino
interno entre las premisas y las conclusiones pueden establecerse simblica y
matemticamente, para slo al final retomar el sentido lgico. Esta expansin es el
procedimiento fundamental en el despliegue formal del sistema de Boole 36.
32
Los resultados de Boole superan los trabajos de Leibniz (que ya haban intentado
sin xito ser superados por diversos autores previos: Segner, J. Lambert, Ploucquet,
Holland, De Castillon, Georgonne) 38. Boole al asociar a una proposicin el conjunto
decasos en los que se verifica,
... interpreta la relacin de implicacin como una inclusin, y su clculo
con conjuntos le proporciona de este modo las reglas del Clculo
Proposicional 39.
Sus trabajos van a servir como base para Jevons, el mismo De Morgan y C.S.
Peirce. De Morgan haba establecido en su Formal Logic de 1847 que la lgica se refiere
esencialmente a relaciones, al igual que Boole 40. Peirce extendera estos resultados en
sus escritos de 1870 a 1893 y Schreder los sistematizara 41. El nfasis en las
relaciones era una consecuencia del flujo general que apuntalaba la axiomtica y de la
nueva aproximacin hacia la matemtica y la lgica. Peirce introdujo una notacin para
las proposiciones que expresan relaciones, enfatiz (lo que Boole apenas haba tocado)
el concepto de funcin proposicional 42 y el de cuantificadores 43. La conjuncin de
relaciones, clases, funciones proposicionales y cuantificadores, abra una nueva etapa en
la lgica y describa el panorama de la misma previo a los trabajos de Frege.
Durante esta poca los avances en la lgica haban sido introducidos en el marco
de la evolucin de la matemtica. Muchas de las innovaciones aparecan condicionadas
por las necesidades en la bsqueda de sustentar condiciones de rigor para los resultados
matemticos. En Boole (como tambin en Peirce) la lgica simblica era matemtica. La
autoconciencia de la lgica como ciencia independiente, aparte de su consideracin
como leyes del pensamiento, objetivas o subjetivas, va a aparecer con claridad en Frege.
Aqu la lgica ya no es matemtica, sino al revs: esta ltima es lgica. Para establecer
esta inversin adecuadamente era necesario una renovacin y sntesis de la lgica, un
lenguaje simblico ms desarrollado y una aproximacin filosfica apropiada. El proceso
que conduce a ese resultado en Frege no fue establecido, sin embargo, a partir
solamente de los productos del trabajo de Boole, De Morgan o Peirce; de nuevo, la
evolucin de los problemas de las matemticas fue central en ese desarrollo.
La bsqueda del fundamento lgico de la matemtica, en una etapa en que se
perciba esto como una tarea intelectual decisiva, fue un factor determinante, que es
necesario abordar en cierta medida.
33
Aritmetizacin y rigor
La aritmetizacin del anlisis no se puede considerar un proceso mecnico y simple
de rigorizacin de resultados matemticos, sino que debe verse integrada a una nueva
autoconciencia en la evolucin de la matemtica. La aritmetizacin iba dirigida en el
siglo XIX al abandono de la intuicin geomtrica que haba predominado en el clculo del
siglo XVIII; era la bsqueda por aprehender una nueva realidad en la que la validez lgica
apareca como central 50.
Los trabajos de Cantor en lo que se refiere a los fundamentos del anlisis continan
la obra de Weierstrass 51. En las definiciones de los reales el problema resida en la
forma de traducir el paso al lmite a los enteros. Para Cantor, por ejemplo, toda sucesin
regular define un nmero; la clase de todos los nmeros as definidos es el sistema de los
nmeros reales 52. Para Dedekind y tambin para Wierstrass est presente esta
incidencia sobre lo que es una referencia al continuo y, entonces, al infinito. La nocin de
continuo real implica un proceso matemtico (mental si se quiere) cualitativamente
diferente al que se manifiesta en la aritmtica.
Con la aritmetizacin del Anlisis no se trataba simplemente de desgeometrizar el
clculo y de apuntar hacia mejores condiciones lgicas en sus fundamentos; se trataba
de una reduccin de diferentes nociones conceptuales (referidas a objetos diferentes) a
las nociones aritmticas. Este proceso de cualidades diferentes slo poda ser realizado a
partir de una nueva abstraccin y, sugiero, a partir de la introduccin implcita o explcita
de supuestos tericos sobre la existencia y la naturaleza de las entidades matemticas.
La aritmetizacin de las matemticas es la manifestacin, por otra parte, de una
intencin reduccionista de sus distintos componentes. Es la bsqueda de una unidad
terica en la diversidad, cuyo planteamiento exige una readecuacin en la conciencia de
la naturaleza de la matemtica e incluso del conocimiento. Un proceso que no fue
abordado en el siglo XIX y es posible que fuesen necesarios ms elementos tericos que
los existentes entonces para establecer su actualidad.
La teora de conjuntos
La matemtica del siglo XIX se puede resumir en la emersin de las geometras no
euclidianas, la aritmetizacin del anlisis, la sistematizacin geomtrica y el surgimiento
de formas algebraicas nuevas. An as quedaran por fuera, sin duda, muchos
importantes resultados 53: los trabajos de Gauss en la teora de nmeros (seguidos por
Dirichlet), los logros en la generalidad de la geometra analtica, la teora de las funciones
de Weierstrass, Schwarz y Mittag-Leffler 54... En este panorama intelectual se construy
la teora de conjuntos. Esta nace, nos dice Bourbaki, debido a:
35
36
CAPTULO II
FREGE: EL PROYECTO LOGICISTA PRIMERA ETAPA
Por otro lado, los grandes filsofos del siglo haban dirigido su mirada hacia una
problemtica que incidira ms directamente en sus vidas y conciencias. Ni los
matemticos ni los filsofos por diferentes razones haban indagado con profundidad
sobre la naturaleza de la matemtica.
Si durante el siglo XVIII la visin kantiana sobre la matemtica haba predominado
en las conciencias intelectuales, con las geometras no eucldeas, y con una matemtica
que se alejaba cada vez ms en general de lo intuitivo, en el siglo XIX la estrella de Kant
haba declinado, pero nada ni nadie lo haba sustituido. La geometra no eucldea y los
cuaterniones haban torpedeado la solidez de premisas establecidas sobre el carcter
ltimo de las matemticas. El camino estaba abierto para una nueva conciencia, pero
antes de intentarlo haba que dejar correr el tiempo. La evidencia absoluta de las
matemticas dada en la intuicin kantiana o en relacin al xito mundano de los
resultados obtenidos, deba ser reformulada, pero cmo?.
El primer mrito de Frege fue haber asumido esta tarea seria y sistemticamente.
Frege fue un autntico filsofo de la matemtica y de la lgica. Su visin estuvo
condicionada no slo por un esquema leibniziano sino especialmente por una
extraordinaria etapa histrica en la evolucin de las matemticas.
EL CONCEPTO DE NMERO
38
La crtica al formalismo
La crtica de Frege a los formalistas se manifiesta en el segundo volumen de sus
Grundgesetze, aparecido en 1903. Lo esencial que dice Frege es que resulta absurdo
pensar que meras combinaciones de trazos sin significado alguno puedan llamarse
matemtica. Frege pregunta cundo se le da significado a los smbolos usados en las
combinaciones?. 3
Es evidente que los objetos y las reglas bsicas de la matemtica pueden tratarse
en forma de sistema axiomtico abstracto. Estos objetos podran ser hasta cierto punto
variables. Pero lo que es necesario dejar claro es que las reglas son reglas que
corresponden al objeto, el objeto determina sus reglas aunque despus obviemos los
procesos originarios; son reglas objetivizadas. Esto no quiere decir que no podamos
distribuir, organizar estas reglas y diferentes objetos. Es correcta la afirmacin de Frege
de que no cualesquiera reglas y smbolos indeterminados son matemtica. En esto Frege
manifiesta sus consideraciones epistemolgicas: no acepta una interpretacin de la
aritmtica en trminos sintcticos. Su visin en esto sigue siendo clsicamente
semntica. Esta ltima frase se refiere a que a pesar de que contribuye al apuntamiento
de lo formal en el racionalismo (como veremos), Frege no puede aceptar el formalismo.
Lo que Frege aclara aqu es acerca de qu tipo de relacin existe entre las colecciones
de objetos matemticos y sus reglas, con la realidad. Es decir, si los entes matemticos
que se construyen y son resultados de la aplicacin de reglas tienen significado, y si lo
tienen cul es?. La respuesta de esto deberemos buscarla en la posicin ontolgica de
Frege.
La crtica al subjetivismo
La crtica en el Grundlagen de Frege al subjetivismo psicologista se realiza tanto en
el terreno de la lgica como de la matemtica:
Tal descripcin del proceso interno que precede a la realizacin de un
juicio numrico, an cuando pudiera ser justa, jams podra sustituir una
genuina determinacin del concepto (...). De esta suerte, el nmero es tan
escasamente un objeto de la psicologa o un producto de los procesos
psquicos, como podra serlo, por caso, el Mar del Norte. 4
40
Y, aclara ms adelante:
... tampoco puedo concordar con Schloemilch, quien llama al nmero
representacin del lugar de un objeto en una serie. Pues si el nmero fuera
una representacin, la aritmtica sera psicologa. La aritmtica es tan
escasamente psicologa, como, por ejemplo, lo es la astronoma (...). Si el dos
fuera una representacin, sera la ma por lo pronto. La representacin de otro
sera, en cuanto tal, otra representacin. De esta manera, tal vez tendramos
muchos millones de doses. Si se aceptaran representaciones latentes o
inconscientes, se tendran tambin doses inconscientes que con posterioridad
volveran a ser conscientes. 5
En su famoso artculo de 1918 (traducido al ingls como The Thought: a logical
Inquiry) resume lo que en general sera su posicin:
Nada sera un mayor malentendido de la matemtica que su
subordinacin a la psicologa. Ni la lgica ni la matemtica tiene la tarea de
investigar las mentes y los contenidos de la conciencia cuyo portador es una
sola persona. Tal vez su tarea poda ser representada mejor como la
investigacin de la mente, de la mente no de las mentes(Negritas
aadidas, A. R.) 6.
Las leyes de la matemtica y de la lgica no son dependientes justamente de la
accin del pensar individual, o de los contenidos particulares del pensar individual, o de
los contenidos particulares del pensar. La crtica al psicologismo es la bsqueda de la
posibilidad del conocimiento positivo. Se trata de una pretensin epistemolgica que lo va
a conducir a asumir posiciones ontolgicas definidas. Frege encuentra un comn
denominador en los errores de las tres corrientes filosficas. Ninguna reconoce un
estrato de realidad objetivo no material ni subjetivo 7. Frege se ve obligado a introducir la
nocin de objetividad en su consideracin de los nmeros. Esta se refiere a algo que es
regulable, conceptuable, enjuiciable 8, e independiente de los sentidos, las
intuiciones, la imaginacin, aunque no de la razn 9.
Que es un nmero?
Mostern resume la caracterizacin de Frege sobre los nmeros de la manera
siguiente:
Los nmeros no se dicen de las cosas, sino de los conceptos. Si
decimos que la tierra tiene un satlite, o que nuestro sistema solar tiene nueve
planetas, o que no hay habitantes en Marte, estamos diciendo algo de
conceptos: que bajo el concepto satlite de la tierra cae un individuo, bajo el
concepto planeta de nuestro sistema planetario caen nueve individuos y bajo
41
42
44
EL PROYECTO LOGICISTA
45
La lgica en Frege no slo apunta a la validez sino que hace referencia a la realidad
misma en tanto su objetivo es la verdad. Esta es absoluta, timeless. Por qu es esto as
no es difcil de entender, pero no es satisfactorio si se busca la mayor claridad
epistemolgica.
La aritmtica es lgica
Frege pone las cosas en claro en relacin a la aritmtica. En Funcin y Concepto
nos dice:
La aritmtica es lgica extensamente desarrollada, que una
fundamentacin rigurosa de las leyes aritmticas nos retrotrae a leyes
puramente lgicas y slo a tales 21.
Lo cual debe concretarse en opinin de Kneale as:
...desea mostrar (Frege) que el lenguaje matemtico en trminos de
nmeros naturales resulta reducible a un lenguaje en trminos de conjuntos,
clases o multiplicidades, que en la terminologa de los lgicos constituyen
extensiones de conceptos. De ah que expresamente afirme que los objetos
aritmticos son en definitiva objetos lgicos 22.
El proyecto empieza por tratar de reducir el concepto de orden en una secuencia
lgica y ...as proceder de ah al concepto de nmero 23, como afirma en el Prlogo de
su Begriffsschrift de 1879.
En este punto es interesante mostrar las diferencias del proyecto logicista y los
resultados expuestos por Peano en la misma etapa histrica. Para Peano y sus
seguidores se trataba de reducir el lgebra y la aritmtica a unas pocas ideas bsicas
como: clases, pertenencia de clases, implicacin y producto de clases; a tres ideas
47
El axioma de comprensin
Las definiciones de Frege van a tener una dificultad que luego se manifestara como
el taln de Aquiles de su Grundgesetze. Esta se encuentra en la relacin de conceptos o
propiedades y conjuntos; Frege establece un extraordinario vnculo que se suele llamar el
principio o axioma de comprehensin. Beth en su libro Mathematical Thought lo formula
as:
(i) Los objetos que comparten una cierta propiedad pueden ser trados a
un concepto comn que exprese su propiedad caracterstica; (ii) cada concepto
es un objeto y entonces puede en su turno ser subsumido bajo un concepto. (iii)
dos conceptos que se aplican a los mismos objetos son idnticos 34.
49
) como su extensin, y
)=
x) . . (
) (
) 35.
La obra de Frege
La reflexin sobre la naturaleza de la aritmtica y la logicizacin de la misma
fueron el eje central de las preocupaciones tericas de Frege la mayor parte de su vida.
Podemos afirmar que desde el mismo Begriffsschrift tom lugar este intento. En
esta obra de 1879 Frege trataba de dar un lenguaje formalizado y preciso capaz de
expresar las leyes de la lgica y la aritmtica. Se trataba de una obra preparatoria, de
construccin del instrumental lgico y simblico para permitirle probar su visin particular
sobre la naturaleza de la aritmtica. As lo expresa en el Prlogo a su Conceptografa:
Como he sealado al principio, la aritmtica ha sido el punto de partida
del curso de pensamiento que me ha conducido a mi conceptografa. A esta
ciencia, por tanto, pens aplicarla primero, tratando de analizar ms sus
conceptos y de fundamentar ms a fondo sus teoremas 39.
50
Aunque sus objetivos aqu estn mediatizados por las necesidades de su proyecto
logicista, Frege obtiene importantes resultados para el desarrollo de la lgica. Por primera
vez aparecen los cuantificadores y las variables ligadas, con lo que desarrolla la primera
teora coherente de la cuantificacin; aparece el clculo proposicional de funciones de
verdad, el anlisis de la proposicin como funcin y argumento en lugar de sujeto y
predicado; por primera vez la distincin entre predicados de primer orden y de segundo;
se formaliza la lgica sentencial y se presenta un clculo deductivo para esta ltima. La
redaccin del Die Grundlagen der Arithmetik (publicado en 1884) buscaba el
esclarecimiento de las nociones de nmero y una discusin filosfica sobre sus ideas
logicistas en torno al carcter de la aritmtica. Die Grundgesetze der Arithmetik
(publicada en dos volmenes, en 1893 y 1903 respectivamente) era la materializacin
precisa de su proyecto, la obra que debera dar cuenta definitivamente de la naturaleza
lgica de la aritmtica.
LA PRIMERA CRISIS
52
Frege saba que lo que estaba en juego era toda su concepcin filosfica. En los
mismos Grundgesetze lo expresa con claridad:
Lo que est en cuestin no es slo mi camino particular para establecer
la aritmtica, sino si es posible de dar a la aritmtica alguna fundamentacin
lgica 42.
No obstante en esta poca todava consideraba que era posible resolver las
dificultades. Dice en el Apndice que aparece en 1903:
El primer problema de la aritmtica puede ser tomado como el problema
de: Cmo aprehendemos los objetos lgicos, en particular los nmeros?.
Qu nos justifica al reconocer nmeros como objetos?. Incluso si este
problema no est resuelto por ahora en la extensin que yo cre estaba cuando
escrib este volumen, no obstante no dudo que el camino hacia una solucin
ha sido encontrado 43.
Frege no abandon la lgica y el logicismo de una manera abrupta ante la aparicin
de las paradojas. Busc soluciones a las dificultades a partir de modificaciones del
axioma V de los Grundgesetze. Como resea Quine en On Frege's Way Out:
...Frege est proponiendo, contrario a (3) (se refiere al axioma de
comprehensin -aadido) que al menos para algunos atributos
y
tomemos
)y
CAPTULO III
RUSSELL: UNA SEGUNDAD ETAPA EN EL LOGICISMO
INTRODUCCIN
Cuando las paradojas de la Teora de clases emergieron, el proyecto logicista de
Gottlob Frege entr en una crisis que l mismo fue incapaz de resolver. No se trataba
para Frege de un problema tcnico, sino de un cuestionamiento de toda la visin que
tena sobre la aritmtica. La profundidad de la crisis que se abri en esta etapa fregeana
del logicismo debe entenderse bien: para Frege, su proyecto era la descripcin de
verdades absolutas correspondientes a un mundo no tangible pero real. Las paradojas
cuestionaban el sustrato filosfico del proyecto. Frege pensaba que lo que estaba en
juego era la posibilidad de la fundamentacin lgica de la Aritmtica. Intent soluciones a
las dificultades presentadas por la va de modificaciones en el Axioma V de los
Grundgesetze, pero este camino no obtendra buenos resultados, como Lsniewski
demostrara en 1938. Frege sigui despus de la emersin de las paradojas afirmando la
existencia de un mundo de objetos no sensibles e independientes, incluso tal vez de una
manera radical como se expres en Der Gedanke. Pero el proyecto logicista no fue
apuntalado otra vez por l. Incluso intent fundamentar la Aritmtica en la Geometra.
Una etapa en el Logicismo haba acabado.
El proyecto logicista de Frege represent un primer intento por dar cuenta
tericamente de la naturaleza de las nuevas matemticas, partiendo de los resultados en
la Lgica y en la rigorizacin de las matemticas del siglo XIX. Frege acudi a la filosofa
logicista de Leibniz, y apuntal una nueva versin de un racionalismo axiomatizante que
se distanciaba de la filosofa de las matemticas de Kant. Frege conjur el paradigma
racionalista y la visin lgico-axiomtica sobre las matemticas de una manera tcnica
extraordinariamente precisa. El apuntalamiento de este modelo tan generalizado de
comprensin de las matemticas no condujo, sin embargo, a defender una visin
sintctico-formalista de las mismas. El platonismo (en una u otra medida) que siempre
55
recorri su pensamiento represent una importante barrera para impedirle llegar a ese
punto. Para Frege, la verdad matemtica nunca poda reducirse a la mera manipulacin
de signos, corresponda a lo real.
En los aos en que Frege fracasa en la fundamentacin logicista de las
matemticas, no era claro que esta resultaba una empresa imposible en toda
circunstancia. En medio de un contexto de incertidumbre en las mismas bases de las
matemticas, un nuevo intento logicista sera realizado buscando dotarlas del
fundamento absoluto que apareca necesario.
Para Bertrand Russell no slo la aritmtica era reducible a la lgica, como en Frege;
tambin el resto de las matemticas 1. En l desapareca toda alusin a una intuicin
kantiana en matemticas. Russell lleg al logicismo de una manera independiente de
Frege; su aproximacin se establecera en el paso de su reaccin frente a una conciencia
anterior idealista, y a partir del contacto con los trabajos de Peano en la rigorizacin de
las matemticas. En la Evolucin de mi pensamiento filosfico va a reconocer que
algunas de las ideas que aparecern en los Principios y en Principia Mathematica, haban
sido planteadas por Frege por lo menos 16 aos antes 2.
Logicismo y analiticidad
El proyecto logicista en Russell pretende la reduccin de toda la matemtica,
pasando a travs de la aritmetizacin de la misma. Esta pretensin logicista niega la
afirmacin kantiana de todas las matemticas (incluyendo la geometra) como
conocimientos sintticos. Russell piensa que el logicismo da el sentido correcto a lo que
se debe entender por a priori en las matemticas:
El hecho de que todas las constantes matemticas son constantes
lgicas, y que todas las premisas de la matemtica se hallan relacionadas con
ellas, da, creo, la formulacin precisa de lo que los filsofos queran al
asegurar que la matemtica es a priori. El hecho es que, una vez que ha sido
aceptado el aparato lgico, se deduce necesariamente toda la matemtica 4.
El proyecto logicista lo explican Putnam y Benacerraf en su Philosophy of
Mathematics as:
El logicismo (Frege-Russell-Whitehead) surge en referencia a otro
problema: la naturaleza de la verdad matemtica. Los logicistas esperaban
mostrar, contra Kant, que las matemticas no tienen un objeto, que trata slo
con relaciones entre conceptos, y que estas relaciones eran analticas 5.
Para Frege, en efecto, la reduccin lgica es sinnimo de analiticidad 6. Para
Russell la reduccin logicista libraba las matemticas de una intuicin subjetiva. Sin
embargo, por lo menos en una primera etapa de su evolucin filosfica, la lgica era
referida al mundo. Carnap, en su artculo de 1931 The logicist foundations of
mathematics precisa el proyecto, reducindolo a dos aspectos:
57
La derivacin logicista
El proyecto logicista no implica que cada smbolo matemtico debe tener un
equivalente lgico, se trata ms bien de una traduccin de unos enunciados en otros 10.
Eso s en todo momento se supone que las proposiciones son sustituidas sin alteracin
del valor de verdad; como dice Ayer: el sistema es extensional 11.
El proyecto de Russell (al igual que en Frege) no es realizado sin intermediarios: la
teora de conjuntos eSt en el camino, y no est claro que sta sea lgica. En este
sentido tampoco est claro que esta reduccin logicista sea sinnimo de demostracin
del carcter analtico de la matemtica. De hecho, hay ms problemas involucrados, que
luego analizaremos 12.
El proyecto logicista se desarrolla en detalle en Principia Mathematica. La nocin
ms elemental usada aqu es la de proposicin 13. Las oraciones que contienen variables
y que al sustituirse por constantes dan proposiciones, se llaman funciones
proposicionales. Toda proposicin debe tener un valor de verdad.
Las proposiciones primitivas usadas son:
i) : pvp.).p
ii) : q.). pvp
iii) : pvq.). qvp
iv) : pv (qvr).)qv(pvr)
v) : .q)r.):pvq.)pvr
58
Russell y Frege
Russell en su Introduccin a la Filosofa Matemtica nos describe la esencia del
proceso de su derivacin logicista. Parte, en primer lugar, de la reduccin axiomtica de
Peano, quien ha partido de las nociones bsicas de cero, sucesor, y nmero. Critica la
axiomatizacin de ste en trminos similares a los de Frege 16. La axiomatizacin de
Peano permite que toda progresin sea definida por ella. Russell estima que slo su
teora supera los problemas 17. Para Russell Un nmero es algo que caracteriza
conjuntos, a saber, a los que tienen ese nmero 18. Es decir, se trata de una propiedad.
Contar para l:
...consiste en establecer la correlacin de uno a uno entre el conjunto
de los objetos a contar, y el de los nmeros naturales (excluyendo al cero) que
se usan en el proceso 19.
Y adems:
La nocin de coordinacin est lgicamente implicada en la operacin
de contar, y es lgicamente ms simple aunque sea menos familiar 20.
La conexin terica con Frege es transparente, pero Russell no asimila su nocin de
nmero a la de Frege: El nmero de una clase es la clase de todas las clases que le son
coordinables 21. Por qu prefiere esta aproximacin? Russell lo seala en el mismo
libro:
A expensas de una pequea singularidad, esta definicin proporciona
algo determinado e indubitable; y no es difcil demostrar que los nmeros as
definidos gozan de todas las propiedades que esperamos que tengan 22.
59
60
LA TEORA DE TIPOS
del crculo vicioso, esto es: ninguna totalidad puede contener miembros
definidos en trminos de s misma. Dicho principio, formulado en nuestro
lenguaje tcnico, se convertira en: aquello que contenga una variable
aparente no debe constituir un posible valor de dicha variable. Por
consiguiente, cuanto contenga una variable aparente habr de ser de
diferente tipo que los posibles valores de esta ltima; diremos que es de un
tipo superior. As pues lo que determina el tipo de una expresin son las
variables aparentes contenidas en ste 31.
La aproximacin de Russell parta de una idea que primero expres J. Richard y
despus fue desarrollada por Poincar 32. El mismo ao 1908 Zermelo y Brouwer
trataron de dar cuenta de las paradojas a travs de dos orientaciones totalmente
diferentes 33.
En The logicist foundations of mathematics Carnap nos resume tcnicamente la
teora de tipos:
...la teora de tipos consiste en la siguiente clasificacin de expresiones
en diferentes tipos: al tipo 0 pertenecen los nombres de los objetos
(individuos) del dominio de discurso (e.g.a.b,...). Al tipo 1 pertenecen las
propiedades de estos objetos (e.g.f(a), g(a),...). Al tipo 2 pertenecen las
propiedades de estas propiedades (e.g. F(f), E(f),...) (...). Al tipo 3 pertenecen
las propiedades de propiedades, y as sucesivamente. La regla bsica de la
teora de tipos es que cada predicado pertenezca a un determinado tipo y
puede ser aplicado significativamente slo a expresiones del tipo
inmediatamente inferior 34.
El axioma de eleccin
Los problemas en relacin a axiomas no lgicos no acaban con el de reducibilidad.
En Introduccin a la Filosofa Matemtica nos enuncia otro, el axioma de multiplicacin o
eleccin:
Dada una clase de clases mutuamente exclusivas, de las cuales
ninguna es nula, existe por lo menos una clase que tiene exactamente un
elemento comn con cada una de las clases dadas 44
Acerca de su verdad o falsedad, Russell afirma que no se sabe 45. El axioma de
eleccin fue aludido por Peano en 1890, fue reconocido por Beppo-Levi en 1902 y
sugerido a Zermelo por Erhardt Schmidt en 1904 46. El uso explcito del axioma por
Zermelo en 1904 ocasion todo un revuelo en el Mathematische Annalen 47. Este axioma
incida sobre una problemtica conectada con los fundamentos de la matemtica: la
nocin de existencia en matemticas. Russell no debati mucho sobre el axioma,
simplemente lo integr en su edificio logicista.
Haba otro axioma no lgico muy importante: el de infinitud. Lo enuncia en 1918 as:
Si n es un nmero cardinal inductivo cualquiera, existe por lo menos una
clase de individuos que tiene n elementos 48.
Sin este axioma (dice Russell) es imposible obtener los resultados matemticos de
los enteros infinitos y los de los nmeros reales 49. Russell va a aceptar que es imposible
saber si el axioma es verdadero o falso.
Sin la validez de los dos ltimos axiomas mencionados la fundamentacin
matemtica resulta imposible. Por una parte, la induccin en la aritmtica no se podra
realizar (con ello no hay aritmtica), y sin el otro no hay teora de los nmeros reales.
Por otra parte, la misma teora de tipos es una ordenacin no lgica. El proyecto
russelliano no poda dar cuenta de la matemtica sin esos axiomas no lgicos. Pero si se
introducen esos axiomas ya no estamos en la fundamentacin logicista. Los axiomas no
lgicos en el logicismo equivalen al ...abandono del proyecto fregeano 50.
Esto pona en evidencia una segunda crisis en el logicismo. Con Frege el proyecto
se descalabr con la aparicin de las paradojas. Con Russell los nuevos intentos
conducen al abandono del proyecto.
64
65
La crtica de Quine
Las funciones proposicionales encerraban un problema que Quine ha sealado
repetidas veces. Para ste, el problema reside en una equivocada identificacin entre la
relacin de pertenencia y la predicacin. Nos dice:
Dos oraciones abiertas que sean verdaderas exactamente de las
mismas cosas no determinan jams dos conjuntos, pero s que pueden
determinar dos atributos diferentes 62.
Russell (segn Quine) confundi la nocin de funcin proposicional: ... la us unas
veces para referirse a predicados y otras para referirse a atributos 63. Quine hace una
advertencia en el tratamiento de la predicacin relacionada con la teora de conjuntos, y
critica la ocultacin de las hiptesis de existencia en la misma 64. La crtica es acertada.
Con la no class theory no se est resolviendo los problemas suscitados a partir de las
paradojas. Las paradojas cuestionaron el axioma V del Grundgesetze; precisamente la
conexin entre conjunto y funcin proposicional es la que sigue siendo insatisfactoria en
el tratamiento que hacen Russell y Whitehead en Principia. Ms an, el problema de las
paradojas se dirige frontalmente contra la nocin de clases; no basta una mala
66
traduccin del lenguaje para resolver lo que plantea el uso, la existencia de clases es el
problema de fondo. Y se trata de uno que se vincula a los problemas fundamentales de la
filosofa de la matemtica. Se trata de la discusin en torno a la actitud que se debe
asumir frente a las entidades matemticas; es una delicada problemtica epistemolgica
y ontolgica. Russell frente a las clases busca una solucin tcnica y adems por una
va inadecuada. Gdel tiene razn cuando seala la inconsistencia que aparece en
Principia. Para ste ltimo, sin embargo, los problemas se van a resolver de manera fcil
adoptando el platonismo. En nuestra opinin la indagacin epistemolgica no puede
contentarse con esa opcin.
Tanto en Frege como en Russell el proyecto logicista pasa por la teora de
conjuntos, como dice Quine: ...la lgica capaz de albergar esa reduccin de la
matemtica era una lgica que inclua las teoras de conjuntos 65. Esto es decisivo, por
ms que se valore la labor logicista en los fundamentos de la matemtica, por ms que
se aprecien los tecnicismos desarrollados en Grundgesetze y en Principia, la reduccin
de la matemtica a la lgica no se ha realizado. La matemtica se puede reducir a
nociones de la teora de clases. Pero no sta a la lgica. Ms an, los problemas en torno
a la prueba de completitud de la aritmtica ms bien se pueden transmitir a la teora de
clases 66. La nocin bsica de la teora de clases es la de pertenencia y es precisamente
en el uso y funcin que sta tenga que debe buscarse, por lo menos en parte, una
redefinicin. En relacin a esta situacin cabe decir que todo apunta a una reflexin ms
profunda sobre la denotacin o connotacin en la definicin de clases. Mientras que la
primera refiere a objetos particulares, la connotacin expresa una abstraccin. Cules
son los lmites vlidos de esta abstraccin en matemticas? La reflexin debe conectar
esto con los criterios generales epistemolgicos sobre la matemtica. Las definiciones
por comprensin no son necesariamente las ms adecuadas; su funcin debe ser
precisamente determinada, y debe de establecerse un dominio (llammoslo de
contingencia) cuando se usen. La definicin de este dominio no es un problema
sintctico o funcional en el discurso. Debe ser establecido a la luz del esclarecimiento
terico sobre la naturaleza de las matemticas.
67
69
El continuo
El Anlisis Real es una de las formas precisas matemticas a travs de la cual se
da cuenta de lo que aprehendemos como la continuidad del objeto exterior. El continuo
es un concepto para referirnos a una realidad material particular, pero no es en s. La
continuidad de puntos fsicos no existe. El vaco -lo discontinuo- todo lo invade, siempre
est presente. Es la eterna relacin dialctica entre el ser y la nada. Ahora bien, lo que
los hombres detectamos sensiblemente como continuo es relativo. Es totalmente vlido
plantearlo entonces como concepto terico, si est conectado a una interpretacin, a un
marco terico (y a una utilidad en ellos) en relacin con lo real. La definicin (como
modelo) de lo continuo en un primer momento es el tema del Anlisis. Las matemticas
de lo continuo son importantes en la relacin del sujeto humano con lo real que le es
exterior. Las conclusiones tericas dentro del modelo de lo continuo (en las matemticas)
no estn alejadas del sustrato material del que ha partido. Por eso las matemticas del
continuo pueden dar resultados prcticos. Por otra parte, lo continuo es diverso; lo que
debera conducir a varios modelos matemticos de la diferente continuidad y servir estos
en diferentes aplicaciones. En resumen, lo continuo como concepto se refiere a una
realidad que aparece en la relacin material sujeto-objeto; por lo tanto: lo continuo en s
no existe, depende del sujeto. En esta nocin existen plasmados diferentes referentes,
por lo que es necesario conceptualizar diferentes continuidades; es decir, entonces,
diferentes modelos matemticos.
70
El infinito
La introduccin de las nociones de infinito en los nmeros naturales o los reales, o
la referencia al continuo, debe corresponder a criterios epistemolgicos generales y a
requerimientos tericos funcionales. La existencia o verdad de totalidades transfinitas no
depende de reglas que aseguren consistencia formal, o de simbolizaciones que permitan
construcciones en un proceso algortmico. Tampoco se pueden negar de principio, o
inversamente usar sin criterios tericos claros. La primera actitud (la simple negacin)
impide avanzar la prctica matemtica; la segunda, que es la forma con que las aborda el
logicismo, conduce a un camino lleno de incertidumbre. De nuevo la discusin entra en la
filosofa. El platonismo est presente en el proyecto logicista de una manera muy
profunda. La misma cuantificacin se hace sobre totalidades diversas, sin vertir criterios
adecuados para la fundamentacin de su introduccin.
Es difcil saber si la no unificacin por parte de los griegos de la geometra y la
aritmtica no estaba conectada a problemas relacionados con el infinito y el contnuo; lo
que a todas luces es innegable es que esta situacin les impidi construir el modelo de
los nmeros reales, el Anlisis. Tal vez, las necesidades de la aplicacin cientfica y
tcnica griegas no reclamaban un modelo matemtico de lo continuo. De todas maneras
es probable que existieran diversas condiciones histricas, sociales y culturales, aparte
del prejuicio frente al infinito o a lo desconocido, en la determinacin de su aproximacin.
El Anlisis Real ha sido un salto progresivo en las ciencias y las matemticas y su xito
ha sido medido ya en su conexin con el dominio de la naturaleza por los hombres. Sera
necesario discutir si esto constituye ya criterio suficiente para su aceptacin,
independientemente de otros de consistencia, constructibilidad, utilidad, en un sistema
formal.
En lo que se refiere al logicismo, la aceptacin sin ms de totalidades y diversas
entidades matemticas es una seria debilidad epistemolgica, que no se puede remediar
con la actitud contraria, ni tampoco a travs de una inexacta transmutacin de lenguaje.
Putnam y Benacerraf
La crtica al platonismo logicista ha sido muy incisiva. Los editores de esta magnfica
antologa Philosophy of Mathematics sealan dificultades a la visin platnica incluso en
la introduccin misma de la nocin de conjunto:
El lector tal vez se preguntar: qu hay de malo con nuestra explicacin
precedente conjunto arbitrario significa cualquier conjunto, ya sea dado por
una regla o por el azar. La dificultad es que la nocin de azar no tiene sentido
en matemtica pura, excepto como una manera de hablar. Supongamos, como
sea, que tomamos esta explicacin literalmente: debemos, por ejemplo,
definir una sucesin arbitraria de enteros como una sucesin que pueda ser
generada por un mecanismo del azar. Una dificultad es entonces la palabra
71
pueda. Pueda slo puede significar una posibilidad matemtica aqu, puesto
que no queremos que las leyes fsicas tengan efecto sobre la verdad
matemtica. Pero posibilidad matemtica es ella misma una nocin disputada
en donde estn concernidas las estructuras infinitas 73.
Pero, aaden:
Y una ulterior dificultad es que, de acuerdo a las matemticas clsicas,
hay otros conjuntos infinitos, por ejemplo el conjunto de todos los conjuntos de
conjuntos de nmeros reales, los cuales son tan grandes que no pueden ser
puestos en una correspondencia uno a uno con el conjunto de todos los
enteros o incluso con el conjunto de todos los nmeros reales: tales conjuntos
no pueden ser idnticos al Out put de ningn proceso fsico posible, inclusive
si nosotros tomsemos la nocin de un proceso fsico posible (de hecho
infinito) como una nocin ella misma clara 74.
Su opinin es que en el mundo fsico no se puede encontrar un modelo standard
para la teora de conjuntos 75. En mi opinin esta afirmacin ltima no es adecuada
porque no deja claro lo que realmente se persigue con las matemticas. En esencia, no
se trata de dar modelos de lo que existe en s, sino modelos que puedan jugar un papel
adecuado y til en la relacin hombres realidad. Es la misma metodologa con la que
abord la introduccin de los infinitos y las nociones de lo continuo la que debe
prevalecer tambin aqu. Pero adems hay oraciones (como la hiptesis del continuo)
que no son susceptibles de un procedimiento de verificacin o refutacin: esto slo puede
generar dudas sobre la nocin de clase 76.
Lo que est claro y se pone de manifiesto en las observaciones de Putnam y
Benacerraf es que en el logicismo no encontramos una clara justificacin de las nociones
fundamentales involucradas en su proyecto y, tambin, est claro que esto debe
obedecer no slo a una actitud liberal con ellas sino a una actitud filosfica particular.
Detrs de una aproximacin en unas partes del proyecto y otra diferente en otras, la
filosofa est presente. Esto hace muy importante el anlisis meticuloso de las premisas
filosficas que se encuentran en la obra de Frege como de Russell. En este caso hemos
hecho girar la discusin en torno al platonismo, cuyo defecto ms importante tal vez sea
precisamente la utilizacin de nociones y entidades sin una adecuada justificacin terica
y epistemolgica, aparte del apuntalamiento simple de su existencia. Pero hay, como
veremos, ms problemas en el logicismo.
72
73
ALGUNAS CONCLUSIONES
De Frege a Russell
El problema de las paradojas fue el motor de la aproximacin russelliana, as como
haba sido la fuente del agotamiento de la de Frege. Pero lo que en Frege no era
evidente en Russell s lo es: el fracaso del logicismo. No en trminos tcnicos, formales,
lgico-matemticos, sino en trminos filosficos. La segunda etapa del logicismo pone de
manifiesto los problemas tericos de una reduccin artificial y abstracta de la matemtica.
Pone de manifiesto que la relacin entre matemtica y lgica no era tan estrecha como
se supona; que se trataba de dos cuerpos tericos distintos, aunque con interseccin no
vaca. Pero, sobre todo, evidencia que la bsqueda del fundamento de las matemticas
no puede encontrarse en la lgica.
75
La vieja hiptesis que haca de la lgica ese lugar tan cercano al cielo para ser
susceptible de validar los conocimientos que le fuesen acercados, ya no sirve con la
matemtica. Algn da tambin desaparecer aquella premisa que establece esa
cercana de la lgica. Para Frege como para Russell la lgica estaba colocada en un
lugar muy especial.
Para Frege la aritmtica tambin era el mundo donde las verdades son absolutas,
timeless. Digo que es solamente un fracaso filosfico porque, con todo y axiomas no
lgicos, con todo y las dificultades que los sistemas del Grundgesetze o Principia
manifiestan, no se deja de alcanzar una coherencia (en la medida de lo tericamente
posible), rigor, y fundamentacin de las principales partes de la matemtica. Pero el
principio logicista se hace pedazos en esta segunda etapa.
La induccin
La teora de tipos y los axiomas de existencia del logicismo dejan una sensacin de
artificialidad, que no corresponde ni con el proyecto logicista ni con la naturaleza de las
matemticas. Toda esta artificialidad que exige la reduccin logicista encuentra un punto
de acumulacin en la aritmtica. Un principio fundamental de sta es la induccin; ste
76
apunta a aquello que define la esencia de la aritmtica. No es extrao entonces que para
integrar ste en el sistema logicista se requiera introducir axiomas que no tienen nada
que ver con la lgica.
La reduccin de un cuerpo terico a otro (entre los cuales su objeto epistemolgico
no es el mismo) slo puede hacerse a partir de una abstraccin que involucra nociones y
principios diferentes. Toda abstraccin arrastra consigo una secuela de implicaciones. La
extensin de esta secuela depender del tipo de abstraccin. Cuando se trata de
reducciones entre complejos tericos depender del distanciamiento teortico entre ellos
que, a su vez, est conectado a la diferenciacin entre sus objetos epistmicos.
Logicismo y racionalismo
La visin logicista de la naturaleza de las matemticas apuntala los aspectos
formales y deductivos, axiomticos, de las matemticas. Parte de una clara distincin
entre el conocimiento a priori y el a posteriori. La matemtica no est conectada a la
realidad de una manera directa. En Russell el camino de su evolucin conduce a hacer
de las proposiciones matemticas parte del lenguaje, y, en ese sentido, convenciones
introducidas por los hombres. Para ste la matemtica va a terminar siendo verbal. Esta
aproximacin que enfatiza lo sintctico no es, sin embargo, uniforme en la conciencia de
Russell toda su vida. De hecho, durante bastantes aos mantiene Russell que la lgica
se refiere a las cosas del mundo.
77
La lgica entonces es formal por esta reduccin a constantes lgicas; ahora bien,
como esto no es suficiente debe recurrirse a nombrar una caracterstica propia exclusiva
a sta. Russell dir:
Todas las proposiciones de la lgica tienen una caracterstica que
habitualmente se expresaba diciendo que eran analticas, o que sus
contradictorias eran contradictorias en s mismas. No obstante, esta afirmacin
no es satisfactoria. La ley de contradiccin no es ms que una de las
proposiciones lgicas; no tiene preeminencia especial y la prueba de que la
contradictoria de una proposicin es contradictoria en s misma equivale a
exigir otros principios de deduccin adems del principio de contradiccin. Sin
embargo, la caracterstica de las proposiciones lgicas que tratamos de
encontrar es la que fue considerada y se intent definir por los que dijeron que
ella consista en su deducibilidad del principio de contradiccin. Esta
caracterstica, que por el momento podemos calificar de tautologa, no
proviene, evidentemente, de la afirmacin de que el nmero de individuos del
universo es n, cualquiera que sea el nmero n 88.
Esta caracterstica que define a la lgica se nombra, pero no est claro aqu qu es
exactamente, qu es lo que hace que proposiciones expresadas de manera lgica no
sean proposiciones lgicas? Para Russell el terreno de la definicin de la matemtica
est en la nocin clsica de analiticidad 89 (tal vez un poco reformulada). En 1918
confiesa que no ha encontrado una definicin que me satisfaga completamente 90. El
marco en el que se mueve Russell aqu tiende a llevarlo a las definiciones lingusticas
de la lgica y la matemtica; el sentido de la introduccin de lo analtico eso parece
indicar. Pero Russell, an en esta fecha, no haba dejado de considerar la lgica como
supuestos a priori a propsito del mundo de las cosas. Gdel cita la Introduccin a la
Filosofa Matemtica de Russell, en un frase que fue suprimida en ediciones posteriores:
La lgica trata del mundo real, lo mismo que la zoologa, aunque de sus
rasgos ms abstractos y generales 91.
Gdel no deja de comentar, sin embargo, que:
Es verdad, sin embargo, que esta actitud ha ido disminuyendo
gradualmente con el paso del tiempo y tambin que siempre fue ms fuerte en
la teora que en la prctica. Cuando se enfrentaba con un problema concreto,
los objetos a analizar (por ejemplo, las clases o las proposiciones) se
convertan pronto y en su mayor parte en ficciones lgicas. Aunque quiz
esto no signifique necesariamente (de acuerdo con el sentido en que Russell
utilizaba este trmino) que estas cosas no existan, sino nicamente que no
tenemos una percepcin directa de ellas 92.
78
Apuntalamiento de un paradigma
El logicismo de Russell apuntala el paradigma formalizante pero (al igual que
Frege) a medias. En Frege predomina siempre el reconocimiento de un mundo ideal, lo
que determina un fuerte platonismo en su filosofa de las matemticas. En Russell el
mundo ideal tambin es reconocido en un principio pero a la par de un fuerte sentido de
la realidad, as como una inclinacin nominalista en la resolucin de los problemas
tericos especficos.
Con Russell termin una nueva etapa en los intentos por brindar una
fundamentacin logicista a las matemticas. Es posible afirmar despus de los trabajos
de Frege y Russell que el Logicismo fracas. Pero no slo debido a dificultades tcnicas
o de manipulacin lgica, ni siquiera por un supuesto tratamiento inadecuado de los
sistemas formales usados. La raz de los problemas se encuentra en la visin logicista del
conocimiento matemtico, en la conexin que se plantea de este y la realidad material, en
los papeles epistemolgicos asignados al sujeto y al objeto en la construccin
matemtica. La raz de los problemas se encuentra en el terreno filosfico.
El logicismo va a fracasar en dotar a las matemticas de un fundamento ltimo. Sin
embargo, con ello no se destruira el paradigma racionalista-axiomatizante de las
matemticas. Para Hilbert y el formalismo los problemas del logicismo podan ser
superados en una visin que afirmaba la posibilidad de la demostracin de la
consistencia en la aritmtica, y que haca de la intuicin del signo su punto filosfico de
partida. El fracaso del logicismo no fue visto antes de la dcada de los treinta realmente
como un cuestionamiento profundo a los sistemas axiomatico-formales y al racionalismo.
Seran necesarios los resultados de Gdel para apenas crear condiciones tericas que
79
CAPTULO IV
LAS ONTOLOGAS DE GOTTLOB FREGE
INTRODUCCIN
Una de las principales premisas que he sostenido en este libro es que las ideas
ontolgicas y epistemolgicas ms generales fueron factores centrales en la
determinacin del proyecto logicista en Frege y Russell. En ese sentido, resulta altamente
rentable para la comprensin intelectual del logicismo pasar revista a las principales ideas
ontolgicas y epistemolgicas de Frege y Russell, particularmente sobre la naturaleza de
las matemticas.
En este captulo, as como en los dos siguientes, vamos a incidir en la evolucin
ontolgica de Frege y Russell, as como sobre algunos de sus concatenaciones
epistemolgicas aunque siempre en relacin con las matemticas y su naturaleza.
En este pequeo captulo nos proponemos hacer una incursin en las ontologas
objeto-funcin y Gedanke-objeto-idea que Frege plante en diferentes momentos de su
vida intelectual. Afirmamos que el platonismo resulta el mejor marco terico para
aprehender las ideas ontolgicas de Frege. Al mismo tiempo sugerimos una crtica
epistemolgica de las categoras empleadas.
En la segunda ontologa vamos a poner de manifiesto la importancia de la nocin
Gedanke en la definicin de un tercer mundo analtico, a partir del cual se edifica lo
esencial de la concepcin realista de Frege.
80
OBJETO Y FUNCIN
La distincin
En su Introduccin al libro Estudios sobre Semntica de Frege, Jess Mostern
afirma:
Objeto y funcin son las dos categoras fundamentales de la ontologa
de Frege (...) Segn Frege, todo lo que hay, todo acerca de lo que hablamos,
es objeto o funcin. Hay objetos y hay funciones. No hay nada ms. Funcin
es todo lo que no es objeto; objeto es todo lo que no es funcin 4.
Esta observacin es efectivamente importante para Frege. En su conferencia
Funcin y concepto, dada en la sesin del 9 de enero de 1891 en la Sociedad de
Medicina y Ciencias Naturales de Jena, Frege sealaba con precisin:
81
82
La nocin de concepto
Frege plantea la divisin objeto-funcin en forma general y la aplica a situaciones
concretas. Para Frege, los conceptos, que define de una manera muy precisa, son
funciones. Dice:
...un concepto es una funcin cuyo valor es siempre un valor veritativo 11.
Esta definicin de hecho excluye todo un conjunto de expresiones que podran
asimilarse a la nocin ordinaria de concepto. La definicin de Frege de concepto es
tambin bastante reduccionista y, aunque permite avanzar en la precisin de la
determinacin de la verdad o falsedad de las nociones usadas, no me parece la forma
ms adecuada para dar cuenta de la situacin a la que sta apunta. El mundo de los
objetos aprehensibles por los sentidos, las cosas, los rboles, los hombres... y sus
acciones, movimientos, etc., configuran situaciones concretas. Los conceptos, en mi
aproximacin expresan esas situaciones de una u otra manera. Me parece errneo
trasladar la nocin de funcin en matemticas al mundo general de todo lo que podemos
llamar conceptual; al igual que a partir de ella redefinir la nocin de concepto y dotarlo de
una referencia que slo puede ser lo verdadero o lo falso.
83
La influencia de la lingstica
Por ltimo, esta distincin fregeana parece corresponder ms a preocupaciones
lingsticas y lgicas que ontolgicas. Si transformamos funcin-objeto en conceptoobjeto, se manifiesta con claridad que funcin-concepto corresponde (en una versin ms
general) a una accin predicativa, al tiempo que objeto a un sujeto. Podemos entonces
sugerir que la divisin objeto-funcin es una forma abstracta y general de aproximar en el
terreno de la expresin lingustica la misma problemtica que subyace en la divisin
clsica sujeto-predicado. Una visin lingustica de la divisin obtiene una mayor utilidad
de la misma. De hecho, habra que recordar que las ideas de Frege sobre funcin y
objeto son elaboradas en el mismo perodo de su vida en que reflexiona sobre la
distincin entre sentido y referencia. Existe una gran conexin entre ambas distinciones y
estn vinculadas a reflexiones sobre la expresin y el lenguaje.
El profesor B.C. Birchall de la University of New England, en Philosophy and
phenomenological research, manifiesta el mismo criterio que ha vertido en el prrafo
anterior:
En el caso de la divisin de Frege entre objetos y conceptos, el
problema es el tradicional, disfrazado algo por las peculiaridades
terminolgicas, de la explicacin de la unidad y diferencia de las funciones de
sujeto y predicado en la proposicin 15.
El problema reside en hacer de esta distincin de funciones, entidades 16. Segn
Birchall esto es lo que Frege hace, y con ello la divisin ms que un avance fue un
retroceso 17. Para E.D. Klemke en Frege's ontology: realism de la ontologa Essays on
Frege, tambin Frege hace entidades de esas funciones 18; con lo cual se introducen las
dificultades.
2. Sentidos ordinarios
B. Funciones
1. Funciones cuyos valores son valores de verdad
a. Con un argumento (concepto)
b. Con dos argumentos (relaciones)
2. Funciones cuyos valores no son todos valores de verdad
a. Con un argumento
b. Con dos argumentos 19
De este sistema ontolgico no slo es criticable su extraeza 20, sino tambin la
sensacin de que todos estos entes que Frege ha inventado simplemente no existen,
independientemente de que sea posible demostrar o no una afirmacin en ese sentido
21. Todos estos comentarios, aadidos a mis observaciones, revelan que la distincin
ontolgica objeto-funcin no resulta la ms adecuada para dar cuenta de lo que existe.
Tiende a dar la impresin de una gran artificialidad; que, por lo dems, tal vez pueda
asimilarse mejor si detrs de ella lo que subyace es un mundo no material
independiente del sujeto epistmico.
86
Que es un gedanke?
El desarrollo de las consideraciones ontolgicas de Frege, por lo menos a partir del
tiempo en que establece esta distincin, sigue una misma orientacin general que,
posteriormente, vamos a ver cristalizada en el famoso artculo Der Gedanke, publicado
por primera vez en el Beitrage zur Philosophie des Deutschen Idealismus en 1918. En
ese artculo Frege defina Gedanke de la siguiente manera: ...yo llamo un Pensamiento
algo para el cual se plantea la cuestin de la verdad 22 y completa con una nota:
De una manera similar se ha dicho tal vez: un juicio es algo que es
verdadero o falso. De hecho, yo uso la palabra Pensamiento en
aproximadamente el sentido que juicio tiene en los escritos de los lgicos 23.
As pues:
Un pensamiento es algo inmaterial y todo aquello material y perceptible
est excluido de esta esfera para la cual se plantea la cuestin de la verdad
24.
El resultado es: los pensamientos no son ni cosas del mundo exterior ni ideas:
Un tercer campo *** debe ser reconocido. Lo que pertenece a ste corresponde
con las ideas en que no puede ser percibido por los sentidos, pero con las cosas en que
no necesita ningn portador para los contenidos de cuya conciencia pertenezca (Negrita
aadida) 29.
La divisin de Frege establece tres mundos diferentes. El desarrollo de su
argumentacin para justificarlos, as como la divisin misma, vara dependiendo del
mundo en cuestin. Cuando se refiere a las ideas establece su carcter individual; una
idea posee un portador nico. Por ejemplo: ...es imposible comparar mi impresin
sensorial con la de otra persona 30. Aade:
Ninguna otra persona tiene mi dolor 31.
La nocin de idea es definida aqu de una manera muy particular. Las ideas son
asimiladas a cuadros-pinturas mentales subjetivos y por lo tanto, ligados al individuo que
los tiene.
Frege, por la misma definicin, establece un contenido tremendamente subjetivo e
individual para esta nocin; Frege no se detiene a considerar que en el mundo de las
ideas, sensaciones, representaciones, emociones, etc., existe un sustrato objetivo
capaz de ser aprehendido por la conciencia. Frege establece una separacin tajante,
rgida, entre pensamiento e idea. Si bien esto es comprensible en tanto busca dar un
fundamento que permita determinar un contenido veritativo de las nociones
cognoscitivas, no es suficiente para describir la situacin a la que se refiere. Las
representaciones subjetivo-individuales poseen cierta objetividad, aunque no en el mismo
sentido que se le puede atribuir a lo que se refiere Frege con la palabra pensamiento.
Lo que sealo es cierto, claro est, siempre que se adopte como punto de partida una
visin que no haga de pensamientos realidades separadas de un proceso gnoseolgico
continuo de aproximacin a la realidad.
En Frege la distincin radical es coherente con la existencia independiente de estos
pensamientos. Para Frege los hombres que aprehenden un pensamiento lo hacen
diferentemente pero conservando lo esencial del mismo, pues ste existe
separadamente de cada uno que lo aprehenda. Frege seala: ...los cambios que sufre
(un pensamiento, A.R.) solamente envuelve propiedades no esenciales 32.
Los pensamientos existentes en este mundo fregeano son el objetivo de la ciencia,
la cual no los crea sino que los descubre reconociendo su verdad 33. La verdad de un
pensamiento no es en Frege un proceso de continua aproximacin de la conciencia
humana a lo real, proceso transformante en saltos cuantitativos y cualitativos, no est
inscrita como una realidad en flujo constante sumergida en la totalidad de la prctica
social de los hombres. Para Frege: ...la verdad de un pensamiento es eterna 34.
88
Con esta aproximacin es muy difcil comprender la dialctica del descubrir y crear
en el conocimiento. Afirmando meramente que la ciencia descubre verdaderos
pensamientos y no los crea, seala un aspecto importante epistemolgicamente: la
ciencia se refiere -aproxima- a un objeto independiente de la conciencia particular de los
hombres. Es correcto sealar que la posibilidad del conocimiento parte de ello. Sin
embargo, plantear la problemtica envuelta como un descubrir los pensamientos
significa afirmar la existencia de lo que en realidad son productos de la conciencia, los
pensamientos separados espacio-temporalmente de la conciencia.
Una disgresin
Es necesario una reflexin. La realidad natural, su devenir y su relacin con los
hombres, trata de ser aprehendida por la conciencia humana, con sus medios, sus
instrumentos. Las ciencias intervienen aqu como formas de la aprehensin de lo real por
la va del pensamiento. Ahora bien, los hombres construyen sus formas tericas para
realizar este proceso; stas no son estticas y con el decurso de la historia son
mejoradas y sustituidas por otras. Lo que los hombres descubren son leyes, reglas del
devenir de lo real, pero en una forma aproximada.
Las formas tericas, pensamientos, conceptos...no se descubren, se construyen
para expresar lo real. Los hombres descubren hechos y manifestaciones de procesos que
tratan de dilucidar con la explicacin y la experimentacin. Cuando se parte de la
existencia en s de un tercer mundo de pensamientos objetivos, reales aunque no
materiales, la divisin ideas-objetos-pensamientos adquiere sentido. El problema
terico se plantea cuando se parte de una visin epistemolgica como la que, en cierta
medida, he expresado.
Las representaciones subjetivas e individuales, que Frege refiere con su nocin de
idea, como producto de sensaciones, sentimientos, etc., pueden ser aprehendidas por
la razn en cierta forma. La medida precisa, as como los criterios a usar, dependern de
la situacin concreta. A lo que yo apunto aqu es a mostrar una vez ms la rigidez de la
divisin hecha por Frege, cuya justificacin aparece como posible dentro del marco de un
realismo ontolgico. La divisin observa una diferenciacin autntica, seala
propiedades verdaderas de ciertas partes de los productos de la conciencia histrica y
social de los hombres, pero es insuficiente.
Una comprensin global de este aspecto de la observacin de Frege exigira
apartarse de la rigidez excesiva que ste tiene, de su mundo en s de pensamientos, y
exigira se construya sobre una base metodolgica y epistemolgica que integre
tericamente todos los elementos de lo real, especialmente unificando el conocimiento y
la prctica transformadora de los hombres en una sola totalidad. El punto de partida de
Frege est en consideraciones epistemolgicas y ontolgicas diferentes.
89
91
CAPTULO V
EPISTEMOLOGA Y ONTOLOGA EN LA FILOSOFA DE LAS
MATEMTICAS DE FREGE
INTRODUCCIN
Vamos a realizar un anlisis acerca del significado de la epistemologa y la
ontologa en la reflexin de Frege sobre la naturaleza de las Matemticas. Para ello
introducimos aproximaciones tericas sobre Frege que enfatizan el papel de la
epistemologa, para intentar debilitar la interpretacin usual de ste como realista. En
este captulo se establece como esencial la premisa de la necesidad de estudiar la
filosofa de la matemtica de Frege sin anular la epistemologa o la ontologa en su
determinacin.
Las aproximaciones particulares de Hans Sluga, Gregory Currie y de Philip Kitcher
sirven aqu como puente terico para introducir las posiciones y consideraciones del
autor. En particular, introducimos una discusin en torno a la validez de la consideracin
de Frege como kantiano. Finalmente afirmamos como raz terica del pensamiento
fregeano su vinculacin con el racionalismo.
92
Sin duda la filosofa del Gedanke expresa el nudo terico central de la aproximacin
de Gottlob Frege en la comprensin de las matemticas. La nocin de Gedanke es la
base de ese tercer mundo no fsico pero real que sirvi para definir su filosofa, y como
punto central para caracterizar a Frege como platonista.
Ahora bien, las consideraciones ontolgicas de Frege no estn separadas de otras
de orden epistemolgico. Cul es el peso de la epistemologa en la resultante vectorial
del pensamiento de Frege, slo puede comprenderse en el anlisis concreto histrico de
su evolucin intelectual. No es el mismo en la Conceptografa que en Der Gedanke
(publicado por primera vez en el Beitrge zur Philosophie des Deutschen Idealismus en
1918).
Las asunciones de Frege en torno a los pensamientos (es decir, su aprehensin
como caracterstico del conocimiento) y, de hecho, el reconocimiento de la importancia de
la indagacin epistemolgica, est presente en la tarea de la construccin de un lenguaje
ideal 1.
Gedanke y epistemologa
La discusin sobre los pensamientos pone de manifiesto la relacin ntima entre
ontologa y epistemologa en Frege. En el marco mismo de la interpretacin clsica de
Frege como realista, la incidencia sobre determinantes epistemolgicas es imposible de
evitar. La discusin se puede centrar a partir del nfasis que se le brinde a los trminos
de la pareja ontologa-epistemologa.
Para Eldridge, Frege es realista, pero de una manera muy precisa:
Como los tradicionales epistemlogos racionalistas y realistas, Frege se
preocupa por negar que nuestro conocimiento y lenguaje son
fundamentalmente artificiales o convencionales; ms bien, algo en el orden de
las cosas nos hace comprender y usar el lenguaje como lo hacemos y nos
permite conocer algunas cosas como son. Pero, para Frege (...) las cosas que
nos permiten entender y usar el lenguaje como lo hacemos no son ideas
innatas implantadas puestas en nosotros por Dios, sino pensamientos
aprehensibles a travs de la construccin y empleo de un lenguaje ideal.
Parece que, de acuerdo con Frege, si nosotros solamente pudisemos hablar
un lenguaje del ser cuasi-platnico, entonces porciones considerables de
nuestro mundo y en particular la naturaleza del conocimiento, se volveran
puramente inteligibles para nosotros 4.
Aqu Frege es visto en el terreno de la epistemologa realista, la diferencia estriba
en la nocin Gedanke y los mecanismos para aprehender los pensamientos. Frege
escapa del esquema epistemolgico cartesiano por la va de subordinar la investigacin
epistemolgica al anlisis del significado 5. El conocimiento (para Frege) no depende de
tener ideas (Descartes),sino de la validez del razonamiento. La aprehensin de
pensamientos es la respuesta que Frege exhibe.
94
Para Frege el tener ideas es subjetivo, lo objetivo son los pensamientos (es
evidente que la respuesta a la visin cartesiana sin embargo no alude a la nocin de
idea que participa en su ontologa). Aunque Frege no se refiri todo el tiempo en su
obra a los problemas epistemolgicos explcitamente, las motivaciones epistemolgicas
en toda ella son centrales.
La introduccin de Frege en el mundo de los fundamentos de la matemtica no fue
una continuacin lineal de los trabajos de rigorizacin emprendidos en el siglo XIX. Se
concentr en estos temas como parte de una visin que buscaba la fundamentacin de la
matemtica, a travs de lo que crea est conectado a la verdad absoluta, la lgica. Su
proyecto de validacin de la matemtica era un proyecto epistemolgico, y es el que
recorri toda su obra.
En ese sentido, en la pareja epistemologa-ontologa es el primer trmino el que
debe enfatizarse en la evolucin de los trabajos de Frege. Este sentido epistemolgico
nos permite comprender el sentido de lo que E. Currie dice al comentar que: son los
argumentos de Frege por la objetividad de los pensamientos los que son importantes y
duraderos, no sus argumentos por su realidad 6. Objetividad, como veremos, no es
asimilable con realidad; est ms conectado con la certeza y la validez. Sobre la nocin
de objetividad hay toda una discusin que abordaremos en las siguientes pginas.
Frege hace descansar la validez de la aritmtica en las reglas de la lgica, en la
derivacin lgica; pero cuando se pregunta por la justificacin de la verdad de estas
ltimas no es claro. Lo nico que hace es dar un mtodo de validacin. En el
Grundlangen la validacin ltima lgica reside en la Razn en s, en las leyes ms
generales de sta.
La reduccin de la ontologa
La palanca argumentativa de Sluga es la de hacer desaparecer prcticamente la
ontologa en Frege y dotar a todas las consideraciones fregeanas, adecuadamente, de un
carcter epistemolgico. Su lnea de argumentacin, como seala G. Currie, est
referida al sentido general de la filosofa de Frege 20.
Ahora bien, es una actitud metodolgica tremendamente difcil de sostener en el
anlisis de la filosofa de Frege. Es un poco grueso afirmar que los pensamientos en
Der Gedanke de 1918 jueguen un papel similar al de las categoras kantianas del
entendimiento. Es tambin muy difcil sostener que, independientemente de lo que haya
dicho Lotze, cuando Frege hablaba de nmero uno como un nombre lgicamente
propio, pensara que no haba un objeto propio para l 21. Por otra parte, tampoco es
concluyente que Frege haya credo en el carcter intuitivo de la geometra, al igual que
Kant.
La filosofa de Frege no es un cuerpo terico axiomtico, homogneo y coherente
en todas sus partes; es ms bien, una resultante de premisas, mtodos y actitudes
tericas. En algunas partes encontramos la influencia de Kant, en otras no. La parte
central de los trabajos de Frege reside precisamente en desterrar la intuicin kantiana
de la aritmtica y demostrar la analiticidad de la misma.
97
EPISTEMOLOGA Y ONTOLOGA
Podemos coincidir en este sentido con los especialistas que, en un grado mayor o
menor, afirman el arranque epistemolgico de Frege; podemos coincidir tambin, en
particular con Currie, en su consideracin del objetivismo de Frege con una teora
epistemolgica sobre el tipo de conocimiento que podemos tener y que no puede ser
explicado por el contenido subjetivo de la mente 22. Tambin pareciera lo ms razonable
suponer que entre el Grundlagen y el Grundgesetze haya habido variaciones en la
ontologa de Frege.
les adscribe Wirklichkeit (actualidad) 29. En Frege (segn ste) no existe un platonismo
epistemolgico si por ello se entiende lo que dice Michael Resnick (es decir, una
identificacin de la relacin del sujeto con los objetos fsicos y la existente con los
nmeros).
En realidad, es necesario aclarar esto mejor. En mi opinin, los objetos fsicos son
aprehendidos a travs de la experiencia, aunque se introducen en su conocimiento los
pensamientos; esto ltimo tambin sucede con los nmeros. En esto s habra
coincidencia. Sin embargo, la forma precisa de llegar a unos y a otros es diferente.
El sujeto se relaciona con los objetos fsicos de manera directa, en cambio con las
entidades matemticas el sentido de directo, que aparece antes aportado por la
percepcin, no est presente. Esto es apenas natural; de alguna forma el sentido de la
realidad de lo material se introduce en la visin realista.
Independientemente de que se admita la hiptesis particular de Currie en torno a la
forma como se gest el realismo en Frege, es indiscutible que se detecta un cierto
cambio filosfico entre los Grundlagen y los Grundgesetze y, ms an, entre el primero y
Der Gedanke. La conexin de nmeros y recorridos se entiende mejor con una
interpretacin no slo epistemolgica, sino ontolgica, en concreto realista. De igual
forma sucede con la descripcin del tercer mundo de pensamientos que aparece en
1918.
Si bien en el Grundlagen y en toda esta etapa del pensamiento de Frege las
motivaciones descansan especialmente en el dominio epistemolgico, yo considero
inadecuada una visin que no haga intervenir el vnculo ontolgico. En la pareja
epistemologa-ontologa no se puede prescindir de uno de los trminos.
Ontologa y objetividad
En Frege la nocin de objetividad del Grundlagen no puede ser asimilada a un
criterio de validez, independiente de consideraciones ontolgicas (esto es as aunque la
epistemologa constituya una base esencial de su trabajo). Tampoco basta buscar una
conexin con Lotze para justificar una aproximacin interpretativa sobre Frege.
En el Grundlagen dice Frege:
Yo distingo lo objetivo de lo tangible, de lo espacial, de lo real. El eje de la
Tierra, el centro de masa del sistema solar son objetivos, pero no los llamara
reales a la manera en que lo es la Tierra misma. Frecuentemente se dice que el
ecuador es una lnea imaginaria; pero resultara falso llamarla una lnea ficticia;
no surge del pensamiento, no es el resultado de un proceso anmico, sino que
slo es reconocida o aprehendida por medio del pensamiento. Si el ser
reconocido fuera un ser creado, no podramos predicar nada positivo de ella en
relacin a un tiempo anterior a su pretendida creacin 30.
100
Lo objetivo para Frege, distinto de lo real, debe entenderse entonces en una forma
muy precisa: no a la manera que lo es la Tierra misma. Es decir, real es asimilable a lo
material, lo sensible, lo espacial, de una forma directa. Lo real es una nocin que aparece
en Frege muy fsica, como dijo Russell del objeto fregeano en los Principios. Esta
nocin no parece que se refiera exclusivamente a condiciones de validez, lo objetivo aqu
apunta a una categora de cosas que no son creadas, sino que existen en s, son
entonces descubiertas. Para Frege la rgida separacin entre pensamientos, ideas y
objetos, se realiza para apuntalar las condiciones de los primeros.
La objetividad no es mera apelacin a una consistencia lgica, es si se quiere un
reclamo ontolgico de verdad. Veamos como Frege usa la nocin de objetividad en el
Grundlagen:
Cuando a la nieve se le llama blanca, se quiere expresar una propiedad
objetiva que a la luz habitual del da se reconoce en una cierta sensacin (...).
De esta suerte, las palabras para los colores no sealan con frecuencia
nuestras sensaciones subjetivas, de las que no podemos saber si concuerdan
con las de otros pues patentemente esto de ninguna manera garantiza la
misma denominacin, sino que sealan una propiedad objetiva. As por
objetividad entiendo una independencia de nuestro tener sensaciones, de
nuestro intuir e imaginar, del construir imgenes internas a partir de los
recuerdos de sensaciones anteriores; pero no una independencia de la razn,
ya que responder a la pregunta de qu cosa es independiente de la razn,
sera como juzgar sin juzgar, como lavar una pelliza sin tener que mojarla 31.
Cuando Frege se refiere aqu a una no independencia de la razn, no parece que
esto lo entienda como que la razn crea, lleva integrada en s misma las propiedades
objetivas: ms bien, se refiere a la capacidad de la razn para aprehenderlas. En el
Grundlagen, el sustrato que aparece mejor sancionado en el tercer mundo de Der
Gedanke no est planteado ni formulado de idntica manera, pero existe bastante
continuidad en las consideraciones de Frege sobre el problema. Encontramos desde un
principio una actitud platonista que introduce entidades abstractas, separadas de un
proceso de construccin psico-social, aunque aprehensibles por la razn a travs de
mecanismos que se van precisando con la evolucin de su pensamiento. Esta actitud es
el factor determinante en la resultante de su filosofa, es un marco de condiciones bsicas
en la concepcin y desarrollo de los proyectos de fundamentacin matemtica. Ahora
bien, su teora del conocimiento no puede estudiarse como una consecuencia mecnica
de esa descripcin, la ontologa no contiene toda la filosofa, evidentemente. La
aproximacin epistemolgica de Frege, que tambin vara histricamente, es una palanca
motriz en la determinacin de su filosofa.
101
FREGE Y KANT
la nocin de prueba que usa Frege no est en contradiccin con la que maneja Kant; en
donde la prueba escrita es una expresin literal de un proceso mental que produce
conocimiento 41.
104
105
106
CAPTULO VI
EVOLUCIN DE LA FILOSOFA DE LAS MATEMTICAS DE BERTRAND
RUSSELL
INTRODUCCIN
El punto de partida de Bertrand Russell para apuntalar el Logicismo debe buscarse
al igual que con Frege en la Filosofa: en la Ontologa, pero tambin especialmente en la
Epistemologa. En su Evolucin de mi pensamiento filosfico, las primeras frases con las
que inicia este libro de 1959 enfatizaban esa preocupacin constante por descubrir
cunto puede decirse que conocemos y con qu grado de certeza o de duda 1. Esta
necesidad de encontrar algo seguro lo condujo a hacer de la Lgica y las Matemticas
esa fuente reconfortadora. Frente al escepticismo el edificio de la Matemtica apareca
inmovible e inexpugnable ante todas las armas de la duda cnica 2. Aunque en
Matemtica (segn l) no sabemos nunca de lo que estamos hablando ni si lo que
decimos es cierto 3, se ha llegado en la modernidad a saber realmente cul es su
naturaleza 4. Este gran triunfo, que, sin embargo, las siguientes dcadas oscureceran,
era la bandera a levantar por Russell, a la que se aferraba con fe casi religiosa.
107
La influencia de Bradley
En 1897 Russell todava estaba profundamente influenciado por la tradicin en
suelo britnico del hegelianismo y el kantismo. En sus Foundations of Geometry Russell
admita la aproximacin kantiana sobre la geometra, slo que el a priori antes de la
experiencia espacial no era la Geometra euclidiana sino la proyectiva 5. En esta ocasin
Russell descartaba la aplicacin de las geometras no eucldeas en la experiencia;
propuesta desafortunada que la formulacin de la teora de la relatividad invalidara pocos
aos despus. Russell en esta obra aunque no escapaba de las posiciones filosficas de
Bradley introduca algunas precisiones en torno a la nocin del a priori: en particular, la
separacin de este frente a la nocin de lo subjetivo, que, como l mismo sealaba , en
Kant son casi intercambiables 6.
La aproximacin propiamente idealista no dur mucho en Russell. Cmo l mismo
ha establecido, el escepticismo relativista y el subjetivismo de Hegel y Kant no satisfacan
las necesidades de ese tronco intelectual seguro al cual requera asirse. A finales del
siglo XIX la revolucin del atomismo lgico y la lgica matemtica 7 establecieron el
terreno filosfico sobre el que caminara en adelante. En cada nuevo paso, sin embargo,
Russell siempre arrastr los anteriores, de una u otra forma.
La crtica a Kant
La ruptura con el idealismo condujo a la refutacin del subjetivismo kantiano en las
Matemticas. En los Principios de la Matemtica de 1903 sealaba:
Gracias al progreso de la lgica simblica, especialmente tal cual la trata
el profesor Peano, puede darse ahora refutacin final e irrevocable a esta parte
de la filosofa kantiana 8.
108
109
EL PLATONISMO DE RUSSELL
El Platonismo de Russell fue clsico. Los objetos ideales posean una realidad que
es aprendida por el sujeto de una forma directa. En el artculo de 1905 Sobre la
Denotacin nos deca:
En la percepcin adquirimos conocimiento directo de los objetos de
percepcin, y en el pensamiento de los objetos de carcter lgico mas
abstracto(Negrita aadida) 26
El conocimiento directo es importante en su epistemologa de entonces pues todo
pensamiento ha de partir del conocimiento directo 27. La nocin de conocimiento de
Russell aqu no era exactamente igual a la de Frege. Para Frege solamente haba
conocimiento a travs de los Gedanke. La formulacin conocimiento directo sin
categorias a priori intermedias expresaba un platonismo en Russell en el cual el a priori
kantiano ya no tiene lugar.
Platonismo y universales
El platonismo de Russell persisti durante toda la etapa previa a su encuentro con
Wittgenstein, slo que de maneras distintas. El tratamiento de los universales en 1911 no
desconoca la influencia platnica. El conocimiento de las verdades implica el
conocimiento directo de universales 28 en donde universal se identifica con la idea de
Platn 29; un universal se opone a lo particular; puede compartirse por diferentes
particulares 30. Estos universales que son necesarios no son mentales 31. Por eso se
entiende que son independientes de que sean pensados o aprendidos en algn modo
por el espritu 32. Russell aqu consideraba a los universales como entidades que no
estn en el espacio ni en el tiempo, no son materiales ni mentales, pero son algo 33. El
mundo de los universales era independiente del sujeto. Un universal, nos deca no es un
acto de pensamiento 34; una idea, en el mismo sentido que Frege argumentara en
111
Der Gedanke de 1918. En este mundo los universales no existen sino subsisten o
tienen una esencia y se contrapone al de la existencia. Ambos son reales, pero el primero
no es pasajero o impreciso sino inalterable, rgido, exacto. 35
Este mundo real que aqu define Russell es muy similar al Tercer Mundo de
Frege en Der Gedanke. Esta persistente referencia al edificio de verdades y a un mundo
de objetos inmutables, separados de los sujetos, est en el fundamento filosfico ms
profundo de la asuncin del proyecto logicista. La Matemtica es vista reducida a una
estructura piramidal de verdades perfectamente definida, todo a partir de unas cuantas
nociones a priori, todo libre del acecho de la duda cnica y escptica. Este mundo de los
universales est exento de lo fugaz, de lo vago, de la vida. No se trata de nociones que
el sujeto epistmico crea para aprehender la realidad que lo opone y de la que es a su
vez parte; por lo tanto, imposibles de separar de l, (aunque entiendo esta
inseparabilidad no en los trminos que impiden el conocimiento mismo).
La aproximacin de Russell a los universales es tambin epistemolgica; no se trata
de a partir de ese mundo inmutable reducir la realidad al nuevo mundo. Para Russell el
universal est conectado a la posibilidad del conocimiento. Para l: Todo conocimiento a
priori se refiere exclusivamente a las relaciones entre universales 36. Los nmeros son
entonces universales y entonces lo que pareca misterioso ahora ya no lo es: tenemos
en ocasiones el poder de descubrir tales relaciones entre universales y de conocer por lo
tanto proposiciones generales a priori como las de la aritmtica y la lgica 37. El
platonismo de Russell aqu est entonces conectado a la justificacin del conocimiento a
priori y de la existencia de una certeza absoluta. Esta visin es comn a las filosofas de
Frege y Russell.
113
Sigue:
.. las clases no pueden ser consideradas como especies de individuos, a
causa de la contradiccin relativa a las clases que no son elementos de s
mismas (explicada en el artculo XIII), y porque podemos probar que el nmero
de las clases es mayor que el nmero de los individuos 50
Es aqu cuando afirma el carcter intensivo de las clases frente al extensivo 51. En
este libro los nmeros que en Problemas de la Filosofa haban sido considerados
universales, son considerados ficciones lgicas. 52
La crtica de Gdel
Para Gdel, Russell en Principia no puede distinguir claramente entre concepto y
clase 55. Y por eso:
... tom el camino de considerar como inexistentes tanto las clases
como los conceptos (excepto los predicados primitivos, que carecen de inters
lgico) y de remplazarlos por nuestras propias construcciones 56
Gdel consideraba que aunque el procedimiento constructivista aporta interesantes
ideas reduce la Lgica-Matemtica excesivamente 57. Propona en su lugar un camino
ms conservador que supone la clarificacin del significado de los trminos clase y
concepto 58 y establecer una teora consistente de clases y conceptos como entidades
objetivamente existentes 59 Segn Gdel este camino es el que ha tomado la LgicaMatemtica y ha tenido xito, permitiendo la derivacin de las Matemticas
115
PLATONISMO Y NOMINALISMO
Las Matemticas para Russell en esta etapa que hemos venido sealando pasaron
de ser proposiciones conectadas al mundo (de una forma que permite descubrir cierto
empirismo) a otra etapa en la que se convierten en ficciones lgicas. La nocin de la
Matemtica en Los Problemas de la Filosofa no era la misma de la Introduccin a la
Filosofa Matemtica. El camino nominalista haba avanzado. En este ltimo las clases y
los nmeros eran ficciones lgicas, aunque se afirmaba que las proposiciones lgicas ...
son las que podemos conocer a priori, sin la investigacin del mundo real 66. Aqu se
deca que ... forman una clase totalmente diferente de la de las proposiciones que
conocemos empricamente 67, y: Todas ellas tienen la caracterstica que, hace un
instante, hemos convenido en llamar Tautologa 68. No se afirmaba que son
proposiciones cuya verdad es convencional o que slo encuentran sentido como reglas
del lenguaje. Russell estableca que:
...la definicin de lgica o de la matemtica debe ser buscada
tratando de dar una nueva definicin de la antigua nocin de las proposiciones
analticas 69.
Pero no llegaba a decir que las proposiciones analticas slo sirven para llamar: ...
la atencin sobre usos lingsticos, de los que de otro modo, podramos no ser
conscientes...; como s sealara, por ejemplo, Ayer en Lenguaje, verdad y lgica. 70
En la Introduccin de la Segunda Edicin de los Principios, Russell sealaba que ...
la lgica resulta ser mucho ms lingstica de lo que crea en la poca en que escrib los
Principios. Con lo que se acercaba ms a la posicin lingstica.
117
El logicismo no es empirista
El logicismo de Russell en la Introduccin a la Filosofa Matemtica y los ulteriores
comentarios de ste sobre la naturaleza de la Lgica y la Matemtica, no pueden
conducir a juzgar el logicismo como un proyecto empirista que, aunque falla, buscaba
demostrar el carcter tautolgico-lingstico de la Matemtica. Russell no se coloc al
asumir el Logicismo en la disyuntiva que, por ejemplo, Ayer impone supuestamente a
todo empirista sobre la Matemtica:
118
... tiene que decir que no son verdades necesarias, y en ese caso tiene
que refutar la universal conviccin de que lo son; o tiene que decir que no
poseen contenido factual alguno, y entonces tiene que explicar cmo una
proposicin carente de todo contenido factual puede ser verdadera y til y
sorprendente. 73
El logicismo de Russell (como el de Frege) no arranca de las tiendas del empirismo.
Tampoco se puede plantear como la posicin intelectual que luego sera la visin clsica
del positivismo lgico y el Crculo de Viena. Se trata ms bien de una combinacin de
actitudes de aproximacin sobre la Matemtica entre las que el misticismo pitagrico y el
platonismo son decisivos. La especial valoracin de la Lgica como auto-evidente, con la
capacidad de transmitir la fuerza de su autoevidencia a las Matemticas en pos de la
certeza absoluta, tambin es central. La confianza en un modelo reduccionista axiomtico
as como la sobreestimacin de los mtodos del clculo formal que tambin se haba
desarrollado ampliamente. El Logicismo como va de fundamentacin de las Matemticas
buscaba proporcionar un conocimiento seguro de la devastadora duda cnica. Fue la
lucha contra el escepticismo la que condujo a apuntalar lo que siempre haba aparecido
como el conocimiento ms seguro, el a priori.
ALGUNAS CONCLUSIONES
120
Logicismo y formalismo
El Logicismo por otra parte, est conectado con el formalismo por el uso de un
clculo formal independiente del significado de los smbolos primitivos 85. El logicismo
condensa todos los principales mtodos en el tratamiento formal de la Matemtica.
Representa un modelo paradigmtico sobre la Matemtica basado, aparte de las
consideraciones propiamente filosficas, en el carcter formal de la misma; no de igual
manera que lo hace el formalismo, al cual ya me he referido, inscrito en un terreno
general comn.
El Logicismo original de Frege y Russell tiene un sentido de la realidad que, sin
embargo, no posee el formalismo desarrollado por Hilbert. El Platonismo de Frege y
Russell est conectado con una visin de la naturaleza de la Matemtica que incide sobre
lo real. Existe la conviccin interior de que se trata de un mundo objetivo no material, pero
relacionado con la realidad exterior, influyente sobre el mundo material. El carcter
radical del Platonismo que se ha asignado a Frege hace alusin de alguna forma a esa
actitud. La crtica de Russell al Formalismo est basada en esa premisa que adjudica a la
naturaleza de las Matemticas.
El Logicismo y el Platonismo que se encuentra en su base, no corresponden
filosficamente a una interpretacin sintctica de la Matemtica. Sin embargo, este
camino nominalista dentro de un paradigma que enfatiza lo formal, slo poda conducir a
esa interpretacin. El problema central no reside en la utilizacin de los sistemas
formales, ni en la superacin del Platonismo. El punto neurlgico que sealo es la
sobreestimacin de la funcin y el status asignados a lo formal, que lleva, por ejemplo, a
un Haskell Curry a decir que la Matemtica es la ciencia de los sistemas formales 86. O,
por otra parte, como Gdel seala, a alejarse del Platonismo como una va de escape
ante una problemtica no abordada.
El sentido de realidad del Logicismo, para no haber terminado en la visin que
criticaba, tena que haber ascendido a una reinterpretacion epistemolgica y ontolgica
de la naturaleza de la Matemtica. El nfasis necesario se deba haber establecido en
ese mismo sentido de realidad.
El derrotero seguido por Russell en la Filosofa de la Matemtica condujo al
Logicismo a un terreno no muy lejano del Formalismo; muy adecuado para permitir
interpretar la Matemtica en el seno de lo lingstico y lo convencional, en donde sus
proposiciones son del mismo tipo que hay tres pies en una yarda 87. Russell no lleg a
establecer la Matemtica como resultante de reglas de trazos vacos de contenido, pero,
no es este convencionalismo una versin muy cercana de lo mismo?
121
122
El anlisis del Logicismo debe establecerse en ltima instancia sobre la base de los
criterios expresados en lo anterior; la comprensin de las nociones de clases, conjuntos,
totalidades, etc., no puede darse si no es a partir de una interpretacin de ellas terica,
epistemolgica y metodolgica. Los criterios no pueden reducirse a procedimientos
tcnicos o formales. La fundamentacin de la Matemtica no puede decretarse a partir de
la definicin de mtodos constructivos o no, de algoritmos de validez y consistencia, o de
reglas de ordenacin de las categoras involucradas. El factor paradojas puso en
evidencia, lo que la era gdeliana establecera, la necesidad de una reestructuracin
epistemolgica de la visin sobre la Matemtica, el cambio y reformulacin de los viejos
paradigmas.
CAPTULO VII
LA FILOSOFA DEL FORMALISMO Y EL INTUICIONISMO
INTRODUCCIN
En este captulo vamos a hacer una descripcin analtica del formalismo y del
intuicionismo como filosofas de la Matemtica centrales en los Fundamentos de las
Matemticas. Se establece, entonces, una crtica filosfica de los supuestos tericos
presentes en ellas. Hemos realizado hasta ahora un anlisis sobre el Logicismo de una
manera ms completa que el que pretendemos mostrar sobre el Formalismo y el
Intuicionismo en este captulo. Esto no obedece a una situacin fortuita. En nuestra
opinin, el Logicismo constituye el proyecto fundacional de las matemticas con mayor
influencia en el desarrollo de las tendencias modernas en la filosofa de las matemticas.
No quiere decir esto que sea el dominante. Pero s el que ha generado una mayor
reflexin sobre la naturaleza de las matemticas. y trascendencia. De hecho, en buena
medida, el Intuicionismo y el Formalismo han pretendido dar respuesta a problemas
planteados por el Logicismo. No son estos otros proyectos fundacionales que se pueden
considerar derivaciones alternativas del Logicismo, pero histricamente (y tericamente)
es imposible de negar su ntima relacin.
123
evidente, por su relacin con la prediccin y el mundo fsico. En Frege se conjug no slo
la bsqueda del rigor, sino, sobre todo, la solidez lgica que ste entenda como
propiedad intrnseca de las matemticas. Despus, la preocupacin se centr en lo que
apareca como un duro golpe al edificio slido e inconmovible que con los trabajos de
rigorizacin y fundamento anteriores se exhiba seguro a los cuatro vientos.
El factor paradojas
Las paradojas fueron la seal de que haba grietas en el edificio. Los esfuerzos se
iban a dedicar entonces a dar cuenta sobre todo de la consistencia amenazada. Esto va a
ser el motor de la etapa fundamental de los llamados fundamentos de la matemtica.
El factor paradojas no era un enemigo despreciable; no slo era visto como un
problema parcial, ligado a una temtica apenas particular del conocimiento, sino que,
amenazando la consistencia de las matemticas, pona en jaque el modelo ms
apreciado de la ciencia occidental. El esquema de un cuerpo terico euclidiano que
inyecta la infalible verdad a priori desde la cspide hasta la base, era el prototipo de la
visin racionalista, que haba dominado durante tantos aos. Eso le daba la importancia
al problema de los fundamentos de la matemtica. Lo que estaba en juego conectaba
con las concepciones filosficas que haban determinado la esencia de las matemticas
en la generacin de verdades infalibles, en lo absoluto de la deduccin y en los aspectos
formales y ms abstractos de la misma. El problema se refera no slo a las
necesidades internas al desarrollo prctico, a las orientaciones tericas de las
matemticas, sino, tambin a las externas de la reflexin sobre la misma. Esta situacin
hizo posible la conexin entre filosofa y matemtica de una forma tremendamente
estrecha.
En esta segunda etapa se comprende mejor el significado del intuicionismo de
Brouwer. Se trata trambin de explicar las limitaciones principales que los estudios
fundacionales han manifestado sobre la comprensin formal de la naturaleza de las
matemticas.
La relacin con los universales
La discusin entre intuicionismo, formalismo y logicismo se puede poner en relacin
con la vieja discusin de los universales 2. Para Quine esto es posible porque:
La matemtica clsica, como ilustra claramente el ejemplo de los nmeros primos
mayores que un milln, est comprometida hasta el cuello en una ontologa de entidades
abstractas. Por ello la controversia medieval de los universales ha vuelto a encenderse
en la moderna filosofa de las matemticas 3.
125
Para ste (al igual que para S. Barker) es posible conectar el realismo de las
entidades abstractas con el logicismo, el conceptualismo con el intuicionismo, y el
nominalismo con un formalismo en el que se ...concibe la matemtica clsica como un
juego de notaciones no significantes 4.
Dos actitudes hacia las matemticas
Sin embargo, no todos estn de acuerdo con esta interpretacin. Para Ladrire es
posible detectar dos grandes actitudes en los fundamentos. Por un lado la platonista, que
enfatiza la existencia independiente de las entidades matemticas; y otra emprica, que
las considera un resultado de la construccin. Ladrire se inclina por pensar que: La
primera actitud es la de Hilbert y los axiomticos; la segunda, la de Brouwer y los
logicistas 5. Es difcil pensar, sin embargo, que los logicistas se colocan como dice
Ladrire.
En el logicismo existe una reiterada actitud de sostn de la existencia de entidades
abstractas, actitud que incluso es fuente de los problemas de esta corriente en los
fundamentos. La divisin de Quine (y otros) no es, sin embargo, suficientemente
adecuada para englobar la visin filosfica particular de Hilbert, que, como veremos, se
adhiere a la primera actitud que seala Ladrire, y para el cual el formalismo es un
instrumento que busca evidenciar-demostrar una consistencia que es inherente a las
matemticas.
La actitud intuicionista es un rechazo a admitir la existencia de entidades abstractas
separadas de la constructibilidad (definida en sus trminos). La verdad y la existencia
matemticas estn entonces en dependencia de la exhibicin de pruebas
constructivistas. Este punto de partida implica una gigantesca transformacin del anlisis
y la lgica clsicos. Seala Ladrire:
La exigencia de constructibilidad le lleva a rechazar toda consideracin de un
infinito actual y a admitir solamente el infinito potencial (...). Desde el punto de vista
lgico, esta exigencia se traduce en el rechazo de la exclusin del tercero (para los
conjuntos infinitos).No se puede afirmar a priori que la solucin de un problema
matemtico deba ser del tipo A o del tipo no A, mientras no se haya establecido un
procedimiento efectivo que permita obtener esta solucin 6.
Estas premisas que usa el intuicionismo conducen a sacrificar una buena parte de la
matemtica clsica. Esta consecuencia bastante desagradable lo haca poco atractivo
para la mayora de matemticos, para aquellos incluso que eran conscientes del carcter
insatisfactorio del logicismo. Hilbert intentara un camino intermedio que sin abandonar el
anlisis clsico apuntara a la consistencia.
126
La eliminacin de la intuicin
Para Hilbert el fracaso del logicismo es el fracaso de los intentos por eliminar las
intuiciones y las evidencias previas a los procesos lgicos. No se trata de eliminarlos, se
trata de explicar en concreto cules son y cmo actan. Ahora bien, la exhibicin de
estos objetos concretos, para Hilbert, es la base de la posibilidad de la consistencia de la
matemtica. Porque, seala Krner:
Si la matemtica ha de restringirse -por completo y sin calificacin- a la
descripcin de objetos concretos de cierta clase y a las relaciones lgicas
entre tales descripciones, entonces, ninguna contradiccin puede producirse
en ella, ya que las descripciones precisas de objetos concretos son siempre
mutuamente compatibles 9.
Con esta filosofa es entonces posible trazar un programa para intentar garantizar la
coherencia lgica de las matemticas.
Hilbert afirma que la matemtica no se puede reducir a la lgica, que otros axiomas
y principios no lgicos deben aadirse. En este sentido aunque parte del tratamiento
axiomtico -formal del logicismo, no est preocupado por las condiciones que imponen un
reduccionismo logicista. La presencia de axiomas extra-lgicos no son fuentes de
problemas en su filosofa. Ms an, para l la presencia de nociones y elementos
ideales que no representan percepciones intuitivas no es contradictorio con la
consistencia de la matemtica, para lo cual se basa en la tradicin clsica de las
matemticas (irracionales, complejos, etc).
Es importante para Hilbert la simbolizacin de todas las nociones. Las proposiciones
son combinaciones o cadenas de smbolos.
Para Hilbert las nociones de las matemticas son entonces de un contenido
perceptible, no perceptibles o ideales. El busca la fusin de ambas y las introduce en un
programa que pretende probar la consistencia del cuerpo terico as construido. Para
lograr esos efectos se requiere entonces hacer una diferenciacin de niveles: por un lado,
la teora propiamente, que l la expresa con nmeros-trazos y las operaciones entre
ellos; y, por el otro, una metateora, que est compuesta por las frmulas que
corresponden a los trazos y sus proposiciones y a las reglas formales que corresponden
a las de la teora.
128
130
Kant y el formalismo
En otro orden de cosas, es errneo suponer que la visin del formalismo extremo
est ms cerca de Kant. No se puede asimilar lo que Kant entenda como objeto y
construccin matemtica, que estaba conectado a una intuicin espacio-temporal,
aunque fuese de fuente subjetiva para l, con las frmulas y los trazos de los formalistas.
La coincidencia con Kant se encuentra en el reclamo de presentacin de objetos en la
construccin matemtica; los objetos que exhiben formalistas moderados o radicales
traicionan el espritu kantiano. En este terreno, quin est ms cerca de Kant, Hilbert o
Curry, es intrascendente (pero, en todo caso, no parece ser que lo est la visin ms
abstracta y alejada de la verdadera matemtica).
Es posible ahora hacer algunas observaciones: el formalismo representa una vuelta
a Kant, en tanto afirma la no analiticidad de las matemticas y busca darle un objeto a
estas aprehensible por la intuicin. Sin embargo, el carcter sinttico de stas no se
busca en la realidad exterior independiente al sujeto, sino en un producto del sujeto que
representa abstracciones: los signos. Con esta actitud el formalismo no lleva las
matemticas a la realidad del mundo, sino que, creando un estrato intermedio, se separa
de l. Sale entonces de una matemtica que, en su mejor comprensin, no dice nada
sobre el mundo (analtica), a una matemtica tambin desconectada de la realidad,
aunque no del mundo semitico. No llega al empirismo clsico. Pero no solamente hace
eso, afirma tambin el carcter formal de la matemtica. No se reduce la matemtica a la
lgica o a las leyes del pensamiento, sino que a la manipulacin de smbolos en menor o
mayor grado de abstraccin; no sobre la base de ciertos criterios o sentido de la realidad
(como en cierto Russell) sino a la larga sobre decisiones convencionales. El sentido
fundamental de lo que apuntaba el formalismo es nuevamente, a pesar de todos los
objetos exhibidos, una matemtica sin contenido, que tampoco dice nada sobre lo real.
Formalismo y convencionalismo
El camino inevitable a partir de las principales premisas formalistas es el de afirmar
el convencionalismo en la naturaleza de las matemticas y, si existe evidencia, sta slo
puede terminar siendo sintctica. La matemtica es un lenguaje simblico (o varios) en
donde podemos escoger sus reglas con base en nuestras conveniencias ms diversas.
131
El constructivismo
El programa de Brouwer consista en :
132
La intuicin
Lo que importa en el intuicionismo no es ni lo formal, ni lo deductivo, ni lo
axiomtico, sino la evidencia intuitiva. Es un rechazo de ciertos aspectos de paradigma
racionalista y formal clsico. Podramos conectar con esta actitud hacia las matemticas
a muchos pensadores que van desde Descartes y Pascal (en parte), Krnecker,
Poincar, Borel, Lebesque y Baire. Es, sin embargo, Brouwer quien fund esta filosofa
en los tiempos modernos.
Desde el punto de vista filosfico busc una alternativa al paradigma basado en la
evidencia lgica y formal, a partir de una vuelta tambin a Kant. La matemtica para el
intuicionismo tampoco es analtica, es sinttica; pero no se preocupa, a diferencia de
Hilbert, de exhibir un objeto sensible o no para la matemtica.
133
El lenguaje y la lgica
La matemtica para los intuicionistas no se puede asimilar ni al lenguaje ni a la
lgica (un duro golpe en su visin a la evidencia sintctica). El lenguaje y la lgica son
sobre todo instrumentos necesarios exclusivamente en la transmisin y comunicacin, no
en la construccin matemtica. Para esta ltima lo nico que prevalece es una intuicin
interior, una autoevidencia. No se busca la estructura de la construccin matemtica
hacia afuera, sino hacia adentro en una inspeccin directa. Para Brouwer sta es la
filosofa de la matemtica. Las paradojas y dems problemas que atormentan a los
logicistas y formalistas, tienen su origen en los abusos y extralimitaciones del lenguaje y
de la lgica, cuando stos han dejado de corresponder a la verdadera matemtica.
No se trata para el intuicionismo de probar la consistencia de la matemtica (como
Hilbert) sino de hacer matemtica verdadera, apegada a esa intuicin introspectiva. Esta
matemtica determinada filosficamente as establece, segn Brouwer, un programa
prctico centrado en la nocin constructivista. Es esto lo que en el fondo determina las
reglas usadas, a saber: el lenguaje y la lgica. Depender de ella tambin el tratamiento
de las nociones infinitas. La verdad y la existencia matemtica aparecen fundidos en la
construccin.
En mi opinin es totalmente correcto sealar la futilidad formalista extrema de hacer
de los sistemas formales la matemtica, as como la demostracin de la consistencia su
tarea central. Es transmutar el objeto de la misma. Sin embargo, la fundamentacin de la
matemtica es un problema real. No se puede evadir. Brouwer no se compromete a
buscar caminos tericos de fundamentacin de la matemtica existente. En su lugar
pretende partir de cero, sacrificar gran parte de lo que existe y levantar una nueva
matemtica (con una amputacin de las intuiciones kantianas) haciendo de la intuicin
temporal el sustrato de su evidencia. Es correcto criticar el objeto formalista de la
matemtica de los trazos, smbolos y frmulas, que es en realidad una escapatoria a
abordar los problemas de la epistemologa matemtica que no poda resolver el
logicismo. Las nociones y conceptos de la matemtica son abstracciones, representables,
en alguna medida, en el papel o donde sea, pero abstracciones. Slo pueden ser
aprehensibles por la mente. Son construcciones de la mente y estn por as decirlo, en
una relacin ntima con el sujeto. Pero estas abstracciones y construcciones no se hacen
en el vaco de la mente. Aparecen en el seno de una relacin mutuamente condicionante
134
136
137
Un balance
La vuelta a Kant por los formalistas y los intuicionistas representa un autntico
fracaso desde el punto de vista filosfico. Los formalistas exhiben objetos inapropiados,
transmutan el carcter de la matemtica y, a pesar del reclamo kantiano, apuntalan
fuertemente al paradigma de lo deductivo y formal. Los intuicionistas, por otra parte,
frente al logicismo y al formalismo (evidencia lgica y sintctica) apuntalan la intuicin
subjetivista conjurada con el rechazo al platonismo y un obsesivo constructivismo.
Vuelven a Kant en dos sentidos diferentes, pero con ello no contribuyen filosficamente a
abrir una ruta hacia una nueva interpretacin alternativa y viable frente al paradigma
formal.
El intuicionismo trat de escapar del paradigma de la evidencia lgica y formal, pero
sigui participando del paradigma racionalista sobre las matemticas, de las verdades
infalibles y absolutas, de la mente generadora de conocimiento a priori. Intuicionistas y
formalistas parten todos de la premisa de que el objeto o el fundamento de las
matemticas est separado del mundo material. Se enfatiza lenguaje, lgica o intuicin
en las matemticas, pero nunca su contenido emprico.
En los aos veinte las diferentes escuelas filosficas en los fundamentos de la
matemtica sentan un futuro libre de las crisis tericas del pasado. Las paradojas haban
sido el ltimo desastre. El formalismo prometa, el constructivismo, estrecho y complejo,
pero poda servir. EL logicismo con los axiomas extralgicos no pareca recuperarse,
pero la esperanza no se disipaba. La matemtica segua siendo un edificio inconmovible
y las teoras de la verdad infalible aparecan triunfantes. El empirismo renunciara en
pocos aos a reconocer a la matemtica como algo ms que lenguaje y reglas
convencionales. La dcada de los treinta cambiara esta visin optimista de manera
abrupta y radical para todo aquel que lo quisiera ver. Daba inicio a una nueva era: la
gdeliana.
138
CAPTULO VIII
A MANERA DE CONCLUSIN: LOS TEOREMAS DE GDEL Y EL
RACIONALISMO
INTRODUCCIN
En los pasados captulos hemos afirmado las dificultades existentes en las filosofas
del Logicismo, el Formalismo y el Intuicionismo. Hemos visto una solucin decisiva entre
estas filosofas y una actitud metodolgica (en sentido general) racionalista. Es decir,
hemos visto en un sustrato epistemolgico la base comn para comprender lo que hemos
planteado como debilidades filosficas en estas corrientes de pensamiento sobre los
Fundamentos de las Matemticas. Pero en ningn momento hemos mostrado, para usar
lenguaje matemtico, un punto de acumulacin histrico que seale elementos en la
perspectiva de nuestro anlisis. Esto es, precisamente, el objetivo de este pequeo
captulo.
En nuestra opinin los Teoremas de Gdel en los aos Treinta representan un buen
punto de partida histrico-conceptual en la bsqueda de una estrategia de definicin para
una nueva concepcin de las matemticas. Vemos en los Teoremas de Gdel
consecuencias filosficas que el mismo Gdel probablemente no capt, o, por lo menos,
no asumi como tales. Integramos estos importantes resultados como una seal
significativa en el agotamiento de los paradigmas clsicos en la reflexin sobre la
naturaleza de las matemticas. El fracaso del Logicismo no aparece, entonces, como un
hecho aislado. Se trata de un prolegmeno de una crisis mucho ms profunda en el
pensamiento occidental que con mayor claridad se puede develar sobre la base de los
resultados gdelianos.
Se trata de resultados teorticos que tal vez por su extraordinario valor lgico y
matemtico, no se han sabido interpretar en el terreno de la filosofa, que es donde ms
significaciones podran transportar.
139
DESARROLLO
141
Y conclua entonces:
Lo que hemos experimentado dos veces, una vez con las paradojas del
clculo infinitesimal y otra con las paradojas de la teora de conjuntos, no ser
experimentado una tercera vez, nunca jams 5.
142
Los resultados de Gdel establecen que la intuicin se niega a ser desterrada hasta
en lo que pareca ms propio de lo formal. La intuicin no puede entonces desaparecer.
Esto nos obliga a incidir en el esclarecimiento de esta nocin y en la necesidad de un
nuevo planteamiento terico-filosfico sobre el carcter de las teoras matemticas.
Gdel conduce a romper el esquema del sistema absoluto y cerrado para todo
discurso, conduce a romper la continua pretensin del racionalismo de dar cuenta a partir
de la razn de toda la realidad. Ningn sistema racional puede comprehender la totalidad
de lo real. Esto establece una verdad epistemolgica, la recurrencia inevitable a la
intuicin no es la apelacin a la interioridad subjetiva, manifiesta la necesidad del
contacto material del sujeto con el objeto material. Las condiciones bsicas de la intuicin
residen en aquellas de lo sensible y la experiencia (la intuicin a la que me he referido de
una manera metodolgica y general por supuesto incluye aquella que surge en la
experiencia de la prctica terica matemtica. Esta nocin alude al conjunto de rasgos
psicolgicos que intervienen en el conocimiento y cuyo origen (aunque es diverso) se
encuentra en la relacin del sujeto con el mundo que se le opone y del que es parte).
Los lmites de los sistemas formales son los lmites de lo racional en el
conocimiento, es el reclamo de la prctica emprica, de la vida.
Los resultados de Gdel son un duro golpe a la visin racionalista del conocimiento
que haba hecho de las matemticas su reducto fundamental.
144
Al igual que el factor paradojas nos serva para dividir la historia de las
matemticas, el factor Gdel ahora nos permite completar nuestro cuadro. Este factor
terico determinante representa un punto de partida para una autntica ruptura
epistemolgica en la reflexin sobre las matemticas; la posibilidad de una mejor
comprensin de las mismas. Pero adems; representa la posibilidad de unas nuevas
matemticas.
No ha transcurrido tal vez suficiente tiempo para que lo uno y lo otro se desarrollen
a cabalidad, establezcan un nuevo espectro para las matemticas y, entonces, para las
ciencias en general.
Estamos probablemente en una fase transitoria en busca de nuevas definiciones y
categoras hacia la constitucin de un nuevo paradigma. Es un perodo en el que se
afirman al mismo tiempo las crticas de las ideas anteriores como las cristalizaciones de
los nuevos elementos conceptuales.
146
deductivo, quepa dar todos los pasos necesarios para la derivacin de una
frmula sin necesidad de tener en cuenta para nada los significados de los
smbolos que se manejan; pero no obstante advierte que, lejos de conducir
a una notable significacin, la negativa a interpretar aquellos smbolos
complicara ms el problema, ya que el inters de las frmulas
matemticas radica en la posibilidad de su aplicacin, seamos francos con
nosotros mismos y admitamos que nuestras reglas de clculo no de eligen
arbitrariamente, si no dependen de los significados asignados a nuestros
smbolos. Si ideramos un juego para jugar a l sobre un papel con trazos
desprovistos de significados y de acuerdo con reglas arbitrarias, es obvio
que ese juego no merecera ser considerado como una rama de la
matemtica. P.418-419.
4. Frege. Op. Cit. P.140.
5. Ibid. P. 142.
150
10. Cf. Quine, W. O. Desde un punto de vista lgico. Trad. Manuel Sacristn.
Barcelona: Ediciones Ariel, 1962. P. 125.
11. Cf. Ayer. A. J. Russell. London: Fontana Modern Masters (Editor Frank
Kermode), 1972. P. 44.
12. Cf. Putnam, Hilary; Benacerraf, Paul. Op. Cit. P. 10.
13. Wilder, Raymond L. Introduction to the foundations of mathematics. New York:
John Wiley & Sons, 1956. P. 211.
14. Ibid. P. 215.
15. Ibid. P. 224.
16. Cf. Russell, Bertrand. Introduccin a la filosofa matemtica. Trad. Juan B.
Molinari. Buenos Aires: Losada, 1945.
Tal procedimiento no es ilusorio y, en verdad, en ciertos casos
permite una valiosa generalizacin. Pero por dos razones es incapaz de dar
una base adecuada para la aritmtica. En primer lugar, no nos hace conocer
si hay una sucesin de trminos que verifican los axiomas de Peano;
igualmente no nos da ninguna sugestin para descubrir si existe tal
sucesin. En segundo lugar, como ya hemos notado, necesitamos nmeros
que podamos emplear para contar los objetos comunes, y esto requiere que
los nmeros tengan un significado preciso, y no solo que tengan algunas
propiedades formales P. 23.
17. Cf. Idem.
18. Ibid. P. 25.
19. Ibid. P. 32.
20. Ibid. P. 33.
21. Ibid. P. 35.
22. Ibid. P. 36.
23. Russell. La evolucin de mi pensamiento filosfico. P. 72.
24. Cf. Krner, Stephan. Introduccin A la filosofa de la matemtica. Trad. Carlos
Gerhard. Mxico: Siglo XXI, 1969.
La diferencia entre las dos ramas del logicismo, la nominalista de
halla envuelto en la admisin de las clases por parte del sentido comn,
nada que no se esto: que toda funcin proposicional es equivalente, para
todos sus valores, a alguna funcin predicativa P. 112.
156
acerca de las clases; en cualquier caso, retiene de las mismas todo cuanto
pudiera sernos de alguna utilidad, mas lo bastante poco como para evitar
las contradicciones que podran derivarse de una aceptacin de las clases
menos prdiga en reservas que la nuestra. Llamaremos a dicha suposicin
axioma de las clases o axioma de reductibilidad.
38. Ibid. P. 110-111.
39. Russell. Introduccin a la filosofia-matematica. P. 266.
40. Idem.
41. Ibid. P. 267.
42. Cf. Idem.
43. Daz-Estevez, Emilio. El teorema de Gdel. Pamplona: Ediciones Universidad de
Navarra, S.A., 1975. P. 88-89.
44. Russell. Introduccin a la filosofia-matematica. P. 187.
45. Ibid. P. 186.
46. Kline, Morris. Mathematics. The loss of certainty. New York: Oxford University
Press, 1980. P. 210.
47. Cf. Idem.
48. Russell. Introduccin a la filosofia-matematica. P. 187.
49. Cf. Ibid.
mientras nos conformemos con la aritmtica de los nmeros
13. Cf. Russell, Bertrand. Los problemas de la filosofa. Trad. Joaqun Xirau.
Barcelona: Editorial Labor, 1928. P. 102.
14. Ibid. p. 103.
15. Ibid. pp. 103, 104.
16. Ibid. p. 103.
17. Russell, Bertrand. La evolucin de mi pensamiento filosfico. P.77.
18. Idem.
19. Cf. Russell. Los principios de la matemtica.
He aceptado de l la naturaleza no existencial de las proposiciones
169
luego
desarrollado
172
BIBLIOGRAFA
Aristteles. Obras. Trad. Francisco de P. Samaranch. Madrid: Aguilar, 1964.
Aristteles. Tratados de lgica. Trad. Francisco Larroyo. Mxico: Editorial Porra,
1979.
Ayer, A.J. Lenguaje, verdad y lgica. Trad. Marcial Surez. Barcelona: Ediciones
Martnez Roca, S.A., 1971.
Ayer, A.J. Russell. London Fontana/Collins, 1972.
Babini, Jos. Historia sucinta de la matemtica. Madrid: Espasa-Calpe, 1969.
Barker, Stephen F. Filosofa de las matemticas. Trad. Carlos Moreno Canadas.
Mexico: UTEHA, 1965.
Bell, E.T. Historia de las matemticas. Trad. R. Ortiz. Mexico: Fondo de Cultura
Econmica, 1949.
Benacerraf, Paul; PUTNAM, Hillary (Edit). Philosophy of mathematics. Selected
Readings. New Jersey: Prentice-Hall, 1964.
Beth, E.W. Les fondements logiques des mathmatiques. Paris: Louvain. 1964.
Beth, Evert W. Mathematical thought. Dordresht-Holland: D. Reidel, 1965.
Birchall, B.C. Freges objects and concepts: revolutionary or reactionary,
Philosophy and phenomenological research, June 1982, Vol. XLII, N 4.
Black, Max. The nature of mathematics. London: Routledge & Kegan Paul. Ltd.
1950.
Boole, George. Anlisis matemtico de la lgica. Trad. Armando Asti-Vera. Buenos
Aires: Universidad Nacional de la Plata, 1960
Boole, George. An investigation of the lows of thought on which are founded the
mathematical theories of logic and probabilities. New York: Dover Publications Inc.
1958.
Bourbaki, Nicols. Elementos de historia de las matemticas. Trad. Jess
Hernndez. Madrid: Alianza Editorial, 1976.
Boyer, Carl B. A history of mathematics. New York: John Wiley & Sons Inc., 1968.
Brody, Boruch A. CAPALDI, Nicholas (Edit). Science: Men, method, goals. A
reader. New York: W.A. Benjamn, Inc. 1968.
173
Geach, Peter; BLACK, Max (Editors and translators) Translations from the
philosophical writings of Gottlob Frege. Oxford: Blackwell, 1952.
Gdel, Kurt. Obras completas. Trad. Jess Mostern. Madrid: Alianza Editorial,
1981.
Goldstein, R.L. Essays in the philosophy of mathematics. Leicester: Leicester
University Press, 1965.
Heyting, A. Intuitionism. An introduction. Amsterdam: North-Holland, 1956.
Kant, Manuel. Crtica de la razn pura. Trad. Jos del Perojo. Buenos Aires:
Losada, 1973.
Kant, Manuel. Prolegmenos. Trad. Julin Besteiro. Buenos Aires: Aguilar
Argentina, S.A., 1971.
Kitcher, Philip. Freges epistemology, Philosophical review, April 1979, Vol
LXXXVIII, N. 2.
Klemke, E.D. (Edit). Essay on Frege. Illinois: University of Illinois Press, 1968.
Kline, Morris. Mathematics in Western Culture. New York: Oxford University Press,
1966.
Kline, Morris. Mathematics. The loss of certainty. New York: Oxford University
Press, 1980.
Kneale, William y Martha. El desarrollo de la lgica. Trad. Javier Muguerza.
Madrid: Editorial Tecnos, 1972.
Krner, Stephan. Introduccin a la filosofa de la matemtica. Trad. Carlos Gerhard.
Mxico Siglo XXI, 1969.
Krner, Stephan. La matemtica Gdeliana y sus implicaciones filosficas. Mxico:
Publicaciones de la UNAM, 1972.
Ladrire, Jean. Limitaciones internas de los formalismos. Trad. Jos Blasco. Madrid:
Alianza Editorial, 1969.
Lakatos, Imre. Matemticas ciencia y epistemologa. Trad. Diego Ribes Nicols.
Madrid: Alianza Editorial, 1981.
Largeault, Jean. Logique et philosophie chez Frege. Paris: Editions Nauwelaerts,
1970.
Leibniz, G.W. Sistema nuevo de la naturaleza. Trad. Enrique Pareja. Buenos Aires:
Aguilar, 1963.
175