Jorge Alberto Molina 1

Negacin y Doble Negacin en el Intuicionismo de Brouwer

91

Negacin y Doble Negacin

en el Intuicionismo de Brouwer

Negacin y Doble Negacin en el Intuicionismo de

Brouwer

Jorge Alberto Molina*

Resumo

Neste trabalho so apresentadas as concepes de Brouwer sobre a negao relacionando-as com as duas aes bsicas do intuicionismo matemtico: a separao
entre as construes matemticas e a sua comunicao na linguagem, e a introduo das seqncias de escolha livres para alm das seqncias com carter de regra.
Mostra-se aqui que, mesmo que Brouwer nunca isolasse como tema de investigao
a negao enquanto constante lgica individual, concebida de forma veritativo funcional, ele a tratou na sua relao com a incompatibilidade entre duas construes
matemticas, e com o absurdo matemtico.
Palavras chaves: Lgica . Lgicas divergentes . Intuicionismo . Negao

intuicionista
Abstract

In this paper we discuss Brouwers conception of negation relating it to the two basic
acts of mathematical intuitionism: the separation of mathematical constructions
from the linguistic communication of them, and the consideration of free-choice
sequences in addition to law-like sequences. We show that although Brouwer never
isolated negation as an individual logical constant, explained truth-functionally, he
related it to the incompatibility between two mathematical constructions, and to
mathematical absurdity.
Key-words: Logic . Non classical logics . Intuitionism . Intuitionistic

negation
1 Professor do Departamento de Cincias Humanas da Universidade de Santa Cruz do Sul (UNISC)
e professor do Departamento de Filosofia da Universidade do Estado de Rio Grande do Sul (UERGS). E.mails:molina@unisc.br; jorge-molina@uergs.edu.br
O que nos faz pensar n23, junho de 2008

92

Jorge Alberto Molina

I. Algunas consideraciones sobre la negacin

Si queremos entender las reflexiones de Brouwer sobre la negacin, fuera de

todo anacronismo, tenemos que ampliar nuestras concepciones sobre ella.
Estamos acostumbrados a pensar que la negacin es una operacin que realizada sobre una proposicin verdadera la convierte en una falsa, y sobre
una proposicin falsa, la convierte en una verdadera. Otra forma de pensar
la negacin es como un conectivo proposicional mondico caracterizado por
reglas de introduccin y de eliminacin. As Gentzen propuso para la negacin, como regla de introduccin, la siguiente
(A)
.
.

.

___________
A

y como regla de eliminacin

A
A
_____________

Aqu vemos que la negacin se aplica a proposiciones pues es sa la interpretacin que se pretende para los smbolos A, B, etc. Esas reglas fueron
propuestas por Gentzen para caracterizar toda deduccin vlida, en el sentido
de que toda inferencia correcta debera descomponerse en inferencias atmicas que consistiran en la aplicacin de una de las reglas de introduccin o de
eliminacin. Como la inferencia vlida es aquella que es caracterizada como
la que lleva de premisas verdaderas a conclusiones verdaderas, somos obligados as, de un modo implcito, al hablar de la negacin, tambin a hablar de

Die Verneinung: eine logische Untersuchung. In: G.Frege

2 Esta es la concepcin de Frege. Ver
Logische Untersuchungen. Gttingen: Vandenhoeck e Ruprecht 2 edio 1976. p. 67

Negacin y Doble Negacin en el Intuicionismo de Brouwer

la verdad y la falsedad. Verdad y falsedad permiten separar las proposiciones

de otros sintagmas, como las palabras. Eso ya haba sido observado por Aristteles en De Interpretatione 17 a.
Clsicamente la falsedad se define como la negacin de la verdad. La proposicin falsa es aquella que no es verdadera. Parecera entonces que podemos afirmar que:
a) La negacin es algo que sucede a las proposiciones, en el sentido de
que las proposiciones son las nicas expresiones lingsticas que pueden ser
negadas
b) Cuando hablamos sobre la negacin, hablamos, aunque sea de forma
implcita, sobre la verdad y la falsedad. Diramos que no podemos tener una
caracterizacin puramente sintctica de la negacin.
c) Sin embargo, para hablar de falsedad tenemos que tambin hablar de la
negacin (pues la falsedad es la negacin de la verdad).
Vemos as que estaramos condenados a ir en crculo segn lo que hemos
dicho en a),b) y c). Ahora bien, la tradicin que ha dado origen a la lgica
clsica no es tan monoltica como podemos pensarlo, pues podemos encontrar en ella, interpretaciones de la negacin que no se encuadran completamente en las notas a),b) e c) citadas arriba, interpretaciones que volveremos
a encontrar de alguna forma en el intuicionismo de Brouwer. No se trata aqu
de postular ni de rastrear influencias de los tratadistas de Lgica que lo precedieron sobre Brouwer, influencias que de hecho explcitamente no parecen
haber existido. Si podemos hablar de influencias filosficas sobre Brouwer
slo reconoceramos la del cartesianismo, trasmitida por los matemticos intuicionistas franceses Borel y Poincar, y la de Schopenhauer con su concepcin de la voluntad. Slo queremos decir aqu que podemos reconocer en la
Historia de la Lgica formas de concebir la negacin, diferentes de las que
hoy son ms usuales, y que algunas de esas formas de pensar las podemos
rencontrar en Brouwer.
Hay toda una tradicin lgico-filosfica que se refiere a predicados negativos, esto es, a la posibilidad de que la negacin se aplique sobre predicados.
Esto no nos debera sorprender pues algunas lenguas naturales distinguen entre negacin proposicional y negacin predicativa. En espaol esa distincin
no est tan marcada, al ser usada la misma expresin no para ambas pero en

93

94

Jorge Alberto Molina

lenguas como el alemn s. Por ejemplo al decir Scrates ist nicht ein philosoph
la negacin recae sobre toda la proposicin Scrates ist ein philosoph, pero al
decir Scrates ist kein philosoph la negacin recae sobre el predicado philosoph.
As tendramos dos trminos nicht y kein, uno para la negacin proposicional
y otro para la negacin sobre predicados.
Otro hecho que es digno de notar, es que muchos filsofos concibieron
la negacin a partir de la oposicin, ya sea oposicin de trminos, o de realidades. El propio Aristteles en Categoras 11 b 20 presenta la negacin como
un tipo especial de oposicin. En ese texto distingue Aristteles cuatro tipos
de oposiciones, la de los relativos, la de los contrarios, la de la privacin a la
posesin y la de la afirmacin a la negacin. La oposicin de los relativos es
la de lo doble a la mitad, la de los contrarios como la del mal al bien, la de la
privacin a la posesin, como la de la visin a la ceguera y la de la afirmacin
a la negacin como la de Est sentado a No est sentado. Tambin afirma Aristteles en esa obra:
lo que queda bajo la afirmacin y la negacin no es afirmacin
ni negacin; pues la afirmacin es un enunciado afirmativo y la
negacin es un enunciado negativo, mientras que nada de lo que
queda bajo la afirmacin y la negacin es un enunciado. Con todo,
se dice tambin que estas cosas se oponen recprocamente como
una afirmacin y una negacin; pues tambin en stas el tipo de
oposicin es el mismo: en efecto, as como a veces la afirmacin se
opone respecto a la negacin, vg :est sentado-no est sentado, as
tambin se opone el hecho que hay bajo cada una de ellas, a saber
el estar sentado-no estar sentado. (Categoras 12 b 5-10)
Lo que cae bajo la negacin es una cosa. Vemos as aqu la puerta abierta
para hablar de la negacin a partir de la oposicin de cosas, que pueden ser
tanto entidades extra lingsticas como lgoi. Lgos puede significar tanto una
palabra, como tambin la definicin de una cosa, una discusin, una conversacin, un discurso, una proposicin, como tambin una relacin o proporcin. La proposicin es el lgos apophantiks que cuando es negativa se llama
apphasis, y cuando es negativa katphasis
Leemos tambin en Aristteles:
una afirmacin es la declaracin que una cosa se relaciona a otra
cosa.......una negacin es la declaracin de que una cosa est separada de otra cosa. (De Interpretiones 17 a 25)

Negacin y Doble Negacin en el Intuicionismo de Brouwer

As, segn Aristteles la negacin expresa una separacin entre cosas. Si

nuestra interpretacin no est errada, podemos decir que ya en la tradicin
filosfica reconocemos una caracterizacin de la negacin como una relacin
de oposicin no apenas entre proposiciones, mas tambin entre conceptos y
entre entidades extra lingsticas.

II. La negacin y la primera accin del intuicionismo

La concepcin de la negacin como un operador funcional veritativo que

forma proposiciones a partir de proposiciones es ajena al pensamiento de
Brouwer. En sus primeros trabajos Brouwer pens el enunciado negativo
como aquel que expresa la incompatibilidad entre dos construcciones matemticas. Posteriormente identific la negacin con el predicado Absurdo.
La tarea de entender lo que Brouwer dijo sobre la negacin es difcil porque
nunca la aisl (ni a ella ni a los otros conectivos proposicionales) como tema
de investigacin. En el caso de la negacin, se refiere a ella en el medio de
discusiones sobre el principio del tercero excluido, o sobre la teora de las
especies (Menge), como en el artculo del ao 1923 Intuitonistische Zerlegung
mathematischer Grundbegriffe (Anlisis intuicionista de los conceptos bsicos de la
matemtica), que motiv las investigaciones ulteriores que culminaron con
la construccin, por Heyting de la lgica intuicionista en los aos treinta del
siglo pasado. La razn de este proceder es que Brouwer nunca manifest estima por la Lgica. Para Brouwer la Lgica est relacionada con el Lenguaje,
mientras que la Matemtica es una actividad esencialmente no lingstica. El
tema de la Matemtica son las construcciones mentales efectuadas por el sujeto. El lenguaje slo sirve como medio, a veces defectuoso, para comunicar
a otros nuestras construcciones.
No podemos tratar de la negacin en Brouwer sin referirnos a sus tesis sobre la relacin entre Matemtica, Lenguaje y Lgica, ni sin hablar de
la evolucin intelectual de Brouwer ni dejar de mencionar conceptos de la
Matemtica intuicionista como los de especie y secuencias de eleccin libre
.Brouwer desarroll sus teoras matemticas en estrecha conexin con sus
concepciones filosficas .Ya podemos registrar antes de su tesis doctoral su
inters por temas filosficos . En su tesis doctoral y en muchos de sus artcu3 Ver nota 13
4 En 1905 dos aos antes de la publicacin de su tesis doctoral Brouwer escribi un texto en holands con el ttulo de Leven, Kunst en Mystiek (vida, arte y mstica). Una introduccin, junto con
una traduccin al ingls de este trabajo se encuentra en Notre Dame Journal of Formal Logic, 37,
1996, p.xx

95

96

Jorge Alberto Molina

los encontramos pasajes bastante extensos conteniendo la discusin de problemas filosficas: la relacin entre pensamiento y lenguaje, la formacin de
la conciencia, el papel del conocimiento cientfico. Ese tipo de disquisiciones
de Brouwer es generalmente pasado por alto por los filsofos, porque esos
pasajes se encuentran en el medio de la exposicin de conceptos y teoras
matemticas de difcil comprensin, por los matemticos porque a primera
vista seran ajenas a las cuestiones tcnicas discutidas.
En su tesis doctoral del ao 1907 Sobre los fundamentos de la Matemtica,
en su artculo del ao 1908 Sobre la falta de confianza de los principios lgicos,
y en su artculo del ao 1912 Intuicionismo y formalismo (los dos primeros
textos aparecieron en holands, el ltimo tuvo una traduccin inmediata al
ingls publicada por el Bulletin Am. Math. Soc), Brouwer present sus principales concepciones filosficas, su polmica con los formalistas y los logicistas, su rechazo a la teora cantoriana de los conjuntos . Es en esta fase que
Brouwer realiz aquello que en uno de sus ltimos trabajos llamar como la
primera accin del intuicionismo.
Primera Accin del Intuicionismo
separar completamente la matemtica del lenguaje que expresa
la matemtica, en particular de los fenmenos del lenguaje que
son descriptos por la lgica terica, y reconocer que la matemtica
intuicionista es esencialmente una actividad no lingstica de la
mente que tiene su origen en la percepcin del movimiento del
fluir temporal(of a move of time), esto es de la separacin de un
momento de la vida (of the falling apart of a life moment) en dos
cosas distintas, una de las cuales es retenida por la memoria. Si
esa dualidad (two-ity) generada de esa forma, es desprovista de
toda cualidad, queda la forma vaca del substrato comn de todas
las dualidades. Ese sustrato comn, esa forma vaca, es lo que es
objeto de la intuicin matemtica .
En verdad en este texto tardo, que en esta parte nos hace recordar el
libro XI de las Confesiones de San Agustn, Brouwer vuelve a repetir las tesis
sobre la relacin entre Matemtica y Lenguaje que l ya haba presentado en
5 Esos tres trabajos pueden consultarse en los Collected Works I de Brouwer, editados por North
Holland en 1975.
6 Brouwer 1952 Historical Background., Principles and methods of intuitionism in: L.E.J Brouwer
Collected Works I, Amsterdam: North Holland, 1975.p.508-515

Negacin y Doble Negacin en el Intuicionismo de Brouwer

sus trabajos de 1907 y 1908 citados arriba. En esos primeros textos la negacin aparece como la expresin de la incompatibilidad entre dos realidades.
Un enunciado negativo expresa la incompatibilidad entre dos construcciones
matemticas representadas respectivamente por el sujeto y por el predicado del enunciado. Observo precisamente que la construccin (expresada por el
sujeto del enunciado) no progresa, que en el edificio principal no hay lugar para
la estructura puesta .En el artculo de 1908 sobre los principios lgicos se
refiere a la negacin como la expresin de la imposibilidad de subsumir (imbedding segn el traductor al ingls) o de hacer una inmersin de un sistema
matemtico de objetos en otro  En estos trabajos el tratamiento de la negacin aparece en el contexto de la discusin sobre el Principio del tercero
excluido, identificado por Brouwer con la afirmacin de que todo problema
matemtico es soluble.
Si nuestra interpretacin no est errada, en estos escritos Brouwer est
pensando la negacin como una operacin efectuada sobre dos construcciones mentales. Si afirmamos que la raz cuadrada de 2 no es racional, lo que
queremos decir es que si tomamos por un lado la construccin del ente matemtico que es la raz cuadrada de 2 y si tomamos por otro lado el sistema ya
construido de los nmeros racionales, el intento de encajar esa construccin
de la raz de 2 dentro del sistema de los nmeros racionales fracasa. Ya vimos
que Aristteles haba pensado la negacin como la expresin de la incompatibilidad entre dos realidades. Pues, segn el filsofo griego, el enunciado
negativo expresa la separacin entre dos cosas. Si decimos que A no es B estamos separando A de B. Posteriormente los intuicionistas, quisieron hacer ms
precisa la caracterizacin brouweriana de la negacin, al pensarla como una
operacin efectuada sobre una prueba. No A ser la construccin que a partir
de una prueba de A dar lugar a una prueba de un enunciado absurdo
como 0=1. Mas esta ltima concepcin es ajena a Brouwer.
Podemos entender esta primera accin del intuicionismo a partir de las
concepciones de Brouwer sobre el lenguaje . En Intuitionistische Betrachtungen
ber den Foramlismus (Reflexiones intuicionistas sobre el formalismo) , artculo del ao 1928, Brouwer afirma 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, inhal7 L.E.J Brouwer Collected Works, I p.73
8 Ibidem, p.109
9 Este artculo se encuentra traducido al ingls en la Antologia de Paolo Mancosu From Brouwer to
Hilbert: The debate on the foundations of Mathematics in the 1920s. Oxford University Press,
1998.

97

98

Jorge Alberto Molina

tlich) 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 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 percibe el vnculo estrecho
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.
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. 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 cmo 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 doctoral 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 proposiciones, las leyes lgicas, son vistas como directivas
para actos de construccin de entidades matemticas 10 .En consecuencia, no
10 Brouwer Collected Work sI. P.79

Negacin y Doble Negacin en el Intuicionismo de Brouwer

hay para la Matemtica pura, dice Brouwer en su conferencia del ao 1928

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 est libre de error 11. Esas limitaciones del
lenguaje natural, pensaba Brouwer, no podan ser resueltas como pretenda
la escuela formalista, regimentando el lenguaje natural y sometindolo a un
abordaje matemtico. Brouwer era consciente de que el lenguaje que comunica las construcciones matemticas manifiesta ciertas regularidades en su
sintaxis y en la conexin que hay entre las proposiciones expresadas en l, y
que por eso puede ser abordado formalmente. se es el origen de la Lgica.
Con posterioridad la Lgica puede ser abordada matemticamente, tendramos 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. Nuestra comunicacin lingstica puede fallar cuando indica a nuestro oyente cmo realizar una
construccin matemtica determinada.
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. 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 Mathematik, Wissenschaft und Sprache(Matemtica, ciencia y lenguaje),
conferencia dada en el ao 1928 en Viena 12, Brouwer nos da una explicacin del origen de la confianza de los formalistas en el lenguaje. En la
antigedad, dice Brouwer, el hombre tena a su disposicin un lenguaje
perfecto, que exclua errores, lenguaje que se refera a grupos finitos de co11 Ibidem, p.421
12 Brouwer. Collected Works I, p.417-428

99

100

Jorge Alberto Molina

sas en el espacio y en el tiempo, concebidas como unidades y substancias.

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 es la de un Cosmos finito y jerarquizado,
y su ciencia excluye la consideracin de lo infinito. En ese lenguaje-contina
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, an cuando,
advierte Brouwer, las conclusiones 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, nos dice 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, afirma Brouwer. El primero es un error filosfico y se origina en una
concepcin equivocada sobre el lenguaje. Los hombres, nos dice Brouwer, no
reconocieron que las palabras son en su esencia instrumentos para trasmitir
nuestra voluntad, y las trataron como etiquetas para conceptos. 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. Los hombres, afirma 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
relaciones.

Negacin y Doble Negacin en el Intuicionismo de Brouwer

III. La negacin y la segunda accin del intuicionismo

El artculo del ao 1918-1919 Begrundung der Mengenlehre unabhngig vom

logischen Satz vom ausgeschlossenen Dritten (Fundamentacin de la teora de conjuntos independientemente del principio lgico del tercero excluido) marca la segunda fase en la evolucin del intuicionismo de Brouwer. Se inicia aqu lo que
Brouwer posteriormente llamar la Segunda Accin del intuicionismo que
reconoce la posibilidad de generar nuevas entidades matemticas.
En primer lugar secuencias infinitas progresivas p1, p2,.pn cujos
trminos son elegidos mas o menos libremente a partir de entidades
matemticas previamente adquiridas; de modo tal que la libertad
de eleccin existente quizs para el primer trmino p1, pueda estar
sujeta a una restriccin r al elegir un trmino ulterior pv, y as de
nuevo, hasta llegar a restricciones ms rgidas, o inclusive hasta la
supresin de la liberdad de eleccin sobre los elementos siguientes
pv, en la medida que todas estas intervenciones restringidas
del sujeto, del mismo modo que todas las elecciones de los pv,
en cualquier fase del proceso pueden depender de experiencias
matemticas posibles del sujeto creativo;
En segundo lugar en la forma de especies matemticas, esto es,
propiedades pensables de entidades matemticas previamente
adquiridas, y que satisfacem la condicin de que, si ellas valen para
una entidad matemtica determinada, tambin valen para todas
las entidades matemticas que han sido definidas como iguales
a aquella, relaciones de igualdad que son simtricas, reflexivas
y transitivas; aquellas entidades matemticas previamente
adquiridas para las cuales vale la propiedad son llamadas
elementos de la especie. 13
A partir del ao 1918 Brouwer emprende la parte positiva de su programa. No era suficiente criticar al formalismo y al logicismo a partir de concepciones filosficas de gran generalidad. Era preciso, siguiendo esas concepciones filosficas, proceder a una reedificacin de la Matemtica. Brouwer
haba percibido la dificultad de reconstruir el continuo geomtrico usando
slo secuencias de Cauchy de nmeros racionales dadas por una ley (lo que
en principio parecera estar de acuerdo con el espritu del intucionismo). Se
13 L.E.J.Brouwer Collected Works I p. 511

101

102

Jorge Alberto Molina

encontr obligado a admitir secuencias de eleccin libre. Lo que caracteriza a estas secuencias, es que, desde el punto de vista intuicionista, quedan
caracterizadas a partir de un segmento contenido en ellas suficientemente
grande. Podemos definir sobre tales secuencias funciones cuyos valores sean
tambin secuencias de eleccin libre.
No entraremos en los detalles de la construccin brouweriana del continuo geomtrico y del Anlisis real, que nos llevara lejos del objetivo de este
texto. Lo que nos interesa es lo siguiente: en ese perodo, en el cual Brouwer
estaba ocupado en reconstruir los fundamentos del Anlisis, Brouwer mud
su concepcin sobre la negacin. En el ao 1923 Brouwer escribi el artculo
Intuitionistische Zerlegung matematischer Grunbegriffe (Anlisis intuicionista de
los conceptos bsicos de la Matemtica, en el mismo ao tambin apareci una
versin en holands, con un contenido algo diferente)14 . En esos artculos
Brouwer identifica la negacin con el predicado del absurdo. No A significa
A es absurdo (Abs A). Pero ese predicado se aplica no slo a proposiciones,
sino tambin a predicados. Fue este artculo, como ya dijimos, el que origin
las investigaciones posteriores sobre Lgica intuicionista. Investigaciones que
dejaron rpidamente de interesar a Brouwer por juzgar que trabajar en Lgica
era un ejercicio intelecutal intil.
En ese texto Brouwer prueba que AbsAbsAbs es equivalente a Abs. La
prueba procede as: En general vale que al considerar dos predicados x e y,.
si de x se sigue y, inferimos que de Abs y se sigue Abs x (por contraposicin). Como sabemos que de x se sigue AbsAbs x, contraponiendo podemos
concluir que de AbsAbsAbs x se sigue Abs x. Ahora, sabemos que de y se
sigue AbsAbs y, considerando Abs x como y, tenemos que de Abs x se sigue
AbsAbsAbs x.

14 Este artculo se encuentra traducido al ingls en la Antologa de P.Mancosu, From Brouwer to

Hilbert . The Debate on the Foundations of Mathematics in the 1920 s. Oxford University Press,
1988. p.290-292

Negacin y Doble Negacin en el Intuicionismo de Brouwer

Referncias Bibliogrficas

Aristteles De Interpretatione e Categorias. In: Tratado de Lgica: Organon. Madri:

Gredos, 1988
________. Organon I Catgories, II De l interpretation. Traduo J. Tricot. Paris: Vrin,
1984
Brouwer, L.E.J. Leven, Kunst en Mystiek.

Ingles

in: Notre Dame Journal of Formal

Logic, 37, 1996, p.xx
________.Collected Works I, Amsterdam: North Holland, 1975.p.508-515
Frege, G. Die Verneinung: eine logische Untersuchung. In: G.Frege Logische
Untersuchungen. Gttingen:

Vandenhoeck e Ruprecht 2 edio 1976. p. 67

Mancosu, P. From Brouwer to Hilbert: The debate on the foundations of Mathematics in the
1920s. Oxford

University Press, 1998.

103