CENTENARIO DE LA TESIS DOCTORAL

DE L. E. J. BROUWER
100 aos de intuicionismo matemtico
PARTICIPANTES
Jorge Molina: Matemtica, ciencia y lenguaje
Javier Legris: Clculo y lenguaje en el intuicionismo
matemtico
Jorge Alfredo Roetti: Por qu recordamos a Brouwer?
Luiz Carlos Pereira: Brouwer e a naturaleza da lgica

MATEMTICA, CIENCIA Y LENGUAJE

JORGE ALBERTO MOLINA
En el ao 1928, en Viena, Brouwer dio una conferencia con el
ttulo de Matemtica, ciencia y lenguaje1, en la cual expuso su pensamiento sobre varias cuestiones que tradicionalmente haban sido el
objeto de trabajo de los filsofos. Los tpicos desarrollados en esa conferencia aparecen tratados de una manera ms detallada en otro trabajo de Brouwer, Conciencia, Filosofa y Matemtica2 que apareci en
las actas del 10 Congreso Internacional de Filosofa en Amsterdam
en 1948. Es conveniente decir que las inquietudes filosficas de
Brouwer ya se haban manifestado en su trabajo del ao 1905 Vida,
arte y mstica que fue traducido al ingls y publicado en el nmero 37
del Notre Dame Journal of Formal Logic en el ao 1996. Ese trabajo de Brouwer es anterior a su tesis de doctorado Sobre los fundamentos de la Matemtica del ao 1907, trabajo que tambin, en muchos
pasajes, desarrolla cuestiones filosficas. Basaremos nuestra exposicin sobre el texto de la conferencia de 1928 y sobre el trabajo de 1948.
La conferencia de 1928 fue proferida en un momento de enfriamiento del entusiasmo que el programa intuicionista de fundamentacin de la matemtica haba suscitado en los comienzos de la dcada
de 1920. Brouwer haba realizado una gran proeza al reconstruir sobre bases intuicionistas el continuo real. En una conferencia dada en
Viena, en el ao 1930 con el ttulo de la Estructura del continuo
Brouwer repas sus logros en la construccin del Anlisis y los compar con los de sus adversarios. En su visin, las teoras formalistas
del continuo (Dedekind, Peano, Russell, Zermelo, Hilbert) abandonaban toda intuicin geomtrica o aritmtica, y confinaban su tema al
dominio del lenguaje matemtico, que trataban de regular en una
1
L. E. J. Brouwer, Collected Works I, editados por A. Heyting North- Holland,
Amsterdam, 1975, pp. 417-428.
2
Ibidem, pp. 480-494.

927

forma tal que la figura de la contradiccin fuera excluida3. Esos matemticos y lgicos buscaban una teora lingstica no contradictoria
para el continuo real, teora que deba ser puesta en relacin con el
lenguaje de la teora de lo nmeros naturales, para obtener as, una
prueba de consistencia relativa. Por otro lado, segn Brouwer, los
intuicionistas franceses, a los que llamaba los viejos intuicionistas
(Poincar, Borel), sostenan que la teora de los nmeros naturales es
una coleccin de juicios sintticos a priori. Afirmaban ellos que las
pruebas formalistas de consistencia (no contradiccin) presuponen el
principio de induccin completa y por consiguiente, la esencia de la
teora de los nmeros naturales. Sin embargo, al desarrollar ellos la
matemtica fuera del mbito de los nmeros naturales, usaban la
lgica clsica. Pues por medio de los mtodos de construccin que los
viejos intuicionistas aceptaban slo podan ser construidas subespecies (subconjuntos) numerables no terminados4. Brouwer defina
conjunto numerable no terminado como aquel que es tal que no podemos construir en forma bien definida ms que subconjuntos numerables del mismo, pero de forma tal que, habiendo ya sido construido un
subconjunto de ese tipo, podemos deducir de l, siguiendo un procedimiento matemtico previamente definido, nuevos elementos que
son considerados pertenecientes al conjunto original. Esas subespecies numerables no terminadas, construidas segn los mtodos de los
viejos intuicionistas, tienen medida cero. Por eso, deca Brouwer, para
conseguir construir el continuo, ellos deban atribuir a la lgica poderes creativos5. Una forma de construir el continuo de manera diferente, consistira en identificar cada nmero real con el lmite de una
secuencia convergente de nmeros racionales, secuencia que estara
dada por un algoritmo. Mas as, slo se obtendra tambin un conjunto
numerable de medida cero.
La solucin de Brouwer para construir el continuo, fue considerar secuencias de eleccin libre de nmeros racionales, secuencias que
no estn dadas por una ley, esto es por un algoritmo, y que pueden
ser continuadas de forma arbitraria. Como el valor de cualquier funcin, definida de modo intuicionista, sobre una secuencia de ese tipo
queda determinado a partir de la informacin contenida en un segmento finito de esa secuencia, stas seran aptas, en principio, para
3
Die Struktur des Kontinuums, Viena, 1930. El texto de esta conferencia se
encuentra en la Antologa de P. Mancosu, From Brouwer to Hilbert, The Debate on the
Foundations of Mathematics in the 1920s, Oxford University Press, 1998, pp. 54-63.
4
Mancosu, op. cit., p. 54.
5
Cf. Mancosu, op. cit., pp. 54-55.

928

servir al propsito de reconstruir sobre nuevas bases el anlisis tradicional. Sobre esas nuevas nociones de funcin y de continuo, Brouwer
inici la reconstruccin del Anlisis. Prob en 1924 que toda funcin
definida en sentido intuicionista sobre el intervalo cerrado [0 1] es
uniformemente continua6. Sin embargo, cuando Brouwer intent continuar en la reconstruccin del Anlisis el programa se estanc. Las
pruebas resultaban extremadamente difciles.
Esa situacin oblig a Brouwer a reconocer en 1928, en su trabajo
Reflexiones intuicionistas sobre el formalismo7, que el intuicionismo
no haba vencido de forma categrica a los formalistas. Admiti ah
que la disputa entre los intuicionistas y formalistas no poda ser decidida de forma concluyente y que era en gran medida una cuestin
de gusto seguir uno u otro de los programas de fundamentacin de la
Matemtica. La disputa contra los formalistas giraba alrededor de la
naturaleza de esa ciencia, si ella deba ser concebida como una teora
de las construcciones mentales o como una teora de las estructuras
(lenguajes) formales y en torno al rol del principio del tercero excluido dentro de las pruebas matemticas. Siendo consciente de que esa
disputa no poda ser decidida, Brouwer acusaba, sin embargo, a los
formalistas de haber modificado sus posiciones originarias, y de haber tomado en prstamo varios principios intuicionistas. En resumen,
para el metalenguaje, para la metamatemtica, los formalistas aceptaran solamente los principios de los intuicionistas.
En Reflexiones intuicionistas sobre el formalismo Brouwer afirm que el intuicionismo matemtico reposa en cuatro mximas: primero, la distincin entre la construccin de un depsito de frmulas
matemticas y la teora intuitiva (con contenido, inhaltlich) de las
leyes de esa construccin, as como el reconocimiento de que para la
ltima, la teora intuicionista de los nmeros naturales es indispensable; segundo, el rechazo del uso irreflexivo del Principio del tercero excluido, as como el reconocimiento de que las investigaciones
sobre las razones que justifican ese principio y sobre su dominio de
validez constituyen una parte esencial de la investigacin sobre los
fundamentos de la Matemtica, y de que en la Matemtica con contenido (intuitiva) ese uso est restricto a sistemas finitos; tercero, la
identificacin del Principio del tercero excluido con el principio de la
solubilidad de todo problema matemtico; cuarto, el reconocimiento
Cf. Mancosu, op. cit., pp. 36-37.
Intuitionistische Betrachtungen ber den Formalismus. El texto se encuentra
traducido al ingls en Mancosu, op. cit., pp. 40-44.
6
7

929

de que la justificacin (con contenido, inhaltlich) de la matemtica

formalista por medio de una prueba de consistencia contiene un crculo vicioso, puesto que esa justificacin est basada en la correccin
(con contenido) de la afirmacin de que la correccin de una proposicin se sigue del hecho de que no sea contradictoria, esto es, de la correccin (con contenido) del Principio del tercero excluido. Aqu
Brouwer perciba la estrecha ligacin entre el Principio del Tercero
excluido y la regla de reduccin al absurdo. Pues el hecho de que una
proposicin no sea contradictoria, se expresa como la negacin doble
de esa proposicin.
Comentaremos brevemente cul era la actitud de ambas escuelas
en relacin a estas cuatro mximas en la poca que Brouwer profiri
su conferencia Matemtica, ciencia y lenguaje. La primera mxima
intuicionista ya haba sido expresada por Brouwer en su tesis doctoral de 1907 Sobre los fundamentos de la Matemtica, como la diferencia entre lenguaje matemtico y lenguaje de segundo orden. Los
hombres, deca Brouwer en ese trabajo, tratan por medio de sonidos
y smbolos de causar en la mente de los otros, las construcciones y razonamientos matemticos que ellos mismos hacen. As surge, con ese
propsito, el lenguaje matemtico, y como caso especial, el lenguaje
del razonamiento lgico en el cual nos restringimos a hablar sobre las
relaciones de todo y parte8. La relacin de sucesor que forma la serie
de los nmeros naturales no aparece en ese lenguaje del razonamiento lgico. Aqu Brouwer presentaba una concepcin de la Lgica tradicional muy parecida a la que expresara Leon Brunschcvig en su
obra Les tapes de la philosophie matehamtique, autor que consideraba a esa disciplina apta para expresar razonamientos que envuelven clasificaciones y taxonomas mas incapaz para expresar el
razonamiento matemtico. Aquellas personas interesadas en tener
una perspectiva matemtica de todas las cosas, afirmaba Brouwer en
su tesis de 1907, aplican esa persepctiva al lenguaje del razonamiento
lgico. Surge as la Logstica de Peano, Russell e Whitehead.
Esa distincin brouweriana entre el lenguaje matemtico y el
lenguaje de segundo orden es reconocida por Hilbert en su trabajo del
ao 1922 Neuebegrndung der Mathematik (Nueva fundamentacin
de la matemtica), donde la matemtica de segundo orden es llamada Metamatemtica. La Metamatemtica, afirmaba en ese trabajo
Hilbert, sirve para preservar a la matemtica del error y del terror de
prohibiciones innecesarias, as como de la dificultad de las paradojas.
8

L. E. J. Brouwer, Collected Works, p. 73.

930

En la metamatemtica, en contraste con los modos de inferencia propios de la matemtica intuitiva, usamos inferencias (con contenido)
en particular en la prueba de consistencia de los axiomas.
La segunda mxima intuicionista, la que se refiere al principio
del tercero excluido se encuentra ya en el artculo de Brouwer La falta
de confianza de los principios lgicos del ao 19089 y en los trabajos
posteriores de Brouwer. El valor de esta mxima es reconocido por
Hilbert en su artculo Die logischen Grundlagen der Mathematik (Los
fundamentos lgicos de la Matemtica), de 1922, donde se reconoce la
validez limitada dentro de la matemtica intuitiva de ese principio,
y en el artculo de Hilbert ber das Unendliche (Sobre lo infinito)
publicado en los Mathematische Annalen en 1926. En este ltimo trabajo de Hilbert la discusin sobre el principio del tercero excluido es
introducida de la forma siguiente : el enunciado a+1= 1+a, no es desde
el punto de vista finito (finitario) pasible de negacin. Eso queda claro, si consideramos que ese enunciado no debe ser interpretado como
una conjuncin infinita de muchas ecuaciones numricas mediante
y, sino como un juicio hipottico que afirma algo en caso que sea
exhibido un signo numrico. Cuando negamos ese enunciado, obtenemos un enunciado existencial que carece de contenido finitario. De
aqu se sigue, sostena Hilbert que no podemos usar el principio del
tercero excluido, para decir que una ecuacin como a+1=1+a, donde
aparece un signo numrico indeterminado, o bien es satisfecha por todos los signos numricos, o bien es contradicha por un contraejemplo.
Esa alternativa descansa en el presupuesto de la afirmacin de que
aquella ecuacin es pasible de negacin.
La tercera mxima, la que se refiere a la solubilidad de todo problema matemtico, es interpretada tambin por los formalistas como
una conviccin en la conferencia de Hilbert del ao 1901
Mathematische probleme (Los problemas matemticos). Sin embargo,
ya en Axiomatisches Denken (El pensamiento axiomtico) del ao
1926 Hilbert se refera a una solubilidad en principio y a una solubilidad por medio de un nmero finito de operaciones. No hay indicios
de reconocimiento por parte de los formalistas de la cuarta mxima
intuicionista que fue claramente expresada por Brouwer en un artculo del ao 1927 en Mathematische Annalen, cuyo ttulo es ber
Definitionsbereiche von Funktionen (Sobre los dominios de definicin
de las funciones). Por el contrario frente a esa objecin intuicionista
en Uber das Unendliche, Hilbert responde: Si la cuestin de justifi9

Brouwer, Collected Works, pp. 107-111.

931

car un proceder, un mtodo, tiene algn sentido diferente de aquel de

probar su ausencia de contradiccin slo puede ser el de establecer si
ese proceder es exitoso en la produccin de resultados10. Como se ve,
se trata aqu de un argumento pragmtico.
Es en ese contexto, que Brouwer imparti en Viena, en 1928, su
conferencia Matemtica, ciencia y lenguaje. Si fuera lcito dividir
aquellos que se ocupan del lenguaje, entre los que lo abordan a partir de una perspectiva estructural, y aquellos que lo abordan a partir
de su funcin en la comunicacin, Brouwer se situara dentro de estos ltimos. Para Brouwer la funcin principal del lenguaje no es representar la realidad, sea ella la de los objetos fsicos, o la de los
contenidos de la conciencia, sino trasmitir los deseos de nuestra voluntad. La descripcin que nos da Brouwer sobre el origen del lenguaje aparece, en esa conferencia, situada dentro de un relato sobre la
formacin de la conciencia. La conciencia surge por medio de lo que
Brouwer llama atencin matemtica (mathematische Betrachtung).
Esta ltima sirve para la preservacin del individuo. La atencin
matemtica tiene dos fases: la conciencia del tiempo y la atencin
causal (kausale Einstellung). La primera fase consiste en el reconocimiento de dos contenidos mentales distintos. Un contenido es percibido, mientras otro ya previamente percibido es retenido en la
memoria. La conciencia de la dualidad surge de la conciencia del tiempo. Es la intuicin de la dualidad la que da origen al lenguaje, a la
Matemtica y a la ciencia. Cada uno de esos elementos de esa dualidad originaria puede ser considerado como siendo l mismo una dualidad, y as sucesivamente, es generada la serie numrica. Si bien
Brouwer se apart de la Filosofa de la Matemtica de Kant en relacin a la Geometra, alababa al filsofo alemn por haber afirmado,
por primera vez, que la Aritmtica se basa en la intuicin a priori del
tiempo.
La atencin causal consiste en el acto de la voluntad que identifica secuencias temporales distintas de fenmenos que se extienden
hacia el pasado o hacia el futuro. Aparece as, para la conciencia, un
substrato comn a todas las secuencias ya identificadas, substrato
conocido como secuencia causal. Observemos que las secuencias causales no son definidas por Brouwer por medio del dinamismo intrnseco a sus elementos mas por el slo hecho de seguirse ellos uno
10
ber das Unendliche. Este texto se encuentra traducido al ingls en P.
Benacerraf y H. Putnam, Philosophy of Mathematics: Selected readings, Cambridge
University Press, 1983, pp. 183-201.

932

despus del otro en la serie temporal. Un caso especial de la atencin

causal consiste en la construccin de los objetos, esto es, de cosas persistentes (simples o compuestas) del mundo percibido. La atencin
matemtica no consiste en recepcin sino en un acto de la voluntad.
La conciencia es caracterizada por Brouwer de forma leibniziana,
consistiendo en percepcin y deseo. En este desarrollo suyo la conciencia se da cuenta de que unos estados mentales son medios para la
obtencin de otros estados perceptivos deseados. Habiendo ya adquirido la nocin de relacin causal, la conciencia se da cuenta de la relacin entre medios y fines. Estados perceptivos que parecen antes en
la serie temporal son considerados medios para la percepcin de otros
estados mentales deseados. Slo una vez que la relacin causal ya est
constituida aparece el lenguaje como medio para trasmitir los deseos
de nuestra voluntad.
En Conciencia, Filosofa y Matemtica11, conferencia proferida
veinte aos despus de su conferencia Matemtica, Ciencia y Lenguaje en Viena, Brouwer nos habla del acto astuto (cunning act). El acto
astuto permite el desarrollo de la actividad conativa (atencin al trmino) del sujeto. El acto astuto se manifiesta en que en una secuencia causal de eventos, un ltimo elemento que es deseado pero que
no es accesible de forma inmediata, es realizado indirectamente produciendo un elemento anterior en el orden de la secuencia, elemento que en s no es deseado, mas que es visto como medio para obtener
el elemento deseado. As la conciencia produce una estructuracin de
la realidad, percibida ahora como un sistema de relaciones de causaefecto, de medios y fines. Concebido de esa forma el mundo, podemos
proyectar sobre l las relaciones matemticas constituidas a partir de
la conciencia de la dualidad. Surge entonces la ciencia. La ciencia,
para Brouwer, no tiene el carcter aristotlico de contemplacin de la
realidad, mas el carcter baconiano de teora destinada a dar al hombre el dominio y el control de la realidad circundante.
Tres cosas merecen ser destacadas. En primer lugar tanto el lenguaje como la ciencia emprica surgen de un acto de la voluntad. Se
originan a partir de la tendencia (conato) de ajustar el mundo a nuestros deseos. La matemtica, por el contrario, surge de una contemplacin desinteresada de los elementos de la conciencia. En segundo
lugar, Brouwer no nos da argumentos que sostengan esta Fenomenologa de la conciencia. Por argumentos, nos referimos a aquellos
que puedan ser parte de una teora filosfica sobre el lenguaje o so11

L. E. J. Brouwer, Collected Works, Vol I, pp. 480-494.

933

bre el conocimiento. Brouwer va a buscar el apoyo para esta Fenomenologa de la conciencia en sus concepciones sobre la Matemtica que,
por otro lado, son consecuencia de sus objeciones al principio del tercero excluido y a la visin formalista de esa ciencia. As, no hay en
Brouwer, como s hay en Dummett, una teora sobre el lenguaje que
fundamente su Filosofa de la Matemtica. En Brouwer tenemos la
situacin inversa: es su concepcin sobre la Matemtica la que tornara plausibles sus concepciones sobre el lenguaje. En tercer lugar
en esta Fenomenologa encontramos los temas tradicionales de la
Filosofa de la conciencia, precisamente en un momento en que la
Filosofa comienza a dejar de ser un discurso sobre las ideas para
transformarse en un discurso sobre el lenguaje.
Brouwer interpretaba sus diferencias con los formalistas como
teniendo su origen en visiones diferentes sobre las relaciones entre
matemtica y lenguaje. Ya en su tesis del ao 1907 Brouwer era consciente de eso. Para Brouwer la Matemtica deba ser construida paso
a paso, y el lenguaje slo puede indicar como realizar esas construcciones. Mas por otro lado, no hay exactitud ni certeza en la transmisin de los deseos de nuestra voluntad, en especial cuando se trata de
la construccin de entidades matemticas, cuyas formas de produccin deberan ser indicadas por el hablante por medio del lenguaje.
En su tesis de 1907, disertando sobre las Geometras no arquimedianas estudiadas por Hilbert, Brouwer apuntaba para las consecuencias perturbadoras que surgen cuando el lenguaje, que es un medio,
aunque imperfecto, para comunicacin de la Matemtica, y que no
tiene que ver con ella como tal, excepto como acompaamiento, es
considerado como esencial para aquella ciencia, y cuando las leyes que
gobierna la sucesin de enunciados, las leyes lgicas, son vistas como
directivas para actos de construccin de entidades matemticas12. En
consecuencia, no hay para la Matemtica pura, afirmaba Brouwer en
Matemtica, ciencia y lenguaje, ningn lenguaje cierto, esto es, ningn
lenguaje que en el intercambio de pensamientos excluya el malentendido y que como una ayuda para la memoria este libre de error13. Esas
limitaciones del lenguaje natural , pensaba Brouwer, no podan ser
resueltas como consideraba la escuela formalista, regimentando el
lenguaje natural y sometindolo a un abordaje matemtica. Brouwer
era consciente de que el lenguaje que habla sobre las construcciones
matemticas manifiesta ciertas regularidades en su sintaxis y en la
12
13

Brouwer, Collected Works, p. 79.

Ibidem, p. 421.

934

conexin que hay entre las proposiciones expresadas en l, y que por

eso puede ser abordado formalmente. Ese es el origen de la Lgica.
Con posterioridad la Lgica puede ser abordada matemticamente,
tenemos entonces la Logstica de Russell. Sin embargo, el uso de la
Logstica no excluye la posibilidad del error.
Lo que debe ser notado aqu es que Brouwer innova en relacin
a la tradicin escptica sobre el lenguaje. Esa tradicin ya iniciada por
los sofistas, afirmaba la incapacidad del lenguaje para trasmitir nuestras representaciones mentales. Se trataba aqu de la imposibilidad
de trasmitir conocimientos, de que el hablante y el oyente asociaran
idnticos significados a las mismas palabras. En Brouwer, por el contrario, tenemos un escepticismo en relacin a la capacidad del lenguaje para trasmitir nuestra voluntad.
Para los formalistas la relacin entre Matemtica y lenguaje es
otra. Si pudiera probarse que una teora matemtica no es contradictoria, eso nos asegurara que ella se refiere a un dominio de entidades existentes. Porque a partir del descubrimiento de las geometras
no euclidianas, la existencia matemtica volvi a ser identificada de
manera leibniziana, con la ausencia de contradiccin. Para demostrar
la no contradiccin de la teora en cuestin es preciso expresar de forma matemtica (usando los smbolos y la sintaxis de la logstica) el
lenguaje en el cual ella est formulada, y probar que dentro de ese
lenguaje no puede derivarse la figura de la contradiccin .
En Matemtica, ciencia y lenguaje Brouwer daba una explicacin
del origen de la confianza de los formalistas en el lenguaje. En la
antigedad, continuaba Brouwer, el hombre tena a su disposicin un
lenguaje perfecto, que exclua errores, lenguaje que se refera a grupos finitos de cosas en el espacio y en el tiempo, concebidas como
unidades y sustancias. Es probable que aqu Brouwer se estuviese
refiriendo al lenguaje en el que est expresada la ciencia y la filosofa de los griegos. Como es bien sabido la imagen del Universo de los
griegos era la de un Cosmos finito y jerarquizado, y su ciencia exclua
la consideracin de lo infinito. En ese lenguaje afirmaba Brouwer
hay formas de pasar de afirmaciones correctas a otras afirmaciones
correctas, esas formas de inferencia son conocidas como las leyes de
Identidad, de Contradiccin, del Tercero Excluido y del Silogismo. No
podemos dejar de sealar la exactitud del anlisis de Brouwer al concebir la Lgica de los antigos como un sistema de reglas de inferencia y no como un cuerpo de axiomas. Al razonar sobre sistemas finitos
el uso de esos principios lgicos se mostr correcto. Eso llev a las
personas a creer en ellos, aun cuando, adverta Brouwer, las conclu935

siones obtenidas por esos principios no pudiesen ser verificadas directamente. Sobre todo se confi en el Principio del tercero excluido,
entendido tambin en su forma ms general, que asume que un hecho aconteci, slo sobre la base de la imposibilidad de encontrar una
explicacin alternativa para la produccin de otro hecho que le sigue
en la serie temporal (una especie de inferencia a la mejor hiptesis).
Es claro que a veces, afirmaba Brouwer, el uso de ese principio lleva
a conclusiones errneas, pero las personas no abandonaron su fe en
el Principio del Tercero Excluido ajustando las experiencias de forma
a concordar con l.
Hay dos errores que estn detrs de la confianza ingenua en los
principios lgicos. El primero es un error filosfico y se origina en una
concepcin equivocada sobre el lenguaje. Los hombres, deca Brouwer,
no reconocieron que las palabras son en su esencia instrumentos para
trasmitir nuestra voluntad, y las trataron como etiquetas para conceptos14. Se pens que esos conceptos y las relaciones entre ellos nos
llevaran a existencias independientes de la actitud causal del hombre, y se consider que los principios lgicos representaran las leyes a priori que gobiernan esos conceptos y sus relaciones recprocas.
El segundo error radica en la confusin entre los modelos matemticos de la realidad percibida y esa misma realidad. La humanidad,
afirmaba Brouwer, han conseguido controlar los objetos observables
y los mecanismos del mundo perceptivo cuando se trata de complejos
extendidos de hechos y eventos, considerando y tratando el sistema
de esos objetos y mecanismos en el mundo espaciotemporal como
parte de un sistema finito y discreto de objetos cuyos elementos estn
ligados por un nmero finito de relaciones15 .
La conferencia Conciencia, Filosofia y Matemtica de 1948, vuelve a tocar los mismos tpicos que aquella dada en Viena veinte aos
atrs. Pero aqu tenemos una acentuacin de las caractersticas solipsistas del pensamiento de Brouwer. En esta conferencia Brouwer se
refiere al xodo de la conciencia desde su ms profunda morada. La
primera fase de ese xodo, que Brouwer designa como ingenua, consiste en la formacin de la conciencia del tiempo a travs de la cual se
forma el mundo de las sensaciones. La segunda fase es la que se origina en la atencin causal, a partir de la que se constituye el mundo
como una red de secuencias causales. La tercera fase es la fase social,
en la cual el yo se encuentra inmerso en la cooperacin con otros indi14
15

L. E. J. Brouwer, Collected Works, p. 423.

Ibidem, p. 423.

936

viduos. La cuestin que Brouwer present en esa conferencia es saber si despus del xodo de la conciencia pueden ser encontradas la
belleza, el entendimiento mutuo, la sabidura y la verdad.
En el pensamiento causal y su correlato, el mundo estructurado
como un sistema causal, no hay belleza, afirmaba Brouwer16. La sensacin que experimentamos en la eficacia de nuestros actos causales,
o en el sistema de stos, o en el descubrimiento de nuevas secuencias
causales, no es una sensacin de belleza. Pero hay belleza en la primera fase del xodo de la conciencia, en el libre juego de las sensaciones. Tambin hay belleza en la construccin desinteresada de las
cosas. Belleza que Brouwer llam constructiva. Mas la belleza constructiva mxima se consigue en la belleza introspectiva de la matemtica, donde la intuicin queda libre para desplegarse17.
No puede haber entendimiento mutuo entre los hombres porque
no hay intercambio de pensamientos. No podemos atribuir mentes
(conciencia) a los seres que aparecen en nuestro campo perceptivo. El
argumento es el siguiente: si furamos a atribuir mente (conciencia)
a los otros seres, seramos entonces una mente de segundo grado, una
conciencia de la conciencia de los otros. Mas de la misma forma que
atribuimos una conciencia a ellos, una mente de primer grado, podramos atribuirles tambin una mente de segundo grado, como la nuestra: seramos as una conciencia de una conciencia de una conciencia
y as ad infinitum18. Usando terminologa de la Filosofa de la Mente, nuestro yo no sera un lector de mentes sino un lector de conductas. Atribuimos a los otros seres conductas, no mentes. Puesto que no
hay una pluralidad de mentes afirmaba Brouwer no habra una
ciencia de ellas. Habra slo una psicologa del hombre y del animal,
que sera una extensin de la fisiologa, que estudiara autmatas que
seran organismos vivientes, sin mente y sin libre albedro19. A esos
seres pertenecera nuestro yo, no obstante su rol especial de portador
de alegra y dolor, de emociones y de pensamientos. Pero cuando objetivamos de esa forma nuestro yo, cuando lo consideramos como constituido en el mundo y no como constituyente del mismo, no podemos
decir mucho sobre l. Al tomar contacto con estas afirmaciones de
Brouwer, no podemos dejar de recordar la forma como Descartes
resolvi la cuestin de atribuir mentes a otros seres, en la quinta
parte del Discurso del Mtodo. Qu es lo que nos justifica para atri16
17
18
19

L. E. J. Brouwer, Collected Works, p. 483.

Ibidem, p. 484.
Ibidem, pp. 484-485.
Ibidem, p. 485.

937

buir mentes a los otros seres? Para Descartes es la capacidad de hablar, la plasticidad de la conducta lingstica, la capacidad de formar
infinitas frases en circunstancias diferentes lo que nos permite distinguir entre una mente y un autmata. Es la desconfianza que Brouwer
tiene en relacin al lenguaje lo que le impide ir por ese camino.
Para alcanzar la sabidura debemos abandonar el pensamiento
causal. Buscando la sabidura deca Brouwer podemos encontrarla, sabiendo que el pensamiento causal y la accin que corresponde a
ese tipo de pensamiento no es bella y es difcil de justificar, y que a largo
plazo trae decepcin. Como corolario de esa actitud debemos aceptar el
mundo exterior tal como l es y nuestra posicin en l. Cualquier actividad que hagamos con la intencin de mudar la estructura de la
sociedad debe tener presente la mxima la providencia no te coloc
en este mundo para mejorar su obra20. Hay que abdicar de toda responsabilidad por la expansin hipertrofiada de las organizaciones
sociales, cuyo objetivo es el confort de las masas y su seguridad, y no
pretender tener en ellas una posicin destacada. Tampoco se debe
impedir la libertad de accin de las otras personas ni pretender dominar a los semejantes. Como ejemplo de la actitud que debemos tener
para buscar la sabidura Brouwer cit en Conciencia, Filosofa y
Matemtica unos pasajes del Bhagavad-Gita (cancin de Dios), texto snscrito, parte de pica Mahabharata21:
Un hombre no debe odiar ninguna criatura viviente. Dejad que l sea
amigable y compasivo con todas. Debe se liberar de la ilusin del Yo y de
lo mo. Aceptar placer y dolor con igual tranquilidad. Debe perdonar, estar siempre contento, autocontrolado y constantemente ser una unidad.
Sus resoluciones deben ser inmutables. Nunca debe molestar a su prjimo, ni permitir que el mundo lo perturbe. No debe estar jams influenciado por la alegra o por la envidia, por la ansiedad o por el temor.
l es puro e independiente del deseo del cuerpo. Es capaz de lidiar
con lo inesperado: preparado para toda las cosas, imperturbable. No est
ansioso en vano por el resultado de sus acciones.
No desea regocijarse en lo que es agradable. No es temeroso de lo
que es desagradable, ni se entristece por eso. Permanece inmutable ya
sea en la buena o en la mala suerte.
Su actitud es la misma en relacin al amigo y al enemigo. Es indiferente a la alabanza y al insulto, al calor y al fro, al placer y al dolor.
Est libre de lazos. Valoriza la alabanza y el escarnio de igual manera.
Est contento con todo lo que sucede. Su casa est en todas y en ninguna
parte.
20
21

Brouwer, Collected Works, p. 486.

Ibidem, pp. 486-487.

938

A partir del rechazo de la hiptesis de la pluralidad de mentes

afirmaba Brouwer se sigue que la verdad est slo en las experiencias presentes y pasadas de la conciencia individual. No est ni en el
lenguaje ni en una realidad objetiva fuera de nuestra conciencia.
Verdades son trasmitidas por las palabras o por complejos de palabras, generalmente tomadas en prstamo del lenguaje cooperativo
social, de forma tal que, para el sujeto una palabra o complejo de palabras, evoca una verdad. Adems hay un sistema de reglas llamadas
reglas lgicas que permiten al sujeto deducir de un sistema de palabras que trasmiten verdades, otro sistema de palabras que tambin
trasmiten verdades. Esto no significa segn Brouwer que esos sistemas de palabras trasmitan verdades antes de que esas verdades
hayan sido experimentadas, ni tampoco que esas supuestas verdades
puedan ser siempre experimentadas. En otras palabras concluy
Brouwer la lgica no es instrumento confiable para descubrir verdades ni tampoco puede deducir verdades que no puedan ser accesibles
de otra forma. Encontramos aqu un eco de lo que Descartes sostena
en la Regla X de las Reglas para la direccin del espritu: ...omitamos todos los preceptos por los cuales los dialcticos creen deducir la
verdad humana, prescribiendo ciertas formas de razonamiento tan
necesariamente concluyentes, que aunque a la razn que confa en
ellas no le importe considerar atenta y evidentemente la inferencia
misma, pueda, sin embargo, a veces, slo por la fuerza de la forma establecer conclusiones ciertas. En efecto, notamos que la verdad escapa
con frecuencia de estos lazos.22. Es probable que este rechazo cartesiano a la lgica le haya sido trasmitido a Brouwer a travs de los
intuicionistas franceses.
El punto de vista de que la lgica no es instrumento confiable
para el descubrimiento de verdades ha encontrado una aceptacin
tarda en la matemtica, pensaba Brouwer. La matemtica rigurosamente tratada consiste en construcciones dadas a travs de la introspeccin. Esa matemtica rigurosa se llama matemtica intuicionista
y se distingue de la matemtica clsica por cuatro razones: primero,
la matemtica clsica usa la lgica para generar teoremas; segundo,
cree en la existencia de verdades desconocidas; tercero usa el principio del tercero excluido, expresando que toda aseveracin matemtica
(esto es toda asignacin de una propiedad matemtica a una entidad)
debe ser o verdadera o falsa; cuarto, considera solamente secuencias
22
R. Descartes, Obras escogidas, Traduccin de Ezequiel de Olaso y Toms
Zwanck, Buenos Aires, Sudamericana, 1967.

939

infinitas predeterminadas, en el sentido de que para todo nmero n

est determinado el n-simo trmino de la secuencia. Como consecuencia de eso, para definir el continuo, la matemtica clsica tiene
a su disposicin, para generar los nmeros reales, solamente secuencias predeterminadas convergentes de nmeros racionales. Eso obliga a que la matemtica clsica para generar el continuo real necesite
algn proceso lgico comenzando por uno o ms axiomas. El anlisis
clsico, consideraba Brouwer, aunque apropiado para la tcnica y la
ciencia tiene menos verdad que el anlisis intuicionista.
El lenguaje de ambas escuelas diverge. Pero si quisiramos situarnos dentro de un lenguaje neutral y dentro de l hablar de la divergencia entre ambas podramos decir: hay modos de razonamientos
en la matemtica clsica que el intuicionista rechaza, hay teoremas
que el intuicionista acepta, como por ejemplo aquel que afirma que
toda funcin definida sobre el intervalo unitario es uniformemente
continua y que el matemtico clsico rechaza. Esta circunstancia se
originaba, para Brouwer, porque para entidades matemticas pertenecientes a una especie determinada, la posesin de una propiedad
determinada imprime un carcter especial sobre su desarrollo a partir
de la intuicin bsica23. Lo que quera decir Brouwer aqu es que
entidades matemticas abiertas, no completadas, susceptibles de ser
completadas libremente a partir de nuestras elecciones, quedan determinadas a partir de un segmento finito de ellas.
La ltima parte de las dos conferencias est dedicada a la discusin del principio del tercero excluido. Ya en su tesis de 1907, Brouwer
nos adverta que ese principio slo puede ser usado cuando razonamos
sobre sistemas finitos. Cuando razonamos sobre sistemas infinitos no
es ms confiable. Sin embargo una aplicacin particular de ese principio no nos lleva a una contradiccin. Pues si fuera contradictoria una
aplicacin particular, afirmaramos al mismo tiempo que sera contradictorio afirmar que una construccin fue realizada y que es contradictorio que la construccin es contradictoria, violando as el principio
de no contradiccin.
Son innumerables los casos que dio Brouwer de inaplicabilidad
del principio del tercero excluido. No se puede afirmar que todo nmero es finito o infinito, que hay o no en el desarrollo decimal de un
dgito que ocurre ms veces que los dems, que hay o no en el desarrollo decimal de infinitos pares de dgitos iguales consecutivos, que
vale o no el principio del tercero excluido sin excepcin
23

L. E. J. Brouwer, Collected Works, p. 489.

940

Las conclusiones de las dos conferencias se parecen mucho a

aquellas que Brouwer coloc en la seccin III de su tesis doctoral ,titulada Lgica y Matemtica24: En la sabidura no hay lgica. En la
ciencia muchas veces la lgica lleva al resultado correcto pero no podemos confiar en ella, si es aplicada indefinidamente de una forma
repetida. En matemticas es incierto si toda la lgica es admisible y
es incierto si el problema de la admisibilidad irrestricta de la lgica
es soluble. Y adems: la ciencia nace del deseo de poder sobre la naturaleza.
Universidade de Santa Cruz do Sul (UNISC)
Universidade Estadual de Rio Grande do Sul (UERGS)
e-mail: molina@unisc.br

24

Ibidem, pp. 480-494.

941

CLCULO Y LENGUAJE
EN EL INTUICIONISMO MATEMTICO*
JAVIER LEGRIS
La distincin entre clculo y lenguaje ha originado un extenso y
variado debate en la filosofa de la lgica y la filosofa del lenguaje. A
partir de las ideas bsicas de Jean van Heijenoort la distincin se ha
aplicado para comprender los orgenes de la lgica simblica y Jaakko
Hintikka ha visto en ella un supuesto bsico de la filosofa del siglo
XX. Este trabajo, presentado en ocasin del centenario de la tesis
doctoral de L. E. J. Brouwer, defendida en febrero de 1907, tiene por
objetivo explorar la aplicacin de la distincin a las ideas del intuicionismo matemtico sobre el lenguaje y su funcin en la matemtica.
I
En un trabajo de 1967, Jean van Heijenoort introdujo la distincin entre lgica como clculo y lgica como lenguaje con el objetivo
de delinear dos concepciones bsicas, coexistentes en los orgenes de
la lgica simblica durante la segunda mitad del siglo XIX (van
Heijenoort 1967). Los trabajos sobre el lgebra de la lgica, cuyo
abanderado era George Boole, representaban la primera concepcin,
mientras que Frege, con su escritura conceptual o Begriffsschrift,
resultaba ser el caso paradigmtico de la segunda concepcin. Con
esta distincin, van Heijenoort ofreca una clave para entender la
historia de la lgica simblica, de modo que aspiraba a hacer una contribucin esencialmente historiogrfica. Adems, la distincin posee
riqueza conceptual y marcaba dos posiciones filosficas respecto del
* Este trabajo fue elaborado en el marco del proyecto Clculo formal y conocimiento simblico en la historia de la lgica moderna (PIP 5615), financiado por el
CONICET.

943

lenguaje formal. La distincin se difundi ampliamente en la comunidad de lgicos matemticos y cobr gran celebridad, a punto tal que
ha sido considerada la concepcin heredada de la historia de la lgica.
Para su distincin, van Heijenoort se basaba en la oposicin expresada por el mismo Frege, quien recurra a trminos de la tradicin
leibniziana para responder a algunas crticas hechas a la escritura
conceptual que l haba presentado en 1879. As, Frege afirmaba:
De hecho, yo trataba de crear una lingua characterica en el sentido
leibniziano y no un mero calculus ratiocinator (Frege 1883, p. 89).

Dicho de una manera extremadamente simplificada, con la expresin lingua characterica, Frege se refera a un lenguaje con una
interpretacin fija y universal, que serva para expresar un contenido.
Por el contrario, un calculus ratiocionator era un sistema simblico
sin una interpretacin predeterminada, construido con la finalidad de
resolver problemas lgicos.
Obviamente, pese a estas diferencias tan fundamentales, la distincin presupona un terreno de discusin comn, que era la presentacin
simblica o lingstica de la lgica (e incluso de los diferentes sistemas
matemticos). En ambas concepciones, los sistemas simblicos eran
esenciales para entender la naturaleza de la lgica, aunque la idea que
se tuviera de los sistemas simblicos fuera diferente. Los sistemas respectivos permitan identificar claramente los conceptos lgicos y sus
propiedades, obtenindose as una precisa caracterizacin de la deduccin, libre de ambigedades y vaguedades. La idea no era enteramente nueva, pero tanto en los algebristas de la lgica como en Frege,
estaba formulada de una manera explcita. Ms an, una filosofa del
simbolismo estaba en la base de la idea misma de lgica. Por lo tanto,
toda idea de la lgica que no asignara un lugar central al simbolismo,
o incluso al lenguaje en general, quedaba directamente fuera de esta
distincin y, de hecho, quedaba fuera de la lgica simblica.
Es tema de discusin la adecuacin histrica de la distincin hecha por van Heijenoort y no ha sido difcil advertir, tal como le han
hecho historiadores posteriores de la lgica, casos que no se encuadran en la distincin y casos en los que aparecen ambos aspectos de
la distincin. De todos modos, el mismo van Heijenoort consideraba
que la distincin comenz a desdibujarse a partir de comienzos del
siglo XX y hacia 1920 tuvo lugar un dpassement (o sea, una superacin) de ambas concepciones (vease van Heijenoort 1967).
Ms tarde, Jaakko Hintikka retom esa distincin y la aplic no
slo al desarrollo posterior de la lgica simblica sino tambin a la fi944

losofa. En realidad, es ms adecuado hablar de una reformulacin de

la distincin de van Heijenoort, pues de hecho l va a hablar no slo
de la lgica, sino del lenguaje como clculo y como medio universal. Hintikka lleg a considerar dicha distincin como la presuposicin ms fundamental de la filosofa del siglo XX (vase Hintikka
1997, p. IX). A continuacin, voy a esbozar brevemente las razones
que ofrece Hintikka para hacer tal afirmacin.
A diferencia de van Heijenoort, Hintikka aplica la distincin a la
lgica simblica posterior a 1920. En realidad, comienza aplicndola
a las ideas que Wittgenstein expres en el Tractatus y, en aos posteriores, en sus conversaciones con miembros del Crculo de Viena,
luego a Tarski y los inicios de la teora de modelos, Carnap, Quine y
C. S. Peirce, a Carnap a veces en forma sucesiva o en forma simultnea (vase sobre todo Hintikka 1997). Hintikka plantea la distincin
para el lenguaje antes que para la lgica en sentido estricto. Obviamente, la idea de lenguaje universal (lenguaje como medio universal,
como aparece en Hintikka 1988) es muy clara en Wittgenstein o en
Quine; Carnap resulta universalista en su primer perodo al menos,
Tarski debe adscribirse a la tradicin del calculus y Peirce es adscripto a esta misma tradicin, pese a constituir un caso bastante problemtico. En este mismo contexto Hintikka esboza el problema de la
inefabilidad de la semntica, en el sentido de que la semntica del
lenguaje no puede expresarse en el lenguaje, y tambin ofrece una
serie de notas propias de cada una de las tradiciones (vase Hintikka
1990).
II
Esta distincin entre clculo y lenguaje universal resulta ser un
marco general aplicable a muy variadas corrientes de pensamiento,
especialmente las que estn ligadas a la naturaleza de la lgica y la
matemtica. Un caso a considerar es el del intuicionismo matemtico, la escuela instaurada por L. E. J. Brouwer y luego continuada por
Arendt Heyting, entre otros. La cuestin de ubicar a esta escuela en
la distincin tiene sentido prima facie, si se piensa que el intuicionismo tuvo un papel central en la discusin acerca de los fundamentos
de la matemtica en el siglo XX, defendiendo posiciones ontolgicas
y gnoseolgicas bien definidas acerca de la matemtica y criticando
sobre todo al programa de Hilbert. De estas posiciones surgi, como
es bien sabido, una lgica alternativa, crtica de principios lgicos
945

como el de tercero excluido o el de doble negacin, y notablemente

influyente en la filosofa de la lgica. Un aspecto a tomar en cuenta
es que la distincin entre clculo y lenguaje siempre se ha hecho en
relacin con la lgica clsica y nunca se ha aplicado a lgicas no clsicas como la intuicionista. En realidad, el problema de la validez de
los principios lgicos clsicos no parece haber desempeado papel
alguno en la discusin de esta distincin.
Brouwer tena fuertes convicciones filosficas ya en la poca de
su tesis doctoral de 1907, y en definitiva estas convicciones fueron un
ingrediente esencial tanto en su trabajo en matemtica como en la
justificacin de su intuicionismo. Como es sabido, l conceba las entidades matemticas como construcciones mentales en el tiempo:
El fenmeno primordial aqu no es ms que la intuicin del tiempo, en
la cual es posible la repeticin de cosa en el tiempo y de nuevo una cosa,
y sobre cuya base momentos de vida pueden descomponerse en secuencias de cosas diferentes cualitativamente diferentes; stas se concentran
subsiguientemente en el intelecto como secuencias matemticas, no sentidas (sensed), sino percibidas (Brouwer 1907, p. 81).

Estas convicciones filosficas incluan una concepcin del lenguaje y de su funcin en la matemtica. Como expres ms tarde:
La matemtica intuicionista es una estructura mental esencialmente
no lingstica (Brouwer 1947, p. 339).

Esto quiere decir que el conocimiento matemtico es obtenido por

la mente individual, y este conocimiento y sus resultados son registrados en un medio fsico constituido por un sistema de smbolos nicamente con el fin de ayudar a la memoria. As, la separacin entre
pensamiento y lenguaje se basa en la forma de solipsismo que sostena Brouwer, de modo que en la matemtica entendida como la actividad constructiva intuitiva que tiene lugar en el interior del sujeto
cognoscente, el lenguaje no ocupa un papel sustantivo. Esta es la
posicin que sostuvo en la influyente conferencia que ofreci en Viena
en marzo de 1928 (Brouwer 1929).
El lenguaje era para Brouwer una herramienta para la comunicacin, que es esencialmente imperfecta y que nunca puede garantizar la evocacin de las mismos estados subjetivos de conciencia (que
es lo que est en la base de la matemtica) en los diferentes individuos, aunque en ltima instancia poda dirigir las acciones matemticas de los oyentes en la direccin que el hablante desea. Esto se
advierte ya claramente en algunas partes de la primera versin de su
tesis doctoral que fueron rechazadas por su director de tesis, el ma946

temtico Korteweg (quien las desestim por su carcter especulativo;

vase detalles al respecto van Dalen 1999, p. 92).
Brouwer adhiri a las ideas del movimiento Significs, que tuvo en
Holanda un desarrollo importante y cont entre sus miembros al
matemtico G. Mannoury (maestro de Brouwer), al periodista Henri
Borel y al escritor y psiquiatra Frederik van Eeden. El movimiento
haba sido iniciado en Inglaterra por Victoria Lady Welby a comienzos del siglo XX y tena puntos de contacto con la semitica de Charles S. Peirce. Se presentaba como un estudio del significado en general
y aspiraba a una reforma del lenguaje con el fin de mejorar la vida en
sociedad. Toda forma de expresin es tenida en cuenta, desde las frmulas matemticas hasta la actuacin teatral, centrndose en aspectos que podran llamarse pragmticos. Debido a sus aspiraciones
sociales, el movimiento vea en la educacin el campo ms promisorio
de aplicacin de sus ideas. Tambin debido a esta intencin de promover cambios sociales, el movimiento tenda a sostener una concepcin
imperativa del lenguaje humano: el fin del lenguaje es llegar a modificar la conducta del prjimo.
El principio bsico que animaba a este movimiento deca que el
lenguaje no es capaz de representar adecuadamente parte alguna de
la realidad, sino que el significado de las palabras depende del efecto pretendido por el hablante o que el auditorio percibe (vase Vuysje
1951). Siguiendo estas ideas, Brouwer sostena, por ejemplo, que el
lenguaje era esencialmente un instrumento para la transmisin de
voluntad (Brouwer 1933, p. 51).
El movimiento tuvo eco no slo en Brouwer, sino que influy en la
filosofa del lenguaje de algunos filsofos del lenguaje como Friedrich
Waismann e interactu con el Crculo de Viena. E. W. Beth aplic sus
principios para estudiar los aspectos pragmticos de los lenguajes formales. Segn Beth, y en sintona con Brouwer y Heyting, los lenguajes formales no son capaces de representar los actos de construccin
propios de la actividad mental matemtica (vase Beth 1936-7).
III
En el caso de Heyting, las observaciones sobre el lenguaje tambin estn estrechamente vinculadas con las discusiones acerca de la
formalizacin de la lgica y matemtica intuicionistas. Heyting present en 1929 el primer sistema axiomtico formal para la lgica intuicionista, siguiendo al menos parcialmente los lineamientos del
947

programa de Hilbert, con lo cual abri el camino para el estudio de las

propiedades de la lgica intuicionista.
Sin embargo, Heyting comenzaba su presentacin con la siguiente observacin:
La matemtica intuicionista es una actividad del pensamiento [Denkttigkeit], y todo lenguaje, incluso el formalista, es para esta slo un
medio auxiliar que sirve a los fines de la comunicacin. Es fundamentalmente imposible, determinar un sistema de frmulas que sea equivalente a la matemtica intuicionista, pues las posibilidades del
pensamiento no se pueden reducir a un nmero finito de reglas establecidas de antemano. El intento de reproducir las partes ms importantes de la matemtica en un lenguaje formal se justifica exclusivamente
por la concisin y precisin de este ltimo frente al lenguaje habitual.
Estas propiedades lo hacen apropiado para hacer ms fcil el estudio
de los conceptos intuicionistas y su uso en investigaciones (Heyting
1930, p. 42).

En este pasaje se encuentran las ideas bsicas que Heyting tena

acerca de la representacin lingstica de la matemtica intuicionista y de su formulacin mediante sistemas formales. Estas ideas pueden resumirse del siguiente modo:
(i) La representacin por medio de lenguajes formales es un importante auxilio para el estudio de propiedades de la matemtica
intuicionista, pero no puede expresarla en su totalidad.
(ii) El lenguaje ordinario tiene la funcin de comunicar las actividades mentales mediante las cuales se desarrolla la matemtica. Sin
embargo, la matemtica no es de naturaleza lingstica.
Un poco despus, en el simposio sobre fundamentos de la matemtica que tuvo lugar en Knigsberg en 1930, luego publicado en
Erkenntnis, Heyting afirmaba de manera consistente con lo anterior:
[El matemtico intuicionista] emplea el lenguaje, tanto el natural como
el formalizado, nicamente para comunicar pensamientos, es decir, para
hacer que otros o l mismo sigan sus propias ideas matemticas. Este
acompaamiento lingstico no es una imagen [Bild] de la matemtica,
y mucho menos es la matemtica misma (Heyting 1931, p. 53).

Claramente, para Heyting el lenguaje no tiene una funcin

representacional, su estructura no representa estructuras de algn
tipo, en particular las estructuras que son las construcciones mentales (vase Heyting 1974, p. 89), sino que est ligada a la comunicacin
948

y a la motivacin de acciones en el oyente. La misma idea repetir

aos ms tarde
Empleamos el lenguaje para influir sobre los pensamientos y las acciones de otras personas. Cuando un matemtico escribe un artculo o un
libro, tiene la intencin de sugerir construcciones matemticas a otras
personas; cuando escribe notas para auxiliar su memoria, su futuro yo
juega el papel de otra persona (Heyting 1974, p. 88).

Estas limitaciones del lenguaje para la representacin son subrayados por Heyting en su libro sobre el intuicionismo de 1956:
Si adoptamos este punto de vista [el formalista], chocamos con el obstculo de la ambigedad fundamental del lenguaje. Dado que el significado de una palabra nunca puede ser fijado con suficiente precisin
para evitar toda posibilidad de malentendidos, nunca podemos estar
matemticamente seguros de que el sistema formal expresa correctamente nuestros pensamientos matemticos (Heyting 1956, p. 4).

Como consecuencia,
Se ve claramente que semejante examen de la matemtica intuicionista [la formalizacin] nunca producir una descripcin completa y definitiva de sta (Heyting 1956, p. 9).
Nunca se est seguro de que el sistema formal representa totalmente
cualquier dominio del pensamiento matemtico; en cualquier momento el descubrimiento de nuevos mtodos puede forzarnos a extender el
sistema formal (Heyting 1956, p. 5).

Una de las razones de las limitaciones del formalismo para representar la matemtica reside en su carcter incompleto, siempre abierto al futuro, a modificaciones en el tiempo. El sistema formal no puede
captar la matemtica en su totalidad, porque, de acuerdo con una
creencia bsica del intuicionismo, sta puede progresar, incorporar
nuevos conceptos y teoremas.
De todos modos, la formalizacin, cumple una funcin auxiliar
importante:
Las formalizaciones pueden llevarse a cabo dentro de la matemtica y
se convierten en una herramienta matemtica poderosa (Heyting 1956,
p. 5).

Por ejemplo, permite dar demostraciones de consistencia:

Desde el punto de vista que estoy esbozando, su importancia [la del mtodo formalista] es principalmente prctica. Un sistema inconsistente,
949

en el cual toda frmula sea derivable, no puede ser muy til (Heyting
1974, p. 89).

El estudio de la deduccin, tal como es llevado a cabo en la lgica simblica, es para Heyting matemtica aplicada, una aplicacin de
la matemtica (y no su fundamento), ya que para su formulacin se
requieren teoras matemticas como, por ejemplo, la teora de conjuntos. As,
Los teoremas lgicos son teoremas matemticos. La lgica no es el fundamento de la matemtica; por el contrario, conceptualmente es una
parte complicada y sofisticada de la matemtica (Heyting 1974, p. 87).

As, respecto al menos de los clculos lgicos, esta posicin tiene puntos en comn con la tradicin algebraica de la lgica como clculo, pues
la lgica se construye mediante una teora matemtica, y para Heyting
(a diferencia de Brouwer) esto es de utilidad terica. Como suceda en
la tradicin algebraica, la matemtica es previa a la lgica.
IV
La posicin del intuicionismo matemtico respecto de la naturaleza del lenguaje, tanto ordinario como formal, queda as esbozada, al
menos en su versin ms tradicional. Resta ubicarlo en la distincin
entre clculo y lenguaje universal.
De un lado, debe notarse que van Heijenoort haca referencia en
su artculo a una superacin de la distincin hacia 1920, y que la obra
de Heyting, posterior a esa fecha, puede encuadrarse dentro de esa
superacin. Heyting no descarta el inters que pueda tener la construccin de clculos formales, pero para l estos no cumplen un papel
esencial en la caracterizacin de la lgica o la matemtica intuicionistas. Tampoco puede esperarse que el examen del lenguaje ordinario
proporcione alguna comprensin decisiva de stas. Por ejemplo, el lenguaje no juega papel alguno en la determinacin de los principios lgicos, pues su validez se basa en la actividad mental del sujeto, en
construcciones subjetivas. Y esto es muy diferente de pensadores
como Frege o Wittgenstein para quienes el lenguaje s cumpla un
papel semejante.
De otro lado, los intuicionistas tenan una concepcin del lenguaje, si bien no siempre explicitada. Hintikka adopt del filsofo de
la historia Robin George Collingwood la nocin de presuposicin
ms fundamental (ultimate presupposition, vase Hintikka 1997).
950

Collingwood la usaba para referirse a aquellos supuestos tcitos que

se dan en los diferentes perodos de la historia de la filosofa y la historia intelectual y que son descubiertos nicamente gracias a una
reflexin posterior. En este caso la presuposicin ms fundamental es
la que surge al preguntar si el lenguaje, es decir nuestro lenguaje
ordinario, el lenguaje coloquial como deca Tarski, es universal. La
palabra universal debe tomarse en el sentido fuerte de que no es
posible salirse o evadirse de l. Este sentido abre una perspectiva
mucho ms amplia. De hecho, Hintikka encuentra el problema tambin en filsofos como Husserl o Heidegger, o en la escuela hermenutica, todos con un trasfondo filosfico claramente diferente al de los
iniciadores de la lgica simblica. El intuicionismo puede ser ubicado en esta visin ms amplia. La consideracin del lenguaje ordinario exclusivamente como medio de comunicacin de los pensamientos
matemticos es afn a esta idea de universalidad. La afirmacin de las
limitaciones del lenguaje para capturar la matemtica refuerza este
hecho.
Finalmente, no debe pasarse por alto un importante punto de
coincidencia entre Brouwer y Frege. Para ambos la lgica y la matemtica se ocupaban de objetos. Por supuesto, estos objetos eran de
naturaleza muy distinta en cada caso y tambin era muy distinto el
conocimiento de estos objetos y sus propiedades. Sin embargo, en
ambos casos todo discurso lgico y matemtico tena un contenido.
Para Brouwer ese discurso se daba de manera imperfecta en el lenguaje ordinario (y no poda ser de otro modo por las limitaciones de
todo lenguaje), mientras que para Frege fue esencial la presentacin
en un simbolismo que, entre otras cosas, reflejaba la estructura de las
entidades matemticas. As, Brouwer y Frege compartan el rechazo
a las diferentes versiones de formalismo que sostenan algunos matemticos de su tiempo y en este aspecto ambos se enrolaban en una
misma tradicin.
Referencias
Beth, Evert W. 1936-7. De significa van de pasigrafische systemen. Bijdrage
tot de psychologie van het wiskundig denkproces. Euclides 13, pp. 145158.
Brouwer, Luitzen Egbertus Jan. 1907. Over de grondslagen der wiskunde.
Tesis doctoral, Amsterdam. Reimpr. Amsterdam, Mathematisch
Centrum, 1981. Trad. inglesa en Collected Works Vol. I, comp. por
Arendt Heyting, Amsterdam, North-Holland.
951

Brouwer, Luitzen Egbertus Jan. 1929. Mathematik, Wissenschaft und

Sprache, Monatshefte fr Mathematik und Physik 36, 153-164.
Brouwer, Luitzen Egbertus Jan. 1933. Willen, weten, spreken, Euclides 9,
pp. 177-193.
Brouwer, Luitzen Egbertus Jan. 1947. Richtlinien der intuitionistische
wiskunde, Proc. Akad. Amsterdam 50, p. 339.
Frege, Gottlob. 1883. ber den Zweck der Begriffsschrift. En Angelelli, Ignacio (comp.), Gottlob Frege. Begriffsschrift und andere Aufstze. Mit E.
Husserls und H. Scholz Anmerkungen, Darmstadt, Wissenschaftliche
Buchgesellschaft, 1964, pp. 97-106.
Heyting, Arendt. 1930. Die formalen Regeln der intuitionistischen Logik,
Sitzungsber. preuss. Ak. Wiss. Phys.- Math. Klasse II, pp. 42-56.
Heyting, Arendt. 1931. Die intuitionistische Grundlegung der Mathematik,
Erkenntnis 2, 106-115.
Heyting, Arendt. 1956. Intuitionism. An Introduction, Amsterdam - Londres,
North-Holland.
Heyting, Arendt. 1974. Intuitionistic Views on The Nature of Mathematics,
Synthese 27, pp. 79-91.
Hintikka, Jaakko. 1988. On The Development of The Model-Theoretical
Viewpoint in Logical Theory, Synthese 77 (1988), pp. 1-36.
Hintikka, Jaakko. 1990. Quine as a Member of The Tradition of The
Universality of Language. In Perspectives on Quine, ed. by R. Barrett
& R. Gibson, Oxford, Basil Blackwell, 1990, pp. 159-175
Hintikka, Jaakko. 1997. Lingua Universalis vs. Calculus Ratiocinator. An
Ultimate Presupposition of Twentieth-Century Philosophy, Dordrecht et
al., Kluwer.
van Dalen, Dirk. 1999. Mystic, Geometer and Intuitionist. The Life of L. E. J.
Brouwer. Vol. I, Oxford, Clarendon Press.
van Heijenoort. Jan. 1967. Logic As Calculus and Logic As Language. En
Boston Studies in The Philosophy of Science, Comp. por R. S. Cohen y M.
Wartofsky, Dordrecht, Reidel, pp. 440-446. Reimpr. en Selected Essays,
Npoles, Bibliopolis, 1985.
Vuysje, D. 1951. The Psycho-Linguistic Movement in Holland, Philosophy
of Science 18, 3, 262-268.
Universidad de Buenos Aires
y CEF/ANCBA - CONICET
jlegris@mail.retina.ar

952

POR QU RECORDAMOS A BROUWER?

JORGE ALFREDO ROETTI
Por qu recordamos a Brouwer? Hay varias maneras de entender la pregunta. Para nosotros ser la pregunta que se pueden hacer
quienes han cultivado la lgica por aos y se han ocupado alguna vez
con temas relativos a la disputa de fundamentos entre lgicos clsicos e intuicionistas. La lgica actual, en sus numerosas ramas, sigue siendo mayoritariamente clsica. Sin embargo el intuicionismo
y su presunta superacin, el constructivismo, atraen cada vez ms
adeptos. Hoy podemos recordar a Brouwer como quien inici hace un
siglo, en 1907, la forma moderna del estilo de fundamentacin intuicionista. Tambin podemos preguntarnos si lo recordaremos como
matemtico, como lgico o como filsofo. La inspeccin de su obra facilita la respuesta: lo recordaremos simultneamente como matemtico, lgico y filsofo, porque su lgica pretendi fundarse en lo que
Brouwer consideraba el genuino modo de pensar matemtico y eso
supona una concepcin de ese pensar y del conocimiento en general
y de su relacin con el lenguaje. Esto lo llev a elaborar una teora
intuicionista del conocimiento y de la filosofa de la ciencia, especialmente de la matemtica. Adems, aunque no entremos en detalles, es
preciso recordar que los intereses filosficos de Brouwer fueron mucho ms amplios que los que ataen a la fundamentacin de la lgica, la matemtica y la teora del conocimiento.
Luitzen Egbertus Jan Brouwer, matemtico holands, naci el 27
de febrero de 1881 en Overschie, localidad que desde la ocupacin alemana de 1941 pas a ser parte de Amsterdam, y muri el 2 de diciembre de 1966 en Blaricum, tambin Holanda, a los 85 de edad, luego de
que lo atropellara un automvil a la puerta de su casa. Sus numerosos
trabajos sobresalieron en varios campos de la matemtica, pero se ocuparon especialmente de topologa es decir, del estudio de las propiedades ms bsicas de las estructuras espaciales en sentido amplio, de
teora de la medida y de anlisis matemtico, especialmente anlisis
953

de variable compleja. Demostr el famoso teorema del punto fijo en

1908, estableci la importancia de los espacios cartesianos en topologa,
demostr el teorema de traslacin plana, que caracteriza las transformaciones topolgicas del plano cartesiano sobre s mismo (1911), demostr que el nmero de dimensiones de un espacio cartesiano es
topolgicamente invariante, generaliz el teorema de Jordan para n
dimensiones (1912), etc. A l se debe la primera definicin estricta de
la nocin de dimensin. Luego, entre 1928-1930, discutir con Karl
Menger sobre la prioridad en dicha definicin. Por la importancia y
cantidad de sus resultados muchos lo consideran el padre de la topologa moderna, lo que no es poco decir. Sus trabajos ms importantes en
esta disciplina los produjo en su juventud, entre los 28 y los 32 aos.
El intuicionismo fue en sus comienzos muy conocido en el centro
y este de Europa, pero recin cobr notoriedad en el resto del mundo
luego de la Segunda Guerra Mundial. Brouwer fue un hombre de carcter fuerte. Estuvo envuelto en varias peleas con David Hilbert, a
partir de 19201. Se doctor en la Universidad de Amsterdam en 1907
con la disertacin Over de Grondslagen der Wiskunde, en la que se esboza el programa intuicionista y comienza su reconstruccin crtica de
la matemtica y la lgica. El ttulo completo de su tesis ya muestra un
espritu combativo, pues traducido dice as: Sobre los principios de la
matemtica, dirigida entre otras cosas contra la axiomatizacin de la
matemtica, la teora de conjuntos de G. Cantor y E. Zermelo, como
tambin contra la lgica simblica de G. Peano y B. Russell. En efecto,
Brouwer fund al intuicionismo matemtico como antagnico al
logicismo y comenz a considerar a una cierta intuicin temporal
como el fundamento de la matemtica. Para l la matemtica era una
ciencia cuyos objetos son construcciones mentales que tornan evidentes las expresiones matemticas que las describen. La lgica intuicionista era para Brouwer un subproducto de la matemtica, lo que
contradeca la tesis del logicismo. Todo individuo nacera con una visin original de una infinitud de objetos, construida por la generacin
recursiva de colecciones crecientes no acotadas. De hecho, esto explicara la comprensin que tienen los nios de la secuencia de los nmeros naturales, porque tienen la habilidad de ir aadiendo en la
imaginacin un objeto por vez y as comprender que pueden proseguir
esa secuencia sin encontrar un ltimo elemento de ella, pues no hay
ninguna regla que obligue a acotar el proceso.
1
Recordemos el famoso Mathematische-Annalen-Streit con Hilbert. Ver van
Dalen 1990.

954

Brouwer emprendi en 1918 la reconstruccin sistemtica de la

matemtica con su trabajo en alemn Begrndung der Mengenlehre
unabhngig vom logischen Satz vom ausgeschlossenen Dritten. Erster
Teil, Allgemeine Mengenlehre (Fundamentacin de la teora de conjuntos con independencia del principio de tercero excluido. Primera parte,
Teora general de conjuntos), que complet en 1920 con Intuitionistische
Mengenlehre (Teora intuicionista de conjuntos), el primer trabajo de
matemtica intuicionista que apareci en una revista cientfica internacional de primera lnea: el Jahresbericht des Deutschen MathematikerVereins (Informe anual de la Unin Matemtica Alemana).
A consecuencia del teorema de Zermelo, que demostraba la equivalencia deductiva entre el principio de eleccin y el de buena ordenabilidad de todo conjunto, Brouwer se propuso reconstruir la teora
de conjuntos y toda la matemtica prescindiendo del sospechoso axioma de eleccin. As comenz la reconstruccin intuicionista de buena
parte de la matemtica. No obstante, sin el axioma de eleccin, una
parte considerable de la matemtica clsica desapareca, por lo que
la escuela intuicionista fue firmemente resistida, especialmente por
Hilbert y su escuela formalista y los antiguos logicistas.
Algunos aspectos del intuicionismo
Como ya sealramos, se deben a Brouwer muchos avances en
varios campos de la matemtica, pero nosotros enfatizaremos la revolucin que produjo en la lgica, provocada por sus ataques contra
el logicismo de Frege, Peano y sus seguidores, contra los infinitos
actuales de Cantor y sus adlteres, contra la admisin de tertium non
datur en dominios no finitos, contra la asercin no calificada de existencia, cuando no se puede dar una construccin del objeto del cual se
dice que existe matemticamente, y contra el reconocimiento del
conjunto del continuo de todos los nmeros reales. Como solucin
propuso concebir al continuo como un medio que deviene libremente. En virtud de las dificultades de fundamentacin de la matemtica clsica y de las entonces recientes antinomias de la teora ingenua
de conjuntos de Cantor, Brouwer se propuso:
1. Utilizar slo entes matemticos construidos previamente a
partir de la secuencia de la intuicin originaria, o UrIntuition en alemn.
2. Utilizar una lgica oriunda del pensamiento matemtico, que
ser la lgica intuicionista adecuada para colecciones infini955

cas:

tas de objetos, y no una fundada en las reglas para el pensamiento finito, que ser la lgica clsica.
3. Admitir slo los infinitos reducibles al infinito potencial, que
es el nico construido en la secuencia de la intuicin originaria, y de este modo rechazar gran parte del paraso de Cantor, que defendan logicistas y formalistas.
4. Reconstruir la matemtica clsica exclusivamente con mtodos constructivos de definicin y demostracin.
Para ello su programa exiga que las demostraciones matemti-

1. Tuvieran un nmero finito de pasos o utilizaran una forma de

induccin enumerable o reducible a ella, es decir reducible a
un proceso infinito potencial dado por un esquema metalingstico finito.
2. Los entes que apareciesen en las demostraciones estuviesen
previamente definidos en forma constructiva, o se construyesen
a partir de los previamente definidos en un nmero finito de
pasos, o por definiciones esquemticas recursivas enumerables
o reducibles a stas.
3. No se admitiesen definiciones impredicativas.
4. No se admitiesen objetos infinitos actuales.
5. Las pruebas de existencia fuesen constructivas, las que podran ser a su vez fuertes o dbiles.
6. No se utilizasen el axioma de eleccin, ni ninguno de sus equivalentes.
7. Slo se usase el tertium non datur en aquellos casos en que
uno de los extremos de la disyuncin estuviese demostrado o
existiese un mtodo efectivo para demostrarlo.
8. Las pruebas constructivas fuesen algortmicas.
La matemtica es segn Brouwer la parte exacta del pensamiento. Si nos atenemos estrictamente a ello, todo lo que estuviese
suficientemente fundado sera matemtica. Pero las demostraciones
matemticas en sentido estricto se obtienen originariamente por
construccin en la intuicin temporal, a partir de la sucesin fundamental de los nmeros 1, 2, Cuando Brouwer present su tesis ya
se saba muy bien que la caracterizacin kantiana del espacio era
ambigua y no permita determinar ninguna geometra mtrica determinada. De all que la pluralidad de geometras relativamente
consistentes con mtricas diversas fueran todas compatibles con la
filosofa kantiana. En cambio la intuicin temporal se presentaba
y se presenta como nica y determinada. Las construcciones rea956

lizadas en ella seran por lo tanto necesarias y seran adems el fundamento intuitivo de la matemtica como saber absolutamente fundado. La concepcin intuicionista de la verdad matemtica ser
entonces la de una verdad por correspondencia. Por lo tanto la matemtica ser un saber no axiomtico ni analtico, sino sinttico
ampliativo, aunque a priori y montono, en lo que se advierte la
influencia de Kant.
No discutiremos si su temporalidad fue descriptiva o emprica. De
todos modos su concepcin sufri acusaciones de psicologismo. ste es
uno de los problemas que intentarn superar algunos constructivistas
posteriores. Especialmente el constructivismo de Paul Lorenzen
(1915-1995), fue una sntesis dialctica entre el intuicionismo de
Brouwer y el formalismo de Hilbert, pues del intuicionismo acept los
ataques de arriba, con lo que se diferenci de la matemtica clsica,
pero por otra parte rechaz los presuntos aspectos de psicologismo
emprico de las construcciones en el tiempo, que son difciles de considerar pblicas y que por lo tanto podran ser intersubjetivamente
incontrolables. Por otra parte dicho constructivismo adopt parcialmente el formalismo de Hilbert, por ejemplo aspectos de su giro lingstico y su concepcin de muchas teoras como sistemas de objetos
que se estudian desde una metamatemtica, pero entre sus objetos no
acept, como s lo haca Hilbert, todo el paraso de Cantor. Por ejemplo limit el universo de los transfinitos ordinales a los de la segunda clase numrica de los ordinales transfinitos enumerables. Los
procesos recursivos con orden transfinito era admisibles, pero bajo la
condicin de que se encontrara un proceso de reduccin a una
recursin finita. De los cardinales transfinitos slo conserv 0, pues
dio una prueba de que era posible construir funciones inyectivas de
n sobre 0. Esa demostracin permiti, por una parte, tornar superflua una parte importante del paraso cantoriano y, por otra, resolver
problemas como el primero de la lista de Hilbert, el de la hiptesis del
continuo. El continuo real R se mostr as como posiblemente enumerable2.
Para el filsofo es de inters saber que el lenguaje y el pensamiento
tenan orgenes diferentes para Brouwer. El lenguaje sera originariamente expresin de la subjetividad y se comprenda especialmente por su relacin con la voluntad. Su funcin originaria sera la de
influir mediante sonidos sobre la conducta de los oyentes, es decir pro2
Para una explicacin detallada del problema del continuo y su solucin o disolucin constructiva, vase por ejemplo Roetti 2000: ver bibliografa.

957

mover con rdenes o emociones las conductas de los otros miembros

del grupo. Naturalmente el lenguaje primitivo se desarroll hasta
tornarse parcialmente descriptivo y sirvi de ese modo a los humanos
como importante ayudamemoria. No obstante el pensamiento no dependa esencialmente del lenguaje, sino de construcciones en la imaginacin. Esto sera especialmente notorio en el pensamiento matemtico, cuyos objetos se construiran sucesivamente a partir de la
secuencia dada por una intuicin originaria temporal o Ur-Intuition.
A partir de esas construcciones imaginativas alcanzaramos la existencia matemtica, ligada as ntimamente a la conciencia individual.
La intersubjetividad del pensamiento matemtico requerir por su
parte de medios simblicos compartidos de tipo adecuado, entre los
que naturalmente se cuenta un lenguaje ya altamente elaborado de
tipo descriptivo.
El intuicionismo de Brouwer reposaba sobre una filosofa de la
mente, que mucho deba a Kant y a Schopenhauer. La matemtica
era una actividad libre del pensamiento exacto que se fundaba en la
intuicin pura del tiempo interno de la conciencia. Los objetos externos y el lenguaje no jugaran un papel importante en ella. De este
modo intent evitar el platonismo con sus problemas epistemolgicos
y el formalismo con su pobreza de contenido. La verdad matemtica
resida en la actividad del pensamiento. Un enunciado sobre ciertos
objetos matemticos slo era verdadero cuando el sujeto haba experimentado su verdad a partir de la construccin mental de esos objetos
y sus relaciones, y era falso slo cuando el sujeto haba experimentado su falsedad o, lo que es lo mismo, haba realizado una construccin
mental que mostraba su imposibilidad. Por ello para Brouwer no existan verdades no experimentadas.
Su filosofa de la mente no fue un aspecto anecdtico de su pensamiento, sino un componente esencial que l desarrollara a lo largo de
toda su vida. Por ello no le interes si la matemtica reconstruida al
modo intuicionista era compatible o incompatible con la matemtica
clsica. Esto no result problemtico en el caso de la aritmtica elemental, pues la aritmtica intuicionista result ser un subsistema de
la aritmtica clsica, y por lo tanto compatible con sta. En cambio en
anlisis matemtico, que es la extensin de la aritmtica a los dominios continuos real y complejo con operaciones de diferenciacin, la
situacin se torn diferente, pues se dio la circunstancia de que ni todo
el anlisis clsico era intuicionistamente aceptable, ni todo el anlisis intuicionista era clsicamente aceptable.

958

Desarrollo del intuicionismo de Brouwer

Brouwer escribi en 1905 un pequeo libro titulado Vida, arte y
misticismo, donde todava no desarrollaba su concepcin de la matemtica, pero donde dio la clave para la comprensin de los fundamentos en la forma en que se utilizaron luego en su disertacin de 1907.
El librito reuni una variedad de temas, desde el de su concepcin de
la sociedad y de las mujeres, hasta sus ideas bsicas sobre la mente,
el lenguaje, la ontologa y la epistemologa. Los problemas fundamentales de la filosofa y no las novedosas paradojas y antinomias de esos
das son los que incitaron el desarrollo intuicionista de Brouwer. No
obstante, una vez que se hubiese desarrollado suficientemente el intuicionismo, surgieron de l soluciones adecuadas para esas paradojas y antinomias.
Brouwer sostuvo siempre que la matemtica era una actividad
independiente del lenguaje y que ste slo cumpla la funcin de describir la actividad matemtica. Esto lo llev a negar todo papel fundacional en matemtica a los tratamientos axiomticos. Por su parte
la lgica se convirti en el estudio de las regularidades que se dan en
las traducciones lingsticas de la actividad matemtica y era por lo
tanto dependiente de la matemtica, en tanto expresin de esas regularidades, y no a la inversa, como pretenda el logicismo. Eso lo movi a introducir la distincin entre matemtica y metamatemtica,
para la que us la expresin matemtica de segundo orden, como le
comenta a Hilbert en sus conversaciones de 1909. Hilbert adoptar
luego esa distincin, que se toma como de su invencin, introduciendo el trmino metamatemtica. No recuerdo que Hilbert se haya
acordado de Brouwer al considerar la idea.
El recurso del intuicionismo al sujeto creador, luego de la introduccin de las secuencias de eleccin y la demostracin del teorema
de barra, fue un nuevo paso en el uso de aspectos de la estructura
supuestamente necesaria del sujeto matemtico, lo que lo aproxim
nuevamente a la concepcin kantiana de la demostracin matemtica. Como el desarrollo de la matemtica es un proceso infinito fundado en las construcciones que paulatinamente se van realizando en el
sujeto matemtico, podemos esperar siempre nuevos instrumentos
demostrativos ligados a la descripcin de la estructura de la subjetividad.
La nocin clsica de secuencia es diferente en la matemtica intuicionista, especialmente por su principio de eleccin continua (en
959

ingls principle of continuous choice o CC). Los teoremas fundamentales del anlisis intuicionista el teorema de barra, el teorema de
abanico y el teorema de continuidad se encuentran en ber
Definitionsbereiche von Funktionen (Sobre los dominios de la definicin de funciones) de 1927. Los dos primeros son teoremas estructurales sobre las extensiones o dispersiones; el tercero, que no se debe
confundir con el principio de continuidad para las secuencias de eleccin, dice que toda funcin total [0,1] R es continua e incluso uniformemente continua. El teorema de abanico es un corolario del
teorema de barra y cuando se lo combina con el principio de continuidad, que por otra parte no es clsicamente vlido, produce el teorema
de continuidad. Lo sorprendente es que en el anlisis clsico ambas
partes de ese teorema seran falsas. El teorema de barra y el teorema de abanico, por su parte, son clsicamente vlidos, aunque las demostraciones clsica e intuicionista para ellos no son intercambiables:
las demostraciones clsicas no son intuicionistamente aceptables por
depender del principio de tercero excluido y las demostraciones intuicionistas son clsicamente inaceptables por tener como aspectos inevitables de su demostracin reflexiones sobre la estructura de las
demostraciones mentales. Una interesante demostracin del teorema
de barra dio Michael Dummett en su libro Intuitionism.
La cuestin de la existencia en matemtica
La cuestin de la cualidad de la existencia arriba indicada era
peculiarmente importante, pues obligaba a distinguir en matemtica entre:
Existencia fuerte, que es la que se predica cuando se puede dar
una regla de construccin de un objeto tal que fa, lo que por la regla de deduccin admitida fa Vx.fx nos permite deducir
Vx.fx,
y
Existencia dbil, que predicamos cuando carecemos de la construccin de un objeto a tal que fa, pero podemos demostrar que de
la negacin de la existencia se deduce una expresin indemostrable
en la teora, es decir Vx.fx f, lo que equivale a Vx.fx.
Muchsimos teoremas de existencia son slo de existencia dbil.
El propio teorema brouweriano sobre el punto fijo es un teorema de
existencia dbil. Dicho teorema en una versin simple dice:
960

Si g es una funcin continua suryectiva g(x) tal queg(x)e[a, b]

para todo xe[a, b], entonces g tiene un punto fijo g(x) = x en [a, b]. Se
suele proponer demostraciones clsicas como la siguiente:
Dem. Por definicin de la funcin g(a) a, g(b) b, por lo tanto
g(a) a 0, g(b) b 0
Puesto que g es continua el teorema del valor medio garantiza
que no es el caso que para todo ce[a, b] no se d g(c) c = 0. Es decir,
no es el caso que no exista al menos un ce[a, b] tal que g(c) = c. Esto
es lo que se afirma al decir que existe en sentido dbil al menos un
punto fijo en el intervalo cerrado [a, b].
Como se advierte, recordando el teorema del valor medio o el teorema de Rolle, se deduce la existencia de al menos un punto fijo, pero
de ningn modo se puede determinar un punto tal para una funcin
continua y suryectiva cualquiera. Se trata pues de una demostracin
de existencia dbil.
Una versin ms general dira por ejemplo: Toda funcin continua suryectiva G:Bn Bn tiene un punto fijo, donde
Bn = {xeR: x = x 21 + ... + x 2n 1} es la esfera n-dimensional unitaria cerrada de radio uno.
El tercero excluido
Brouwer rechaz la validez universal del principio de tercero
excluido o tertium non datur (tnd), aunque en los tiempos de su disertacin todava pensaba que dicho principio era correcto aunque
intil, porque todava interpretaba pp como clsicamente equivalente a p p. En su trabajo de 1908 De Onbetrouwbaarheid der
Logische Principes (La no fiabilidad de los principios lgicos) formul una crtica al tdn, diciendo que, aunque en su forma simple pp
dicho principio nunca llevara a contradicin, hay instancias del mismo en las que no es razonable considerarlo verdadero. A partir de all
uno de los puntos centrales de la matemtica intuicionista fue la negacin de la validez universal de dicho principio. En su lugar se admiti un quintum non datur metamatemtico irrestricto para las
proposiciones matemticas que se expresa as:
AAA*A, donde *A es una fbf. matemtica indecidida o
indecidible.
961

Un caso tradicional de fbf. matemtica an indecidida y tal vez

indecidible es la conjetura de Goldbach (1690-1764): Todo nmero
natural par diferente de 2 es suma de al menos un par de nmeros
primos. Los enunciados matemticos de este tipo son importantes,
pues muestran lo inadecuado de la limitacin de la lgica a enunciados definidos respecto de la verdad, es decir V o F, y justifican su
extensin modificada a enunciados indefinidos respecto de la verdad,
aunque definidos respecto de su procediminento de fundamentacin,
es decir respecto del procediminto de ataque y defensa. Tanto el intuicionismo como el constructivismo no parten del prejuicio de bivalencia de las lgicas llamadas crisipianas de que todo enunciado sea
V o F, prejuicio cometido tambin por la concepcin llamada platnica de la matemtica, sino que admiten enunciados indefinidos respecto de verdad y falsedad. En la metamatemtica esta tesis se
expresa del modo siguiente:
1. A equivale a A est demostrada,
2. A f equivale a A o A est demostrada (donde f es una fbf.
necesariamente falsa en la teora),
3. (A f) f equivale a A o a A est demostrada,
4. *A equivale a ni est demostrada A, ni est demostrada A, ni
est demostrada A pero:
4.1. o bien existe al menos un algoritmo que podra decidir la cuestin, aunque an no hemos completado su utilizacin,
4.2. o no se conoce an ningn algoritmo que permita decidir la
cuestin, pero puede existir,
4.3. o no puede existir ningn algoritmo que permita decidir la
cuestin.
Estas variantes de 4 son las que permitiran hablar, por ejemplo,
incluso de un septimum non datur.
De lo anterior se sigue que para el intuicionismo vale que: A
implica la falsedad necesaria de la falsedad necesaria de A, pero la
falsedad necesaria de la falsedad necesaria de A no implica A, e. d.,
es teorema A A, pero no es demostrable A A, con lo que
se conserva la introduccin de la doble negacin, pero cae su eliminabilidad. Esta asimetra es incompatible con el principio del tercero
excluido, pues en matemtica puede demostrarse, respecto de esa fbf.,
o A, o A, o A, o nada de ello, es decir nuevamente quintum non
datur.
Brouwer se propuso reconstruir la teora de conjuntos de Cantor
con estos instrumentos deductivos ms dbiles. En sus primeros trabajos de la poca de su disertacin haba fracasado en el intento de
962

otorgarle un sentido intuitivo o constructivo a la segunda clase numrica de Cantor, es decir la clase de todos los ordinales infinitos enumerables, y a las clases de ordinales an mayores. A partir de aqu
advirti que no se puede realizar tal sentido intuitivo para las clases
superiores de nmeros ordinales, por lo que conserva slo los ordinales finitos y una coleccin abierta indefinida de ordinales infinitos
enumerables. En consecuencia no admiti una parte importante de la
matemtica conjuntista generalmente aceptada en ese momento.
Para ello propuso ejemplos que, por no refutar estrictamente al tdn,
se conocen como los contraejemplos dbiles.
Contraejemplos dbiles
La innovacin que otorga al intuicionismo un alcance mucho
mayor que el de otras variedades de matemtica constructiva, incluida la del propio Brouwer en su disertacin, es la de sus secuencias de
eleccin. Estas secuencias potencialmente infinitas de nmeros u
otros objetos matemticos, elegidos uno tras otros, hicieron su aparicin como objetos matemticos en una resea de libros de 1914. El
principio que las haca matemticamente admisibles fue el principio
de continuidad, que recin formul Brouwer en 1916 en unas notas a
unas conferencias. La utilidad principal de las secuencias de eleccin
era la de permitir una reconstruccin del anlisis clsico: los puntos
sobre el continuo (los nmeros reales) se identificaron con secuencias
de eleccin que satisfacen ciertas condiciones. La secuencias de eleccin se reunen en un artefacto denominado spread en ingls (es
decir distribucin o extensin), que cumple una funcin semejante
a la de los conjuntos de Cantor en el anlisis clsico. Brouwer utiliz
al principio incluso la palabra alemana Menge (conjunto) para los
spreads y desarroll una teora de esas extensiones, y una teora de
conjuntos de puntos basada en ella, en un artculo en alemn en dos
partes de 1918/1919 Begrndung der Mengenlehre unabhngig vom
Satz vom ausgeschlossenen Dritten (Fundamentacin de la teora de
conjuntos con independencia del principio de tercero excluido). En
1921 se formul en el ttulo de un trabajo la pregunta de si cada nmero real tiene un desarrollo decimal. La respuesta que encontr fue
negativa. Para ello le bast demostrar que se puede construir secuencias de eleccin, es decir nmeros reales, que satisfacen la condicin
de convergencia de Cauchy pero que para su desarrollo dependen de
un problema an no resuelto. Por lo tanto no se podr construir el
963

desarrollo decimal de esas secuencias hasta que el problema no haya

sido resuelto. Desde el punto de vista estrictamente constructivista
eso significa que no existir ningn desarrollo decimal hasta que el
problema no haya sido resuelto. Por lo tanto se podr decir que hay
aunque slo en sentido dbil nmeros reales, es decir secuencias de
eleccin convergentes, que no tienen un desarrollo decimal. En su
trabajo de 1923 ber die Bedeutung des Satzes vom ausgeschlossenen
Dritten in der Mathematik (Sobre el significado del principio de tercero excludo en la matemtica), usando nuevamente secuencias de
eleccin y problemas no resueltos, Brouwer present una tcnica general para generar contraejemplos debiles a los principios clsicos.
Contraejemplos fuertes
En Intuitionistische Betrachtungen ber den Formalismus
(Reflecciones intuicionistas sobre el Formalismo) de 1928 discuti las
diferencias entre formalismo e intuicionismo relativas al tnd y a la
relacin entre matemtica y lenguaje, y enfatiz que el formalismo
presupone matemtica con contenido en el metanivel. En ese trabajo present tambin su primer contraejemplo fuerte al tnd, mostrando que es falso que todo nmero real sea racional o irracional. Uno de
esos contraejemplos dice:
xeR(QxQx),
donde R es el continuo intuicionista y Qx es el predicado x es racional y los nmeros reales en sentido intuicionista son secuencias de
eleccin convergentes. La verdad del contraejemplo parte de demostrar que el continuo no se puede dividir, es decir, no existen dispersiones no vacas A y B tales que AB = R and AB = . Supongamos
por raa que existiesen esos A y B; entonces la funcin f: R R definida por f(x) = 0, si xeA, y f(x) = 1, si xeB, es total y por lo tanto, por
el teorema de continuidad de Brouwer (generalizado de [0,1] a R), es
continuo. Pero entonces f debe ser constante. Pero entonces o bien A
es igual a R, o bien B lo es, y la otra dispersin es vaca. Pero esto contradice la hiptesis de que tanto A como B son no vacas. De que el
continuo no se pueda dividir se sigue que xR(Q(x)Q(x)) es falso.
Porque si fuese verdadero, podramos obtener una divisin del continuo asignando, por f, 0 a los nmeros reales racionales (A), y 1 a los
reales irracionales (B); pero esto es imposible, como hemos visto. Por
lo tanto xR(Q(x)Q(x)).
964

En las conferencias de Viena de 1928 Mathematik, Wissenschaft

und Sprache (Matemtica, ciencia y lenguaje) y Die Struktur des
Kontinuums (La estructura del continuo), la primera ms filosfica
y la segunda ms matemtica, Brouwer propuso en forma explcita
sus primeros comentarios sobre la nocin del sujeto creador o matemtico idealizado y en 1949 public nuevos contraejemplos fuertes
diferentes en los que la prueba depende esencialmente de la estructura temporal de la actividad matemtica del sujeto creador. Esos
contraejemplos fuertes, por ejemplo
xR(x < 0 x < 0)
xR(x 0 x < 0x > 0)

y
,

se basan en el teorema de abanico y en la teora matemtica del sujeto creador. El primero demuestra que existe (en forma dbil) un
caso donde la eliminacin de la doble negacin conduce a contradiccin,
por lo que la eliminacin de la doble negacin no valdr universalmente. En segundo que la ley de tricotoma no siempre es construible en
el dominio real. La publicacin en ingls de esta nueva clase de contraejemplos fuertes, y en general de los contraejemplos para el tnd,
ocurri recin en 1954 en el artculo traducido An Example of
Contradictority in Classical Theory of Functions. Alli se mostr cmo
al conservar la teora clsica pero substituyendo en su interpretacin
las nociones clsicas por sus correspondientes intuicionistas, se llega
a una contradiccin. Por lo tanto no se trata de contraejemplos en
sentido estricto, sino de resultados de no-traducibilidad de un sistema a otro.
Conclusin
El intuicionismo signific un avance en la nocin de fundamento en matemtica. La matemtica ya se haba tornado mucho ms
exigente luego de la reconstruccin formalista de Hilbert y ms an
luego de las crticas de Brouwer, de los intuicionistas y de sus epgonos constructivistas. Muchas demostraciones clsicas fueron criticadas
por estas escuelas, con lo que una parte importante de las doctrinas
matemticas tradicionales pasaban a ser insuficientemente fundadas.
Por supuesto especialmente el formalismo de Hilbert particip de esa
discusin y de ella surgi una paulatina complementacin en muchas
cuestiones. Tambin hay que recordar que no slo hubo crticas intuicionistas a demostraciones clsicas, sino adems crticas formalistas
965

a demostraciones intuicionistas, precisamente a aquellas que dependan de la aceptacin de la estructura del sujeto creador intuicionista. De modo que podemos decir que, si bien en el mbito de la lgica
podemos considerar en primera aproximacin a la lgica intuicionista como un fragmento de la lgica clsica aunque ste no es un tema
definitivo, en el dominio estrictamente matemtico, si bien es cierto que la matemtica intuicionista contiene slo partes de la matemtica clsica, tambin es cierto que la matemtica clsica no contiene
toda la matemtica intuicionista. Por ejemplo, el teorema de abanico es
un corolario del teorema de barra. Cuando se utiliza el principio de
continuidad, que no es clsicamente vlido, se obtiene el teorema de
continuidad. Pero en el anlisis clsico ambas partes de ese teorema
seran falsas. Por otra parte los teoremas de barra y de abanico son
clsicamente vlidos, pero no as las demostraciones de Brouwer. Las
demostraciones clsicas no son intuicionistamente aceptables por
depender del principio de tercero excluido y las demostraciones intuicionistas son clsicamente inaceptables por depender de pasos que
apelan a la estructura de las construcciones mentales. Brouwer acept
incluso que dichas demostraciones, que identifica con objetos mentales del sujeto, son frecuentemente infinitas.
Cul es el estado actual de la cuestin de fundamentos? Es fcil conjeturar que muchos problemas pendientes se resolvern alguna vez y que algunos problemas escaparn al alcance de los mtodos
disponibles. Sern verdaderamente irresolubles? No lo podemos saber de antemano. Pero la discusin entre las escuelas de fundamento, entre las que Brouwer y su escuela intuicionista jugaron un papel
central a lo largo de casi todo el siglo XX, ha realizado una tarea gigantesca, como ya lo haba hecho previamente la escuela formalista.
Por ello podemos tener la esperanza de que el espritu investigador no
desmaye.
Breve bibliografa
(La bibliografa disponible es vasta. Hay mucha informacin disponible en
Internet, por ejemplo en los artculos sobre Brouwer.)
van Atten, M.: On Brouwer, Belmont (CA): Wadsworth, 2004. (Introduccin
filosfica al intuicionismo de Brouwer con extensa discusin del teorema de barra, el sujeto creador y la intersubjetividad.)
Brouwer, L. E. J.: Collected Works 1. Philosophy and Foundations of
Mathematics, A. Heyting (ed.), Amsterdam: North-Holland, 1975.
966

Brouwer, L. E. J.: Collected Works 2. Geometry, Analysis, Topology and

Mechanics, H. Freudenthal (ed.), Amsterdam: North-Holland, 1976. (En
estos Collected Works se tradujeron al ingls los originales en holands.)
Brouwer, L. E. J.: Intuitionismus, (ed. Dirk van Dalen), Mannheim: BIWissenschaftsverlag, 1992.
Brouwer, L. E. J., , Life, Art and Mysticism, Notre Dame Journal of Formal
Logic, 37(3), 1996: 389-429. Traduccin de Walter van Stigt con una
introduccin en pp. 381-387.
Brouwer, L. E. J.: Brouwers Cambridge Lectures on Intuitionism, D. van
Dalen (ed.), Cambridge: Cambridge University Press, 1981.
van Dalen, Dirk: The War of the Frogs and the Mice, or the Crisis of the
Mathematische Annalen, Mathematical Intelligencer 12(4) 1990, 17-31.
van Dalen, Dirk: Mystic, Geometer, and Intuitionist, Oxford: Clarendon Press,
1999/2005, 2 vols.
Dummett, Michael E.: Elements of Intuitionism, Oxford: Oxford University
Press, 11977 (22000 edicin revisada).
Euwe, M.: Mengentheoretische Betrachtungen ber das Schachspiel, Ned.
Akad. Wetensch. Proc. 32 (1929), 633-644.
van Heijenoort, Jan (ed.): From Frege to Gdel. A Sourcebook in
Mathematical Logic, 1879-1931, Cambridge (MA): Harvard University
Press, 1967.
Hesseling, D. E.: Gnomes in the Fog. The Reception of Brouwers Intuitionism
in the 1920s, Basel: Birkhauser, 2003. (Historia de las reacciones al
intuicionismo maduro de Brouwer.)
Heyting, Arend: Intuitionism. An introduction, Amsterdam: North-Holland.
2
1966, 31971. (Presenta versiones intuicionistas de varias cuestiones, en
lo posible en matemtica elemental, y adems una versin de la lgica
intuicionista.)
Hilbert, David: Neubegrndung der Mathematik. Erste Mitteilung,
Hamburger Math. Seminarabhandlungen, 1 (1922), 157-177. (Hay traduccin inglesa: The New Grounding of Mathematics: first report en
Mancosu 1998.)
Largeault, J. Intuition et Intuitionisme, Paris: Vrin, 1993. (Presenta una sinopsis del intuicionismo al estilo de Brouwer.)
Mancosu, Paolo (ed.): From Hilbert to Brouwer. The Debate on the
Foundations of Mathematics in the 1920s, Oxford: Oxford University
Press, 1998.
Mannoury, G.: Methodologisches und Philosophisches zur ElementarMathematik, Haarlem: Visser, 1909.
Placek, T. Mathematical Intuitionism and Intersubjectivity, Dordrecht:
Kluwer, 1999. (Compara los argumentos en favor del intuicionismo propuestos por Brouwer, Heyting y Dummett, especialmente en lo relativo a la posible validez intersubjetiva de la matemtica intuicionista.)
Roetti, Jorge Alfredo: Hilbert, el primer problema: solucin o disolucin?,
Cuadernos del Sur - Filosofa 30 (2000), Baha Blanca: Eduns, 79-102.
967

(Trata el primer problema de Hilbert y sus generalizaciones, la solucin

de Lorenzen sobre la enumerabilidad intuicionista y constructivista del
continuo y propone un caso de enumeracin compatible con los principios de Hankel.)
van Stigt, W.: Brouwers Intuitionism, Amsterdam: North-Holland, 1990.
(Contiene interesantes discusiones filosficas y propone traducciones
inglesas de materiales del Archivo Brouwer.)
Weyl, Hermann ber die neue Grundlagenkrise der Mathematik,
Mathematische Zeitschrift 10 (1921), 39-79. (Hay traduccin inglesa: On
the New Foundational Crisis of Mathematics en Mancosu 1998.)
UNS - CONICET
Argentina

968

BROUWER E A NATUREZA DA LGICA1

LUIZ CARLOS PEREIRA
1. Introduo
Nas duas primeiras pginas do terceiro captulo da dissertao de
1907, Brouwer apresenta duas teses de carter muito radical sobre a
natureza da matemtica e da lgica, e sobre as relaes de dependncia que valem para essas disciplinas.
Tese 1: A matemtica independente da lgica.
We want to show that mathematics is independent of the so-called
logical laws (laws of reasoning or of human thought) ([1], p.72)

Tese 2: A lgica depende da matemtica.

While thus mathematics is independent of logic, logic does depend
upon mathematics. ([1] p. 73)

Brouwer reconhece certo ar de paradoxo na primeira tese, isto ,

na proposta da independncia da matemtica com respeito lgica,
pois, afinal de contas, usually mathematics is expressed, oral or in
writing, in the form of argumentation, deduction of properties, by
means of a chain of syllogisms ([1], p. 72). No entanto, segundo
Brouwer, tal aparncia paradoxical rapidamente se desfaz quando
compreendemos adequadamente o real significado das palavras utilizadas na explicao citada acima:
But the conceptions which are evoked by the words used in such an
explanation, consist in the following: Where mathematical objects are
given by their relations to the basic or complex parts of a mathematical
1
Gostaria de agradecer as valiosas observaes e sugestes dos professores
Javier Legris, Jorge Molina e Jorge Roetti, participantes do encontro 100 aos de
intuicionismo matemtico. El centenrio de la tesis doctoral de L.E.J. Brouwer. Este
trabalho foi escrito com o apoio do CNPq.

969

structure, we transform these given relations by a sequence of

tautologies and thus gradually proceed to the relations of the object to
other components of the structure. ([1], p.72)

O que ocorre em uma demonstrao matemtica so construes

atuais (objetos dados em suas relaes com partes, simples ou complexas, de estruturas matemticas) e transformaes sobre construes
atuais por meio de tautologias. Parafraseando Heyting, diramos
que no encontramos na inferncia lgica o ncleo da demonstrao
matemtica, mas na prpria construo do sistema matemtico ([7],
p. 13). Mesmo nos casos de juzos hipotticos e da reduo ao absurdo o apelo a figuras da lgica apenas aparente.
A lgica sim depende da matemtica. A lgica posterior matemtica, pois o que faz descrever certas regularidades e padres
nas construes mentais realizadas pelos matemticos.
Gostaria de explorar nesta breve nota trs vias que poderamos
trilhar para inverter as relaes entre a lgica e a matemtica esposadas por Brouwer, e mostrar que, de fato e de direito, a matemtica depende da lgica e a lgica no depende da matemtica.
2. A lgica e os intuicionismos
O centenrio da tese de Brouwer praticamente coincide com o
centenrio do intuicionismo na matemtica e na lgica. De certa forma, hoje soa estranho falar de intuicionismo no singular, pois nos encontramos em uma posio histrica privilegiada que nos permite
fazer certas distines e reconhecer ao menos dois intuicionismos: o
intuicionismo original brouweriano e o intuicionismo ps 1973, ano de
publicao do artigo seminal de Michael Dummett, The Philosophical
Basis of Intuitionism [2]. Como j se tornou habitual, utilizarei as
expresses intuicionismo holands, para me referir ao intuicionismo
original de Brouwer e Heyting, e intuicionismo semntico, para me
referir ao outro intuicionismo, o intuicionismo de Michael Dummett,
Dag Prawitz, Per Martin-Lf e outros. bvio que o intuicionismo
holands e o intuicionismo semntico no diferem no que diz respeito matemtica e lgica; a principal diferena encontra-se na atitude filosfica dessas posies com respeito linguagem e lgica:
enquanto para Brouwer o que realmente importa no est na linguagem, para Dummett e Prawitz o verdadeiro cenrio, a verdadeira
arena da disputa entre, de um lado, a matemtica e a lgica clssica
e, de outro lado, a matemtica e a lgica intuicionista, a arena das
970

teorias do significado. nesse cenrio semntico que nossas opes

lgico-semnticas sero feitas e a inspirao para o projeto semntico construtivista pode ser encontrada em uma famosa passagem em
que Gentzen associa, com todo cuidado e cautela, as regras de introduo de seu sistema de deduo natural determinao do significado (das definies) dos operadores lgicos.
The introduction rules represent, as it were, the definitions of the
symbols concerned, and the eliminations rules are no more, in the final
analysis, than the consequences of these definitions. This fact may be
expressed as follows: in eliminating a symbol, we may use the formula
with those terminal symbols we are dealing only in the sense afforded
it by the introduction of that symbol. ([4], p. 80)

O projeto semntico anti-realista dos anos setenta e oitenta era

bastante ambicioso: a semntica anti-realista no deveria ficar restrita aos domnios da lgica e da matemtica, mas poderia e deveria ser
estendida linguagem como um todo. Como sabemos hoje, esse projeto semntico mais ambicioso enfrenta vrios impasses no triviais.
De qualquer forma, independentemente dos problemas que a fundamentao semntica do intuicionismo enfrenta, no resta dvida alguma sobre o papel fundamental que a lgica (regras de inferncia,
derivaes, provas, subjuntivos, operadores) desempenha na prpria
compreenso e constituio da posio intuicionista. O sentido de um
enunciado matemtico depende de sua forma lgica e do que contaria como uma prova (cannica) de enunciados com essa forma.
Para o intuicionismo holands, no h o problema de um revisionismo lgico independente: dado que para essa posio a lgica
pensada como dependente da matemtica, uma mudana na lgica
uma conseqncia de uma mudana na matemtica. Obviamente o
mesmo no ocorre com o intuicionismo semntico, para o qual o conflito pode ocorrer em um nvel puramente lgico.
O matemtico/lgico clssico pode at considerar a posio intuicionista bastante interessante, dado que provas intuicionistas, mesmo sendo comumente mais longas, so, em geral, mais informativas
que seus parentes clssicos. As provas intuicionistas satisfazem algumas propriedades que as provas clssicas no satisfazem, como, por
exemplo, a propriedade da disjuno e a propriedade do quantificador
existencial. Tal forma de ecletismo lgico-matemtico no uma atitude filosfica disponvel para o intuicionista praticante (crente): ao
matemtico/lgico intuicionista no resta alternativa que a de propor
um revisionismo na lgica e na matemtica revogando a validade
971

universal de certos modos clssicos de raciocnio. Creio que podemos

formular esse ponto da seguinte maneira: para o matemtico clssico, a proposta intuicionista, se levada a srio, significa uma mutilao
no corpus matemtico; j para o intuicionista, trata-se simplesmente da nica forma correta de fazer matemtica no se pode perder
o que no se tem! Uma forma padro de se desqualificar o conflito
entre o clssico e o intuicionista baseia-se na idia, at certo ponto
razovel, de que os litigantes esto falando sobre coisas distintas (ou
falando coisas distintas), e que, se esto falando sobre coisas distintas, no h uma mesma coisa, regras ou princpios, sobre a qual divergem e disputam. Segundo essa estratgia de desqualificao do
problema, como se os participantes do (pseudo-)conflito falassem
duas lnguas e no se dessem conta disso. No por outra razo que
alguns construtivistas buscaram e buscam um solo comum, uma lngua mnima comum, onde a discusso e o conflito possam ocorrer.
Essa idia de uma lngua comum nos levar, como veremos mais
detalhadamente na prxima seo, primeira metade do sculo passado, quando vrias tradues e interpretaes de sistemas e teorias
clssicos foram propostas.
3. A aritmtica clssica intuicionista
Comecei este texto reproduzindo uma das teses centrais da dissertao de Brouwer, a tese de que a matemtica no depende da lgica. Gostaria de explorar nesta seo uma outra via para a negao
da tese brouweriana, a saber, uma via para a tese de que a matemtica depende da lgica. Para esse fim, voltaremos ao final dos anos 20
e incio dos anos 30, quando vrios resultados, sob a forma de interpretaes, tradues e imerses, estabeleceram conexes interessantes entre sistemas formais clssicos e intuicionistas, tais como os
resultados de Glivenko [5], Kolmogorov [8], Gdel [6] e Gentzen [3].
Glivenko, por exemplo, mostra que a negao de qualquer teorema proposicional clssico pode ser refutada construtivamente e
que no podemos distinguir a lgica proposicional clssica da lgica proposicional intuicionista com respeito aos teoremas da forma
A:
Glivenko 1: Se A um teorema proposicional clssico, ento A
um teorema proposicional intuicionista.
Glivenko 2: Se A um teorema proposicional clssico, ento A
um teorema proposicional intuicionista.
972

Outras conexes foram estabelecidas, como dissemos acima, sob

a forma de tradues (ou interpretaes) de sistemas clssicos para
(em) sistemas intuicionistas, tais como as interpretaes propostas
por Gdel [6] e Gentzen [3] da aritmtica de Peano na aritmtica de
Heyting, at hoje marcos importantes dessa famlia de resultados.
Segundo Gentzen, a aritmtica intuicionista difere da aritmtica de um modo puramente externo, aceitando apenas parte da lgica dos predicados clssica como vlida.
By classical mathematics we mean the theory of the natural numbers
as it is built up from the axioms of Peano, together with classical
predicate logic (called restricted predicate calculus in HilbertAckermann), and the introduction of recursive definitions.
Intuitionist arithmetic differs from classical arithmetic, purely
externally, by accepting only part of classical predicate logic as
admissible. Intuitionist predicate logic may be extended to classical
predicate logic by including, for example, the law of the excluded middle
(A is true or A is false) or, alternatively, the law of double negation (if
A is not false, then, then A is true).
In the following we intend to show that the applications of the law of
double negation in proofs of classical arithmetic can in many instances
be eliminated. ([3], p. 53)

O que significa externamente? Acredito que externamente

significa apenas do ponto de vista lgico, e no do ponto de vista
matemtico! Temos aqui uma posio completamente diferente da de
Brouwer: a aritmtica no impe a lgica, mas, muito pelo contrrio,
a aritmtica intuicionista obtida por uma restrio da lgica mudamos a matemtica mudando a lgica!
Os resultados de Gdel e de Gentzen podem ser formulados da seguinte maneira:
Todo teorema da aritmtica de Peano formulada na linguagem
{, , , , }, no caso de Gentzen, ou na linguagem {, , , }, no
caso de Gdel, um teorema intuicionista.
Como do ponto de vista clssico no perdemos nada ao trabalharmos com essas linguagens restritas, podemos agora fazer uma leitura
bastante interessante dos resultados de Gentzen e de Gdel: somos capazes de fazer aritmtica clssica sem lgica clssica. De fato, podemos
obter uma formulao ainda mais geral desse tipo de resultado:
Seja TC uma teoria clssica formulada em {, , , , }. Se TC
atomicamente estvel (AA, para A atmica) e os axiomas no
lgicos e regras de TC no embutem princpios clssicos, ento, se
A um teorema de TC, A possui uma prova intuicionista.
973

Esse o real sentido das tradues de Gentzen e Gdel.

Um outro tema interessante, mas que no ser aqui desenvolvido, o das aritmticas intermedirias. Sabemos que a aritmtica que
obtemos com a lgica intermediria de domnios constantes (a lgica
intuicionista acrescida do axioma (x(A(x)B) (xA(x)B)) [x no
ocorre livre em B]) a prpria aritmtica de Peano. Logo, podemos
usar uma lgica onde no vale o princpio do terceiro excludo e ainda assim obter a aritmtica de Peano. Sabemos tambm que h aritmticas intermedirias, isto , aritmticas entre a aritmtica de
Heyting e a aritmtica de Peano. Seria obviamente interessante buscar estabelecer algum tipo de medida nas lgicas intermedirias tal
que, a partir de um ponto determinado, todas as aritmticas colapsariam na aritmtica de Peano
Para finalizar esta seo, gostaria de explorar um pouco mais a
funo de interpretao definida por Gdel. A funo de interpretao da aritmtica de Peano na aritmtica de Heyting definida por
Gdel, alm de interpretar (eliminar) a disjuno e o quantificador
existencial, como faz a funo de interpretao definida por Gentzen,
tambm elimina a implicao, interpretando, como usual, expresses da forma (A B) como (AB). Essa diferena entre as interpretaes de Gdel e de Gentzen tem uma conseqncia bastante
interessante: Gdel demonstra como resultado preparatrio para a
definio de sua funo de interpretao que o fragmento {, } incapaz de distinguir teoremas clssicos de teoremas intuicionistas.
If to the primitive notions of Heytings propositional calculus we let
correspond those notions of the classical propositional calculus that are
denoted by the same sign and if to absurdity () we let correspond
negation (~), then the intuitionistic propositional calculus H turns out
to be a proper subsystem of the ordinary propositional calculus A. With
another correlation (translation) of the notions, however, the classical
propositional calculus is, conversely, a subsystem of the intuitionistic one.
For we have: Every formula built up solely by means of conjunctions ()
and negations () that holds in A is provable in H as well. ([6], p.287)

O argumento de Gdel bastante engenhoso: como todo teorema

clssico A no fragmento {, } possui uma forma cannica B1 . . .
Bn (para B1, . . . , Bn em {, }), ento, pelos resultados de Glivenko,
se A um teorema clssico, ento A um teorema intuicionista.
A moral mais do que curiosa embutida nesse resultado de Gdel
que, do ponto de vista de seus teoremas, realmente podemos fazer
lgica proposicional clssica sem usar lgica clssica! Nossos manuais de lgica econmicos, que reduzem os operadores ao fragmento
974

{, }, poderiam, com respeito aos teoremas, utilizar apenas procedimentos intuicionistas de raciocnio.
Podemos obter muitos outros resultados construtivos para diferentes fragmentos da lgica clssica. Para mencionar apenas alguns:
Teorema 1 (involuo da negao): Seja A {, , , }. Se I A,
ento I A.
Teorema 2 (externalizao): Seja A {, , , }. Se I xA, ento
I xA.
Teorema 3: Seja A uma frmula em {, }. Logo, se C xA, ento
I xA.
Teorema 4 (Glivenko): Seja A uma sentena no fragmento {, , , , }.
Se C A, ento I A.
Teorema 5: Seja xA uma sentena em {, , , } tal que A seja livre
de quantificadores. Se C xA, ento I xA.
Teorema 6: Seja A uma sentena no fragmento {, , , } tal que
nenhum quantificador em A ocorre no escopo de outro quantificador. Nesse caso, se C A, ento I A. Uma leitura interessante
desse resultado que para obtermos a lgica clssica de primeira ordem, necessitamos da iterao de quantificadores!
4. Brouwer e os juzos hipotticos
Na primeira pgina do terceiro captulo da dissertao de 1907,
buscando mostrar que a matemtica independente a lgica,
Brouwer considera um possvel contra-exemplo para sua tese:
In one particular case the chain of syllogisms is of a somewhat different
kind, which seems to come nearer to the usual logical figures and which
actually seems to presuppose the hypothetical judgment from logic. This
occurs when a structure is defined by some relation in another
structure, while it is not immediately clear how to effect its construction.
Here it seems that the construction is supposed to be effected, and that
starting from this hypothesis a chain of hypothetical judgments is
deduced. But this is no more than apparent; what actually happens is
the following: one starts by setting up a structure which fulfills part of
the required relations, thereupon one tries to deduce from these
relations, by means of tautologies, other relations, in such a way that
these new relations, combined with those that have not yet been used,
yield a system of conditions, suitable as a starting-point for the
constructions of the required structure. Only by this construction will it
be proved that the original conditions can be fulfilled. ([1], p. 72)
975

Podemos fazer as seguintes observaes, ligeiras e impressionistas, verdade, sobre essa interessante passagem:
1. Brouwer reconhece que h um caso especial (um tipo diferente) de cadeia de silogismos.
2. Esse tipo especial de cadeia de silogismos parece aproximarse das figuras lgicas usuais.
3. Neste caso especial, a ordem das disciplinas parece se inverter:
a matemtica parece pressupor o juzo hipottico da lgica.
4. Nessa cadeia especial de raciocnios parece ocorrer uma construo hipottica, isto , uma construo no atual, not
effected.
5. Brouwer no aceita construes not effected.
6. A dependncia, por parte da matemtica, da lgica e de construes no atuais meramente aparente.
Um excelente comentrio sobre a posio de Brouwer com respeito aos juzos hipotticos pode ser encontrado no texto The
hypothetical judgment in the history of intuitionistic logic, de Mark
van Atten [16]. Para van Atten, a noo fundamental da qual necessitamos para uma compreenso adequada da posio de Brouwer com
respeito aos juzos hipotticos a noo de sistema de condies2. A
sada para a armadilha das construes no construdas, mas supostas,
trabalhar com condies e transformaes atuais. Em um raciocnio
hipottico partimos das condies especificadas pelo antecedente do
juzo hipottico correspondente e, atravs de transformaes construtivamente legtimas (tautologias intuicionistas), transformamos essas
primeiras condies em condies para a construo do conseqente.
Segundo van Atten, necessary conditions on constructions described
by the antecedent are transformed into sufficient conditions on
constructions descrbed by the consequent ([16], p.8). Essa leitura de
Brouwer no contm nada com natureza hipottica: temos condies
(atuais) e transformaes (atuais) sobre condies.
Tomemos como exemplo um juzo hipottico da forma ((A B)
(A B)).
a. Reconhecemos como imediatamente evidente que as condies
especificadas por (A B) incluem as condies especificadas
por A (no sentido de que qualquer construo que satisfaa a
condio (A B) tambm satisfaz a condio A).
2
Diferentemente do que se poderia inferir de nossas consideraes na seo 2,
van Atten observa que as funes tcnicas de traduo de sistemas clssicos em sistemas intuicionistas so de pouca ajuda para a discusso sobre a natureza dos juzos
hipotticos.

976

b. Reconhecemos como imediatamente evidente que a condio

especificada por A inclui a condio especificada por (A B)
(no sentido de que qualquer construo que satisfaa a condio A tambm satisfaz a condio (A B)).
c. Essa cadeia de transformaes legtimas do ponto de vista intuicionista (tautologias) nos leva das condies especificadas
pelo antecedente s condies especificadas pelo conseqente.
Mesmo considerando, como disse acima, bastante interessante a
interpretao proposta por van Atten para a compreenso brouweriana dos juzos hipotticos, gostaria de fazer algumas observaes que
poderiam sugerir, uma vez mais, um redirecionamento na ordem de
prioridades.
i. A idia de que uma condio inclui ou est includa em outra
condio parece contrabandear para o interior da anlise
novos juzos hipotticos.
ii. Quando dizemos de uma construo arbitrria que se ela satisfaz a condio A, ento ela tambm satisfaz a condio B,
estamos fazendo um juzo hipottico sobre construes.
iii. Quando falamos de necessary conditions on constructions e
sufficient conditions on constructions estamos falando de
conseqentes e antecedentes de novos juzos hipotticos.
Sem dvida alguma a idia de van Atten pode nos ajudar a compreender o funcionamento de hipteses em nossos raciocnios construtivos hipotticos. Tomemos novamente o exemplo da expresso
(proposicional) ((A B) (A B)). Ao partirmos de (A B), no partimos de uma construo atual, mas das condies que qualquer construo deveria satisfazer para ser uma construo de (A B). Uma
dessas condies necessrias que toda construo (cannica) de
(A B) pode ser transformada em uma construo de A (as condies
para A formam parte das condies para (A B)). Por outro lado, toda
construo que satisfaz as condies especificadas por A tambm satisfazem as condies especificadas por (A B) (as condies para A
incluem as condies para B). difcil no reconhecer aqui as regras
de introduo e eliminao de nossos sistemas de deduo natural, e
no reconhecer no processo descrito neste pargrafo a derivao
(A B)
_________
A
__________
(A B)
977

 a prpria forma lgica dos juzos que nos autoriza a fazer as

transformaes. Como sugeri acima, essa explicao no elimina a
aparncia de uma dependncia com respeito a noes lgicas, mas,
muito pelo contrrio, a assume explicitamente.
bem conhecida a distncia que separa os juzos hipotticos da
lgica de outras formas judicativas (conjunes e disjunes, por
exemplo). Correndo o risco de parecer um pouco exagerado, acredito
que podemos dizer que sem juzos hipotticos no h lgica. Mesmo
do ponto de vista clssico, no h tautologias sem juzos hipotticos
(com as restries usuais envolvendo a negao e o verum T).
5. Concluso
H certamente vrios pontos que poderiam ser contestados nas
consideraes tecidas acima.
(a) A atitude do intuicionismo semntico poderia ser criticada por
trabalhar com um conceito equivocado de construo.
(b) Toda a discusso sobre logic-dependent arithmetics estaria baseada na idia de que temos arithmetic-independent logics, e,
com isso, argumentaria o intuicionismo holands, estaramos
colocando a carroa na frente dos bois.
(c) A semntica dos juzos categricos proposta pelo intuicionismo semntico parece pressupor os juzos problemticos. As
condies de assertabilidade lanam mo, explicita ou implicitamente, de subjuntivos, contrafactuais e noes modais.
Ora, se o que est em questo nossa compreenso dos condicionais e de nossas demonstraes a partir de hipteses,
parece que estamos explicando algo obscuro por meio de algo
misterioso.
claro o descompasso entre a pretenso do ttulo e os resultados
alcanados. Certamente teramos o direito de esperar muito mais de
um texto que assume como tema a natureza da lgica, muito mais
do que as simples sugestes que aqui foram apresentadas. No entanto,
espero ter ao menos indicado nesta breve nota que a adoo do ponto de vista intuicionista na lgica e na matemtica de forma alguma
nos compromete com as teses de Brouwer de que a matemtica
independe da lgica e de que a lgica depende da matemtica. De fato,
creio que temos boas razes para adotar as inversas dessas teses: a
matemtica depende da lgica e a lgica no depende da matemtica.
978

No fundo, creio que no podemos nos esquecer da mxima

tautolgica que diz: pensar pensar, calcular calcular.
6. Referncias bibliogrficas
[1] Brouwer, L. E. J. Collected Works I, editados por A. Heyting NorthHolland, Amsterdam, 1975, pp. 417-428.
[2] Dummett, M. The Philosophical Basis of Intuitionistic Logic, in H. E.
Rose e J. C. Sheperdson (eds.), Logic Colloquium 73, North-Holland,
Amsterdam, pp. 5 - 40.
[3] Gentzen, Gerhard. On the relation between intuitionist and classical
arithmetic, in The collected works of Gerhard Gentzen, ed. M Szabo,
North-Holland, 1969, pp. 53 - 67 (1933).
[4] Investigations into logical deduction, in The collected works of
Gerhard Gentzen, ed. M. Szabo, North-Holland, 1969, pp. 68 - 131
(1933).
[5] Glivenko, M.V. Sur quelques points de la logique de M. Brouwer, in
Acadmie Royale de Belgique, Bulletins de la classe de Sciencces, series
15, v.15, 1929, pp. 183 - 188.
[6] Gdel, Kurt. On intuitionistic arithmetic and number theory, in Kurt
Gdel Collected works, volume 1, publications 1929-1936, OUP, 1986,
pp. 287 - 295 (original 1933).
[7] Heyting, A. Mathematische Grundlagenforschung Intuitionismus
Beweistheorie, Springer-Verlag, Berlin, 1974, 73 pp.
[8] Kolmogorov, A. N. O princip tertium non datur (sur le principe de
tertium non datur), in Mat. Sb. (Recueil mathmatique de la Socit de
Mathmatiquede Moscou), vol. 32, pp. 646 - 667, 1925. Traduo inglesa: On the principle of the excluded middle, in From Grege to Gdel: a
source book in mathematical logic 187 - 1931, ed. By J. van Heijnoort,
Haward University Press, pp. 414 - 437, 1977.
[9] Medeiros, Maria da Paz N. Tradues via teoria da prova: aplicaes
lgica linear, EDUFRN, 2002.
[10] Medeiros, Maria da Paz N., Sanz, W., Pereira, L.C. A trivial extension
of Glivenkos theorem to first order logic (manuscrito).
[11] Medeiros, Maria da Paz, Pereira, L. C., Hauesler, E. H. Alguns resultados sobre fragmentos da lgica clssica com negao. A ser publicado
em 2008 em O que nos faz pensar.
[12] Prawitz, Dag. Natural Deduction, Almqvist & Wiksel, Stockholm, 1965.
[13] Seldin, Jonathan. On the proof theory of the intermediate logic MH, in
The Journal of Symbolic Logic, vol. 51, pp. 626 - 647, 1986.
[14] Normalization and excluded middle, in Studia Logica, vol. 48, pp. 193
- 217, 1989.
[15] van Atten, Mark. The hypothetical judgment in the history of
intuitionistic logic. (manuscript)
979

[16] van Dalen, D. Mystic, Geometer, and Intuitionist: The Life of L.E.J.
Brouwer. Volume 1: the dawning revolution. Clarendon Press, Oxford,
1999, xv + 420 pp.
[17] van Stigt, W. P. Brouwers Intuitionism. North-Holland (Studies in the
History and Philosophy of Mathematics), Amsterdam, 1990, xxvi + 530.
PUC-Rio/UERJ
luiz@inf.puc-rio.br

980