Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Matematica y Filosofia
Matematica y Filosofia
1990
ndice
PREFACIO..........................................................................................................................................6
PREFACIO..........................................................................................................................................8
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
LA PRIMERA CRISIS ................................................................................................................51
Las clases que no se pertenecen a s mismas..........................................................................51
Una visin filosfica en juego..................................................................................................52
Frege: Verdad semntica versus verdad sintctica...................................................................53
CAPTULO III
RUSSELL: UNA SEGUNDAD ETAPA EN EL LOGICISMO.......................................................55
EL FACTOR PARADOJAS Y EL LOGICISMO .......................................................................56
La eliminacin de las contradicciones.....................................................................................56
Logicismo y analiticidad..........................................................................................................57
La derivacin logicista.............................................................................................................58
Russell y Frege.........................................................................................................................59
LA TEORA DE TIPOS ..............................................................................................................61
La teora ramificada de tipos....................................................................................................62
LOS AXIOMAS NO LGICOS .................................................................................................63
El axioma de eleccin..............................................................................................................64
PROBLEMAS DE LAS CLASES ...............................................................................................65
La eliminacin de las clases.....................................................................................................65
La crtica de Quine...................................................................................................................66
PROBLEMAS DE LA TEORA DE TIPOS ...............................................................................68
Predicativizacin de las matemticas.......................................................................................68
SOBRE EL INFINITO Y EL CONTINUO .................................................................................70
El continuo...............................................................................................................................70
El infinito.................................................................................................................................71
Putnam y Benacerraf................................................................................................................71
PROPIEDAD LGICA, CONCEPTOS EMPRICOS Y NO EMPRICOS ..............................73
Krner: Sobre los conceptos empricos y no empricos...........................................................74
ALGUNAS CONCLUSIONES ...................................................................................................75
De Frege a Russell....................................................................................................................75
Primer llamado a una redefinicin epistemologa....................................................................76
La induccin.............................................................................................................................76
Logicismo y racionalismo........................................................................................................77
Sobre la nocin de lgica.........................................................................................................77
Apuntalamiento de un paradigma............................................................................................79
CAPTULO IV
LAS ONTOLOGAS DE GOTTLOB FREGE.................................................................................80
OBJETO Y FUNCIN ................................................................................................................81
La distincin.............................................................................................................................81
La nocin de concepto..............................................................................................................83
La influencia de la lingstica..................................................................................................85
Una visin de la distincin.......................................................................................................85
LA FILOSOFA DEL GEDANKE ..............................................................................................86
Que es un gedanke?................................................................................................................87
Objeto, idea y gedanke.............................................................................................................87
Una disgresin..........................................................................................................................89
Algunos supuestos fregeanos...................................................................................................90
El Tercer Mundo y Der Gedanke..........................................................................................90
CAPTULO V
EPISTEMOLOGA Y ONTOLOGA EN LA FILOSOFA DE LAS MATEMTICAS DE
FREGE...............................................................................................................................................92
LA IMPORTANCIA DE LA EPISTEMOLOGA EN FREGE ..................................................93
Conceptografa, grundlagen y epistemologa...........................................................................93
Gedanke y epistemologa.........................................................................................................94
UNA VISIN HETERODOXA: SLUGA ...................................................................................95
Los lmites de la interpretacin de Frege como realista...........................................................96
La reduccin de la ontologa....................................................................................................97
EPISTEMOLOGA Y ONTOLOGA .........................................................................................98
La evolucin de la epistemologa en Frege..............................................................................98
El realismo de Frege: Una interpretacin.................................................................................99
Ontologa y objetividad..........................................................................................................100
FREGE Y KANT .......................................................................................................................102
La herencia de Kant segn Kitcher........................................................................................102
Lo original de Frege frente a Kant.........................................................................................104
EL CONOCIMIENTO A PRIORI COMO PARADIGMA .......................................................105
Lo a priori y el platonismo en matemticas...........................................................................105
CAPTULO VI
EVOLUCIN DE LA FILOSOFA DE LAS MATEMTICAS DE BERTRAND RUSSELL.. .107
FRENTE AL IDEALISMO SUBJETIVO .................................................................................108
La influencia de Bradley........................................................................................................108
La crtica a Kant.....................................................................................................................108
El camino hacia la lgica.......................................................................................................110
EL PLATONISMO DE RUSSELL ...........................................................................................111
Platonismo y universales........................................................................................................111
La referencia al mundo cohabita con el platonismo...............................................................112
LOS PROBLEMAS DEL PLATONISMO ...............................................................................114
Clases y funciones proposicionales........................................................................................114
De nuevo las paradojas...........................................................................................................115
La crtica de Gdel.................................................................................................................115
PLATONISMO Y NOMINALISMO ........................................................................................117
El camino hacia la verdad sintctica......................................................................................118
El logicismo no es empirista..................................................................................................118
El influjo del logicismo..........................................................................................................119
ALGUNAS CONCLUSIONES .................................................................................................120
Logicismo y formalismo........................................................................................................121
Balance pragmtico del platonismo.......................................................................................122
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
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.
Dr. Luis A. Camacho
Universidad de Costa Rica, agosto 1990
7
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.
8
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
da sucesiva sino simultneamente. Tambin en cuanto a esto creo que el anlisis
fisiolgico puede ser todo lo fsico que se quiera, pero que la identidad entre el objeto
epistemolgico y el fsico y el fisiolgico es por ahora cuestin de hiptesis, adems de
que la relacin al fin podra resultar no ser analtica, sino segn otro modo.
Estimo que reiniciamos con este libro la fructfera polmica del construccionismo, el
operacionalismo, el organicismo, el logicismo, el realismo, el idealismo, etc. y hasta una
revaloracin controversial del pensamiento de Popper que permite ejercitar el
pensamiento. En nuestro medio cultural raqutico, esta polmica es tan necesaria como el
dinero que nos hace falta producir para desarrollarnos autctonamente y en concordancia
con el desarrollo mundial. Precisamente por no existir en nuestro pas todava una buena
manera de ensear msica, biologa, matemticas, castellano, filosofa y gimnasia desde
el Kindergarten, nuestra educacin ms bien ha contribuido a nuestra baja cultura. La
investigacin, -sea matemtico- filosfica o de los tantos gneros que existen, es en tal
sentido necesaria de toda necesidad y nosotros somos capaces de crearla, como
lentamente lo hemos venido demostrando desde hace buen tiempo, sin que nosotros
mismos no hayamos querido percatarnos de ello, paradjicamente. Quiz por el
materialismo de los vendedores y compradores de lujos innecesarios y chucheras
intiles, que sirven solo para entontecernos o destruir lo bueno de este mundo.
Por ultimo, la afirmacin de Angel Ruiz acerca de que los lmites de los sistemas
formales son los lmites de lo racional en el conocimiento, es el reclamo de la vida
emprica, de la vida, creo que abre paso al irracionalismo en matemticas, por esa idea
de intuicin propia de Ruiz. Pero como siempre he intentado evitar los prejuicios y las
profecas, me parece que se trata de un intuicionismo empirista heterodoxo que podra
desarrollarse. En todo caso, me atrevo a valorar este magnfico libro digno de estudiarse,
lector de libre pensamiento.
Fernando A. Leal.
4 de setiembre de 1990
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
La metafsica o en nuestros trminos la carga de opinin (aunque no descabellada
ni implausible) ms que considerarse objeto para el desprecio debera juzgarse en
relacin con parmetros diferentes. Si esto es as -aunque en diferente grados- con las
ciencias mismas, pues, entonces, con mayor razn se aplica a la filosofa. La realidad es
que el conocimiento de una u otra manera es una combinacin compleja entre lo
demostrable y lo no demostrable (de acuerdo a diferentes criterios), lo fundamentado y lo
no fundamentado, lo que es opinin y lo que no es opinin. Y no se me mal-interprete, es
obvio que slo de meras opiniones no se puede armar el conocimiento. Lo que quiero es
sobre todo hacer una llamada de atencin en torno a la naturaleza del conocimiento y a la
actitud metodolgica con que debemos juzgar su evolucin. Es entender que el
conocimiento es un fenmeno histrico, social e individual, en donde las ideas no se
construyen al margen de la subjetividad individual. Cun valioso resulta en estos tiempos
ese sano relativismo crtico en torno a la certeza y a la verdad infalible en el pensamiento
cientfico y filosfico.
La realidad es que en la historia reciente de las ideas filosficas se ha vuelto a
incurrir en lo que siempre se dijo criticar de la filosofa anterior: el dogmatismo y la rigidez
en el pensamiento. Se ha llegado a pensar que el conocimiento y el pensamiento pueden
llegar a eliminar por completo la contaminacin de lo interpretativo y subjetivo. Las
viejas ideas leibnizianas del lenguaje universal y la mquina de pensamientos para
erradicar la polmica subjetiva y zanjar la discusin mecnicamente han sido en nuestra
poca un dogma en buena parte de la filosofa. Es obvio que este tipo de premisas estn
en la base de la arrogancia del profesor que se niega a volver la vista ante lo que en su
marco estrecho no est demostrado.
Pero lo anterior nos conduce tambin a otro de los grandes vicios de los filsofos
contemporneos y especialmente de los profesores de filosofa. Y es que existe una
desproporcionada tendencia a olvidarse de que en la aventura del conocimiento las ideas
son lo bsico. Cuntas veces la preocupacin recae en la estructura formal de lo escrito,
en la suficiencia o no de las citas bibliogrficas y de los autores estudiados, o en si la
nocin usada en la pgina 16 no es la misma que la de la pgina 48 o peor an resulta -a
juicio del profesor- contradictoria. La actividad intelectual -de esta forma- se constrie en
los detalles, y las ideas polmicas o novedosas no reciben la menor atencin. Es algo as
como si el foco de atencin se ha desvirtuado hacia una direccin equivocada y estril. El
debate fundamentador sobre las ideas abre paso a la mini-polmica sobre si Quine o
Russell dijeron exactamente eso o si la cita est mal tomada, o sobre la ausencia de tal o
cual referencia, etc. Me deca hace poco tiempo un excelente filsofo costarricense que
han habido apenas unas cuantas ideas extraordinarias en la historia del pensamiento,
pero que -en realidad- alrededor de ellas el pensamiento humano se ha ido aglutinando.
Es completamente cierto, las grandes ideas no han sido relativamente tantas. Y la
bsqueda o creacin de este tipo de ideas es precisamente la esencia de la creacin
intelectual. Y no se trata -por supuesto- de un retorno a Platn. Las ideas son siempre el
12
resultado de una combinacin de muchos factores histricos (donde la actitud de la
comunidad intelectual es una componente sumamente importante), pero siempre
creacin humana.
No es extrao encontrar, por otro lado, que la subestimacin de la opinin y la
interpretacin originales est acompaada de esta sobreestimacin de los aspectos
menos trascendentes del pensamiento. Ambos se han convertido en un extraordinario
vicio intelectual que ha hecho que muchos buenos cerebros por su propia voluntad se
hayan rebelado -desafortunadamente- contra la misma creatividad y contra la inteligencia.
Este libro integra varios pequeos estudios sobre el logicismo y la filosofa de las
matemticas. A partir del estudio de algunos textos bsicos de Frege y Russell se hace
un anlisis de la filosofa del logicismo y no de los aspectos ms tcnicos asociados con
ste. A partir del estudio del logicismo se filtran varias ideas en torno al problema de los
fundamentos de la matemticas y esencialmente sobre la naturaleza de las matemticas.
Para dejar claro desde un principio el tipo de visin que est -globalmente- detrs del
anlisis he considerado apropiado -ya lo decamos arriba- hacer una pequea sntesis
sobre la misma en esta introduccin.
Desde la antigedad griega hasta nuestros das la visin racionalista sobre las
matemticas, es decir, aquella en la que se afirma el rol predominante del sujeto,
contrapuesto al del objeto epistmico (ya sea este rol vinculado a un nfasis en la lgica,
la intuicin o la sintaxis) ha sido una constante en la conciencia occidental. No es
entonces de extraar que buena parte de las ideas que todava se poseen a cerca de la
naturaleza de las matemticas, as como de su desarrollo y enseanza, estn
condicionados por el racionalismo y, en particular, por otra parte, lo que ha sido -en mi
opinin- otro paradigma que tambin se ha asociado al clsico racionalismo, por un
esquema axiomtico formalizante (es decir, que sobrestima la dimensin de la axiomtica
y de lo formal en las matemticas).
Por otra parte, cul ha sido la visin sobre las matemticas dentro de las filas del
Empirismo? Tal vez esto sea importante mencionarlo aqu. El Empirismo, si se quiere, ha
sido el gran triunfador en el terreno de las llamadas ciencias naturales. La experiencia
emprica se acept claramente en las componentes de las ciencias desde por lo menos el
siglo XVIII; sin embargo, en las matemticas la cosa no estaba tan clara. La visin
filosfica de -por ejemplo- Mill en el siglo pasado afirmaba a las proposiciones de las
matemticas como simples generalizaciones inductivas. Sus verdades posean en cada
situacin un referente fsico casi inmediato (todo dentro del contexto de un empirismo
duro, que haca de la mente apenas cera donde el objeto emprico imprima sus huellas).
Las crticas al racionalismo no se dejaron esperar en esta visin tan simplista, obligando
al empirismo a buscar una mejor interpretacin de la naturaleza de las matemticas.
Gracias al influjo de Wittgenstein y del Crculo de Viena, (as como a la visin de un
Russell tardo), el Empirismo del siglo XX decret que las matemticas no se referan al
mundo.
13
La evidencia en las matemticas era para el Neo-positivismo evidencia sintctica.
En esta visin, las proposiciones de la matemtica equivalen a las del tipo: tres pies
hacen una yarda. Con ella se eliminaba de las matemticas -en nuestra opinin- la
referencia a la verdad, o a la ontologa, las reglas y objetos de las matemticas aparecen
entonces absolutamente convencionales.
Este es -de manera esquemtica- el panorama intelectual que ha predominado en la
reflexin ms generalizada sobre las matemticas. Tenemos -por un lado- un dinmico
racionalismo que encuentra como su oposicin epistemolgica a un inductivismo
simplista o, por otra parte, un convencionalismo que libra de contenido fctico a las
matemticas. Se trata, entonces, de un marco intelectual en donde no aparece
adecuadamente -siempre en nuestra opinin- una esencial referencia emprica intuitiva y,
al mismo tiempo, un activo papel del sujeto epistmico. Opino que los intentos empiristas,
tanto en el sentido clsico de Mill o de los Neo-positivistas en el sentido por ejemplo de
Ayer, no son verdaderas alternativas al racionalismo en la filosofa de las matemticas.
Yo afirmo que es necesario buscar una sntesis terica, un nuevo paradigma en la
comprensin ms profunda de la naturaleza de las matemticas, capaz de orientar en los
prximos aos el desarrollo de las matemticas y la comprensin del sentido de la
enseanza de las mismas dentro de ese desarrollo. Creo tambin que esta es una tarea
que est planteada de manera histrica.
Con una nueva mentalidad filosfica, los aportes de Tales y Pitgoras, por ejemplo,
tal vez se podran valorizar mejor en una relacin estrecha y espacial, con la que fue el
origen, si se quiere, de la Ciencia Occidental, que supuso la actitud naturalista jnica. La
obra de Euclides, por ejemplo, se podra analizar especialmente como una
sistematizacin importante de los resultados de muchsimos matemticos previos. De
hecho, de Tales a Euclides se dio un perodo muy rico en aproximaciones y mtodos
matemticos. Baste mencionar a los Pitagricos, a Anaxgoras, a Hipias, a Filolao, a
Arquitas, a Xenn, a Demcrito, a Teodoro de Cirene, a Eudoxo, etc. Es mi opinin que
los problemas clsicos de la matemtica griega fueron planteados en esta poca. Los
Elementos de Euclides podran ser comprendidos como lo que en realidad fueron: un
texto introductorio de matemticas elementales que se basaba en los trabajos previos.
Sera entonces muy razonable sugerir que muchos de los resultados matemticos
codificados por Euclides fueron obtenidos a travs de mtodos heursticos, intuitivos y
aproximativos, aunque, sin duda, la participacin de la deduccin y la edificacin
axiomtica pudo ser una dimensin tambin importante. Pero bien, si la tarea de Euclides
la podemos relativizar y caracterizar como esencialmente de formalizacin y
sistematizacin, aunque hubiere sido magistral, esta obra no debera verse tanto como un
reflejo iluminador de la naturaleza de la construccin matemtica como sobre todo de su
expresin. Por otra parte, tambin debera poderse en esta nueva mentalidad filosfica
hacer una balance de la influencia que Platn tuvo en en las matemticas griegas y
especialmente en el mismo Euclides (indirectamente), y entonces de los muchos efectos
14
distorsionados que este pudo suponer en la obra matemtica y especialmente en su
comprensin. Hay que decir, sin embargo, que en el anlisis de la antigedad siempre se
debe tomar una precaucin, y es que en ausencia de mayores elementos de informacin
siempre existe un nfasis mayor en la interpretacin y en la opinin. No obstante, creo
que existe suficiente evidencia para afirmar que el modelo axiomtico de los Elementos
no puede considerarse un modelo ni de la construccin matemtica griega, ni de las
matemticas en general. Pero ha sido tomado a lo largo de muchos siglos como
precisamente eso: modelo de la construccin matemtica. Y por eso cuando buscamos
en siglos ms recientes, incluso en el siglo XX, races del xito y la dominacin del
racionalismo en la filosofa de las matemticas, no podemos dejar de tomar en cuenta la
poderosa influencia que fue este libro de Euclides y, sobre todo, una interpretacin de lo
que significaba este libro de Euclides.
El caso Arqumedes es, sin embargo, un caso tremendamente interesante. Por una
parte, descubrimos en Arqumedes un nmero muy elevado de resultados fsicos y
tcnicos, no propiamente abstracciones puras en matemticas. Los trabajos de
Arqumedes tenan una estrecha vinculacin con problemas clsicos de Fsica. Sin
embargo hay nuevos elementos para poder leer en la historia griega caractersticas o
dimensiones de la construccin matemtica. Uno de ellos tal vez se puede apreciar a
partir de lo que es posible que constituya el testimonio ms importante sobre la
naturaleza y mtodos de la construccin matemtica en la antigedad. Me refiero a un
palimsesto escrito por Arqumedes llamado El Mtodo y descubierto en Constantinopla
en el ao 1906. Es precisamente en este escrito en donde Arqumedes nos revela su
mtodo mecnico e intuitivo con el que aborda la construccin de sus resultados. No era
la fra, metlica y abstracta deduccin la que generaba la base de la construccin de sus
resultados matemticos. La forma axiomtica de sus resultados haca referencia
fundamentalmente a la expresin, no a la construccin. La matemtica, separada del
mundo, aunque en buena parte de la filosofa Griega supuesta codificadora de las leyes
del Mundo, apareca en Arqumedes tremendamente ligada a la Fsica, al mundo de lo
emprico.
Esto es un punto de partida para poder interpretar de otra manera este perodo.
Pero podramos irnos a otro perodo de la historia de las matemticas. La historia del
Clculo, que va a ser sin duda el primer motor de la matemtica moderna, nos revela la
importancia de la Fsica y la intuicin en la gestacin de los conceptos matemticos.
Acaso el famoso clculo de fluxiones de Newton no est directamente ligado a la
cinemtica? Pero esto que es obvio debe completarse sin embargo con algo ms: El rol
de las nociones abstractas en la construccin matemtica. La fuente ms inmediata
anterior para el trabajo de Newton fue sin duda la geometra analtica de Descartes, que
no es ms que la conjuncin de la geometra griega con los resultados algebraicos
disponibles en el siglo XVII. Las nociones algebraicas menos ligadas a los intuitivo y
material intervinieron importantemente en una sntesis intelectual dinamizante como la
15
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
formales. Deban de haber conducido a una autntica revolucin conceptual. Es decir, a
una renovacin de las categoras usadas anteriormente en la comprensin en las
matemticas. En este sentido, las categoras y distinciones del tipo de analtico versus
sinttico, a priori versus a posteriori, inductivo versus deductivo, deberan haber sido
replanteadas; es ms, en el territorio epistemolgico, la construccin entre empirismo y
racionalismo debera haber dado a luz una nueva interpretacin dialctica entre ambas
corrientes epistemolgicas. Sin embargo, la mayora de matemticos y filsofos y
tambin educadores, se negaron a soltar la tradicional visin sobre las matemticas que
parta en particular de su carcter formal, absoluto e infalible.
En algunas ocasiones he mencionado la relacin entre los resultados de Gdel y
una crisis del racionalismo, y he encontrado que los filsofos buscan siempre encontrar
salidas al asunto y se niegan a admitir el problema: se me dice que no se ha demostrado
la crisis del racionalismo, o que en el intuicionismo podemos encontrar gran xito
despes de Gdel, o que en la metamatemtica existen nuevas vas de lograr la
fundamentacin adecuada del conocimiento matemtico. Se me dice: usted no ha
demostrado nada, usted ha hecho un incorrecto anlisis de los filsofos para concluir
antojadizamente lo claramente falso. Es natural. Cuando se leen los resultados de Gdel
con otra mirada las conclusiones resultan diferentes. Nadie podra afirmar lo que yo he
afirmado desde las tiendas de la filosofa tradicional neopositivista, o racionalista (y
dentro del abanico de posiciones intermedias que aparecen entre ellas). La interpretacin
que hemos delineado se aparta de las visiones tradicionales y busca una
conceptualizacin diferente de la naturaleza de las matemticas. Busca impulsar un
programa de investigacin en la historia y la filosofa de las matemticas. A manera de
sistematizacin de una serie de ideas -y por supuesto de manera esquemtica- me voy a
permitir indicar una coleccin de ideas metodolgicas acerca de una nueva visin posible
sobre las matemticas. Si usted, estimado lector, encuentra que comparte -total o
parcialmente- algunas de las ideas que aparecen a continuacin, sintase preocupado,
porque si luego se atreve a decirlo en voz alta puede que no tarde en encontrar quien
califique sus ideas de locura, loquera, disparate, etc. Esta es una segunda
advertencia.
Yo afirmo que las matemticas se pueden entender a partir de una epistemologa
que enfatice una relacin mtuamente condicionante entre el objeto y el sujeto
epistmico, al mismo tiempo que una ontologa que establezca a las matemticas no
como a priori en el sentido clsico (ms an, creo que la distincin es insuficiente e
inapropiada para dar cuenta de las matemticas) y considero que estas se refieren al
mundo de igual manera que otras ciencias naturales, aunque no de la misma forma. Creo
que una combinacin epistemolgica y ontolgica de esta naturaleza crea una marco
conceptual diferente. Yo afirmo una epistemologa que apuntala el papel activo, no pasivo
ni receptivo, tanto del objeto como del sujeto epistmicos. Es decir, es una metodologa
en la que cualquiera de los dos factores puede ser ms determinante que el otro, pero
17
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
matemticas, creo que deben considerarse estos referentes no en s mismos,
independientes del sujeto, sino que existiendo estos referentes no se puede prescindir de
una relacin cognoscitiva con el sujeto, con sus lmites y sus condiciones (materiales,
psicolgicas, etc.) que intervienen precisamente para determinar la naturaleza del objeto
cognocitivo. En sntesis: El objeto es subjetivizado y el sujeto es objetivizado. Visto de
otra forma, al establecer una relacin material el sujeto con el objeto, se crea un referente
en el que es tan importante el sujeto como el objeto, y este referente es el referente para
la construccin matemtica; la construccin matemtica como creacin conceptual e
intelectual siempre como abstraccin que parte de un referente que slo puede existir en
el marco de esa relacin sujeto-objeto. De hecho, yo me aventurara a decir que en
general este es el mecanismo bsico a partir del cual se edifica todo conocimiento
cientfico. Conceptos matemticos como los de infinito, o el de continuidad, corresponden
precisamente a una realidad que no podemos decir que exista en s misma sino a partir
de una relacin entre el objeto y el sujeto epistmicos. El infinito no existe externamente o
si existe, es un punto a debatir, si se quiere, en el territorio de la prctica. Pero es obvio
que existe una realidad que aparece infinita al sujeto, debido a sus lmites, a sus
condiciones sensoriales, etc. La percepcin del sujeto es la base de la construccin
conceptual y la percepcin no es entonces un fenmeno pasivo en que el objeto brinde
sus determinaciones al sujeto; existe una relacin mutuamente condicionante. En esta
relacin se construye los elementos conceptuales.
Si las matemticas deben verse, como construcciones en las cuales intervienen el
objeto y el sujeto, y lo social, en las proporciones que correspondan, entonces, la
construccin matemtica debe verse como un acto histrico; es decir la construccin
matemtica es histrica. De lo que se trata para quien estudia la evolucin de las
matemticas, es de estudiar en cada momento cules fueron los factores que generaron
los resultados matemticos planteados. A veces la conexin con las otras ciencias
pueden ser lo decisivo, a veces las necesidades de la tcnica y la vida prctica, a veces
las necesidades de la coherencia lgica, a veces las intuiciones subjetivas ms extraas.
En la aventura de la construccin matemtica los factores decisivos pueden ser muy
variados y diferentes. No existe una receta universal a priori. Los temas y problemas de
inters en matemticas a veces han estado definidos por la colectividad intelectual o
matemtica, a veces por el inters individual. La flexibilidad es en matemticas an
mayor que en otras ciencias.
Para ir a una asunto particular, pero que siempre ha sido muy importante para m: la
visin anterior apunta, para cualquier estrategia educativa en matemticas, hacia el uso
de la historia de las matemticas. No es posible pensar en una estrategia de la
enseanza de la matemtica al margen de una vinculacin estrecha con el uso de la
historia de las matemticas. La historia de la matemtica se puede convertir en un
poderoso instructivo no slo para ambientar a partir de ancdotas las clases -cosa que
sera importante- y mejorar la asimilacin de los conceptos matemticos; sino tambin
19
para ayudar a definir la lgica y la estructura de los programas de matemtica. La
enseanza de los conceptos matemticos es la enseanza de la construccin de la
matemtica. Es imprescindible, entonces, que veamos la historia como un referente
metodolgico central a la hora de debatir cmo se trate la enseanza de las matemticas.
No quiere decir esto, por otro lado, que el orden que se deba seguir en la exposicin de la
matemtica, en su enseanza, sea necesariamente el histrico. Es evidente que las
grandes sntesis tericas, los nuevos conceptos deben abordarse introduciendo tambin
una alta dosis de deduccin y de modelos que codifiquen esas sntesis y resultados. Es
cierto que debe buscarse entonces un equilibrio entre lo histrico si se quiere, y lo lgico.
Pero debe introducirse sin duda la discusin histrica en la enseanza de la matemtica,
cosa que no ha sido ni estimulado ni sistematizado. La forma precisa del uso de esta
debe estar sujeto a investigaciones y experiencias concretas. Es un problema abierto. Yo
no creo, por ejemplo, que los cursos de matemtica bsica deban de convertirse en
cursos de historia de las matemticas. No creo tampoco que todos los conceptos y las
nociones de la matemtica deban introducirse histricamente ni siguiendo la evolucin
histrica que tuvieron. Creo ms bien que la historia de la matemtica debe jugar un
papel extraordinariamente decisivo en la formacin de los maestros y profesores de
matemtica. Creo que si logramos que los maestros y profesores realmente conozcan la
historia de la matemtica va a ser posible que enseen las matemticas de una forma
que pueda ser asimilada mejor, comprendida mejor, y utilizada mejor por los estudiantes.
Aunque no sea esta matemtica presentada a los estudiantes de manera histrica. La
presentacin histrica es algo que debe decidirse de manera concreta, de una manera
especfica. No creo que de manera a priori podamos definir como se hace esto. Esto est
sujeto a la investigacin como ya lo he dicho. Lo que quiero enfatizar es que cualquier
concepcin de la naturaleza de las matemticas que afirme a la construccin como algo
esencial, que cualquier visin que enfatice los aspectos constructivos de la matemtica,
que haga de la evolucin de la matemtica, la evolucin de construcciones, no puede
prescindir de una intervencin decisiva del uso de la historia de las mismas.
La visin que he tratado de delinear en las pasadas pginas afirma
epistemolgicamente un construccionismo -en un sentido general- heurstico, donde el
sujeto y el objeto juegan papeles activos definidos y concretos en contextos sociales y de
forma histrica; afirma la sancin emprica de la verdad en matemticas, aunque
reconoce la importancia de los criterios relacionados con la lgica en la misma.
Esta visin estuvo presente cuando redact las pginas que siguen, pero no se
podra decir que cada frase o cada idea que se encontrar en el libro es la deduccin
directa de las premisas que he planteado. Se trata ms bien de una relacin intelectual
flexible y amplia. No trato de demostrar mi interpretacin subjetiva en el anlisis
especfico del logicismo de Frege o Russell ni tampoco busco que todo todo lo que
menciono constituya crtica de otras posiciones filosficas.
20
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
Es evidente que sin la existencia de Frege o Russell no es posible pensar que la
idea logicista se habra planteado determinada por un desarrollo cuasi-mecnico de la
historia del pensamiento. Pero s es posible rastrear en el pasado las componentes
tericas y el contexto intelectual matemtico de ese proyecto logicista. Es posible
encontrar en sus prolegmena cierta concatenacin.
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
En Descartes todo esto es posible a partir de la reduccin a la nocin de espacio y a
su medicin en el interior de la cosmologa. El establecimiento de proporciones es la base
de la medicin espacial, es esto lo que expresa cuando se refiere a la extensin. El
carcter universal se desprende de una profunda unidad racional 10. Es universal por ser
racional; la justificacin recae en una sola parte de los participantes: en la relacin
cognoscitiva. Las reglas clsicas del mtodo cartesiano y no otras son las que estn
presentes aqu. Para Descartes la extensin es un elemento constitutivo de la esencia de
la matemtica, pero tambin lo es el orden, y, en relacin al espacio tambin la
dimensin. La matemtica universal de Descartes toma como punto de partida las ideas
claras y distintas de extensin y movimiento. El mecanismo cartesiano elevado a
cosmologa universal es geomtrico; es espacial, el movimiento no es fundamental. Esta
aproximacin va a poseer una gran influencia en el pensamiento occidental.
Se puede afirmar que la mathesis universalis cartesiana se reduce a una extensin
de los mtodos geomtricos a los problemas de las ciencias. La palanca terica que
utiliza es la redefinicin del espacio en trminos de extensin y proporcin, como seala
Gerd Buchdahl en Methaphysics and the Philosophy of Science:
El tema de que la extensin y comparaciones entre extensiones es la
materia propia de la ciencia, ha sido previamente abordado ms ampliamente
en Regulae XII y XIV 11.
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
UN PASO MS: EL LOGICISMO LEIBNIZIANO
27
En Leibniz el problema ontolgico est resuelto por la va divina.
Epistemolgicamente las proposiciones de la matemtica son verdades porque son
verdades de razn, lo que quiere decir, que su negacin es lgicamente imposible. Las
verdades de la matemtica no se refieren al mundo, en donde se exige una relacin
prctica material con lo real independiente a la conciencia subjetiva, no son verdades
de hechos. Leibniz funde la lgica con la matemtica de un plumazo: las reglas lgicas
de la no contradiccin, las leyes de la identidad y del Tercero Excluido..., son las que dan
la base de la epistemologa matemtica leibniziana. A diferencia de Platn, la ontologa
aqu no es lo determinante. Leibniz proporciona una teora de la verdad matemtica
capaz de ser funcional. Para Leibniz, es necesario buscar una simbolizacin de los
pensamientos; lenguaje que permita luego a travs de un clculo mecnico resolver las
discusiones entre los hombres.
Las ideas de Leibniz no slo son precursoras del logicismo en la conjuncin lgica y
matemtica. Sino tambin de los mtodos finitistas de constructibilidad de frmulas y de
consistencia formal de la escuela hilbertiana. No es extrao que esto sea as, en tanto en
cuanto Leibniz readecu el modelo aristotlico en los trminos que posteriormente (en los
siglos XIX y XX) ocuparan un lugar privilegiado en la concepcin de la naturaleza de la
matemtica. Leibniz fue el filsofo racionalista que contribuy con mayor claridad al
desarrollo de lo que podemos llamar un paradigma formalizante y axiomtico de las
matemticas. Este modelo constitua una parte extraordinariamente importante de toda
su filosofa. La monadologa se puede apreciar en realidad como un reduccionismo
ontolgico de corte axiomtico. Leibniz fue precursor de orientaciones y mtodos que
tendran una mayor influencia en el siglo XIX. Es interesante sealar, sin embargo, que,
aunque el logicismo lo asumi como precursor, Leibniz pensaba que la lgica poda ser
matemtica (idea que atribua a Aristteles en carta a Gabriel Wagner en 1596 y que, de
28
hecho, Roger Bacon tambin la haba expresado en su tiempo).
29
designar sus miembros individuales por medio de un nombre comn 24. Es en el
lenguaje, aade, donde vamos a observar la manifestacin de las operaciones de la
mente y, por tanto, sus leyes van a ser tambin las leyes del mismo lenguaje.
Hagamos una disgresin en este punto: el lenguaje es un instrumento del
pensamiento y no slo un medio; est entonces en una relacin fundamental con el
pensar, y, por lo tanto, debe ocupar una posicin determinante en todo anlisis
epistemolgico.
El mtodo de Boole es el de incidir en el lenguaje que, como manifestacin del
operar intelectual, conducir al anlisis de las operaciones de la mente; como seala en
An investigation of the laws of thought:
Estudiando las leyes de los signos, estamos en efecto estudiando las
leyes manifestadas del razonamiento 25.
30
Coherente con estos objetivos, la consideracin que hace de la lgica no es en
trminos de filosofa, si por ello se entiende metafsica. La lgica es matemtica, porque
es esencialmente axiomtica y operativa. Ms an, especialmente, por ser desarrollada
como un clculo simblico. Existen verdades fundamentales sobre las que descansan
todas las otras verdades. Todas ellas descansan sobre ...la fundamentacin de unos
cuantos axiomas; y todos estos son verdades generales 29. Esto, que seala en sus
Laws of thought, ya lo haba sealado en 1847 as:
... la lgica, como la geometra, se basa en verdades axiomticas y ...
sus teoremas se construyen teniendo en cuenta esa doctrina general de los
smbolos que constituye la base del Anlisis hoy aceptado 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:
31
Las obras publicadas hasta la fecha arrojaban dos importantes
resultados que habran de servir a Boole de punto de partida: (I) el
descubrimiento de la posibilidad de un lgebra de entidades que no fuesen
nmeros en ninguno de los sentidos convencionales del vocablo, y (II) el
descubrimiento de las leyes que rigen para cualquier clase de nmeros hasta
llegar a los complejos e incluidos estos ltimos, no necesitan ser conservadas
en su totalidad por un sistema algebraico que no resulte aplicable a tales
nmeros 33.
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
OTRO COMPONENTE: LA BSQUEDA DE LA RIGORIZACIN Y LOS
FUNDAMENTOS LGICOS
34
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
...las necesidades del anlisis en particular el estudio a fondo
de las funciones de variables reales, que se desarrolla durante todo
el siglo XIX 55.
Tal y como la conocemos ahora es trabajo de Cantor. Este se interes por el asunto
en 1872, a propsito de los problemas de equipotencia en 1873, de la dimensin a partir
de 1874, y entre 1878 y 1884 incidi sobre casi todos los problemas de la teora de los
conjuntos 56. A pesar de la oposicin general que esta teora gener en la poca de
Cantor, Weierstrass y Dedekind siguieron con inters la labor de Cantor. Para Dedekind
su objetivo era fundamentalmente la aplicacin de la nocin de conjunto a la de nmero
57. Desde el momento en que aparecen muchos de los resultados, stos van a ser
aplicados a las cuestiones clsicas del Anlisis 58. La teora de conjuntos fue muy
importante porque iba a servir como engranaje de los principales resultados matemticos
y lgicos de la poca y tambin concentrara sobre ella la reflexin sobre los fundamentos
de la matemtica. La teora de conjuntos, de una u otra forma, va a representar desde
entonces un papel esencial en la descripcin de las matemticas, a pesar de las
dificultades que a partir de ella se sucedieron en momentos posteriores.
Con los elementos de la filosofa moderna de las matemticas que se plantean en
Descartes y Leibniz, y con los resultados matemticos y lgicos del siglo XIX, se ofreca
un cuadro intelectual extraordinario para la sntesis en los fundamentos y la reflexin
sobre las matemticas. Esta va a ser realizada por Gottlob Frege retomando -en esencia-
la filosofa logicista de Leibniz.
36
CAPTULO II
FREGE: EL PROYECTO LOGICISTA PRIMERA ETAPA
EL CONCEPTO DE NMERO
38
La crtica al empirismo clsico
Critica a J.S. Mill en aquella vieja posicin de que el uso de la definicin de un
nmero en forma correcta exige el conocimiento de un hecho fsico especfico y que el
signo + se refiere a la adicin fsica:
El smbolo de suma ciertamente puede aparecer corresponder, en
muchas aplicaciones, a la formacin de un grupo; pero este no es su
significado; porque en otras aplicaciones podra no tratarse de grupos,
agregados, de las relaciones de un cuerpo fsico respecto a sus partes, por
ejemplo, cuando el clculo se refiere a sucesos. Ciertamente, aqu tambin se
puede hablar de partes; la palabra se usa, pero no es un sentido fsico o
geomtrico, sino en sentido lgico, como cuando se llama al asesinato de un
tirano una parte del asesinato en general. Aqu hay subordinacin lgica. Y as,
en general la adicin tampoco corresponde a una relacin fsica. En
consecuencia, las leyes generales de la adicin tampoco pueden ser leyes
naturales 2
39
En esta crtica a Mill, Frege pone en evidencia una concepcin de la aritmtica
separada de las leyes naturales, separada de la prctica social, emprica y material. Un
elemento constitutivo de una visin y un modelo de aproximacin particular es en la
reflexin sobre la naturaleza de las matemticas.
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
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
el concepto habitante de Marte no cae ningn individuo 10.
La concepcin de Frege sobre los nmeros plantea un problema que es, de hecho,
epistemolgico y ontolgico. La seguridad con la que Frege dice ... ver como no se
puede atestigua la firme conviccin de estar tratando en la aritmtica no con criterios
sintcticos, fciles de variar sin consecuencia alguna, sino con una descripcin de una
realidad que es aprehendida. El nmero se refiere a los conceptos, pero Frege lo plantea
de tal forma que manifiesta un sustrato ontolgico, cuya esencia aparece descrita al seno
de un mundo objetivo no espacial y no sensible. La aproximacin de Frege muestra que
los nmeros no se pueden concebir como los conceptos de las ciencias naturales
(distincin, color, nmero) 13, pero al mismo tiempo se escapa de la realidad fsica.
42
Una interpretacin histrica de las matemticas
Hagamos una pequea disgresin. La conciencia, el pensar, el pensamiento y el
lenguaje son elementos ligados entre s y producto todos de la actividad material de los
hombres. La conciencia del hombre es, esencialmente, el ser consciente de lo que le
rodea, de lo objetivo a lo que se opone, y de s mismo. La expresin de la conciencia es
la expresin limitada por el desarrollo biolgico-cultural y social concreto del hombre y su
conciencia.
La matemtica es parte de los productos de la conciencia de los hombres en su
proceso de vida, nace como todas las disciplinas tericas en el seno de la relacin
sealada. Los conceptos tericos de la aritmtica y la geometra son construidos por los
hombres como partes integrantes de la elaboracin de su conciencia en su relacin con
el mundo real, nacen histricamente ligados a las actividades concretas del contar, medir,
ordenar, agrupar, organizar, etc., necesarios en esa prctica vital. Se refieren, de una
manera diferente a otras nociones de otras ciencias, a condiciones de lo real, aunque
mediatizadas por el sujeto (materialmente).
Con el desarrollo global de las sociedades, la cultura, el conocimiento, las tcnicas,
los conceptos y nociones matemticas se han reestructurado, reorganizado, se han
ampliado se han integrado otros nuevos y se ha establecido en general una legalidad
interna. Pero estos elementos han sido engendrados en un proceso de este orden,
usando reglas de derivacin, implicaciones lgicas, que a su vez, estn conectadas con
las condiciones del devenir de lo real. El proceso ha conducido a cuerpos tericos y a
reglas que no poseen ni la misma forma ni el mismo contenido originario con la realidad
material, pero que no estn separados de l.
Las proposiciones de la matemtica no son meras generalizaciones de hechos
fsicos o el sentido abstracto de repeticiones materiales, pero estn ntimamente
conectadas a las relaciones materiales como, en general, sucede con todas las llamadas
ciencias naturales.
Se puede estudiar las leyes de la lgica a travs de las leyes y reglas de la actividad
del sujeto, del pensar. En esta situacin no se trata de un sujeto particular o del contenido
individual de lo pensado, sino de uno ideal, epistmico. Las leyes de la expresin de la
conciencia (como suger en el prrafo anterior) tambin corresponden a las leyes del
devenir de lo real.
Los desarrollos matemticos y lgicos pueden de partida conducir a resultados
verdaderos sobre lo real, precisamente a partir de la naturaleza misma de las nociones y
reglas de la matemtica y la lgica. La aproximacin especfica al objeto no es, sin
embargo, un problema meramente terico, es tambin prctico. Los signos 1,2,3, etc.,
corresponden entonces al marco de las nociones especficas de las matemticas.
Corresponden al movimiento y a la diversidad de lo real. Sin embargo, su referencia no
43
son objetos en s sino de alguna forma subjetivizados , no a partir de categoras o
nociones innatas en el sujeto sino a partir de las condiciones materiales del mismo. Las
nociones de las matemticas nacen de una forma precisa de la relacin material sujeto-
objeto, ms que del objeto en s. Aqu es posible detectar las diferencias con relacin a
las de las ciencias naturales. Hay una intervencin precisa del sujeto, aunque material,
pero que es la base de su mismo operacionar mental. El nmero en esta interpretacin
no es algo que se refiere a conceptos y que encuentra su pleno sentido en el marco de
un mundo independiente objetivo no sensible sino que est referido a aspectos de la
naturaleza y la sociedad que son determinados en la relacin sujeto-objeto. En este
terreno debe quedar claro que yo no sugiero que la realidad material de la que es
expresin el nmero como concepto terico sea aprehendible por los hombres de la
misma forma que por ejemplo lo es el color verde. Lo que s afirmo es la base material de
lo que llamamos nmeros, en cuyo sustrato se encuentran condiciones que parten de la
diversidad.
La concepcin de Frege es bastante diferente de la que he expuesto. Para l los
nmeros son objetos referidos a conceptos, a un mundo no sensible. Las reglas de
manipulacin de esas nociones de dnde pueden provenir? Como no se refieren a la
realidad material, deben provenir de este mismo mundo. Este mundo es coherentemente
timeless. A partir de aqu es fcil sealar cmo las dificultades de la dialctica del crear
y el descubrir en el conocimiento son resueltas en Frege por la va ontolgica. La verdad
se aprehende en la descripcin acertada de las leyes de un mundo objetivo irreal. La
nocin de nmero en Frege est conectada a la de objetividad y se plantear desde la
poca del Grundlagen a la de Der Gedanke, predominando en el sentido del ltimo
trmino unas veces las consideraciones epistemolgicas y otras las ontolgicas. Frege
asume el proyecto logicista como parte del proceso de rigorizacin de las matemticas,
de su fundamentacin lgica; parte tambin de la evolucin innovadora de la lgica, pero
lo hace especialmente en la bsqueda del esclarecimiento de la naturaleza de la
aritmtica y del sentido ltimo de los nmeros. Sus esfuerzos ayudaron a conformar una
visin de las matemticas que todava est presente en el cosmos intelectual de nuestros
das.
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.
Es claro que entre principios de lo pensable y leyes de la verdad, sea lo que sea
que signifiquen, debe haber una gran identificacin.
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.
48
En el Prlogo a los Grundgesetze seala:
...los recorridos tienen adems una gran importancia fundamental; yo
defino el nmero mismo como una extensin de concepto, y las extensiones
de concepto son segn mi concepcin, recorridos 30
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
Quine en On Frege's way out lo expresa simblicamente:
De acuerdo al sistema original de Frege, cada atributo tena una clase
( ) 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
Entre concepto y extensin de concepto apareca entonces una dificultad que no era
fcil de abordar. En el terreno de la teora de clase ya haban aparecido paradojas antes
que la de Russell. Ya en 1895 Cantor mismo haba detectado la que se conoce como
Burali-Forti y en 1899 la que lleva su mismo nombre. En 1905 J. Richard encontr una
nueva y aos despus aparecieron las de Berry y Grelling. La emersin de las paradojas
hicieron cimbrar el proyecto de Frege.
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.
53
reduccionista de la aritmtica. Frege afirm, aunque sin caer en el formalismo, el
paradigma de lo formal integrado al racionalismo. Lo verdadero va a ser encontrado en la
derivacin lgica, en la deduccin misma.
La aritmtica para Frege es conocimiento verdadero a priori, desconectado de la
realidad fsica y separada de cualquier intuicin. Para Frege la nocin de analiticidad que
seala Leibniz y Kant se establece en trminos stricto sensu de derivacin lgica. Las
proposiciones de la aritmtica son entonces analticas. Esta es una forma de enfatizar su
naturaleza separada del mundo real material. Frege a travs de los resultados que
obtiene en su Conceptografa va a apuntalar el clculo simblico y sintctico. Tambin va
a apoyar el contenido abstracto y formal en la axiomtica de la aritmtica. El logicismo de
Frege apuntal un paradigma que enfatiza los aspectos deductivo-formales, no intuitivos
ni materiales de la aritmtica, pero lo hizo mal, lo hizo a medias.
Para Boole y Leibniz un clculo simblico deba dar cuenta no de la aritmtica, sino
de los pensamientos en general; la lgica en Boole es operatoria-calculatoria, por eso es
matemtica. Para Frege no se trata de lo mismo. El Begriffsschrift genera un lenguaje en
el que se debern mover significaciones. Frege quiere dar cuenta de una nueva
matemtica, pero en ella afirma los fundamentos lgicos; la evidencia no es sintctica, es
semntica.
La verdad no es mera manipulacin de signos, corresponde a lo real. Slo que lo
real aqu no es material. La lgica est conectada con lo ms profundo de las leyes de la
verdad. La aritmtica es verdad. En Frege el logicismo es platonista; afirma entonces
alguna realidad, sea cual sea. Esto no es formalismo. El objeto condiciona sus reglas y la
descripcin de sus relaciones internas. Siempre que se apela a una realidad sta es
determinante. En Frege este mundo real no es material y por eso las totalidades, las
entidades y objetos cuya existencia se afirma, no siempre resultan apropiadas en
conexin con la naturaleza de las matemticas. Frege concibe el proyecto logicista
sobre la base de una concepcin filosfica de la aritmtica y la matemtica en general.
Su platonismo no es una visin ajena a las condiciones en la abstraccin de la
nueva matemtica. Pero Frege incluso no va en su reduccin logicista ms all de la
aritmtica. En lo que se refiere a la geometra permanece fiel a Kant; en ella s es
necesario recurrir a una intuicin. Frege apuntal el paradigma de lo formal y a priori en
matemticas, pero sus alcances fueron limitados, tanto por la poca repercusin que tuvo
en los medios intelectuales de la poca, como por la naturaleza de su concepcin.
Las paradojas (de las que Frege slo se dio cuenta al final 47) abrieron las
condiciones para intentar redefinir un proyecto logicista. Russell, que haba iniciado su
vida filosfica en una luna de miel con el idealismo britanizado de Kant y Hegel, haba
sufrido una revolucin en sus aproximaciones intelectuales filosficas. El inters por la
lgica matemtica lo iba a conducir a iniciar la segunda y ms influyente etapa del
logicismo moderno.
54
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.
56
para los pitagricos.
Esto sera decisivo: la imagen primigenia sobre la matemtica de Russell (de un
edificio de verdades firme y seguro) interactuara con las dificultades arrastradas por el
factor paradojas desde un principio. Esto condicion la evolucin de toda su
aproximacin terica sobre las matemticas.
En el prefacio de Principia Mathematica Russell afirmaba que haba demostrado
...que es posible construir una lgica matemtica que no lleve a contradicciones 3. Esto
encerraba el ncleo de sus pretensiones filosficas sobre las matemticas. El logicismo
se plantea aqu como la forma fundamental de asentar la coherencia y solidez de las
matemticas. Al igual que en Frege se trataba de exhibir la naturaleza axiomtica de
stas en primer lugar, y demostrar cmo las nociones primarias son lgicas. El punto de
partida es transparente: al igual que en Frege la lgica es consistente, quedar probado
que tambin la matemtica lo es, si se reduce a sta.
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.
57
1. Los conceptos de las matemticas pueden ser derivados de
conceptos lgicos a travs de definiciones explcitas. 2. Los teoremas de las
matemticas pueden ser derivados de axiomas lgicos a travs puramente de
la deduccin lgica 7.
Hempel, en On the nature of mathematical truth, nos dice (lo que ser la
interpretacin positivista de la matemtica), como consecuencia de lo que establece el
logicismo, que la verdad de las proposiciones matemticas se establece slo por virtud
de las definiciones matemticas que intervienen 8. La certeza de las proposiciones
matemticas es entonces incuestionable y las matemticas no poseen contenido
fctico alguno: no transmiten informacin sobre ningn material emprico 9.
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
iv) : pv (qvr).)qv(pvr)
v) : .q)r.):pvq.)pvr
58
Estas proposiciones deben estar acompaadas de reglas precisas de determinacin
de sus propias consecuencias 14. El camino seguido en Principia hace pasar de las
proposiciones a las funciones proposicionales. Estas ltimas representan clases a travs
de lo que puede llamarse definiciones intencionales. Como seala Wilder:
...la nocin de conjunto puede ser reemplazada por la de propiedad, un
conjunto es considerado consistiendo de todas las cosas que poseen cierta
propiedad dada 15.
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.
59
De una manera ms extensa y precisa se refiere a ello en La evolucin de mi
pensamiento filosfico:
Esta definicin tiene varias ventajas. Afronta todos los problemas que
haban surgido antes en relacin con 0 y l. 0 es la clase de aquellas clases
que no tienen miembros, es decir, es la clase cuyo nico miembro es una clase
que no tiene miembros. l es la clase de aquellas clases que tienen la
propiedad de consistir en cualquier cosa que sea idntica a algn trmino x.
Una segunda ventaja de la definicin es que vence las dificultades relativas al
uno y a muchos. (...). Pero mucho ms importante que cualquiera de estas dos
ventajas es que nos vemos libres de los nmeros como entidades metafsicas.
Se convierten, de hecho, en meros convenios lingusticos con no mayor
sustancialidad de la que tiene etctera o por ejemplo 23.
60
Los nmeros naturales van a ser definidos como:
...aquellos nmeros en los que las demostraciones por medio de la
induccin matemtica son aplicables, es decir, como aquellos que poseen las
propiedades inductivas 28.
LA TEORA DE TIPOS
61
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.
62
Mas si la matemtica ha de ser posible, es absolutamente necesario que
encontremos un medio de formular enunciados que equivalgan de algn modo
a aquello en que pensamos al hablar (impropiamente) de todas las
propiedades de x. Esta necesidad se pone de manifiesto en relacin con
la induccin matemtica(Negrita aadida) 38.
Aqu es claro que no se trata de un axioma lgico, pero podra muy bien ser
expresado como una hiptesis cada vez que se lo emplea, en lugar de admitirlo como
realmente verdadero 41. Ms an, se refiere a este axioma como una forma
generalizada de la identidad de los indiscernibles de Leibniz 42. Ramsey demostr que
en las paradojas en las que aparecen trminos como significar, definir, nombrar, o
afirmar, stos no corresponden al terreno de las matemticas sino a una meta-teora;
por lo tanto no es necesario el axioma de reducibilidad 43.
63
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
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
PROBLEMAS DE LAS CLASES
65
Principia (en su primera edicin) no satisface (....) si definible significa
definible dentro del sistema, y no se conoce ningn otro mtodo de definir
fuera del sistema (o fuera de otros sistemas de matemtica clsica) que los
que ya involucran totalidades ms amplias que las que aparecen en los
sistemas 57.
Detrs de la adopcin de esta teora, en la que apenas se sustituyen las clases por
las nociones igual o ms complicadas de propiedades y relaciones 58, se encuentra
cierto nominalismo. Aqu encontramos cierta degradacin de las clases en smbolos
incompletos 59.
La nocin original de clase estaba conectada a las contradicciones que suponan las
paradojas de una manera muy directa. Esta teora original, segn Black:
...colaps a travs de inconsistencias internas asociadas con la
existencia de clases infinitas, y fue sacudida por muchas teoras alternativas
de clases todas menos realistas que la descrita antes, hasta que las clases
vinieron a degradarse como smbolos incompletos 60.
El nuevo carcter que di Russell a las clases no resolvi los problemas planteados,
puesto que (en parte) ellos estaban originados en las dificultades de la definicin de
smbolo incompleto en Principia. Sobre todo por la vaguedad de la nocin de funcin
proposicional 61.
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.
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
PROBLEMAS DE LA TEORA DE TIPOS
68
definiciones impredicativas porque algunas de stas han engendrado paradojas; menos
an cuando gran parte de las matemticas se van con ellas. Lo que se plantea es
entonces la redefinicin del carcter de las entidades matemticas (de las definiciones,
que son el lugar privilegiado de su produccin).
La teora de tipos y los axiomas no lgicos del logicismo russelliano son la
manifestacin ms elocuente de su fracaso material. Pero las dificultades se siguen las
unas a las otras.
El anlisis matemtico clsico contempla proposiciones infinitas por doquier. Sin la
posibilidad de hacer valer este tipo de proposiciones, una autntica fundamentacin no
sera posible 72.
El problema del infinito est conectado a la asuncin de las totalidades en general.
El infinito actual al igual que otras entidades matemticas es una totalidad. Esta nocin
entonces est conectada a la de las clases y tambin a la del continuo.
Es necesario que demos algunas ideas metodolgicas. No puede existir para los
sentidos o la conciencia actuales de un hombre un nmero infinito de cosas. Pero un
concepto de nmero infinito actual puede servir dentro de una teora de la que pueda
extraerse un modelo que exprese cierta realidad. A lo que se referira no sera a un objeto
infinito en s sino a uno que puede ser subjetivizado como tal. Es decir lo infinito puede
entenderse como un concepto que en la conciencia puede equivaler a algo ilimitado en lo
actual. Determinar, por otra parte, si existe en la realidad material un nmero infinito de
cosas (simplemente lo infinito) no es un problema terico, sino prctico y, probablemente,
irresoluble. No se puede entonces afirmar como hiptesis de lo real, universal y absoluta.
Pero si se entiende como una entidad abstracta subjetivizada, reducida a los lmites de lo
humano, entonces su validez est en dependencia de la funcionalidad terica y prctica
que de su asuncin se obtenga. Para nuestra matemtica de hombres limitados, finitos,
las nociones del infinito numrico (aritmtico o analtico) no son necesariamente intiles y
sin fundamento. El fundamento no est en la realidad en s (pensar as nos conducira a
un callejn sin salida cientfica) ni en la subjetividad interior en s (que nos conduce a la
esterilidad). El fundamento tampoco est en inteligentes recursos tcnicos, est en una
adecuada interpretacin epistemolgica, ontolgica, de los lmites y condiciones del
conocimiento humano.
69
SOBRE EL INFINITO Y EL CONTINUO
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.
72
PROPIEDAD LGICA, CONCEPTOS EMPRICOS Y NO EMPRICOS
73
Krner: Sobre los conceptos empricos y no empricos
Krner seala una objecin ms al proyecto logicista: la asuncin de los axiomas no
lgicos genera problemas ms all de las repercusiones que eso tiene en la lgica
operatoria; tiene efectos en la extensin de los diferentes conceptos utilizados 80.
En efecto, si se usa la totalidad infinita de naturales como base de definicin de
cada nmero natural, ste depende en cierta forma de esa totalidad; lo que no sucede si
se asume la coleccin de naturales como finita. La situacin se vuelve transparente
cuando en lugar de hablar del 2, hablamos de 2 manzanas. Para Krner el logicismo
hace una fusin indebida de conceptos a priori y a posteriori, que l llama no empricos
y empricos. Para Krner se debe diferenciar claramente las dos cosas y piensa que no
tiene por qu existir una correspondencia entre los nmeros empricos y los no empricos
81. Afirma que en el logicismo se asume:
...primero, que resulta siempre claro si un concepto est o no en una
determinada relacin lgica con otro, y, en segundo lugar, que las relaciones
lgicas posibles entre conceptos matemticos no son esencialmente distintas
de las que pueden subsistir entre conceptos empricos. Estos dos supuestos
son errneos uno y otro 82.
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.
Entonces, aada:
Las constantes lgicas pueden ser definidas exactamente como
definimos a las formas; de hecho son en esencia lo mismo 85.
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.
78
La diferencia entre teora y prctica que arriba se seala obedece a la conjuncin de
actitudes filosficas distintas en Russell; y donde, en especial, el factor paradojas
generaba un llamado de auxilio a la navaja de Occam. Gdel comparte con Russell la
comparacin que ste hace entre las matemticas y una ciencia natural 93.
El sentido de la lgica del Russell de esta etapa (al igual que en Frege) no es
sintctico, sino semntico. En esta etapa la lgica apunta, si se quiere, a una cosmologa
94. Como bien seala Largeault:
...reprocha a la caracterizacin sintctica el introducir una arbitrariedad y
una libertad inadmisibles: no acepta los lenguajes lgicos o postulados
variables de Carnap 95.
La lgica posee entonces dos aspectos: por un lado, uno lingustico, y por el otro,
uno ontolgico 96. Lo que predomina aqu es el primero. De hecho, la crtica al
formalismo pone de manifiesto ese sentido de la realidad que interviene en la
descripcin de su interpretacin de la lgica y las matemticas.
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
permitieran debilitar el racionalismo en matemticas, y abrir posibilidades para una
reconstruccin teortica de la reflexin sobre las metemticas. En el fracaso del
logicismo, y despus de los resultados gdelianos de los Treinta, tal vez pueda entonces
leerse un fracaso de los intentos por brindar un fundamento absoluto a las matemticas .
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.
81
Los enunciados afirmativos en general pueden concebirse, lo mismo
que las ecuaciones o las expresiones analticas, descompuestas en dos
partes, una de las cuales est completa en s misma, mientras que la otra
precisa de complemento, es no saturada (...); llamo funcin al significado de
esta parte no saturada 5.
Y ms adelante, completa:
...objeto es todo lo que no es funcin, la expresin de lo cual, por tanto,
no lleva consigo un lugar vaco 6.
No se trata, para Frege, de una mera separacin lingstica, apunta a lo que existe.
De hecho, la divisin se reproduce en el lenguaje. Mostern informa:
Un nombre -name- o expresin nominal es una expresin lingstica que
designa algn objeto determinado. Un mismo objeto puede ser designado por
diversos nombres. Todas las expresiones lingsticas son nombres o
expresiones functoriales. Los nombres son completos o saturados y designan
un objeto. Las expresiones functoriales son incompletas o no saturadas y
designan una funcin (Negrita aadida) 7.
Esta divisin de Frege entre objeto y funcin fue extrada claramente del concepto
de funcin en la matemtica. Las propiedades que poseen las funciones en matemtica
tambin estn presentes en la divisin fregeana. As se explica el sentido de
completitud, valor de la funcin, etc. Frege, en la misma conferencia que mencion,
observaba que: ...la funcin, por s sola, debe denominarse incompleta, necesitada de
complemento o no-saturada 8. Y adems, expresaba que:
...cuando hablamos por ejemplo, de la funcin 2x + x, no hay que
considerar que x pertenece a la funcin, sino que esta letra slo sirve para
indicar el tipo de complementacin que le falta, al hacer patente los lugares en
los que tiene que entrar el signo del argumento. (...) llamamos a aquellos en lo
que se convierte la funcin al ser completada por su argumento, el valor de la
funcin para este argumento 9.
82
La pregunta, concluye (Frege) a cul entidad se refiere una funcin?
no tiene sentido, puesto que una funcin no nombra a una entidad, una funcin
no obstante tiene un sentido, un significado, en el contexto de una oracin
algebraica 10.
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.
83
Frege seala que la referencia de todo concepto es su valor de verdad. Es correcto
tratar de buscar en las nociones conceptuales el asignar un valor de verdad, entendiendo
por ello una sancin de su aproximacin o no a lo real. Pero combinar las nociones de
concepto, funcin y valor veritativo, de la forma que lo hace Frege, es inadecuado. Un
concepto puede describirse simplemente como una funcin alejada de referentes en el
mundo real. La definicin de concepto de Frege es reduccionista y rgida. El tratamiento
que hace de la nocin de referencia tambin es inadecuada. No es lo mismo decir que
existe o existi un referente para Csar, que el referente de un concepto es un valor de
verdad. Aqu lo verdadero o lo falso son entes especiales que sirven de referencia
casi universal. Gdel comenta sobre esto que:
Frege lleg realmente a esta conclusin, y lo entenda en un sentido casi
metafsico que recuerda en cierto modo la doctrina eletica del Uno 12.
84
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 concepto-
objeto, 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.
1. Denotaciones ordinarias
a. Valores de verdad
b. Rangos
c. Funcin-correlatos
d. Lugares, momentos, time-spans
e. Ideas
f. Otros objetos
85
2. Sentidos ordinarios
B. Funciones
1. Funciones cuyos valores son valores de verdad
a. Con un argumento (concepto)
b. Con dos argumentos (relaciones)
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.
Seala Frege que: Una idea que alguien tiene pertenece al contenido de su
conciencia 26; y enfatiza: ...ideas necesitan un portador. Las cosas del mundo exterior
son sin embargo, independientes 27.
Sigamos con la descripcin de las nociones de Frege. Se pregunta si un
pensamiento es una idea y concluye que no, puesto que en caso contrario se llegara
al absurdo de que la verdad no es nica; dependiendo de los portadores individuales de
ideas las nociones del conocimiento, se llegara a que no es posible la ciencia como
cuerpo terico intersubjetivo. Porque:
Si alguien toma pensamientos como ideas, lo que reconoce como
verdadero es, en su propia visin, el contenido de su conciencia y eso no
concierne propiamente a ninguna otra gente 28.
87
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
Algunos supuestos fregeanos
Rulon Wells seala que existen varios supuestos concretos en la base de la
argumentacin fregeana: primeramente, la existencia de un mundo objetivo
independiente aunque accesible al conocimiento humano; en segundo lugar, que
conocemos parte de esa realidad, en donde se integra la matemtica; que nuestro
conocimiento lo es de verdades objetivas, independiente del tiempo, y que stas son el
objeto tanto de las ciencias naturales como de la lgica y la matemtica 35.
Estos supuestos ya colocan a Frege suficientemente cercano al realismo. En esta
interpretacin de Frege la nocin de Concepto que usa es una referencia, y stas son
entidades, unidades ontolgicas ltimas 36.
Para Klemke los conceptos de Frege son universales porque: si los objetos son
particulares entonces se tiene que las propiedades son universales; al ser los conceptos
propiedades, la conclusin es inmediata 37. Los conceptos de Frege son universales y
ontolgicamente anteriores a los objetos 38.
Existen dos argumentaciones importantes en este terreno de las que parte Frege.
Seala Richard Eldridge en Review of Methaphysics (marzo 1982) que una de ellas est
basada en el anlisis de las propiedades de la verdad, donde la verdad y falsedad son
propiedades de los pensamientos 39. Y la otra argumentacin consiste en ...una crtica
explcita de la epistemologa tradicional basada en las ideas 40. Ambas
argumentaciones conducen en Frege a la conclusin de que pensar es aprehender un
pensamiento, el cual es verdadero o falso 41.
Los razonamientos de Frege no son demostraciones incuestionables sino que
parten de supuestos en lo que quiere probar: Frege asume que la verdad y falsedad son
propiedades de los pensamientos, as como asume que una epistemologa de ideas
conduce al escepticismo del conocimiento de cosas separadas 42.
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
LA IMPORTANCIA DE LA EPISTEMOLOGA EN FREGE
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.
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.
Sluga sugiere que, al igual que la Filosofa crtica de Kant, Frege rechaz las
cuestiones ontolgicas por considerarlas metafsica dogmtica 18.
Por ltimo, Sluga seala que Frege no puede ser considerado realista en un sentido
fuerte cuando llega a admitir que ...espacio y tiempo son intuiciones a priori y que las
proposiciones geomtricas y temporales son, entonces, sintticas a priori 19. Tambin
vincula Frege a Kant el hecho de que para el primero no existe una relacin directa con
los objetos, estn los pensamientos va interpuesta; en Kant son las categoras del
entendimiento. Estos dos ltimos hechos no conducen, sin embargo, necesariamente a
las conclusiones de Sluga, como explicar ms adelante.
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
98
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.
99
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.
101
FREGE Y KANT
En efecto, sin salir del marco epistemolgico kantiano, Frege lo que propuso fue una
correccin precisa en relacin a la aritmtica. Colocaba sta en un nivel superior al de la
geometra, asimilada a las leyes de las leyes de la Razn, no poda entonces ser
producto de una intuicin, aunque fuese a priori. Esto es claro y decisivo en la filosofa de
Frege. Nos dice:
102
No yace la base de la aritmtica a mayor profundidad que la de la
misma geometra? Las verdades aritmticas gobiernan el campo de lo
numerable. Este es el ms comprehensivo, puesto que a l pertenece no slo
lo real, no slo lo intuitivo, sino todo lo pensable; las leyes de los nmeros, as,
no deberan estar en ntima unin con las del pensamiento? 34.
La fuente que encuentra Frege para las verdades analticas es la derivacin lgica,
conectada con la Razn misma. Sin embargo, cuando se suceden los fracasos del
proyecto logicista Frege abandona esta pretensin y busca fundamentar la aritmtica en
la geometra, con lo cual tampoco sale del marco definido por Kant.
Se podra argumentar que los lazos de Frege con Kant son menores, accediendo,
por ejemplo, a las crticas que realiza el primero contra el psicologismo y el intuicionismo
en la lgica y la matemtica. Pero tambin se puede precisar mejor la naturaleza de la
crtica anti-psicologista que realiza. Se trata, sobre todo, de criticar la identificacin de la
lgica con los procesos mentales, de criticar el consenso acerca de lo verdadero como
criterio de verdad y de criticar que el significado de una expresin es la idea que sta
genera en nosotros y la identificacin de nmeros con entidades mentales 40. De hecho,
sin sobrestimar los procesos psicolgicos en el conocimiento vlido, puede sugerirse que
103
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
Si la conexin de una filosofa con el marco epistemolgico de Kant fuera suficiente
para su caracterizacin, muchos infieles entraran ya en la categora de kantianos. Es
acertado conectar Frege a Kant y descubrir en su anlisis las relaciones entre sus
filosofas; pero es insuficiente, ms an, no es lo esencial, en la caracterizacin de su
filosofa de la matemtica.
105
Cuando la mente es as elevada a la categora de productora de conocimiento a
priori, se han engendrado las condiciones no slo para explicar la aritmtica, sino el
conocimiento en general y toda la realidad. Para Kant, para Boole, para Descartes, y
para Frege, la mente es una palanca creadora o aprehendedora de verdades que, casi
siempre, son previamente caracterizadas como absolutas, inmutables (aunque sus
nociones de verdad, de a priori, etc., no sean idnticas). Todos ellos han compartido el
paradigma racionalista de las matemticas, enfatizando a veces unos mtodos y a veces
otros. Sus visiones sobre la verdad tienen mucho en comn.
Es necesario hacer aqu una pequea disgresin. Cuando la nocin de verdad se
relativiza, se devuelve al corazn de lo terrenal; cuando la verdad se transmuta en
apenas conjeturas falsables (aunque no se sepa muy bien cmo hacerlo) muchas de las
actitudes clsicas de la filosofa occidental quedan girando en el vaco. Esta tal vez sera
una forma til de actualizar los buenos usos de la navaja de Occam.
En Frege no se afirma una concatenacin de las matemticas con las ciencias
naturales y la realidad material. No se sostiene como contenido central de la naturaleza
de las matemticas las aplicaciones en ciencia, tcnicas, etc. En Frege se apuntala lo a
priori y lo deductivo, axiomtico y formal. Como ya lo hemos mencionado, el logicismo de
Frege se desarrolla sobre la base de una actitud platonista radical en casi todos sus
aspectos. Este platonismo aparece ntimamente ligado al racionalismo. En algunos
racionalistas no encontramos un platonismo muy radical, a veces no aparece del todo.
Pero en el caso de Frege se trata de dos posiciones intelectuales que se refuerzan
mutuamente. Esta fusin recprocamente condicionada es un nudo central de su filosofa
de las matemticas.
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
FRENTE AL IDEALISMO SUBJETIVO
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
Y esto ya aparece desde entonces vinculado al Logicismo; sigue la cita :
Con la ayuda de diez principios de deduccin y de otras diez premisas
de naturaleza lgica general (por ejemplo, la implicacin es una relacin)
puede deducirse toda la matemtica estricta y formalmente, y todas las
entidades que figuran en Matemtica pueden definirse en funcin de las que
figuran en las veinte premisas anteriores. Bajo esta formulacin la Matemtica
no slo incluye la Aritmtica y el Anlisis sino tambin la Geometra, euclidiana
y no euclidiana. La dinmica racional y un nmero indefinido de otros estudios
an no comenzados o en su infancia. El hecho de que toda la Matemtica sea
Lgica simblica es uno de los descubrimientos ms importantes de nuestro
tiempo; y una vez establecido este hecho, lo que queda de los principios de la
Matemtica consiste en el anlisis de la propia lgica simblica 9.
Segn Russell:
Toda la orientacin de la matemtica moderna, con su creciente
insistencia en el logro del rigor, se rebel en contra de esta teora kantiana 11.
Por otra parte, Russell sealaba tambin que Kant limita indebidamente el objeto
de las proposiciones a priori 15, porque para l las creencias matemticas deben
aplicarse a las cosas lo mismo que si pensamos que si no pensamos en ellas 16
109
La reaccin de Russell frente a Kant (en su Filosofa de la Matemtica) fue de un
grado cualitativamente superior a la manera como Frege lo abord. Este ltimo nunca se
desprendi del marco epistemolgico kantiano y, en la ltima etapa de su produccin
intelectual, busc en la Geometra y entonces en la intuicin la fundamentacin de la
Aritmtica. Para Russell el Principia Mathemtica era una anttesis de las doctrinas de
Kant 17. Se trataba de:
Un parntesis en la refutacin de aquel sofstico filisteo, segn lo
decriba George Cantor, aadiendo en gracia a una mayor exactitud, que sabe
tan poco de matemticas 18
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
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.
112
Y, un poco despes, generaliza el anlisis anterior: Un argumento anlogo se
puede aplicar a todos los juicios a priori (Negrita aadida) 39. Esta actitud que no
parece corresponder con el Platonismo clsico, est presente, cohabita, en el Russell de
estos aos. En este mismo libro separa conocimiento de verdades y conocimiento de
cosas 40 y desarrolla un teora de la verdad en la que dice: ...los espritus no crean la
verdad ni la falsedad 41 y ...la correspondencia con un hecho constituye la
naturaleza de la verdad 42. Cuando se refiere al conocimiento de lo que existe
establece que sta se halla limitada a lo que podemos aprender de la experiencia 43. La
conexin de lo a priori y lo emprico es entonces resumida y establecida as:
... nuestro conocimiento intuitivo, que es la fuente de todo nuestro
conocimiento de verdades, es de dos clases: el conocimiento puramente
emprico, que nos da cuenta de la existencia y de algunas propiedades de las
cosas particulares de las cuales tenemos un conocimiento directo, y el
conocimiento puramente a priori que nos da la conexin entre los universales y
nos permite sacar inferencias de los hechos particulares que nos da el
conocimiento emprico. Nuestro conocimiento derivado depende siempre de
algn conocimiento puramente a priori, y usualmente depende tambin de
algn conocimiento puramente emprico 44.
113
LOS PROBLEMAS DEL PLATONISMO
Y aade ms adelante:
Sostengo que en este conjunto de smbolos no-definidos, no estar
incluido ningn smbolo aplicable a las clases en general o a las clases
particulares 49
114
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
116
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 camino hacia la verdad sintctica
En La evolucin de mi pensamiento filosfico manifest lo que fue un cambio
sustancial:
Ya no pienso que las leyes de la lgica sean leyes de las cosas; por
el contrario, las considero ahora como puramente lingsticas (Negrita
aadida) 71
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
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
Balance pragmtico del platonismo
El platonismo en la Filosofa de las Matemticas no puede ser rechazado o
aceptado sin un previo examen terico. Es necesario establecer consideraciones
metodolgicas para abordarlo adecuadamente. En primer lugar, la existencia o no
existencia de entidades matemticas (problemas que segn Russell no debe preocupar a
la Matemtica) 88 es importante en la medida de que la decisin asumida engendre una
edificacin terica til y sta pueda, a travs de procesos y resultados especficos, ser
refrendada por la prctica. Creo que la construccin de entidades matemticas es
esencial en esta ciencia; las proposiciones de existencia no slo no pueden ser
eliminadas sino que los intentos en esa direccin entorpecen su desarrollo. Todo reside
en la funcionalidad terica y metodolgica que estas exhiban.
En segundo lugar, la discusin se extiende al terreno general de la Epistemologa y
la Ontologa. Aqu se trata de establecer el papel de las entidades abstractas en el
conocimiento y el carcter asignado a su existencia o subsistencia. Estas son
construcciones mentales realizadas por los sujetos; existe una intersubjetividad a partir
de las condiciones de la relacin sujeto-objeto, entendido ste ltimo sujeto de forma
general. Afirmo, entonces, un conceptualismo, en donde enfatizo la relatividad de las
entidades abstractas en s como la posibilidad de su construccin y aprehensin en el
objeto y en la relacin material sujeto-objeto.
Si lo que se afirma con el Platonismo se entiende como separacin de las entidades
de procesos constructivos o definitorios por la mente, se trata entonces de una
consideracin ontolgica en general sobre la existencia de entes no materiales
independiente de la realidad humana. Algo as como si no existieran los seres humanos
las entidades matemticas an existiran.
Ahora bien: si lo que se afirma en su lugar es la independencia de las entidades del
acto de pensamiento de un individuo y no las condiciones subjetivas y particulares de
construccin y aprehensin de la mente de los hombres, se trata de una visin
epistemolgica que simplemente apunta a la intersubjetividad epistmica. Yo privilegio
esta segunda posicin, pero aadiendo que: las entidades abstractas se refieren a una
diversidad a la que se le asigna algn sustrato comn; y, adems, que estas entidades no
son aprehendidas de igual forma por cada individuo. Es decir, ni se refieren a lo mismo, ni
son lo mismo en cada sujeto. Las causas ltimas de su realidad residen en la relacin
material sujeto objeto y su sentido en la funcionalidad que sostenga en esta misma
relacin. Todo el conocimiento humano, de una u otra forma, en diferentes niveles, se ve
sometido a esto.
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
El anlisis de estos proyectos lo hacemos en sus dimensiones filosficas
exclusivamente. Creemos que es en este territorio donde podemos encontrar las claves
para realizar el balance terico ms profundo y general. Mencionamos esto porque para
nadie resulta un secreto que tanto el formalismo como el intuicionismo generaron
importantes campos tericos en la lgica y en las matemticas modernas.
Por otro lado, la introduccin de las filosofas del Intuicionismo y el Formalismo nos
permiten abordar aspectos del Logicismo que no pudimos abordar en los captulos
anteriores. Esto nos permite completar mejor nuestro estudio del Logicismo clsico, pero,
adems, entrar de lleno -aunque de manera general- en la problemtica de los
Fundamentos de la Matemtica en su globalidad. Las comparaciones, identificaciones y
contraposiciones, nos permitirn realizar una radiografa intelectual del conjunto de la
problemtica fundacional tal y como fue planteada en las primeras dcadas de este siglo;
y pavimentar el camino hacia lo que reevaluaremos como extraordinariamente
significativo en la bsqueda de una nueva filosofa de las matemticas: los teoremas de
Gdel.
124
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.
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.
126
LA FILOSOFA DEL FORMALISMO
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
Una teora de la aritmtica se refiere entonces a la construccin de resultados con
los trazos, mientras que la que se refiere a la construccin de frmulas se llama
metateora. Una vez construido un sistema formal (de frmulas) a partir de una teora el
proyecto parte de la siguiente hiptesis: la consistencia lgica de la teora es equivalente
a la consistencia formal del sistema formal.
130
Para Weyl (como para el Russell de la segunda edicin de los Principios) la
matemtica se refiere al mundo y, ms an, debe estar al servicio de las ciencias
naturales. La pretensin formalista es que: La concepcin formalista de las matemticas
est entonces libre de prejuicios metafsicos y es compatible entonces con prcticamente
cualquier tipo de filosofa 15. Sin embargo, el costo de lo que apenas llega a un supuesto
es una matemtica vaciada de su contenido autntico.
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 formalismo rompe con el logicismo, habla de intuicin y de objetos de la
matemtica; crea la ilusin de que se escapa por la puerta del paradigma racionalista y
formal clsico de las matemticas, pero vuelve al mismo, regresa por la ventana y,
adems, lo reafirma en toda su extensin.
Es poco til desde un punto de vista filosfico riguroso que despus de definir a la
matemtica como la ciencia de los sistemas formales y se le vace de su contenido
material verdadero, luego se diga que la escogencia y aplicacin de estos sistemas
reside en lo emprico 16.
Lo que epistemolgica y filosficamente es importante es el establecimiento de la
conexin entre las nociones y conceptos de la matemtica con la realidad material. Es
poco adecuado decir que la matemtica debe estar libre de asunciones metafsicas 17,
cuando, primeramente, es una asuncin metafsica exhibir como sus objetos a los trazos
o frmulas; y, en segundo lugar, cuando de hecho esta posicin es la manifestacin de
una impotencia para aprehender la naturaleza de las matemticas.
El constructivismo
El programa de Brouwer consista en :
132
...la investigacin de la construccin mental matemtica como tal, sin
referencia a preguntas acerca de la naturaleza de los objetos construidos,
como si estos objetos existen independientemente de nuestro conocimiento de
ellos 19.
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
Para Brouwer la matemtica es sinttica sobre todo en el sentido de que no se
deriva tautolgicamente, sino que produce un contenido cognoscitivamente nuevo. Las
proposiciones de la matemtica aparecen como el producto de una construccin en la
intuicin temporal. Mientras que para Kant lo que establece las proposiciones de la
matemtica es la estructura mental de lo espacio-temporal, en Brouwer slo lo temporal
es retomado. Es el movimiento que en la mente hace pasar de 1 a 2 lo que determina a
las matemticas. Es esto lo que le da su carcter no anlitico 25.
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
sujeto-objeto. Los objetos de la matemtica aparecen aqu. El camino de la bsqueda de
la naturaleza de la matemtica no se dirige ni al sujeto en s, ni al objeto en s, sino a las
determinaciones de esta relacin y realidad. Pero adems este camino est orientado
vectorialmente (sobre todo) hacia afuera, hacia el objeto exterior y no al revs.
Una teora de la verdad en la matemtica requiere establecer un programa preciso
que evidencie la conexin de los elementos y enunciados y estructuras matemticas con
la realidad material.
As, pues, depositar los criterios de verdad en una intuicin interior es una vuelta al
subjetivismo estril. No es raro entonces que en el intuicionismo subjetivista se prescinda
del lenguaje y la lgica. El sujeto individual vive en s y para s la experiencia de la
intuicin interior, de la construccin mental de la matemtica, alejado del lenguaje y la
lgica. Se trata de un mundo de pensamientos, ideas, exclusivo, ntimo.
135
La reduccin de las matemticas
Al intuicionismo no le preocupa mucho que se lance por la borda una gran parte de
las matemticas clsicas:
Sobre la mutilacin de las matemticas que usted me acusa, debe ser
tomada como una consecuencia inevitable de nuestro punto de vista. Puede
verse como tambin la escisin de ornamentos nocivos, bellos en su forma,
pero huecos en substancia, y es al menos parcialmente compensado por el
atractivo de agudas distinciones y mtodos ingeniosos a travs de los cuales
los intuicionistas han enriquecido el pensamiento matemtico 26.
Brouwer con una visin unilateral constructivista, con una sola bandera
programtica y con unas cuantas formulaciones filosficas pretende reconstruir la
matemtica. Logra con la estrechez de su mtodo reducir enormemente las posibilidades
de la prctica matemtica. No se puede reducir los mtodos de la matemtica a
exclusivamente los constructivistas intuicionistas. Aparte del subjetivismo que eleva la
intuicin temporal a una categora metafsica, sus mtodos son insuficientes y limitados.
136
Intuicin temporal e intersubjetividad
Mientras que Hilbert-Curry toman de Kant la necesidad de exhibir un objeto en las
matemticas, Brouwer toma la intuicin temporal a priori. Levantando la bandera del
apriorismo kantiano se coloca contra el paradigma de lo deductivo, axiomtico y formal,
que termina apuntalando lo lingstico y lgico en la matemtica al punto que sta se
desvanece en ellos. Pero el subjetivismo que enfatiza (de Kant) no es suficiente para
responder esto. Tampoco es suficiente el exclusivo mtodo que escoge para dar cuenta
de las matemticas. Ofrece, frente al paradigma del nfasis en lo formal y sintctico, el
nfasis en la intuicin, en una sola intuicin.
Los teoremas del intuicionismo plantean una dificultad evidente: Cul es la
posibilidad de la intersubjetividad en situaciones que dependen del individuo? Si se
admite esta intersubjetividad cules son los criterios para revelarla? Las preguntas
apuntan a las dificultades inherentes a toda interpretacin del conocimiento o de la
verdad basada en la evidencia interior.
Como con el clsico cartesianismo cuya nocin de evidencia se expresa en lo
claro y distinto, la posibilidad de experiencias distintas y contradictorias slo puede
minar la nocin de autoevidencia. Precisamente Frege buscaba una respuesta a esto
con su filosofa platonista. La condena de toda autoevidencia es su conduccin ineludible
a un subjetivismo radical, al solipsismo. La ausencia de criterios objetivos susceptibles de
verificarse por la va prctica condenan al intuicionismo a alienarse de las ciencias
naturales. No es posible en el intuicionismo probar por la va de la intuicin la existencia
de la intersubjetividad, base de cualquier conocimiento cientfico. Por ltimo, una crtica
en su propio terreno: una gran parte de resultados intuicionistas estn lejos de ser de los
que aparecen evidentes o cercanos a la intuicin (sea cual sea) 28.
Se puede aadir, adems, que los resultados intuicionistas no han encontrado
prcticamente posibilidades de aplicacin en las ciencias (esto, de cualquier forma, no es
significativo para su visin).
Las crticas al intuicionismo se han concentrado histricamente en el subjetivismo,
como es natural. Esto los ha conducido a tratar de definir criterios ms objetivos por la va
de formalizar la matemtica intuicionista; pero esto es, como seala Krner, una
declaratoria de admisin en el formalismo y el abandono de sus principios filosficos
bsicos 29.
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
La revaloracin filosfica que hacemos persigue dotar de una significacin
renovadora e histrica lo que hemos constatado, por la va del anlisis y las experiencias
prcticas, en relacin con las matemticas de nuestro siglo.
DESARROLLO
2. Teoremas primitivos:
a) Axiomas
b) Reglas 1.
140
Se puede establecer una correspondencia entre una axiomtica y un sistema
formal:
La nocin de proposicin (en el sistema formal) es anloga a la de
enunciado (en la teora intuitiva). La de derivacin es anloga a la de
demostracin. La nocin de proposicin derivable es anlogo a la de
enunciado cierto, y la de proposicin refutable anloga a enunciado falso.
Finalmente, los teoremas del sistema formal son evidentemente anlogos a los
de la teora intuitiva 2.
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
...una demostracin de la consistencia de uno de estos sistemas S slo
puede llevarse a cabo con ayuda de modos de inferencia que no son
formalizables en S. Por tanto, sera completamente imposible obtener una
prueba finitaria de consistencia (como buscan los formalistas) para un sistema
formal en el que estn formalizados todos los modos finitarios (es decir,
intuicionsticamente aceptables) de prueba 7.
143
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
El dogmatismo que encierran las filosofas modernas de la matemtica es
producto de una larga tradicin racionalista que ha hecho siempre de las verdades
matemticas zonas liberadas infalibles. La base epistemolgica ha sido la verdad
absoluta incuestionable. En el logicismo las verdades son analticas, derivables de la
lgica, se conectan a las leyes de la Razn, o se refieren a las cosas, pero en cualquiera
de las aproximaciones son infalibles. Las verdades matemticas se refieren a un tercer
mundo ideal de objetos o constituyen un lenguaje sin relacin a ningn mundo (son
verbales), pero son infalibles.
En el formalismo la infalibilidad se encuentra en la intuicin de los signos, los trazos
o las frmulas; pero adems los sistemas formales lo invaden y lo controlan todo, dan
cuenta de la esencia de la matemtica, de su racionalidad.
En el intuicionismo la fundamentacin se hace a partir de una intuicin temporal que
se engendra en el paso del uno al dos; el sujeto es el que hace infalible las verdades
matemticas.
En el formalismo y en el intuicionismo se priorizan los mtodos finitistas,
constructivistas, se constituyen en el mtodo cuasi-universal a travs del cual lo que se
toca se vuelve infalible.
En el fondo, se enfatize la lgica, el lenguaje, o la intuicin, se parte de una misma
premisa filosfica: la verdad absoluta. Esta slo es posible a partir de ese poder de la
razn para producir y crear verdades a priori. Lo que es tocado por lo emprico parece
que se contamina. Como seala Lakatos, frente al escepticismo, el racionalismo ha
buscado la evidencia de lo infalible donde fuese posible y no lo ha encontrado.
145
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
NOTAS DEL CAPTULO I
* Este captulo est basado en los artculos: Boole y la Matemtica del siglo XIX,
Rev. de Filosofa de la UCR, XV(61), 1987.
1. Cf. Beth, E. & Piaget, J. Epistemologa, matemtica y psicologa. Trad. Vctor
Snchez de Zavala. Barcelona: Editorial Crtica, 1980. P.15.
2. Cf. Kline, Morris. Mathematics. The loss of certainty. New York: Oxford
University Press, 1980. P. 48.
3. Cassirer. Ernst. El problema del conocimiento. Trad. W. Roses. Mxico: Fondo
de Cultura Econmica, 1965. P.488.
4. Brunschvicg, Leon. Les etapes de la philosophie mathematique. Paris: A.
Blanchard, 1981. P. 103.
5. Cf. Ibid. p. 104. Ampliemos esta idea: La aritmtica, dice Vieta, es un mtodo
operatorio sobre los nmeros, logstica numerosa; El lgebra es un mtodo
operatorio sobre las especies o formas de las cosas: logstica especiosa.
6. Cf. Germain, Paul. en Le Lionnais, F. (comp.). Las grandes corrientes del
pensamiento matemtico. Trad. Nestor Mguez. Buenos Aires: Editorial
Universitaria de Buenos Aires, 1965. P. 248.
7. Cf. Brunschvicg. Op. Cit. P. 107. La cita completa es la siguiente:
Queda por conocer cul es exactamente, tomndolo en s mismo, el
alcance de esta matemtica universal (...); la respuesta ser diferente,
segn se considere la obra de Descartes en la filosofa general, es decir la
extensin del mtodo matemtico a la universalidad de problemas
cosmolgicos, o que se detenga nicamente a la obra que Descartes
realiza en el dominio propio de la matemtica por la reduccin de los
problemas de la geometra a los problemas del lgebra.
9. Idem.
10. Cf. Ibid. P. 108. La idea fundamental es que la ciencia es esencialmente unidad
porque ella es la inteligencia humana en actividad y no hay ms que una forma de
comprensin. El mtodo es nico porque dispone los datos complejos de un
problema siguiendo un orden inteligible de manera de no tener ms que una cadena
de relaciones simples entre elementos simples.
11. Buchdahl, Gerd. Metaphysics and the philosophy of science. Cambridge-
Massachussetts: The MIT Press, 1969. P.85.
12. Ibid. PP. 89-90.
13. Brunschvig. Op. Cit. P. 114.
14. Cf Kline Op. Cit. P.60.
15. Beth. Op. Cit. P. 31.
16. Ibid. P. 53.
17. Cf Bourbaki, N. Elementos de historia de la matemtica. Trad. Jess Hernndez.
Madrid: Alianza Editorial, 1976. P. 18.
18. Cf Ibid. P.19, 20.
19. Ibid. P. 20.
20. Cf Kline. Op. Cit. P. 174-175.
21. Cf Ibid. P. 177.
22. Cf Ibid. P. 178-179.
23. Boole, George. Anlisis matemtico de la lgica. Trad. Armando Ast Vera.
Buenos Aires: Universidad Nacional de la Plata, 1960. P.9.
24. Ibid. P.13.
25. Boole, George. An investigation of the laws of thought on which are founded the
mathematical theories of logic and probabilities. New York: Dover Publications
Inc., 1958. P.24.
26. Boole. Anlisis matemtico de la lgica. P.10.
27. Ibid. P.13.
148
28. Boole. Laws of thought. P.1.
29. Ibid. P.5.
30. Boole. Anlisis matemtico de la lgica. P.25.
31. Ibid. P.12.
32. Cf Boole. Laws of thought. P.11.
33. Kneale, Martha y William. El desarrollo de la lgica. Trad. Javier Muguerza.
Madrid: Editorial Tecnos, 1972. P.374.
34. Boole. Anlisis matemtico de la lgica. P. 12.
35. Ibid. P. 18.
36. Kneale. Op. Cit. P. 384.
37. Boole. Laws of thought. P. 46.
38. Bourbaki. Op. Cit. P. 21.
39. Ibid. P. 21.
40. CfKline. Op. Cit. P.185.
41. CfIbid. P. 186.
42. CfIdem.
43. CfIbid. P. 187.
44. CfBabini, Jos. Historia sucinta de la matemtica. Madrid: Espasa Calpe, 1969.
P. 121.
45. CfBourbaki. Op. Cit. P.41.
46. Wilder, Raymond. Introduction to the foundations of mathematics. New York:
John Wiley and sons, 1956. P. 190.
47. CfBabini. Op. Cit. P.123.
48. CfKline. Op. Cit. P.179.
49. Bell, E.T.. Historia de las matemticas. Trad. R. Ortiz. Mxico: Fondo de
Cultura Econmica, 1949. P.291.
50. CfIbid. P.307.
51. CfWilder. Op. Cit. P.195.
52. Bell. Op. Cit. P.289.
149
53. CfBabini. Op. Cit. P.130.
54. CfIbid. P.131-132.
55. Bourbaki. Op. Cit. P.46.
56. CfIbid. P.47.
57. CfIbid. P.49.
58. CfIbid. P.50-51.
151
23. Frege. Conceptografa. P.8.
24. Cf. Kneale. Op. Cit. P.437.
25. Cf. Ibid. P.439.
26. Sobre esta diferencia se puede consultar a Gdel, Kurt, en la Lgica matemtica
de Russell, que est incluida en sus Obras completas. Trad. Jess Mostern. Madrid:
Alianza Editorial, 1981. Vase la pgina 297 y siguientes.
27. Cf. Kline, Morris. Mathematics. The loss of certainty. New York: Oxford
University Press, 1980. P.217.
28. Cf. Idem.
29. Beth, E. W. Les fondements logiques des mathematiques. Paris: Louvain, 1955.
P.119-120.
30. Frege. Estudios sobre semntica. P.129.
31. Ibid. P.161.
32. Frege. Conceptografa. P. 179-180.
33. Cf. Kneale. Op. Cit. P.425.
34. Beth, E.W. Mathematical thought. Dordresht-Holland: D. Reidel, 1965. P.38.
35. Quine, Willard van Orman. En On Frege's way out, en Klemke, E. (edit.)
Essays on Frege. Illinois: University of Illinois Press, 1968. P.488.
36. Cf. Kneale. Op. Cit. Kneale lo pone as:
...la correlacin de uno a uno de que Frege nos habla no es sino
aquella relacin entre conjuntos que Cantor llama equivalencia, y las
novedades contenidas en la obra del primero podra ser fcilmente
comprendidas en el lenguaje del segundo por medio de los dos siguiente
enunciados: (I)El nmero cardinal de un conjunto es el conjunto de todos
los conjuntos equivalentes al primero. (II)Para cada uno de los nmeros
naturales 0, 1, 2, 3, etc., considerados como conjunto de conjuntos
equivalentes, podremos tomar como ejemplares o miembros
paradigmticos ciertos conjuntos definidos en trminos puramente lgicos,
a saber, el conjunto de las cosas no idnticas a s mismo para 0, el conjunto
cuyo nico miembro es el nmero 0 para 1, el conjunto cuyos miembros
son los nmeros 0 y1 para el 2, el conjunto cuyos miembros son los
nmeros 0, 1, 2 para 3, y as sucesivamente. P.431.
152
37. Cf. Beth. Mathematical thought. La cita vale la pena:
Aunque el mismo Frege (y, por lo mismo Cantor) disputara esta
opinin, vemos hoy en da una fuerte afinidad entre su logicismo y
cantorismo; la principal diferencia es que, de acuerdo al segundo, la lgica
pura debe hacer camino para la teora pura (abstracta) de conjuntos. P.32.
Esta visin es la tpica de los filsofos del Crculo de Viena (expresa la renuncia
terica a dar cuenta de la naturaleza y la verdad en las matemticas).
La visin de Hempel del logicismo no es la misma que afirmaban Frege o
Russell; es una visin que surgi despus del desarrollo logicista, pero que conect
ste a una aproximacin sobre la naturaleza de la lgica y la matemtica. De hecho la
evolucin del logicismo en esta segunda etapa, condujo a la larga a una visin
similar por parte del mismo Russell, pero no es as en el principio.
154
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.
157
51. Russell. Introduccin a la filosofia-matematica. P. 253.
52. Gdel, Kurt. Obras completas. Trad. Jess Mostern. Madrid: Alianza Editorial,
1981. P. 303.
53. Ibid. P. 304.
54. Idem.
55. Ibid. P. 305.
56. Ibid. P. 306.
57. Ibid. P. 308.
58. Barker. Op. Cit. P. 124.
59. Cf. Black, Max. The nature of mathematics. London: Routledge Kegan Paul
Ltd. 1950. En donde se esclarece la nocin de smbolo incompleto; dice tratarse de:
uno cuya definicin consiste de una regla para transformar
cualquier expresin en la que aparece, en una expresin conteniendo
solamente smbolos completos, siendo dependiente la forma en la cual esto
se efecta del contexto del smbolo incompleto P. 77.
160
evidencia se entienda de un modo suficientemente estricto) este punto de
vista ha sido ampliamente justificado por posteriores desarrollos y se
puede esperar que an lo sea ms en el futuro, p. 300.
94. Cf. Largeault, Jean. Logique et philosophie chez Frege, Paris: Editions
Nauwelaerts, 1970. P. 69.
95. Ibid. P. 65.
96. Ibid. P. 68.
163
11. Cf. Ibid. p. 230.
12. Cf. Ibid. p. 231.
13. Cf. Ibid. p. 235.
14. Ibid. p. 233.
15. Ibid. p. 235.
16. Cf. Idem.
17. Ibid. p. 236.
18. Idem.
19. Idem.
20. Cf. Currie, Gregory. Frege's realism, Inquiry, Summer 1978, Vol. 21, No. 2 p.
220.
21. Dummett, Op. Cit. p. 457.
22. Currie. Frege on thoughts, p. 234.
23. Currie, Gregory. The origin of Frege's realism, Inquiry, December 1981, Vol.
24, No. 4 p. 448.
24. Cf. Ibid. pp 448 y siguientes.
25. Cf. Ibid. p.p 449.
26. Cf. Idem.
27. Cf. Idem.
28. Ibid p. 450.
29. Ibid p. 451.
30. Frege, Conceptografa. P. 140.
31. Ibid. pp. 141-142.
32. Kitcher, Philip. Frege's epistemology; Philosophical review, April 1979, Vol.
LXXXVIII, No. 2. p. 248.
33. Frege. Conceptografa. P. 193.
34. Ibid. p. 130.
35. Cf. Ibid. p. 117.
36. Cf. Kitcher. Op. Cit. p. 252, 253
164
37. Frege. Conceptografa. P. 192.
38. Ibid. p. 192.
39. Ibid. p. 193.
40. Cf. Kitcher. Op.cit. p. 248.
41. Cf. Ibid. p. 245.
42. Cf. Frege, Conceptografa. P. 127.
43. Ibid. p. 130.
166
30. Cf. Ibid. :
... un universal ser algo que puede ser compartido por varios
particulares y tiene los caracteres que, como hemos visto, distinguen la
justicia y la blancura de los actos justos y de las cosas blancas, p.110.
167
44. Ibid. p.174
45. Cf. Russell. Los principios de la matemtica.
La definicin lgica de los nmeros se relaciona con el mundo de los
objetos contables que llega a nuestro entendimiento; la teora formalista
no. p.8.
169
77. Cf. Idem:
El primer paso es el de reemplazar por conceptos constructivos los
conceptos de un conjunto, una sucesin o una funcin, que yo he llamado
cuasicombinatoria. La idea de un infinito de determinaciones infinitas es
rechazado. Una enfatiza que una sucesin infinita o una fraccin decimal
puede estar dada slo por una ley aritmtica, y uno considera el continuo
como un conjunto de elementos definido por esas leyes
78. Idem
79. Cf. Ibid: El segundo paso consiste en:
...renunciar a la idea de totalidad de enteros. Este punto de vista fue
defendido primeramente por Krnecker y luego desarrollado
sistemticamente por Brouwer. p. 278.
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
Brunschvicg, Leon. Les tapes de la philosophie mathmatiques. Paris: A.
Blanchard, 1981.
Buchdahl, Gerd. Metaphysics and the philosophy of science. Cambridge-
Massachussetts: The Mit Press, 1969.
Cajori, Florian. A history of mathematics. New York: The Mac Hillan Co. 1961.
Camacho, Luis. Introduccin a la lgica. Cartago: Editorial Tecnolgica de Costa
Rica, 1983.
Cassirer, Ernst. El problema del conocimiento. Trad. W. Roces, Mxico: Fondo de
Cultura Econmica, 1965.
Copleston, Frederids. A history of philosophy. (Vol.1) New York: Image Books,
1962.
Currie, Gregory. Frege on thoughts, Mind, April 1980, Vol. LXXXIX, N. 354.
Currie, Gregory. Freges realism, Inquiry, Summer 1978, Vol. 21, N. 2.
Currie, Gregory. The origin of Freges realism, Inquiry, December 1981, Vol. 24,
N. 4.
Curry, Haskell B. Outlines of a formalist philosophy of mathematics. Amsterdam:
North-Holland, 1970.
Desanti, Jean Toussaint. La philosophie silencieuse. Paris: Editions du Seuil, 1975.
Descartes, Renato. Discurso del mtodo. Meditaciones Metafsicas. Trad. Manuel
Garca Morente. Madrid: Espasa-Calpe, 1968.
Diaz-estevez, Emilio. El teorema de Gdel. Pamplona: Ediciones Universidad de
Navarra, S.A., 1975.
Dummett, Michael. Frege as a realist, Inquiry, Winter 1976, Vol. 19, N. 4.
Eldridge, Richard. Freges realist theory of knowledge. The construction of an ideal
language and the transformation of the subject, Review of metaphysics, March 1982,
Vol. XXXV N. 139.
Feyerabend, Paul K. Contra el mtodo. Trad. Francisco Hernn. Barcelona: Editorial
Ariel, 1974.
Frege, Gottlob. Conceptografa. Los fundamentos de la aritmtica. Otros estudios
filosficos. Trad. Hugo Padilla. Mxico: UNAM, 1972.
Frege, Gottlob. Estudios sobre semntica. Trad. Ulises Moulines. Barcelona:
Editorial Ariel.
174
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
Le Lionnais, F. (Comp). Las grandes corrientes del pensamiento matemtico. Trad.
Nstor Mguez. Buenos Aires: Editorial Universitaria de Buenos Aires, 1965.
Malherbe, J.E. Epistmologies anglo-saxonnes. Namur: Presses Universitaieees de
Namur, 1981.
Mouloud, Nel. Les structures, la recherche et les savoir. Paris: Payot, 1968.
Newman, James R. Sigma. EL mundo de las matemticas. Trad. Varios. Barcelona:
Grijalbo, 1969.
Novac, George. Empiricism and its evolution. New York: Pathfinder Press Inc.,
1973.
Pap, Arthur. Teora analtica del conocimiento. Trad. F. Gracia Guilln. Madrid:
Editorial Tecnos, 1964.
Passmore, John. A hundred years of philosophy. Great Britain: Penguin, 1972.
Piaget, Jean. Biologa y conocimiento. Trad. Francisco Gonzlez Aramburu. Mxico:
Siglo XXI, 1980.
Piaget, Jean; Beth, E.W. Epistemologa matemtica y psicologa. Trad. Vctor
Snchez de Zavala. Barcelona: Editorial Crtica, 1980.
Piaget, Jean. Introduccin a la epistemologa gentica. Trad. Mara Teresa Carrasco-
Vctor Fischman. Buenos Aires: Editorial Paids, 1979.
Platon. Obras completas. Trad. Varios. Madrid: Aguilar, 1966.
Quine, Willard van Orman. Desde un punto de vista lgico. Trad. Manuel Sacristn.
Barcelona: Ediciones Ariel, 1962.
Quine, Willard van Orman. Filosofa de la lgica. Trad, Manuel Sacristn. Madrid:
Alianza, 1977.
Quine, Willard van Orman. La relatividad ontolgica y otros ensayos. Trad. Manuel
Garrido y Joseph Blasco. Madrid: Editorial Tecnos, 1974.
Quine, Willard van Orman. Los mtodos de la lgica. Trad. Manuel Sacristn.
Barcelona: Ediciones Ariel, 1969.
Rouse ball, W.W. A short account of the history of mathematics. Bew York: Dover
Publications, 1956.
Russell, Bertrand. An essay on the foundations of geometry. New York: Dover
Publications, 1956.
Russell, Bertrand. Escritos bsicos 1903-1959. (Comp. Robert Egner y Lester
176
Denonn). Trad. Varios. Mxico: Aguilar, 1969.
Russell, Bertrand. Introduccin a la filosofa matemtica. Trad. Juan B. Molinari.
Buenos Aires: Losada, 1945.
Russell, Bertrand. La evolucin de mi pensamiento filosfico. Trad. Juan Novella
Domingo. Madrid: Aguilar, 1964.
Russell, Bertrand. Lgica y conocimiento. Trad. Javier Muguerza. Madrid: Taurus
Ediciones, 1966.
Russell, Bertrand. Los Principios de la matemtica. Trad. Juan Carlos Grimberg.
Madrid: Espasa-Calpe, 1967.
Russell, Bertrand. Los problemas de la filosofa. Trad. Joaqun Xirau. Barcelona:
Editorial Labor, 1928.
Russell, Bertrand. Mysticism and logic. New York: W.W. Norton & Co. Inc., 1929.
Schilpp, Paul Arthur (Edit). The philosophy of Bertrand Russell. Evanston and
Chicago: Northwestern University, 1944.
Sluga, Hans D. Freges alleged realism, Inquiry, Summer 1977, Vol. 20, N 2-3.
Splenger, Osvaldo. La decadencia de occidente. Trad. Manuel Garca Morente.
Madrid: Espasa-Calpe, 1958.
Stegmuller, Wolfgang. Teora y experiencia. Trad. C. Ulises Moulines. Barcelona:
Editorial Ariel, 1979.
Strawson, P.F. (Edit). Philosophical logic. Oxford: Oxford University Press, 1967.
Van Heijenoort, Jean. From Frege to Gdel. A source book in mathematical logic.
1879-1931. Cambridge, Massachusets: Harvard University Press, 1967.
Varios. (Comp). Epistemologa y marxismo. Trad. M. Bofill y E. Petit. Barcelona:
Ediciones Martnez Roca, 1974.
Varios. The historical roots of elementary mathematics. New Jersey: Prentice-Hall,
1976.
Weyl, Hermann. Philosophy of mathematics and natural science. Princeton:
Princeton University Press, 1949.
Wilder, Raymond L. Introduction to the foundations of mathematics. New York:
John Wiley & Sons, 1956.
Williams, Donald Cary. Principles of empirical realism. Springfield-Illinois: Charles
C. Thomas Publisher, 1966.
177