Documentos de Académico
Documentos de Profesional
Documentos de Cultura
_ ,
__
E. W. BETH
JEAN PIAGET
Relaciones entre .
la lgica formal
y el pensamiento real
MADRID
- ,-, L"
--~~~=>'
PRIMERA PARTE
INTRODUCCION
Con objeto de aclarar el fondo de las reflexiones que constituyen los captulos que sigue]J., me parece que ser til presentar ahora, a modo de introduccin, algunos sucintos datos
relativos a mi evolucin intelectual.
Tras haber acabado en 1932 los estudios de matemticas
y de fsica en la Universidad de Utrecht, continu estudiando
tres aos ms en centros universitarios: primero en el mismo
Utrecht, despus en Leiden y finalmente en Bruselas. En 1933
tuve el privilegio de poder incorporarme a una agrupacin
filosfica de vanguardia, la Genootschap voor Critische Philosophie (que a partir de 1938, debido a haber abandonado la
orientacin exclusivamente neokantiana, pas a ser la Genootschap voor Wetenschappelijke Philosophie [Sociedad de filosofa cientfica]), en la que, juntamente con el matemtico y
lgico P. G. J. Vredenduin, me corresponda representar a la
filosofa de las ciencias matemticas; pues ya en 1930 1931
haba yo empezado a orientarme hacia la filosofa en general,
y, ms en particular, hacia la epistemologa y la investigacin
de los fundamentos de las matemticas. De este modo, en 1935
pude defender una tesis de doctorado sobre Red en aanschouwing in de wiskunde (Razn e intuicin en las matemticas,
Groningen, 1935), si bien no ante la Facultad de Ciencias, sino
ante la de Letras, que me haba admitido despus de someterme
a un examen doctoral sobre psicologa terica. Posteriormente
me he liberado poco a poco de las influencias de la tradicin
filosfica, principalmente del kantismo; no obstante lo cual,
FORMAL Y EL
PENS~IIENTO
REAL
10
manuscrito de este trabajo. Las perspicaces observaciones que
me ha comunicado, y que no slo se referan a la forma, sino
asimismo a la materia, me han permitido incorporar numerosas e importantes mejoras al texto; y querra que aceptase esta
expresin de mi ms sincera gratitud 1
1 En esta primera parte damos las referencias bibliogrficas indicando solamente el nombre del autor y el ao de edicin, con los que
remitimos a la Bibliografa que se encuentra al final del libro. [En lo
que respecta a las ediciones en castellano -que indicamos entre parntesis cuadrados, como, por lo dems, todas las adiciones que hacemos
al texto original, para aclararlo u obviar alguna omisin o ambigedad-, nicamente reseamos el ao cuando hay varias ediciones que
convenga distinguir entre s (T.).]
1)
la teora del silogismo no proporciona un anlisis completo del razonamiento matemtico, pero tal anlisis
ser posible en cuanto se reemplace la teora aristotlica por una teora lgica ampliada que, sin embargo,
sea de carcter anlogo a aqulla;
2) en el razonamiento matemtico intervienen pasos que
difieren esencialmente del silogismo, por lo cual es imposible efectuar un anlisis lgico de tal razonamiento,
aun cuando dispusiramos de una teora lgica considerablemente ampliada.
Segn las concepciones contemporneas, la primera doctrina es la exacta; sin embargo, los filsofos y los matemticos
han credo durante mucho tiempo que era necesario aceptar
la segunda. No es posible, ni necesario, indagar ahora las fuentes de esta ltima; creo que bastar mostrar que la preconiz
Descartes y ocuparse un poco de su desarrollo ulterior.
12
Tal fase intermedia, caracterizadora del razonamiento matemtico con respecto al silogismo, apela a la intuicin: citemos
algunas lneas de la Regla XIV 2 :
Esta idea comn no pasa de un objeto a otro ms que merced a
una simple comparacin, por la cual afirmamos que la cosa buscada
es, en tal o cual respecto, semejante, igual o idntica a la cosa dada;
de manera que en todo razonamiento no conocemos exactamente la
verdad sino por comparacin. Por ejemplo, en ste, todo A es B, todo B
P.s e, luego todo A es e, se comparan entre s la cosa buscada y la
dada, es decir, A y e, en cuanto a la relacin que una y otra guardan con
respecto a B, etc ... Pero puesto que las formas del silogismo no sirven
para nada en cuanto a percibir la verdad, no ser intil al lector, tras
haberlas rechazado completamente, el percatarse de que todo conocimiento que no se adquiere por la intuicin pura y simple de un objeto
aislado se adquiere por comparacin entre s de dos o ms objetos.
13
14
2)
Cmo es posible que un razonamiento en que intervenga semejante fase intermedia pueda, pese a ello, dar
lugar a una conclusin universal?
Antes de continuar me importa subrayar que las observaciones de Descartes acerca de la estructura de los razonamientos matemticos son perfectamente correctas, y que las explicaciones de tan curiosa estructura que se le ocurren a uno a
primera vista no son aceptables. Por eje.mplo, si se quiere
demotrar que en todo tringulo la suma de los tres ngulos es
igual a dos rectos, se empieza por introducir un tringulo
particular, diciendo: Sea ABC un tringulo cualquiera; podra pensarse que semejante frase no vale ms que para ilustrar nuestro raciocinio por medio de una figura concreta, pero
esta explicacin no es satisfactoria, ya que encontramos la misma frase en los tratados cientficos que no tienen figuras, y
que en los dominios de la matemtica abstracta contempor-
15
16
iguales entre s, los otros individuos del escaleno y del issceles, que
habamos pasado por alto inicialmente, se agolpan inmediatamente sobre nosotros, hacindonos percibir la falsedad de esta proposicin ...
17
18
As pues, el tringulo construido medinte la mera imaginacin en la intuicin pura, segn Kant, corresponde exactamente a la esencia del tringulo segn Descartes, y al tringulo
general, segn Locke, y suscita idnticas objeciones que stos,
s KANT, 1781, B XII [B caracteriza la paginacin de la segunda edicin (1787) de la Crtica; por las mismas razones que antes, en cast: 1928,
t. I, pg. 25, y 1961, t. I, pg. 129].
19
COUTURAT,
20
A todo concepto universal se puede llegar por dos caminos distintos: o bien por combinacin arbitraria de conceptos, o por separacin de aquellos conocimientos que
se hayan puesto en claro mediante
un anlisis. Las matemticas no
componen jams definiciones de
otra suerte que del primer modo.
[ ... ] La elucidacin surge en este
caso [ ... ], corno es manifiesto, mediante una sntesis.
Con las definiciones de la filosofa sucede algo completamente distinto: aqu est dado ya el concepto de la cosa, aunque confuso o no
suficientemente determinado; y
tengo que analizarlo ...
11
21
presenta como un clculo simblico, anlogo al clculo algebraico. Esta doctrina expresa un formalismo radical, que Kant,
sin embargo, no admite ms que para la matemtica pura:
para la filosofa y la fsica se impone el anlisis.
5.
22
mas, el papel de la intuicin se convertira en puramente heurstico, los teoremas provendran de los axiomas en virtud de
una deduccin enteramente formal y podra desdearse el contenido intuitivo de stos.
Ahora bien, cuando se efecta un estudio preciso de las
concepciones de Kant acerca del papel de la intuicin en las
matemticas se obtienen resultados sorprendentes: una interpretacin profunda habr de subrayar las expresiones Conducido siempre por la intuicin, extraer de la construccin de
los conceptos, proceder en la intuicin del objeto, tiene
que ser vlido en general para el objeto del concepto construido aquello que se siga de las condiciones generales de la construccin, sacar a luz lo que a priori se hubiere representado
(mediante una construccin) de acuerdo precisamente con conceptos, que contradicen a la interpretacin corriente; as
pues, el papel de la intuicin no se limita, en modo alguno,
a dictarnos los axiomas, sino que es tambin la intuicin, y
no la lgica formal, la que dirige la totalidad del raciocinio
geomtrico. Y se nos harn patentes las consecuencias de esta
doctrina si volvemos un momento a la ilustracin que Kant
mismo nos haba proporcionado.
En caso de que adoptemos las concepciones usuales acerca
del razonamiento matemtico, la demostracin del teorema
geomtrico a que se refera Kant exige que se apele al quinto
postulado de Euclides, que no es otro que el famoso axioma
de las paralelas. Por consiguiente, si se suprime este postulado,
la demostracin indicada por Kant no se tiene en pie.
Sin embargo, semejante opinin no es, en absoluto, compatible con las concepciones kantianas tal y como las hemos interpretado aqu. En efecto, la construccin de un tringulo y la
de una recta paralela a uno de sus lados no constituyen para
Kant un proceder puramente heurstico, sino que forman parte
integrante de la demostracin: se impone construccin porque
la demostracin ha de proceder en la intuicin del objeto;
entonces, el resultado de esta construccin no vendr determinado por la eleccin de tales o cuales axiomas, sino -enteramente al contrario- por las Condiciones generales de la
construccin>>, quiralo yo o no>>, como muy bien deca Des-
23
13
DESCARTES,
24
Sea ABC un tringulo cualquiera. Para encontrar una primera mediana, BE, construimos ante todo el paralelogramo ABCF; entonces E se nos presenta como el punto de interseccin de las diagonales AC y BF; y observamos que BE=EF
y que AF=BC.
Ahora bien, si BD=DC y AG=GF, ha de ser DC=AG, y
dado que DC/ /AG, AGCD es asimismo un paralelogramo. Por
consiguiente, GJ //AH, luego FJ =JH en virtud del teorema de
Tales, y tambin, por ser DH / /CJ, ha de ser BH =Hl.
Observemos que BH=Hl=HE + (EF-JF)=HE +(BE-BH)=2.HE.
25
26
han sido sobre todo ciertos estudios algo ms recientes en diversos dominios los que han suscitado tal debate: cf. el captulo 3, 17-19.
7. Formas recientes del intuicionismo: F. A. Lange, L.
Brunschvicg, E. Goblot, H. Poincar, L. E. J. Brouwer.-Pese
a lo dicho, no ser intil consagrar ya desde ahora algunas lneas a las nuevas formas del intuicionismo que se han manifes
tado posteriormente. Algunas de ellas se encuentran principalmente entre filsofos, mientras que otras estn ms que nada
representadas por matemticos; y de una manera general cabe
decir que para los filsofos se trata, en primer lugar, de asentar
una interpretacin de los nuevos mtodos del razonamiento matemtico, en tanto que lo que para los matemticos pide una
revisin crtica es, con frecuencia, el contenido mismo de las
nuevas teoras.
El intuicionismo filosfico (en el especial sentido indicado
por el presente contexto) proviene principalmente del renacimiento kantiano que tuvo lugar en Alemania entre 1860 y
1870; pueden mencionarse, por ejemplo, las ideas de F. A. Lange, que fue uno de los iniciadores del movimiento neokantiano.
Desde hace largo tiempo se tiene la costumbre de ilustrar
la deduccin discursiva segn la silogstica tradicional por medio de ciertos diagramas geomtricos. Ahora bien, Lange hizo
observar, con gran sutileza, que, desde el punto de vista del
intuicionismo kantiano, esta ilustracin no constituye solamente un instrumento heurstico ms o menos til, sino que establece una relacin directa entre la silogstica y la intuicin espacial, con lo que permite rehabilitar la deduccin silogstica
como mtodo de raciocinio adaptado a las ciencias matemticas.
Hoy sabemos que cabe establecer semejante relacin con
la intuicin espacial no slo para la silogstica tradicional, sino
asimismo para un sistema lgico mucho ms amplio y ms
fecundo, que proporciona un aparato adecuado para la deduccin formal en matemticas. De lo que se deduce que incluso
unas teoras matemticas abstractas que a primera vista no
parezcan poseer ms que un valor discursivo (en el sentido
27
28
2)
3)
BETH,
Tiene gran importancia, teniendo en cuenta la finalidad peculiar del presente trabajo, que examinemos las distintas concepciones intuicionistas; pues el intuicionismo se define como
un esfuerzo por adaptar cuanto sea posible este razonamiento
al proceder real del pensamiento (en lugar de a unos esquemas tomados de una lgica formal dada de antemano), tiende
a la introspeccin y no desdea, en modo alguno, ofrecer, al
margen de los razonamientos tcnicos y ms o menos formalizados, otras explicaciones ms intuitivas. Por consiguiente, es completamente natural esperar que un estudio del intuicionismo nos proporcione datos inapreciables acerca de los
pasos reales por los que procede el pensamiento matemtico,
e incluso los del pensamiento discursivo en general.
16
HEYTING,
30
La fase de la bsqueda. En ella no se impone restriccin alguna al pensamiento: todos los medios son buenos con tal de que nos acerquen al objetivo. Esta es
la fase del pensamiento matemtico espontneo, original, verdaderamente inventivo e incluso creador.
2)
31
32
versas opmwnes. Con todo, es muy de lamentar que un destino trgico no haya permitido a estos dos pensadores desa-rrollar sus ideas hasta su completa madurez.
Mas no quiero continuar esta digresin, dado que la finalidad principal de este captulo consista en mostrar el carcter inadecuado de la silogstica tradicional en lo que se refiere
al problema del anlisis del razonamiento matemtico; conclusin acerca de la cual los autores citados, pese a lo diferentes que con frecuencia son sus orientaciones, se muestran
de acuerdo.
MILL,
34
35
La prematura muerte de Jevons le impidi realizar su programa. Sin embargo, pudo publicar, de 1877 a 1879, cuatro
artculos crticos sobre distintos puntos de la filosofa de Mill;
artculos que estn recogidos en Pure Logic (compilacin pstuma) juntamente con un quinto estudio que pudo ser completado suficientemente. Por lo dems no dej ms que numerosos borradores inacabados *.
En sus artculos sobre El razonamiento geomtrico 3 , Jevons hace ver que Mili defiende la postura siguiente:
1) en la realidad no existen lneas perfectamente rectas;
2) experimentamos en la mente con lneas rectas imaginarias;
si tales rectas imaginarias son perfectamente rectas, no nos permitirn demostrar las verdades de la geometra, y
S) si son perfectamente rectas, las lneas rectas reales, que se parecen exactamente a ellas, tienen que ser perfectamente rectas;
ergo, existen lneas perfectamente rectas.
4)
Esta observacin, en s curiosa, tiene importancia para nosotros porque proporciona a J evons el punto de partida para
mostrar, en su artculo sobre los <<Semejantes, que Mili no
es psicologista ms que de mala gana. Pues, tras haber com2
JEVONS,
36
probado que en el mundo exterior faltan los objetos que seran apropiados para realizar los experimentos cuyo resultado, una vez generalizado, justificara los axiomas de la geometra, se encuentra forzado a recurrir a experimentos mentales con objetos imaginarios; tras de lo cual, sin embargo,
Mill se ve obligado a asimilar estos objetos imaginarios a los
objetos reales que se presentan en el mundo exterior, ya que
1) este paso es necesario para justificar la aplicacin a
los objetos del mundo exterior de unos principios geomtricos fundados sobre experimentos mentales efectuados sobre objetos imaginarios, y
2) el empirismo de Mill le prohibe aceptar la creacin de
objetos imaginarios por un acto autnomo del espritu: ste no puede fabricar ms que copias de objetos
que existan en el mundo exterior.
A fin de cuentas, se puede decir que en Mill los axiomas
de la geometra se presentan como generalizaciones de experimentos puramente imaginarios; y, en general, cabe decir que
su psicologismo se funda sobre una psicologa especulativa,
no emprica.
10. E. Mach, T. Ziehen, G. Storring y G. Heymans.-Acaso sorprenda la comprobacin de que el examen de las diversas concepciones sobre las relaciones entre la lgica y la psicologa nos hace retornar constantemente a las cuestiones referentes a los fundamentos y el mtodo de la geometra. Pero
este fenmeno, a primera vista tan curioso, no es difcil de
explicar. A partir de Platn y de Aristteles, el razonamiento
geomtrico qued casi como el nico ejemplo indudable y no
trivial de deduccin lgica; luego, Descartes y Kant confirieron un inters adicional al estudio de este razonamiento al negar que tenga carcter lgico y al interpretarlo como una sucesin de comprobaciones vinculadas a una sucesin de construcciones intuitivas; y, debido a las prolongadas discusiones
sobre esta doctrina, las diferentes cuestiones relativas a los
principios de la lgica y de la geometra acabaron por entrelazarse inextricablemente. (Observemos que, despus de todo,
37
la concepcin de Mill no se distingue de la doctrina de Descartes y de Kant ms que porque reemplaza la construccin
intuitiva por el experimento mental.)
Las ideas de Mach constituyen, por as decirlo, una sntesis de las doctrinas de Kant y de Mili 4
Mill ha hecho hincapi en que por medio del silogismo no se puede adquirir un concepto que no se tuviera de antemano, dado que no
se tiene derecho a afirmar la [premisa] mayor en forma general mientras no est garantizado el caso especial, y, por lo tanto, la conclusin ( ... ). Kant haba reconocido ya mucho antes que ciencias tales
como la aritmtica y la geometra no se constituyen por medio de
puras deducciones lgicas, sino que necesitan otras fuentes de conocimientos ( ... ). La lgica no proporciona conocimientos nuevos; entonces, de dnde provienen? Su origen se encuentra en la observacin, que puede ser exterior, sensorial o interior, relativa a nuestras nociones.
Sin embargo, no le interesa, en absoluto, la estructura propia de la deduccin lgica; cosa que explica, a la vez, que no
haga ningn esfuerzo por someterla a un anlisis psicolgico.
Con todo, de una manera general, me parece que Mach da
pruebas de una gran finura psicolgica en sus anlisis del pensamiento cientfico, como veremos en el hermoso ejemplo que
reproduciremos en el 11.
Con Ziehen caemos de nuevo en el mismo gnero de psicologa especulativa que acabo de sealar en Mili 6
En el pensamiento real sucede a menudo que, en las inferencias,
uno o incluso varios lemas no se piensan ms que de forma pasajera
y vaga, y que, en consecuencia, tales lemas no se formulan bajo la
forma de un enunciado completo ( ... ). Sin embargo, es exacto que
cabe siempre reducir los hechos psicolgicos a cierto esquema <infe4
MACH,
MACH,
38
Basta la observacin siguiente para hacer patente lo absurda que es esta concepcin: gracias a investigaciones bastante
recientes sabernos hoy que el sistema de axiomas adoptado por
Euclides para la geometra era incompleto, de modo que, forzosamente, la mayora de las demostraciones que da presentan lagunas; por consiguiente, segn Ziehen, sera preciso admitir que en Euclides haba procesos de asociacin equivalentes a enunciados geomtricos que, unidos a los axiomas cuyo
enunciado daba, constituyan un sistema de axiomas adecuado.
(Voy a permitirme interrumpir el examen de las ideas de
Ziehen y de sus contemporneos para explicar el fenmeno, a
primera vista desconcertante, de que se formulen y acepten argumentaciones con lagunas. A mi juicio, lo que le dispone al
hombre a defender y aceptar afirmaciones desprovistas de un
fundamento slido es su curiosidad; y lo nico que le permite
pasar del estadio mtico al filosfico es el espritu y el
mtodo cientficos. Pues si no aceptarnos ciertos razonamientos que para Euclides y sus contemporneos eran perfectamente concluyentes, es debido a que nos hemos hecho ms exigentes en ciertos respectos. En suma, puede decirse que la presin crtica de sus colegas es lo que hace que el lgico o el matemtico de nuestros das no elaboren ni acepten ms que argumentaciones que respeten ciertas normas usuales; y si tales
normas se incrementan, se ver obligado a adaptarse a ello.)
Es evidente que, si se aplicase consecuentemente, el mtodo de Ziehen hara intil toda investigacin experimental sobre la psicologa del pensamiento. En efecto, Ziehen postula
la conformidad del pensamiento real con las exigencias de la
lgica formal (que, adems, supone fijadas de una vez para
siempre), y se muestra dispuesto a eliminar toda divergencia
introduciendo procesos inconscientes apropiados; es patente
39
STORRING,
40
HEYMANS,
41
42
MACH,
43
44
45
De acuerdo con nuestro punto de vista (que es rigurosamente formal), lo ms urgente es rectificar la opinin de que las normas lgicas posean un valor a priori en lo que respecta a la verdad. Mas para
tratar de esta cuestin vase la segunda parte del captulo.
Reconozcamos, de todos modos, que la lgica puede considerarse
como un conjunto de reglas que deben observarse si es que se quiere
dar cohesin al pensamiento. Cosa que cabe expresar tambin diciendo que entre los distintos modos de pensar hay algunos que se distinguen porque en ellos se satisfacen deliberadamente ciertas condiciones de coherencia que se llaman precisamente mtodos lgicos.
En este sentido, se puede considerar que la lgica forma parte de
la psicologa.
En resumen, Enriques no pretende otra cosa que establecer una especie de armona entre la lgica formal, por una
parte, y ciertas formas de pensar, por otra, cuyas condiciones
de coherencia no pueden determinarse sino por aqulla.
En Mannoury, que ha desarrollado todo un aparato conceptual psicolgico, se encuentra ms bien una tendencia a revelar cierta discrepancia entre la lgica formal, por un lado, y
el pensamiento real, tal y como se manifiesta en la conversacin cotidiana, por otro. Tenemos un hermoso ejemplo de su
mtodo en sus explicaciones acerca de las dos formas de la
negacin descubiertas por l 14 :
... cuando se emplean las partculas de negacin en el lenguaje vivo,
los elementos emotivos se sitan en primer lugar. Vamos a examinarlos ms de cerca teniendo en cuenta la distincin entre Oposicin y
Contradiccin.
En una oposicin (no grande, no permitido, no sucio [en el original, pas grand, pas permis, pas sale], etc.), descubrimos dos elementos
significativos (unidos en el lenguaje por la partcula de conjuncin)
que estn ms o menos determinados y tienen un carcter principalmente indicativo (grande o pequeo, permitido o prohibido, sucio o
limpio); y el valor afectivo (volitivo) de los actos de comunicacin de
forma negativa no se distingue, con frecuencia, sino muy poco del de
los actos de comunicacin correspondientes de forma positiva: pues
en ambos casos el segundo trmino de la disyuncin (pequeo, prohibido, limpio) ocupa el centro de la atencin. En cambio, en la Contradiccin>> no formal (eso es imposible, eso no existe, eso no ha ocurrido [cela est impossible, cela n'existe pas, cela ne s'est pas pass],
etctera), o bien no hay ninguna disyuncin determinada, o la idea
contraria apenas nos retiene la atencin. Surge de elementos emocionales fcilmente discernibles y que tienen el carcter de estorbo o de
rechazo: uno se defiende frente a una concepcin determinada ... , vamos a designar la segunda forma de negacin con el nombre de negacin excluyente, y la anterior con el de negacin electiva.
14
MANNOURY,
46
Nos apresuramos a recordar que el actor no tiene conciencia de estas diferencias formales, y que rara vez las aplica de una manera consecuente, pese a lo cual tienen una importancia primordial para la
psicolingstica, cosa que se debe al hecho de que la negacin excluyente haya dado lugar, en las lenguas civilizadas, a toda una serie de
expresiones y de modos de expresin a los que podra llamarse la len.
gua de lo general, que est ntimamente vinculado a la negacin excluyente por las frmulas a o no-a = todo (principio del tercio excluso) y a y no-a= nada (principio de contradiccin); y las dems
nociones que pertenecen a esta lengua (infinito, eterno, nunca,
necesidad>>, realidad, muerte, materia, yO, Vaco, etc.) se retrotraen ms o menos directamente a aquellas dos nociones .
... hay una parte importante de las matemticas que no puede prestarse a semejante aplicacin: la teora matemtica de los conjuntos
infinitos. Todo lo concerniente a los conjuntos infinitos y a los conjuntos vacos -dicho de otro modo, todo lo que no pueda definirse valindose de la negacin excluyente- no es capaz de tener nada fsico
que corresponda a ello, por la sencilla razn de que la negacin excluyente se distingue de la negacin electiva por su valor emotivo (de
defensa) ... De ah que el infinito tenga en las matemticas una significacin puramente formal, y en la lengua viva una significacin puramente emotiva (volitiva); y, por consiguiente, el principio del tercio
[excluso] no puede encontrar aplicacin en la fsica. El hecho de no
haber distinguido entre estas dos significaciones ha provocado grandes
confusiones: la cuestin del infinito actual, por ejemplo, tantas veces
planteada, es consecuencia de tal confusin.
LA TRADICION LOGICISTA
48
49
50
PASCAL,
1658.
FORN.L~L
Y EL PENSAMIENTO REAL
51
tura dualista: por una parte, se compone de principiOs (conceptos y verdades de carcter primitivo), y por otra, de conceptos definibles y verdades demostrables a partir de principios. Este orden es, segn Pascal, <<el ms perfecto que hay entre los hombres; pese a lo cual, no lo acepta sino como mal
menor.
El intuicionismo de Descartes y de Kant puede considerarse como un intento de conferir a las ciencias demostrativas
una estructura unitaria: en efecto, al quedar vinculadas inmediatamente a la intuicin los conceptos definibles y las verdades demostrables, y ya no por mediacin de razonamientos discursivos, su posicin queda asimilada a la de los principios.
El logicismo de Leibniz tiende igualmente a dar a las ciencias demostrativas una estructura unitaria, aunque para alcanzar esta finalidad aplica un mtodo muy distinto.
En sus Nouveaux essais sur l'entendement humain [Nuevos
ensayos sobre el entendimiento humano] 2 examina Leibniz las
tentativas de Tales, Apolonio, Proclo, Roberval y Arnauld de
demostrar ciertas verdades geomtricas que Euclides haba propuesto como axiomas; pero del argumento de Aristteles y de
Pascal resulta que semejante tentativa no puede llegar jams
a una eliminacin completa de todo supuesto axiomtico. As
pues, de lo que se tratar, en general, no ser sino de un esfuerzo po:t reducir el nmero de axiomas, o bien por llegar a axiomas ms simples; y lo que se conseguir, por lo tanto, ser
solamente una reduccin relativa de la base axiomtica.
Sin embargo, Leibniz advierte que se puede exigir una reduccin absoluta -en el sentido de no aceptar sin demostracin ms que axiomas (primitivos o) idnticos.
Por lo dems, hace ya mucho tiempo que he dicho pblica y particularmente que tendra importancia demostrar todos nuestros axiomas secundarios, de los que nos valemos ordinariamente, reducindolos
a axiomas primitivos, o inmediatos e indemostrables, que son aquellos
a los que ltimamente y en otros lugares he llamado idnticos.
52
Advertencia.-Dmonos cuenta de que el raciocinio de Liebniz no es concluyente (observacin ya hecha por Frege: cf. Frege, 1884, pg. 7); pues tenemos:
2 y 2 es 2 y [1 y 1] (por la def. 1),
[2 y 1] y 1 es 3 y 1 (por la def. 2),
de modo que Leibniz supone que
2 y [ 1 y 1] es [2 y 1] y 1,
3
53
1)
La construccin de una teora (a la que llamaremos lgica pura) que comprenda el conjunto de todas las iden~
tidades lgicas; en esta construccin se observaran es~
trictamente los preceptos de la metodologa aristotlica.
2) La definicin de los conceptos especficamente matemticos por medio de los conceptos de la lgica pura.
3) La demostracin de los axiomas especficamente matemticos a partir del conjunto de las identidades lgicas
y de las definiciones de los distintos conceptos especficamente matemticos.
La necesidad de alcanzar un nivel especialmente elevado de
rigor y de lucidez lleva consigo otro paso previo ms, tambin
previsto por Leibniz, que es el siguiente:
4)
54
55
Frege. Solamente en la explicacin de la evidencia de tales principios, en tanto de fenmeno psquico, recurre a datos de orden
emprico.
17. Russell y la crisis de los fundamentos.-El desarrollo
del logicismo se vio interrumpido bruscamente cuando Russell
-quien, incluso antes de conocer los trabajos de Frege, haba
adoptado el programa logicista- descubri la paradoja que ha
recibido su nombre: esta paradoja hace ver que el sistema de
la lgica pura segn Frege es contradictorio.
Sin dar detalles histricos, voy a describir la situacin tal
y como se presenta al lgico de nuestros das. Cabe distinguir
en la lgica pura freguiana dos niveles distintos: tenemos un
nivel inferior (la lgica elemental o teora de la cuantificacin),
que representa la teora de los operadores proposicionales, esto
es, de: -[no], V [o], & [y],~ [si ... , .. .], y de los cuantificadores "(x)" (para todo x) y "(E.x)" (para algn x) *-, as como un
nivel superior, que representa cierta versin de la teora de
clases o de conjuntos.
En este ltimo nivel, la teora de Frege se funda, en lo esencial, sobre el axioma de comprehensin, que cabe enunciar de
la forma siguiente:
los objetos que posean en comn cierta propiedad constituyen una clase cuyos elementos son, clase que est
determinada de manera unvoca por dicha propiedad
caracterstica;
2) una clase es un objeto, y, por consiguiente, puede, a su
vez, aparecer como elemento de otra clase, y
3) dos clases que contengan los mismos elementos sern
idnticas.
1)
58
57
58
los objetos dotados en comn de cierta propiedad constituyen una clase de la cual son los elementos, la cual
est determinada de modo unvoco por tal propiedad
caracterstica;
una clase que cumpla ciertas condiciones, C, ser comprimible en un conjunto; stos son objetos, y pueden
por consiguiente, aparecer a su vez como elementos de
una clase, y
3) dos clases que contengan los mismos elementos sern
idnticas.
2)
Es preciso admitir, por consiguiente, junto a las clases comprimibles o conjuntos, las clases en sentido propio (o no conjuntos), que no existirn sino como puras multitudes. Es decir, que el descubrimiento de las paradojas nos obliga a reemplazar el platonismo radical de Cantor y de Frege por un
platonismo mitigado, o incluso por un conceptualismo o un nominalismo.
59
60
*-
61
62
independientemente uno de otro, no encontramos una reanudacin de los intentos de J. Stuart Mili, B. Erdmann y otros
autores por fundar las matemticas puras en principios tomados de la psicologa: justamente sucede al revs, o sea, que
tanto Enriques como Mannoury se proponen mostrar que toda
tentativa de fundar la matemtica pura sobre una evidencia
absoluta sera vana, y sacar a luz ef mecanismo psquico que
da origen a tales tentativas. Mannoury expresa esta intencin
con una claridad perfecta 4:
Pero todo eso con que se sigue disfrazando a las matemticas, su
carcter absoluto y su exactitud perfecta, su generalidad y su autonoma, en una palabra, su verdad y su eternidad, todo ello (perdneserne
la expresin), todo ello no es ms que pura supersticin.
MANNOURY,
1947.
63
V (x-x') +
2
(y-y') 2
w>
(z-z')l + ( w-w')2
Definicin 3. Una recta es un conjunto de puntos que contiene dos, P y P', entre los que media una distancia positiva y
64
que, adems, no contiene sino puntos P" = <x", y", z", w">
tales que
x" = s . x
y"= s . y
z" = s . z
w"= s . w
+ (1-s ).x',
+
+
+
(1-s).y',
(1-s).z',
(1-s).w',
=S. X
y '"
,,
z
= s. y
s.z
w"' = s.w
+ t. x'
+ t. y'
+ t.z
+ t. w
}
+ (1-s-t).x",
+ (1-s-t).y",
+ (1-s-t).z",
+ (1-s-t).w",
s.x
y"" =S. y
z
= s.z
,11
w
= s.w
x"'
1111
+ t. x' + U. X
+ t. y', + u.y "
+ t.z + u.z "
+ t.w +u. w"
}
+ (1-s-t-u).x"',
+ (1-s-t-u).y"',
+ 0-s-t-u).z"',
+ 0-s-t-u).w'",
65
66
concluyente y, 2) en virtud de A), lleva, a partir de ciertos teoremas de la teora de los nmeros reales, a la conclusin Y*;
de modo que Y* es asimismo un teorema de esta ltima teora.
D) Si la geometra de 4 dimensiones contiene dos teoremas contradictorios, Y y (no-Y), la teora de los nmeros reales
contendr tambin dos teoremas contradictorios, Y* y no-(Y*).
En efecto, si Y y (no-Y) son teoremas de tal geometra, Y*
y (no-Y)* sern teoremas de la teora de los nmeros reales,
y (no-Y)* es la misma asercin que no-(Y*).
67
68
69
I)
7 +5= 12:
II) todo nmero natural, n, admite una factorizacin nica, salvo en lo que se refiere al orden relativo de los factores
primos.
Uno y otro se asientan por medio de razonamientos estrictos, partiendo de los mismos axiomas aritmticos y aplicando
los mismos principios lgicos. Sin embargo, al primer razonamiento se le suele llamar un clculo, mientras que ordinariamente se dice que el segundo razonamiento es una demostracin propiamente dicha.
La nica diferencia entre los dos casos reside en que el
primero se refiere exclusivamente a unos nmeros naturales
determinados (salvo en los pasos iniciales, que, sin embargo,
en una exposicin no formalizada se encuentran ms o mi:mos
disimulados), mientras que el segundo hace en gran medida
referencia a nmeros cualesquiera, representados por variables o por indeterminadas, y en l entran en juego generalizaciones.
Puede hacerse una distincin anloga acerca de los resultados de la metamatemtica, MT, correspondiente a una teora
formalizada T; y as se obtienen dos tipos distintos, de los que
podemos presentar dos ejemplos tpicos:
I)
II)
la frmula F es un teorema de T;
todo teorema, X, de T tiene la propiedad P;
70
71
2)
72
(a)
NC
~(A--?
B),
73
descartada por la suposicin hecha inicialmente. En consecuencia, si NC es demostrable en T, no puede ocurrir que Q(q sea
demostrable en T.
0
JI) Sea (nc) la traduccin en T de la frase NC es demostrable en T; entonces, al traducir el razonamiento 1) llegaremos a una demostracin en T de la frmula
(nc) ~X
(d)
IV) Supongamos que Q(q 0 ) sea demostrable en T. Entonces la negacin de la frmula b) ser demostrable en T, y, en
consecuencia, NC ser demostrable en T, cosa que contradice
a la conclusin a que habamos llegado en 111); por consiguiente, la frmula Q(q no puede ser demostrable en T.
0
74
(nc)--+ NC.
75
. . el enunciado Q(q
0
)
es demostrable en T es falso.
76
metodolgicos del formalismo hilbertiano: en efecto, en la conclusin aparece cierta propiedad del enunciado Q( qo) es demostrable en T que no tiene un carcter puramente formal,
ya que se refiere a la significacin de tal enunciado; y por
tanto, esta conclusin se sale del restringido marco de la metamatemtica MT en la medida en que sta, en virtud de su
carcter formal, admita ser aritmetizada en T.
La intervencin de la nocin de verdad y de la apelacin a
la significacin de los smbolos es aqu esencial: pues su exclusin de MT es -entre otras cosas-lo que hace a este sistema
incapaz de demostrar la no contradiccin de T; y, por otra
parte, si se ampla MT de tal suerte que quepan en l pasos
no formalistas, se hace imposible aritmetizar MT sin otros
recursos que los de T.
Cabe caracterizar el alcance negativo de los descubrimientos
de Gi::idel diciendo que han provocado una nueva crisis de fundamentos.
Para el logicismo y el cantorismo lo embarazoso es, principalmente, el primer teorema de limitacin. Pues lo que ellos
pretendan era desplegar en la base una gran lgica, yooo, que
permitiese efectuar un desarrollo unificado del conjunto de las
matemticas; ahora bien, todos los sistemas T000 hasta ahora
propuestos cumplen las condiciones para que les sea aplicable
el primer teorema de limitacin, con tal que se est dispuesto
a admitir que no son contradictorios. De ah que sea posible
construir para cada sistema T una frmula Q( qo) que admita una interpretacin aritmtica y sea verdadera en esta interpretacin, y que no quepa demostrar ni refutar en ese mismo
000
Tooo.
El segundo teorema de limitacin afecta sobre todo al formalismo radical de Hilbert. El programa de la metamatemtica hilbertiana exige, en efecto, que se justifique la aceptacin
de un sistema determinado, pooo, demostrando que no es contradictorio; y para evitar toda sospecha de crculo vicioso,
semejante demostracin no habra de valerse sino de argumentos de tal evidencia intuitiva que no hubieran menester de
justificacin alguna por parte de ninguna gran lgica. Pero
acabamos de averiguar que para demostrar la no contradiccin
77
de una gran lgica, digamos la yooo, es preciso recurrir a principios que excedan del marco de T 000
Con objeto de restablecer el equilibrio, voy a mencionar
siquiera algunos resultados que hagan visible el alcance positivo de los teoremas de Godel. Supongamos que se tengan dos
sistemas formales, T' y T", y que este ltimo permita asentar
la no contradiccin del primero; en tal caso cabe concluir que
los recursos de T" exceden a los de T', o sea, que T" es ms
fuerte que T'. J. G. Kemeny (1949) ha demostrado que la teora de conjuntos de Zermelo es ms fuerte que la teora russelliana de los tipos lgicos, y J. Barkley Rosser (1954), que el
sistema quiniano de los New Foundations [of Mathematical
Logic (1937, revisado en Quine, 1953] es ms fuerte que aquella
teora de conjuntos; as pues, los resultados de Godel nos
permiten evaluar la fuerza relativa de las diversas grandes
lgicas.
21. La deduccin natural: Gentzen, Curry, Lorenzen.Estos ltimos resultados exceden con mucho el cuadro inicial
de la metamatemtica hilbertiana. Ahora bien, es palmario que
semejante cuadro era excesivamente limitado: incluso para
demostrar la no contradiccin de la aritmtica elemental es
preciso salirse del marco de esta disciplina; mas, por otra parte, este problema se convierte en algo casi trivial si se echa
mano de los recursos de la teora de conjuntos.
Queda an, sin embargo, una cuestin que no hemos planteado todava: pues podra intentarse demostrar la no contradiccin de la aritmtica elemental con los mtodos ms dbiles posibles. En este orden de ideas deben mencionarse en
primer lugar los trabajos de Gentzen; y voy a examinar, principalmente, el nuevo mtodo de este autor para formalizar la
lgica -o, ms bien, para describir el razonamiento deductivo.
Supongamos que se pretenda asentar la no contradiccin
de un sistema determinado de axiomas, A, para la aritmtica
elemental. Es sabido que el sistema A permitir deducir, entre
otras, la frmula 1 = 1; por consiguiente, para que A sea no
contradictorio es necesario y suficiente que no pueda deducirse en l la fmula 1 :;t:1; y bastar, pues, con mostrar que no
78
2.0 Vamos a suponer ahora que para deducir cierta conclusin, L, contemos con la premisa U--* V (adems de con otras
premisas, K); para sacar partido de la premisa U--* V ser natural que intentemos
1)
2)
79
4.0 En los dos casos que acabamos de examinar, la deduccin inicial, que habamos planteado como el problema a resolver, se reduce a una o dos deducciones ms sencillas; pues
estas deducciones subordinadas se distinguen de la deduccin
inicial, ya sea por haberse aadido nuevas premisas (casos
1.0 y 2.0 , 2), ya por ofrecer, a eleccin, una nueva conclusin
(casos 1.0 y 2., 1).
5. El hecho de que la reduccin de una deduccin propuesta pueda dar lugar a unas deducciones subordinadas que
ofrezcan, a eleccin, diversas conclusiones, explica por qu admite Gentzen, en general, deducciones en las que entren en juego desde el principio, junto a un nmero cualquiera de premisas, un nmero cualquiera de conclusiones. Si bien, de acuerdo con lo que es usual, las premisas se utilizan simultneamente (en el sentido de que las tendremos todas a nuestra disposicin en cada una de las deducciones subordinadas), en tanto
que las conclusiones, por el contrario, se toman en consideracin alternativamente (en el sentido de que en cada una de las
deducciones subordinadas que se obtengan al ir reduciendo sucesivamente la deduccin inicial bastar con llegar a una frmula cualquiera que elijamos de entre las conclusiones).
0
80
Conclusiones
Ut
Uz
Vt
Vz
Premisas
Conclusiones
Conclusiones
(ia)
(iia)
Premisas
Premisas
Conclusiones
Premisas
K
U-+V
(i)
Conclusiones
l(ii~
(i)
Premisas
K
(iii)
(ii)
Conclusiones
L
U-+V
V
Conclusiones
81
Con respecto a (ia).-Si en el antecedente aparece la frmula U, se aade al consecuente la frmula U; pues si en alguna
deduccin subordinada se llegase a la conclusin U, el antecedente, que incluye la premisa U, quedara reducido al absurdo,
y ello justificara toda conclusin, y, en particular, todas y cada
una de las conclusiones contenidas en L.
Con respecto a (ib).-Si en el consecuente aparece la frmula V, se aade al antecedente la frmula U, apelando al principio del tercio excluso: pues, o bien se tiene U, cosa que justificara la adjuncin al antecedente de la frmula U, o bien se
tiene V, lo cual justificara que en el consecuente se encuentre
la conclusin tJ.
Con respecto a (iia).-Es el caso 2.0 de hace un momento.
Con respecto a (iib).-Es el caso 1. arriba examinado.
0
Con respecto a (iii).-Si en el antecedente y en el consecuente aparece una y la misma frmula, es evidente que cabe hacer
la deduccin, lo cual vuelve superflua toda reduccin; cierre
que se expresa por la doble lnea horizontal.
De acuerdo con las ideas de Gentzen, los esquemas de reduccin nos permiten, en general, reducir una secuencia a otras
secuencias ms sencillas (cf. el apartado 4. 0 ); y es claro que,
a su vez, estas ltimas podrn someterse a otra reduccin, y as
sucesivamente. Cabe representar mediante un cuadro deduc
artculo ya publicado en los <<'.tudes d'pistmologie gntique, t. I,
estudio IV, pgs. 131-4 [en la vers. cast. de aquel fascculo de los citados
<<tudes, publicada con el ttulo de Psicologa, lgica y comunicacin.
Epistemologa gentica e investigacin psicolgica (Buenos Aires, Nueva
Visin [ <nterciencia ], 1959), se conservaba tal notacin ntegramente
en las pginas correspondientes, o sea, las 133-6; nosotros, sin embargo,
hemos credo preferible sustituir siempre la <<j por la <<i, ya que
de otro modo la extraeza que causan los smbolos resultantes desva
la atencin del lector y dificulta algo la comprensin (T.)].
6
82
tivo una serie de secuencias resultante de las reducciones sucesivas efectuadas a partir de cierta secuencia inicial.
Conclusiones
Premisas
(1)
(2)
(3)
A
c~cA~B)
A~ (B~ C)
(i)
A
(ii)
(S)
(iii)
(iv)
(ii)
(i)
(6)
B~e
(iii)
(iv)
(8)
A~B
(v)
(9)
(4)
(7)
e
(v)
e
(vi)
(11)
(viii)
B
(vi)
(lO) A
(vii)
(ix)
( viii)
(12) B
(ix)
( viii)
(13)
83
este cuadro analizando sus sucesivas etapas. En primer trmino aplicamos el esquema de reduccin (iia), tomando la premisa (3) como frmula U -+V; de este modo la deduccin propuesta se reduce a dos deducciones subordinadas, que son las
siguientes:
(i)
(ii)
partiendo de las premisas (1) a (3) y la premisa aadida (6), deducir la conclusin (4); problema que no
cabe resolver ms que tras efectuar varias reducciones sucesivas.
(iv)
partiendo de las premisas (1) a (3) y (6), y de la premisa aadida (8), deducir la conclusin (4).
84
Continuacin de (vii). - Una ltima aplicacin del esquema (iia), con la premisa (6) como frmula U~ V, da lugar a
dos deducciones subordinadas (viii) y (ix), que originan respectivamente las conclusiones ( 12) y ( 4 ).
Ahora bien, el xito de las deducciones (viii) y (ix) implica
el de la deduccin (vii), el xito de las deducciones (vi) y (vii)
implica el de la (iv), y el de las (iii) y (iv), el de la deduccin (ii);
y, por fin, el xito de las deducciones (i) y (ii) implica el de la
deduccin inicial.
Hay que decir en primer lugar que un cuadro deductivo de
esta ndole no constituye una deduccin propiamente dicha,
sino que representa, ms bien, un anlisis de las posibilidades
de efectuar la deduccin inicial. Y cuando -como sucede en
el ejemplo que hemos puesto- todas y cada una de las deducciones correspondientes a las secuencias finales se acaban en
una aplicacin del esquema de cierre (iii), este anlisis hace ver
que, de hecho, cabe efectuar la deduccin propuesta por cualquier mtodo deductivo, con tal de que el que se quiera utilizar permita las reducciones y el cierre de una deduccin segn
estn representados, respectivamente, por los esquemas (ia)
a (iii).
Ahora bien, hay numerosos mtodos deductivos que cumplen esta condicin; y no tenemos necesidad de ir a buscarlo
muy lejos, ya que podemos obtener un mtodo deductivo sumamente conveniente: a saber, el sistema formal F, supuesto
que admitamos que un cuadro deductivo cerrado cualquiera
efecta la deduccin propuesta, o sea, la correspondiente a su
secuencia inicial. As, por definicin, el sistema F permitir las
85
reducciones y el cierre que se realicen de acuerdo con los esquemas (ia) a (iii).
(Si quisiramos estar de acuerdo con la costumbre estable
cida, sera preciso invertir los esquemas (i) y (ii), de modo que
tales esquemas de reduccin se convirtieran en esquemas de
deduccin. Si, momentneamente, empleamos la notacin que
sigue para las secuencias,
U1, Uz ... , Um
1-
V1 Vz ... , Vn
1-
L,
U 1- L,
K,
K, U 1- L,
U 1- L
K 1- L,
iJ
K, U -+ V 1- L, U y K, U -+ V, V 1- L
K, U-+ V 1- L
K, U 1- L, U -+,V, V
(iib) - - - - - - - K 1- L, U-+ V
(iii)
K, U 1- L, U
86
87
+ 1>
7 > 2,
se obtiene la conclusin
7
2)
+ 1 >2;
88
89
satisfaga ciertas condiciones muy razonables y que, por consiguiente, es imposible sentar un sistema deductivo, ro, que posea
propiedades razonables y abarque todas las frmulas verdaderas de la aritmtica.
Independientemente de los resultados godelianos, Tarski
{1929) ha demostrado la imposibilidad de reducir el concepto
de verdad (particularmente en la medida en que es aplicable
a los enunciados aritmticos) al de demostrabilidad en un sistema deductivo apropiado, ro. Es evidente que entre ambos
grupos de resultados existen relaciones muy estrechas, si bien
no nos vamos a ocupar de ellas en este trabajo.
En virtud de todo este conjunto de resultados, se impone
distinguir con toda claridad entre dos sectores de la metamatemtica, a los que se suele denominar, respectivamente, sintaxis y semntica.
La sintaxis, cuya formalizacin se debe principalmente a
Carnap (1934), conserva el severo formalismo que caracterizaba a la metamatemtica hilbertiana, por ms que haya abandonado las restricciones derivadas del finitismo de Hilbert. La
semntica, desarrollada por Tarski a partir de 1929, abandona
el formalismo y el finitismo.
As, pues, la sintaxis constituye una primera ampliacin de
la metamatemtica, segn Hilbert. Pues, por ejemplo, permite
introducir conjuntos y sucesiones arbitrarios (lo mismo finitos
que infinitos) de frmulas, lo cual da lugar, por mediacin de
los nmeros de Godel, a la introduccin de conjuntos y sucesiones arbitrarios de nmeros naturales; ahora bien, el estudio
de semejantes conjuntos y sucesiones excede de los dominios
de la aritmtica elemental y pertenece al anlisis.
La semntica admite tambin que se introduzcan conjuntos
y sucesiones arbitrarios de frmulas, pero, adems, hace intervenir un aparato conceptual que permite estudiar la significacin de ciertos smbolos y la verdad o falsedad de ciertas frmulas. Este proceder ha suscitado vivas protestas, por ser incompatible con algunas concepciones muy generalizadas, segn
las cuales, en particular,
1) los conceptos de significacin, de verdad y de falsedad
conllevan un elemento psicolgico que impide realizar
90
V(po) y V(po)
Q(qo).
Q(qo).
),
91
),
23. El mtodo de los cuadros semnticos.-La comprensin del presente pargrafo ser muchsimo ms fcil si el lector quiere olvidar momentneamente cuanto hemos dicho hasta aqu acerca de la deduccin lgica: ahora se trata de abordar la cuestin por un mtodo enteramente nuevo; y ms tarde sealaremos las relaciones existentes con lo que hemos estudiado anteriormente.
Supongamos que se quiera comprobar cul es la fuerza demostrativa de los dos razonamientos siguientes:
(I)
(II)
92
(II')
93
pectivamente, proporciona un contraejemplo, que permite recusar la [pretendida] fuerza demostrativa del razonamiento
(II). As pues, valindonos del concepto de contraejemplo podemos enunciar el criterio fundamental de la fuerza demostrativa.
Para que un razonamiento tenga fuerza demostrativa no tiene que admitir ningn contraejemplo.
Este criterio se ha aplicado y reconocido desde el primer
momento en que los hombres se han esforzado por razonar de
manera lgica; y, entre otros, lo utilizaron Platn y Aristteles.
Cabe suponer que se ha aprendido a evitar los raciocinios no
concluyentes a medida que los adversarios los rechazaban mediante contraejemplos apropiados; sin embargo, slo muy recientemente ha salido a la superficie el fundamental carcter
de este criterio. Vamos a ver inmediatamente que es posible extraer directamente de l los principios de un mtodo de deduccin formal enormemente sencillo y transparente.
2) Segn parece, en todo raciocinio intervienen ciertos elementos que admiten ser sustituidos, a los cuales llamamos trminos, y que en el caso de nuestros ejemplos eran mamut, pavo
real y saltamontes. Adems existen otros elementos a los que
no afecta la sustitucin de trminos. Aqullos determinan el
contenido del razonamiento del caso, y stos caracterizan su
forma. Cindonos a los ejemplos dados, cabe caracterizar las
respectivas formas de los dos razonamientos mediante los siguientes esquemas:
(JO)
Ningn M es un P
Todo S es un M.
:, Ningn P es un S.
Algunos P no son M.
Algunos M no son S.
:. Algunos P no son S.
94
S)
95
los cuantificadores universales (x), (y), (z) ... , y los cuantificadores existenciales (Ex), (E y), (Ez), .. .
A(a), A(b), A(c), ... , A(x), A(y), ... , B(a), B(b), ... , B(x), ... ,
C(a), ... ,M( a), M(b), ... , M(x), ... , P(a), ...
8)
96
(En ocasiones se emplean los smbolos A, B, ... como aserciones indeterminadas sin analizar.)
S) Al interpretar las frmulas se refiere uno a cierto dominio, D, de objetos individuales. Los trminos A, B, C, ... representarn, entonces, los predicados A, B, C, .. ., aplicables a
los objetos de D; los nombres indeterminados a., b, e, ... denotarn los objetos a, b, e, ... de D, mientras que los variables
x, y, z, ... abarcarn [todas y cada una de ellas] todos los objetos de D.
Entonces, A(a) expresa la atribucin del predicado A al objeto a de D; A(x) expresa la suposicin (o la condicin) de que
el predicado A convenga a un objeto, x, de D; expresa la negacin de U; (x)U expresa el hecho (o la suposicin) de que
todo objeto x de D satisfaga la condicin U; (Ex)U expresa el
hecho de que haya al menos un objeto en l> que satisfaga la
condicin V; U V V expresa el hecho de que se tengan ya U,
ya V [ya ambos]; U & V expresa la afirmacin simultnea de
U y de V, y, finalmente, U-) V expresa la afirmacin de V supuesta la condicin U.
6) Admitido todo esto, volvemos a la cuestin de la fuerza demostrativa de los raciocinios (I) y (II). Vamos a examinar
primero el caso de (I). Las premisas y la conclusin quedarn
representadas respectivamente por las frmulas que siguen:
(1)
(2)
(3)
En el cuadro siguiente est representada la tentativa de encontrar un contraejemplo que permitiese rechazar el racioci-
97
(1)
(2)
(S)
(6)
(7)
(8)
(9)
Verdadero
Falso
(11)
(lO)
S(a)
M(a) \ (14)
P(a)
M( a)
7) La construccin de este cuadro se funda en las consideraciones que siguen, las cuales, a su vez, estn justificadas
por la interpretacin que acabamos de dar a las frmulas que
utilizamos (y de ah el nombre de Cuadro semntico).
Frmulas (1) a (3): dada su posicin en el cuadro, estas frmulas recuerdan las condiciones que imponemos a todo contraejemplo apropiado.
Frmula (4): si la frmula (1) ha de ser verdadera, la (4)
tiene que ser falsa.
Frmula (5): si la frmula (3) tiene que ser falsa, la (5) ha
de ser verdadera.
Frmula (6): si la frmula (S) ha de ser verdadera, en D ha
de haber al menos un individuo que cumpla la condicin
P(z) & S(z); y si damos a tal individuo el nombre de a, la frmula ( 6) tiene que ser verdadera.
7
98
Frmulas (7) y (8): si la frmula (6) tiene que ser verdadera, estas dos frmulas han de serlo tambin.
Frmula (9): si la frmula (2) tiene que ser verdadera, todo
objeto de D y, en particular, el individuo al que acabamos de
dar el nombre de a, ha de cumplir la condicin S( y) --+ M(y );
por lo cual la frmula (9) ha de ser verdadera.
Frmulas (10 y (11): empezamos por no tener en cuenta ms
que la frmula (9); ahora bien, el implicante [o condicin],
S(a), tiene que ser, o bien falso o bien verdadero; y vamos a
desdoblar el cuadro dividindolo en dos columnas: la primera
posibilidad est representada por la frmula (10), y en cuanto
a la segunda, si tanto la frmula S( a)~ M( a) como la S( a) son
verdaderas, igualmente ha de serlo la frmula M(a); de donde
se tiene la (11); mas una vez llegados a este punto, comprobamos que la frmula (8), o sea, S( a), debera ser verdadera; por
consiguiente, est excluida la primera posibilidad, lo cual se
expresa por el cierre del cuadro correspondiente.
Frmula (12): si la frmula (4) tiene que ser falsa, no debe
haber en D objeto alguno que cumpla la condicin M(x) & P(x);
cosa que suceder, en particular, con el objeto a, y por lo tanto,.
la frmula (12) tiene que ser falsa.
Frmulas (13) y (14): de momento nos ocupamos solamente
de la frmula (12): si sta ha de ser falsa, o bien la frmula
(13) o la (14) han de serlo; de modo que llegamos de nuevo a
un desdoblamiento del cuadro; pero comprobamos inmediatamente que las posibilidades sugeridas por la posicin en el cuadro de las frmulas (13) y (14) estn excluidas por las condiciones que se expresan con las frmulas (11) y (7), respectivamente; y al quedar cerrados los dos subcuadros correspondientes, es palmario que no se encontrar jams contraejemplo alguno.
99
(15)
Falso
(3)
(7)
(11)
(12)
S(b)
P(a) &
S(a)
M(a)
(13)
P(a)
(14)
(16)
(17)
P(b)
S(a)
'=1=8=S=(b=)===
S(a)
(19)
S(b)
lOO
(X)(Y)(Z)[Tr(X, Y, Z)
U(X, Y, Z)].
101
Verdadero
(S)
K
Tr(A, B, C)
(1)
(2)
(3)
(4)
(6)
K
(S)
Tr(A, B, C)
(6)
(4)
(3)
(2)
(1)
U(A, B, C)
Tr(A, B, C)-+ U(A, B, C)
(Z)[Tr(A, B, Z)-+ U(A, B, Z)]
(Y)(Z)[Tr(A, Y, Z)-+ U( A, Y, Z)]
(X)(Y)(Z)[Tr(X, Y, Z)-+ U(X, Y, Z)]
102
Falso
Falso
Verd.
Falso
K
u
103
Verdadero
Verd.
Falso
u_,v
u_,v
(i)
Falso
(ii)
(i)
(ii)
U
Verd.
Falso
(iii)
Falso
II)
104
r (3), (Ex)[M(x)&P(x)]
r- (3)
105
apropiada. Vamos a poner a punto ahora un aparatCY que permita caracterizar todos los modelos, todas las evaluaciones apropiadas, teniendo en cuenta las frmulas que se obtengan, a partir de los tomos A(.), B(.) y R(., .), por medio de la negacin,
la conyuncin, la implicacin [material] y los cuantificadores
universales.
Supondremos que todos los nombres individuales indeterminados, a, b, e, ... , p, q, ... , habrn de denotar realmente unos
objetos, a, b, e, ... , p, q, ... , y que D estar formado exactamente por todos los objetos as denotados. Por otro lado, no nos
ocuparemos sino de los. modelos,. M = <D, A, B, R>, que quepa
obtener eligiendo los predicados A, B y R aplicables a los objetos de D, por lo cual el valor veritativo de cada frmula ser
relativo a la eleccin del modelo M. Es necesario introducir
unas reglas semnticas suplementarias:
(S 3) si U y V son verdaderas, tambin lo ser U & V; y
si U es falsa o lo es V [o ambas lo son], U & V lo
ser asimismo;
(S 4) si todas las frmulas U(a), U(b), U(c), ... , U(p), U(q),
... son verdaderas, la frmula (x)U(x) tambin ser
verdadera; y si alguna de las frmulas U(a), U(b),
U( e), ... , U(p), U(q), ... es falsa, tambin lo ser
(x)U(x); y anlogamente en lo que respecta a (y)U(y),
(z)U(z), ... ; y
(S S) las frmulas A(p), B(p) y R(p, q) sern verdaderas,
respectivamente, si el objeto p posee el predicado .A,
si el objeto p posee el predicado By si los objetos p
y q satisfacen el predicado R; en caso de que esto
no ocurra, sern falsas.
1) Parece preferible, sin embargo, emplear otra terminologa. En lugar de decir que la frmula U es verdadera, o que
es falsa, diremos que w(U)=2 o que w(U)=O, respectivamente;
entonces la evaluacin, w, es una funcin que asocia a cada
frmula, U, el valor w(U)=2 o el valor w(U)=O de acuerdo
con las reglas siguientes:
(S' 1) si w(U)=2, se tendr w(U)=O; y a la inversa;
106
1) H(fJ) = 1 - H(U);
2) H(U--+ V)= [1- H(U)] + H(V);
3) H(U & V) = H(U) H(V);
4) H[(x)U(x)] = u H[U(p)].
,p e D
Falso
107
H(Vt) -
H(V2) -
... -
H(Vn)
que simbolizaremos por H(K)- H(L). Semejante problema admite las siguientes reducciones:
H(L)
(i)
H(K) H(U) -
(ib)
(ii)
H(K) H(V ~V)- H(L) = [H(K) H(U ~V)- H(L)H(V)] + [H(K) H(V-+ V) H(V)- H(L)];
(iib)
H(K) -
(iii)
(iiib)
(iv)
H(K) H[(x)U(x)]
(ivb)
H(L) -
H (K) H(U) -
H(L) -
H[(x)U(x)] -
(v)
H(V);
H[U(p)] (;
H(3) =
108
= H(l) H(2) H(S) H(6) H(7) H[S(a)] H(9) H(3) H(4) - H[S(a)] + [H(l) H(2) H(S) H(6) H(7) H(8)
H(9) H[M(a)]- H(3)- H[(Ex)[ ... ]] =
=
H[P(a)]
=0 + 0 =
0.
109
Verdadero
(1) (x)(Ey)[A(x, y)~ A(x, x)]
(4) (Ey)[A(a, y)~ A(a, a)]
(S)
(z)A(z, z)
A(a, a)
(6)
A(a, b)
(lO)
A(b, e)
A( a, b) ~ A( a, a)
.
(8)
(9)
(2)
(3)
(7)
A(a, a)
/01)
A(b, b)
110
MOSTOWSKI,
1949, y
BETH,
1955.
1)
2)
112
3)
4)
5)
113
POINCAR,
HAOAMARD,
114
HADAMARD,
1945.
116
ciente a lo inconsciente merecera que le dedicsemos particular atencin. A este respecto caben dos hiptesis:
1)
2)
117
Voy a permitirme dedicar algunas palabras de mi experiencia personal en este campo. He observado que un problema
matemtico que me interese suficientemente provoca tres reacciones sucesivas, a saber:
1)
2)
3)
118
119
2)
los problemas cuya solucin pida que se apliquen inteligentemente determinados mtodos ms o menos corrientes, y
3)
POLYA,
1954 y 1957.
120
podremos concluir que el problema propuesto era de la clase 3). No es necesario decir que para los problemas de este
tipo no hay heurstica alguna especial; sin embargo, es recomendable que intentemos una vez ms la aplicacin de los mtodos corrientes, no solamente para estar seguros de que no
se haya pasado por alto ninguna solucin posible, sino tambin
con objeto de profundizar en las causas de su fallo. Sucede
con frecuencia que de esta forma se encuentra la solucin utilizando una variante de algn mtodo conocido; pero si ello
no ocurre, no podr resolverse ms que en virtud de una verdadera invencin matemtica como la que hemos estado describiendo.
27. La bsqueda de un mtodo al mismo tiempo heurstico y demostrativo: Descartes y el anlisis de la Antigedad.En la prctica de la invencin matemtica ha existido siempre
un curioso dualismo metodolgico, sealado, entre otras cosas,
por la tradicional oposicin entre el ars inveniendi y el ars
disserendi.
El ars inveniendi se compone de preceptos heursticos que
permiten encontrar la solucin de ciertos problemas, pero que,
en general, carecen de fuerza demostrativa. No es seguro a
priori que observando tales preceptos encontremos al final la
solucin del problema que nos ocupe, ni tampoco lo es que,
hallada la solucin mediante una aplicacin consistente de los
preceptos, se trate de una solucin correcta: siempre ser preciso justificar a posteriori, por medio de una demostracin, la
solucin encontrada.
El ars disserendi, por el contrario, nos proporciona principios que nos permitan juzgar a posteriori acerca del carcter
concluyente de cualquier demostracin propuesta y, a la vez,
de la justeza de la solucin que pretendiese justificar. Sin embargo, tales principios no pueden aplicarse ms que a, posteriori, y, por tanto, no pueden ayudarnos a encontrar la solucin
de un problema cualquiera que tengamos planteado, ni siquiera
a montar la demostracin que justifique una solucin que
hayamos encontrado.
Con todo ello, en algunos casos especiales disponemos de
121
un procedimiento que es al mismo tiempo heurstico y demostrativo. El caso ms antiguo y -segn las concepciones contemporneas- ms fundamental es el del clculo numrico:
pues el algoritmo que nos permite resolver el problema de
determinar el producto de 137 por 269 proporciona a la vez
la demostracin justificativa de la solucin obtenida. (El hecho
de que seamos capaces de cometer errores al aplicar el algoritmo no constituye una objecin vlida; pues si el resultado
del clculo es errneo es que su demostracin es falaz.)
La silogstica aristotlica constituye un segundo ejemplo de
mtodo a la vez heurstico y demostrativo. Observemos que
el nombre mismo de este mtodo demuestra que su analoga
con el clculo numrico no se les haba ocultado a los pensadores helenos; y si, pese a ello, estos dos casos apenas han
hecho que se fije en ellos la atencin de filsofos y matemticos, tal cosa se debe a que, por una parte, se consideraba a
la silogstica como exterior a las matemticas, mientras que
el clculo numrico haba degenerado hasta tal punto en mera
rutina, ya para Platn y Aristteles, que se lo miraba, por as
decirlo, como submatemtico.
Fue Descartes quien subray el carcter juntamente heurstico y demostrativo del mtodo algbrico, y quien comprendi
toda la importancia de esta observacin. Como segundo ejemplo de este mtodo cita el famoso anlisis de la Antigedad;
es cierto que se trata de una idea sumamente problemtica y
posiblemente apcrifa, pero eso no le impidi asentar la geometra analtica, que constituye la sntesis del mtodo algbrico
con el anlisis geomtrico de la Antigedad.
Conviene darse cuenta, sin embargo, de que los mtodos
citados no realizan el ideal ms que de una manera imperfecta. Pues nos permiten encontrar la solucin de gran cantidad de problemas que se plantean en ciertos dominios especficos, y cuando al aplicarlos se llega a una solucin, se tiene,
al mismo tiempo, una justificacin completa de ella; pero,
con todo, no permiten resolver todo problema que se plantee
en su campo de aplicacin; y ni siquiera Descartes intent
formular las condiciones de aplicacin de tales mtodos.
En este contexto tiene inters ver cmo Descartes vacila
122
ante proyectos ms ambiciosos; muy especialmente, al estudiar el proyecto de una lengua universal 1 afirma que
si alguien hubiera explicado perfectamente cules son las ideas simples
que se encuentran en la imaginacin de los hombres, de las que se
compone todo lo que piensan, y si todo el mundo admitiese tal caso,
me atrevera a esperar a continuacin una lengua universal sumamente
fcil de aprender, de pronunciar y de escribir, y, cosa que es lo principal,
que ayudase al juicio, al representarle tan distintamente todas las cosas
que le fuese casi imposible equivocarse; en lugar de que, como sucede
enteramente al revs, las palabras que tenemos casi no tienen ms que
significados confusos, a los cuales se ha acostumbrado el espritu de
los hombres desde hace largo tiempo, y ello es causa de que no entienda
casi nada perfectamente. Ahora bien, yo tengo por posible esta lengua,
y que se puede encontrar la ciencia de la que depende, por medio de la
cual podran los campesinos juzgar mejor de la verdad de las cosas
que como lo hacen actualmente los filsofos. Pero no esperemos verla
jams usada: eso presupone grandes cambios en el orden de las cosas,
y hara falta que todo el mundo no fuese sino un paraso terrestre,
lo cual no se puede proponer ms que en el pas de las novelas.
DESCARTES,
124
125
cualquier magnitud continua (lnea, superficie o slido) se compone de tomos que son magnitudes del
mismo gnero, de modo que cabe obtener la medida
(longitud, rea, volumen) de la magnitud continua totalizando las medidas de los tomos que contenga;
II
III
GRNBAUM,
1953.
126
127
Contina Poincar:
Con el seor Hermite ocurre todo lo contrario: sus ojos parecen
1o
11
PoiNCAR,
PoiNCAR,
128
huir el contacto del mundo: no fuera, sino dentro, es donde busca la
visin de la verdad.
Cuando hablaba uno con el seor Hermite, nunca evocaba ninguna
imagen sensible; y, sin embargo, uno se percataba en seguida de que
las entidades ms abstractas eran para l como seres vivos. No los
vea, pero notaba que no constituyen algo montado artificialmente, y
que tienen cierto principio de unidad interna.
31. La intuicin espacial: Kant, Helmholzt, F. Klein, Nicod, Whitehead y Tarski.-Hemos comprobado que existe una
especie de armona preestablecida entre el pensamiento matemtico puro, el mtodo deductivo y el platonismo: la alianza
entre los tres es tan estable que es difcil pensar que no constituya sino el resultado de una constelacin histrica fortuita.
Sin embargo, los tres elementos que acabo de mencionar
no son los nicos factores que han determinado el desarrollo
de las matemticas: los mtodos heursticos no han cesado de
valer a los matemticos, por ms que casi siempre queden
eliminados o disimulados cuando se presentan los resultados
definitivos de una investigacin; y apenas puede dudarse de
que el mtodo heurstico que se aplica ms frecuentemente es
la apelacin a la intuicin espacial.
Podra pensarse que el desarrollo de las matemticas abstractas, que se ocupan preferentemente de objetos inaccesibles
a la intuicin espacial, ha acabado con todo recurso a sta.
Mas si bien es patente que en lo que se refiere a estas matemticas nadie atribuira la menor fuerza demostrativa a la
apelacin a la intuicin especial, ello no impide, sin embargo,
que se recurra a menudo a ella, incluso en los estudios ms
abstractos; por lo cual, hasta en los tratados ms estrictos,
las figuras no faltan del todo casi nunca.
Otra consideracin que puede dar lugar a sospechas relativas al papel de la intuicin espacial es la siguiente. Las demos9
130
HELMHOLZ,
1923.
131
132
133
134
13!:1
136
ras, todo ello dentro de su programa 2 de refundicin intuicionista de las matemticas modernas. Este autor acepta las geometras no eucldeas con iguales ttulos que la eucldea, y admite asimismo la autonoma completa de la geometra con respecto a la intuicin espacial y a la aplicacin de los mtodos
analticos en geometra; por otra parte, se opone vigorosamente a las tendencias formalistas, logicistas, cantorianas y abstractas que dominan el desarrollo contemporneo de las matemticas, ya que quiere, por el contrario, fundar stas sobre una
base intuitiva, y, en particular, sobre la intuicin temporal:
pues esta intuicin nos permite, en primer lugar, construir la
sucesin infinita de los nmeros naturales, y luego, el continuo de los nmeros realesJ. Posteriormente, Brouwer se ha apartado algo de su programa inicial, en el sentido de que ha sustituido la intuicin temporal por la intuicin de la multi-unidad; sin embargo, esta revisin no ha afectado ni a su crtica de las matemticas modernas ni a su manera de construir
los nmeros naturales y el continuo.
Obsrvese que, en definitiva, incluso Brouwer ha abandonado el mtodo tradicional de asentar la teora del continuo,
partiendo simplemente de axiomas que constituyan -o que se
suponga constituyen- la descripcin de cierto continuo dado
por la intuicin. Pues la teora intuicionista del continuo describe uno construido a partir de unos datos intuitivos de carcter mucho ms elemental (datos que se toman de la intuicin de la multi-unidad); procedimiento que adoptan tanto
Brouwer como sus adversarios, y que resulta obligado, ya que
la estructura de los continuos intuitivos es demasiado difusa
como para permitir una descripcin que pudiera servir como
sistema de axiomas.
Lo difuso de la estructura de! continuo espacial intuitivo
se manifiesta en la necesidad de recurrir a los elementos artificiales estudiados en el 31; en cuanto al continuo temporal
intuitivo, basta recordar las exposiciones de Bergson al respecto.
En este contexto ofrece inters un breve examen de las ob2
BROUWER,
1907.
137
DE GROOT,
1952.
138
o implcita, por los axiomas de los distintos sistemas de geometra eucldea o no eucldea. Por ello, para aplicar una de
estas propiedades en una demostracin geomtrica se puede,
o bien apelar a ciertos axiomas de la geometra que sea o simplemente consultar la intuicin espacial.
Es obvio que en la prctica de la investigacin matemtica
se contentar uno con esto ltimo: la experiencia del gemetra le permite, por lo general, evitar las trampas que, pese a
todo, son inherentes a semejante proceder (ya que no siempre
se sabe si realmente entra en juego una propiedad global); en
ltimo trmino, este procedimiento posee un carcter heurstico, y no demostrativo, de suerte que es menester en cualquier
caso asentar el resultado obtenido por medio de una demostracin rigurosa.
La intuicin finitista segn Hilbert y la intuicin del
infinito.-Supongamos ahora que se haya asentado rigurosamente un teorema determinado de la geometra eucldea; en
tal caso dispondremos de una sucesin finita de enunciados
geomtricos que 1) comenzar por cierto nmero de axiomas
y de teoremas previos, en tanto que 2) cada uno de los enunciados que sigan provendrn de ciertos enunciados precedentes
en virtud de la aplicacin de cierta regla deductiva y que 3) la
sucesin acabar en el teorema en cuestin. Con objeto de poder juzgar qu valor tendr semejante demostracin hemos de
comprobar que se cumplan las condiciones 1) a 3); ahora bien,
tal comprobacin puede llevarse a cabo de las dos formas siguientes:
33.
139
X
Reglas deductivas: (i)
X VE
1)
YVAVA
(ii) - - - - Y
La frmula A V B V B es deductible.
AVA
[ax.]
(ii)
A
(i)
AVE
(i)
AVB'\IB
II)
La frmula B no es deductible.
140
frmula A V A V A V B, quedando excluida toda aplicacin ulterior de la regla (ii); por consiguiente, no podremos nunca
deshacernos de las letras A V A V A de que habamos partido.
2) La nica posibilidad residir, pues, en empezar aplicando la regla (ii), y mediante ella se obtiene la frmula A; luego
podemos aplicar la regla (i), con lo que llegamos a A V B. Y una
vez ms nos es imposible deshacernos de la letra A, con la que
habamos comenzado.
Por haberse agotado en vano todas las posibilidades de
efectuar la deduccin, podemos concluir que la frmula B no
es deductible.
III)
..:
B es deductible.
Demostracin. Empezamos por aplicar la regla (i) al axioma, de donde se obtiene A; y luego aplicamos la regla (ii) cuantas veces aparezca la letra B en la frmula A V B V ... V B de
que se trate.
Por ms que la demostracin del teorema III) se refiera a
la vez a todas las frmulas A V B V . . . V B, cuyo nmero es
infinito, posee
a)
un carcter intuitivo, ya que se ocupa -digmoslo
as- por separado de cada una de las frmulas A V B V ... V B,
dando para cada una de ellas una prescripcin que permite deducir esa frmula particular, y
b) un carcter finitista, dado que no interviene en ella de
modo alguno la nocin de infinito.
No deja de tener inters establecer un paralelo entre la demostracin del teorema III) y la del teorema
toda identidad lgica es deductible,
que hemos presentado en el captulo 3, 23. Esta ltima demostracin, pese a la aparente analoga entre ambas, no es de
ndole finitista, ya que en ella interviene la nocin de infinito;
pese a lo cual, parece que la demostracin dada en el 23 contiene una prescripcin que permite efectuar la demostracin de
una identidad lgica cualquiera, puesto que habremos forzosa-
141
142
143
As pues, estos tres pensadores matemticos estn de acuerdo en atribuirse una visin intuitiva referente a un dominio
de entidades que sobrepasa el de lo finito. No sera difcil citar
otros testimonios de un alcance anlogo; sin embargo, el caso
de Cantor es, sin duda alguna, el ms interesante, porque la
descripcin de lo que vea se desarroll luego, por sus propios
trabajos y los de sus adeptos, en una sublime teora que constituye el fundamento de gran parte de las matemticas contemporneas.
En cuanto extrapolacin de las matemticas existentes, la
teora de conjuntos constituye un caso absolutamente excepcional. Es cierto que, por ejemplo, la incorporacin de los nmeros complejos al universo matemtico fue tambin una extrapolacin considerable, y que la puesta a punto de la base
teortica para las operaciones con tales nmeros ha permitido,
entre otras cosas, el tan fructfero desarrollo de la teora de
funciones complejas; pero este paso estaba preparado por un
largo" perodo de tentativas vacilantes. Cantor, por el contrario,
revel de un solo golpe, sin preparacin alguna comparable,
todo un inmenso universo de nuevas entidades matemticas.
Las platonistas doctrinas que este matemtico se obstinaba en mezclar con sus teoras matemticas no complacan a
todo el mundo, y el descubrimiento de las antinomias (cf. el
captulo 3, 17) pareci dar razn a los numerosos matemticos que haban expresado su falta de confianza en los mtodos conjuntistas. Sin embargo, el hecho de haberse podido
eliminar las antinomias sin afectar a lo esencial de la teora
no ha reconciliado a los adversarios con sus elementos platonistas. (Recientemente se ha mostrado que cabe efectuar una
refundicin nominalista de la teora de conjuntos, pero esta
versin posee un carcter sumamente artificial 7 .)
Desde el punto de vista de la psicologa, lo que tendra mayor inters sera saber algo preciso acerca de la visin intuitiva a que apelaba Cantor (es indudable que no podemos dudar de la perfecta sinceridad al respecto del gran matemtico).
Por una parte, es sumamente plausible que lo guiasen en sus
investigaciones unas intuiciones relativamente claras y distin7
GODEL, 1944.
144
tas; y, por otra, hemos admitido la existencia real de una intuicin de lo infinito; intuicin que, en general, es vaga y variable, pero ello no excluye, en modo alguno, la posibilidad de
que Cantor haya tenido, en especial durante ciertos perodos
de esfuerzo concentrado, unas imgenes de precisin, claridad
y estabilidad extraordinarias. Cabe pensar, a este respecto, en
imgenes de conjuntos bien ordenados de tipo elevado; sin embargo, es difcil de creer en la posibilidad de una imagen intuitiva ms o menos adecuada del conjunto bien ordenado formado por todos los nmeros ordinales de la clase z.a *.
Por consiguiente, es harto plausible que ciertas imgenes
apropiadas hayan estimulado la formacin de la teora de conjuntos, pero apenas cabe creer en una visin intuitiva ms o
menos adecuada de la totalidad de las entidades cuya existencia exige esta teora; y si Cantor crey tener semejante visin,
es totalmente probable que fuese vctima de una ilusin.
10
146
guiente, ha de ser posible formularlo_por medio de cierto cdigo que permita su transmisin a sta.
Adems, si el lgico o el matemtico es capaz de resolver
el problema P, ser menester que lo sea igualmente la mquina y que el cdigo nos permita enterarnos de cul haya sido la
solucin dada por sta.
Finalmente, puesto que no aceptamos solucin alguna del
lgico o del matemtico que no sean capaces de justificar, es
preciso que el mtodo empleado permita a la mquina justificar su solucin. Por lo tanto, podremos estatuir una formalizacin apropiada exigiendo que, de ahora en adelante, los hombres de ciencia indicados tampoco expresen los problemas de
la clase escogida ni sus soluciones respectivas ms que valindose del cdigo adaptado a la construccin de la mquina.
Al imponer este cdigo a los igicos y matemticos no limitamos de forma alguna su capacidad para resolver los problemas de la clase de que se trate.
Pues sea P' un problema de sta que supieran resolver antes; como, por hiptesis, la mquina es capaz de reemplazar
al lgico o al matemtico en las tareas correspondientes, tambin lo ser en cuanto a resolver P' y a justificar la solucin
que proporcione; pero la mquina no dispone de otra cosa que
del cdigo, luego ste permitir expresar y justificar la solucin obtenida por el lgico o el matemtico.
36. La construccin de una mquina de pensar presupone la solucin de determinado problema de decisin *.-Supongamos ahora que la mquina no sea capaz de ofrecer solucin alguna a cierto problema, P; entonces, en virtud de lo que
hemos supuesto, es imposible que ningn lgico o matemtico
resuelva jams P; y este problema, pues, ser irresoluble.
Cmo se comportar la mquina en semejante situacin?'
Conviene distinguir a este respecto entre dos gneros de clases,
e, de problemas.
I)
147
la mquina se detiene.
JI) Si se plantea a la mquina cierto problema irresoluble,
P, de la clase C, puede suceder que la mquina no se detenga
nunca.
Es preciso examinar por separado estos dos casos.
Con respecto a I). En este caso, conviene reemplazar la clase, e, de los problemas p por la clase C0 , de los problemas, po,
que se enuncian as:
Ahora bien, nuestra mquina permite resolver todo problema, po, de la clase ca. En efecto, sea po uno de estos problemas,
y propongamos a la mquina el problema P correspondiente;
entonces, o bien sta proporcionar la solucin de P, o se detendr sin dar ninguna solucin, y en ambos casos quedar
resuelto el problema P 0
Cabra preguntarse si en el segundo caso habr quedado suficientemente justificada la solucin de po; sin embargo, si
dudamos de que esta solucin sea slida, ello quiere decir que
admitimos que un problema de la clase e podr tener una solucin no proporcionada por la mquina, cosa cuya posibilidad
habamos excluido desde el principio.
Con respecto a II). En este caso no tiene utilidad alguna
reemplazar la clase e por la co; pues mientras no se detenga
la mquina no sabremos ni la solucin del problema P ni la
del po.
Es conveniente ilustrar estos dos casos mediante un ejemplo tpico.
Ejemplo I). Consideremos la clase, C, de todos los problemas, P, que se enuncien as: deduzcase la frmula X, siendo X una frmula cualquiera del sistema formal estudiado
en el captulo S, 33. Es fcil de imaginar una mquina capaz
de resolver los problemas de este gnero: semejante mquina
intentar primeramente quitar hacia atrs las letras V B, luego
148
que X no es deductible.
Ejemplo II). Ahora consideramos la clase, C, de todos los
problemas, P, del tipo
P: demustrese que U es una identidad lgica,
siendo U una frmula cualquiera del gnero descrito en el captulo 3, 22.
En este caso, podemos imaginar una mquina que construya un cuadro semntico para la secuencia 0 fU; pero puede suceder que la construccin contine indefinidamente, sin que
lleguemos jams a saber si el problema es o no resoluble.
Hemos reemplazado la clase, C, de los problemas P por otra
clase, la co, formada por los problemas P0 Observemos ahora
que conviene simplificar an un poco ms la situacin introduciendo la clase, coo, de todos los problemas, poo, tales como
poo: respndase a la cuestin de saber si el problema P es resoluble o no lo es,
siendo P un problema cualquiera de la clase C.
En el caso I), la mquina permite resolver todo problema,
poo, de la clase coo. Pero supongamos en este momento que tenemos una segunda mquina construida con la finalidad de
no resolver sino los problemas de la clase coo; vamos a ver que
esta mquina no ser esencialmente inferior a la primera.
Supngase que nos encontramos con la primera mquina
en el caso II), de modo que, en ocasiones, cuando el problema
f de la clase C que se haya propuesto sea irresoluble, la mquina continuar indefinidamente. Observemos, en primer lugar, que, por definicin, la segunda mquina no puede presen-
149
tar este inconveniente. En efecto, supongamos que esta segunda mquina, tras haberse puesto en marcha para resolver cierto problema, poo, contine funcionando sin detenerse nunca;
entonces el problema P correspondiente no podr ser resoluble, ya que, si lo fuese, esta segunda mquina tendra que detenerse para anunciar que P era resoluble; pero si P es irresoluble, por hiptesis, esta misma mquina se parar asimismo, para anunciar que es irresoluble; luego de todos modos
la segunda mquina tendr forzosamente que detenerse.
Ahora. bien, esta propiedad de la segunda mquina nos permite perfeccionar la primera: basta acoplar ambas entre s de
tal modo que la introduccin del problema P en la primera conlleve automticamente la del problema correspondiente, poo, en
la segunda, y que cuando esta ltima se detenga anunciando
que el problema poo es irresoluble haga asimismo detenerse a la
primera; de este modo, recaemos en el caso 1) mediante esta
primera mquina as perfeccionada. Y a la inversa, si resulta
imposible construir una mquina perfeccionada para los problemas, P, de cierta clase, C, es que ser imposible construir
una mquina para los problemas, poo, de la clase coa.
Observemos, para terminar, que si disponemos de una mquina para los problemas, poo, de la clase coo, podemos prescindir de una mquina para los problemas, P, de la clase C.
Hay que subrayar, por otra parte, que no nos contentamos con
un orculo: exigimos que la mquina sea verdaderamente un
aparato mecnico y que comprendamos su funcionamiento, de
suerte que tengamos la garanta de que resolver todo problema, poo, de la clase coa, y que su solucin ser siempre correcta; en el caso de que la solucin de cierto problema, poo, sea
n~gativa, ello implica que la mquina ha de explorar, del modo
que sea, todas las posibilidades de llegar a una solucin de P;
y para que est justificada una solucin afirmativa es preciso
que la mquina haya comprobado, de la manera que sea, alguna solucin del problema P. Es decir, que si la mquina anuncia que P es resoluble, una inspeccin de las operaciones realizadas por ella tiene que permitirnos resolverlo.
Por consiguiente, bastar estudiar la construccin de estas
mquinas para resolver los problemas de las clases del tipo coo;
150
BROUWER,
151
sea posible expresar los problemas, P, de la clase e, juntamente con las soluciones que admitan, por medio de
cierto cdigo; que
152
f(O) = f(l) = O;
2)
f(lS)
= 1 (advirtase que
15 = g(A V A V A);
153
= 1, se
si f(n)
4)
si n
S)
>
tendr f(2 n)
= 1;
3)
1 y f( 4 n
3 = 1, se tendr f( n) = 1, y
na)
f(12)
f(2) = 2.
= 1.
IIP)
rva)
= f(lS 2k) =
1; para cualquier
Entonces, la clase coa a que antes nos referamos queda sustituida por la clase, caoo, de todos los problemas:
154
eoo de todos
los problemas
resoluble o no,
queda reemplazada por la clase,
eooa,
155
recursiva, f, o no.
Ahora especificamos cierta funcin, F, del modo siguiente:
1)
si n es el nmero de Gidel, g(S), de un sistema, S, caracterizador de una funcin recursiva, por ejemplo, fn,
se tendr F(n) = f(n) + 2;
2)
De acuerdo con lo que acabamos de explicar, las condiciones 1) y 2) son expresables en el formalismo R. Sea ahora T el
sistema de estas dos condiciones tal y como aparezcan en la
notacin del formalismo R, y sea t el nmero de Godel, g(T),
de T; propongmonos determinar el valor de F(t).
156
sea t el nmero de Godel de un sistema de condiciones caracterizadoras de cierta funcin recursiva, ft; en tal caso, habra
de ocurrir que F(t) = ft.(t) + 2. Pero t es el nmero de Godel
del sistema de condiciones que caracterizan la funcin F, luego ft ser la misma funcin que F, por lo cual flt) = F(t); en
consecuencia, t no puede ser el nmero de Godel de un sistema de condiciones que caractericen cierta funcin recursiva, f.
= l.
157
* Obsrvese cmo aparece aqu cierta ambigedad, debida a la compatibilidad del texto con la acepcin psicolgica de 'decisin'; una vez
ms, problema de averiguacin (o de aclaracin)>>, como proponamos
en nuestra nota del 28, evitara estos defectos. (N. del T.)
158
159
BERNAYS,
1954.
160
161
11
GRIZE
163
llevar a trmino; ahora bien, ocurre que la inteligencia es perfectamente capaz de resolver semejantes problemas, e incluso que se sabe
capaz de resolver una cantidad ilimitada de ellos.
Consideremos el caso ms frecuente: aquel en el que se conocen las
premisas, la conclusin a que hay que llegar, las reglas y su efecto,
pero en el que falta una regla utilizable efectivamente para valerse de las
reglas; entonces, por hiptesis, el descubrimiento de una va que lleve
a la conclusin no provendr de actividad formal alguna; y sin embargo, ello no significa que la inteligencia haya recurrido a ninguna especie de facultad divinatoria, ms o menos misteriosa, ni siquiera a conductas puramente ingenuas. Y la prueba -recientemente aportadala tenemos en que Newell, Shaw y Simon han conseguido construir
mquinas>> capaces de simular algunas de las conductas de la inteligencia generalmente consideradas como ingenuas; tales mquinas exploran las frmulas como objetos concretos, examinan sus semejanzas y
sus diferencias, les aplican tal o cual operador y observan los cambios
que se producen: como el pensamiento natural, incluyen ciertas reglas
que son ms consejos que imperativos, y, lo mismo que l, usan en
ocasiones de su libertad para fracasar en la tarea 1.
As pues, las mquinas de pensar y las de simular la inteligencia
permiten comprender mejor los pasos reales que da el espritu. Ambas
suponen cierta parte de formalizacin, y ambas sealan su insuficiencia,
cada una a su modo: las primeras, en cuanto que permiten discernir
terica, pero exactamente, sus posibilidades, y las segundas, dado que
manifiestan concretamente sus fracasos.
SEGUNDA PARTE
INTRODUCCION
166
mtico en sus anlisis de validez y de fundamento. En la medida en que se califique de psicologismo toda tendencia a resolver cualquier problema lgico o matemtico valindose de
resultados tomados de la psicologa, suscribimos igualmente
sin vacilar la condena del psicologismo, dado que no slo revela una confusin de mtodos, sino hasta de los problemas
mismos. En efecto, mientras que, frente a una demostracin
matemtica, el problema lgico co-nsiste en investigar en qu
condiciones cabe tenerla por vlida, el problema psicolgico
no reside en otra cosa que en determinar por medio de qu mecanismos mentales se va desarrollando realmente en el espritu
del matemtico. Estos dos distintos problemas, uno de fundamento y otro de explicacin causal, corresponden, por otra parte, a dos mtodos heterogneos: uno de anlisis deductivo y el
tido a la fiscalizacin de los dos mtodos de comprobacin que me
parecieron entonces vlidos: o la de los hechos, si bien subordinada a
una experimentacin personal, de suerte que no consistiera, sin ms,
en una reflexin sobre trabajos ajenos, o la fiscalizacin deductiva, pero
subordinada a logaritmos precisos, como los utilizados en matemticas
o en lgica simblica.
En lo que se refiere a la lgica, es preciso aadir adems lo siguiente: en mi poca de Instituto, y bajo la influencia de Bergson, crea que
los procesos vitales eran de ndole irreductible a las estructuras lgicomatemticas; pero luego, reflexionando sobre la nocin de especie>>
y la clasificacin biolgica en general, y, ms tarde, en especial, al
aplicar los mtodos biomtricos a la variabilidad de mis moluscos
terrestres, me convenc de la estrecha vinculacin entre las estructuras
orgnicas y las lgicas o matemticas.
En resumen: tras esta especie de conversin a la inversa o deseanversin>> respecto de la especulacin filosfica, y resuelto a no otorgar
ya confianza a nada sino a la experimentacin y el clculo (biomtrico
o lgico), me convenc de que, dada la falta de toda clase de informaciones sobre la filognesis del conocimiento en general, as como sobre
la sociognesis prehistrica de los conocimientos humanos, para construir una epistemologa biolgica era necesario que me dedicase a
hacer algo equivalente en un anlisis embriogentico, y que estudiase,
ante todo, el nacimiento de la inteligencia y el desarrollo de las principales operaciones intelectuales en el nio. En aquel entonces calculaba que habra de consagrar cinco aos a tales estudios previos, y
que luego podra volver a los problemas generales; pero lo previo me
ha ocupado durante cuarenta aos, y apenas hace diez que he podido
atacar la epistemologa bajo el ngulo que me haba propuesto adoptar,
es decir, el gentico. De ah que le est particularmente agradecido a
un lgico tan profundo y crtico como E. W. Beth por darme ocasin
de confrontar mis ideas con las suyas en lo que se refiere a problemas
tan centrales como los de la epistemologa lgica y matemtica y los
de las relaciones entre el pensamiento real y la lgica formal.
167
otro de comprobacin o experiencia, de modo que se comprende fcilmente el fracaso de todo psicologismo.
Dicho esto, y habiendo admitido, pues, la separacin entre
los dos dominios, es menester preguntarse si esta independencia de la lgica (o de las matemticas) con respecto a la psicologa es recproca. Pues si bien, por las mismas razones por
las que el lgico no se ocupa de los mecanismos mentales, es
indudable que no tiene por qu intervenir en psicologa para
enunciar o resolver los problemas de explicacin que sta se
plantea, cabe, en cambio, que se lo llame para juzgar acerca
de la validez o falta de ella de una teora psicolgica deductiva,
si es que el psiclogo recurre a semejante instrumento 2 ; y, a
fortiori, el matemtico puede verse obligado a estimar la validez de tal o cual aplicacin psicolgica de una teora estadstica. En resumen, si bien el dominio de la lgica es el de la
validez formal, este dominio, por una parte, tiene una extensin ilimitada, y slo el lgico puede ser juez en cuanto a lo
que ha de quedar englobado en l, incluso cuando se trate de
teoras psicolgicas por su contenido; pero, por otra parte, es
un dominio delimitado en comprehensin, de forma que es imposible zanjar una cuestin de hecho o de interpretacin acerca de la naturaleza de los mecanismos mentales en nombre
de la validez formal.
As presentada, la independencia de la actividad lgico-matemtica. con respecto a la psicologa es completamente recproca: en cuanto a la comprehensin, el campo psicolgico est
perfectamente delimitado, dado que se refiere exclusivamente
al mecanismo real de los procesos mentales, y ello basta para
prohibir toda aplicacin de la psicologa a cualquier problema
de validez formal; pero en extensin constituye un campo en
principio ilimitado en lo que concierne a las actividades humanas (por no hablar ahora de la psicologa animal). As pues,
ser el psiclogo quien habr de decidir si, por amor de sus
interpretaciones, se limitar a estudiar razonamientos falsos
o incompletos, o si le interesan tambin, desde el punto de vista de los mecanismos reales del pensamiento, los raciocinios
2 Ejemplo: la formalizacin de las teoras de Hull llevada a cabo
por Fitch.
168
que el lgico considera vlidos. Y tambin le compete a l determinar si es nicamente la intuicin lo que suscita cuestiones psicolgicas o si la formalizacin las plantea asimismo mirada bajo el ngulo de los mecanismos mentales, incluso en
caso de que los mecanismos correspondientes a la formalizacin no se actualicen ms que una reducida lite de sujetos,
que seran los lgicos en cuanto seres vivos y pensantes. Dicho
brevemente: tambin el dominio psicolgico tiene una extensin ilimitada, pero en lo que se refiere a explicar causalmente,
y no a fundamentar, problema este ltimo que caracteriza
el dominio lgico.
Como este reparto de tareas excluye todo tipo de conflicto,
sucede que la eliminacin de todo psicologismo es tan ventajosa para la psicologa como para la lgica. Puesto que lleva
a plantear un problema fundamental para la ptica de los mecanismos reales del pensamiento (problema que es precisamente aqul desde el que vamos a partir aqu): cmo explicar
psicolgicamente la posibilidad de una lgica y de una matemtica puras (debiendo tomarse el trmino de posibilidad en
el sentido de realizacin posible, y no en el de validez posible,
y significando simplemente con el trmino puras independientes de todo contenido)?
Si planteamos de golpe semejante problema ello no es solamente porque creemos poder esbozar una solucin en el plano
psicolgico, como veremos en el captulo 9: tambin lo hacemos porque es conveniente precisar desde el comienzo cules
son nuestras posiciones fundamentales, con objeto de adelantarnos a todo malentendido del lector lgico o matemtico, cuyas ideas preconcebidas acerca de la psicologa le lleven a creer
que nuestro rechazo del psicologismo ha de estar acompaado
de pesar y que le seguir alguna media vuelta implcita o inconsciente.
Ahora bien, podemos resumir en una palabra tales posiciones: frente a lo que opinaba Pasch, segn el cual el pensamiento matemtico avanza en direccin contraria a la naturaleza humana, todo cuanto nos ha enseado el estudio del desarrollo de la inteligencia lleva a creer, a la inversa, que el avance ms all de la intuicin emprica (e incluso de la pura) que
169
170
171
nesis causal, es como nicamente cabe intentar una interpretacin psicolgica de las matemticas o de la lgica, interpretacin que no consistir, en modo alguno, en someter a examen
estas disciplinas, sino nicamente en intentar comprender en
virtud de qu procesos genticos se explican tales o cuales construcciones, incluidas las orientadas en direccin de los fundamentos.
Pero si semejantes intentos tienen alguna probabilidad de
xito, no terminarn por duplicar intilmente el anlisis de
los fundawentos con un anlisis gentico que sea mero eco
de aqul, lo mismo que el coro antiguo repeta las palabras
pronunciadas por los verdaderos actores? Nada de eso: cualquier correspondencia que se encontrase entre las estructuras
implicadoras utilizadas por la actividad lgico-matemtica y las
estructuras causales o genticas sera sumamente instructiva
para la epistemologa gentica, incluso en caso de que fuese
solamente una correspondencia parcial o que no afectase sino
a ciertos aspectos particulares. Si se pudiera encontrar la prueba experimental de que la fuente de las tendencias propias de
la lgica est ya en las actividades del sujeto, habra que atacar
de nuevo todos los problemas del platonismo, del conceptualismo o el nominalismo, y del apriorismo o el empirismo; dicho
con ms precisin, los trabajos acerca de los fundamentos conducen a buscar en los conocimientos lgico-matemticos un
punto de partida universal, pero, desde el punto de vista psicolgico, as actividades del sujeto que hacen posible semejante anlisis normativo aparecen, por el contrario, como el punto
de llegada de un largo proceso gentico; y una epistemologa
que procure conciliar estos dos aspectos de deduccin normativa y de explicacin gentica sin caer en un crculo vicioso apenas se podr orientar en otra direccin que en la de una especie de dialctica que sustituya el apriorismo esttico por la idea
de una construccin continua, a la vez progresiva y reflexiva,
en la que la intuicin de las evidencias no tenga necesariamente primaca, sino que reserve una parte preponderante a la formalizacin (concebida como instrumento que se ha hecho in
dispensable merced al desarrollo histrico mismo del anlisis
regresivo).
41.
las investigaciones lgicas y las psicolgicas.-Es un hecho instructivo para la epistemologa en general que las ciencias deductivas se hayan constituido mucho antes que las experimentales; pues aunque las matemticas hayan pasado por una fase
emprica (en Egipto constituyeron, por lo dems, ms bien una
tcnica que una investigacin con vistas a fines propiamente
cientficos), llegaron con los griegos a un nivel de elaboracin
muy superior al de la fsica. En efecto, mientras que los Elementos de Euclides proporcionaron un modelo de deduccin
axiomtica que durante largo tiempo se ha considerado suficiente, la fsica griega no consisti ms que en una sistematizacin de los datos del sentido comn (la fsica de Aristteles),
en algunos resultados muy parciales presentados en forma deductiva y no experimental (la esttica de Arqumedes) y, adems de ello, en diversos ensayos de mecnica celeste ajenos a
la experimentacin propiamente dicha. De hecho, fue preciso
llegar al siglo xvu (pese a algunos precursores de finales de la
Edad Media y del Renacimiento) para que se constituyese una
fsica que presentase una autonoma metodolgica comparable
a la que hoy manifiesta.
Esta distancia entre la experiencia y la deduccin es todava ms sorprendente en la historia de las relaciones entre la
lgica y la psicologa, dado que el requisito de una experimentacin detallada y sistemtica se ha impuesto todava ms tarde en el dominio de la vida mental que en el de las leyes de la
173
materia. La razn de que as haya sucedido es, sin duda alguna, que se sienten ciertas dificultades para considerar necesaria la experimentacin en una esfera en la que cada cual cree
conocer directamente el pormenor de los fenmenos por simple
introspeccin (razn que sigue gravitando muy pesadamente,
ya no sobre los psiclogos mismos, pero s sobre la idea que
de la psicologa se hacen los no especialistas). Y a ello se debe
que la psicologa cientfica no haya aparecido hasta el siglo xrx,
en tanto que se puede hacer remontar a Aristteles la lgica en
cuanto disciplina sistemtica, por ms que la lgica simblica,
en el sentido en que hoy la entendemos, tampoco empezara a
tomar vuelos hasta el siglo xrx; pues si se siente la tentacin
de sincronizar las dos historias sosteniendo que la lgica sigui siendo filosfica hasta el siglo pasado de igual modo que
la psicologa era instrospectiva, y que la primera se volvi matemtica en la misma poca en que la segunda se hizo experimental, queda el hecho de que la lgica griega no estaba manchada por error alguno (pues, contra lo que se ha supuesto algunas veces 1, para Aristteles era obvia la necesidad de premisas existenciales para darapti, felapton,. bamalip y fesapo),
sino que, simplemente, era incompleta, en tanto que ninguna
de las tesis de las mltiples psicologas filosficas habidas contina siendo utilizable en psicologa experimental. Y as ha sucedido que durante muchsimo tiempo se ha considerado como
acabada la lgica griega, sin sospechar su carcter parcial y
atendiendo slo a su validez.
Ahora bien, este adelanto de la lgica sobre la psicologa,
juntamente con el hecho del carcter tardo del simbolismo y
de la formalizacin, en el sentido contemporneo de esta palabra, han tenido como resultado una indiferenciacin inicial
de las dos disciplinas, indiferenciacin relativa que dur, de
hecho, hasta los comienzos de la constitucin del lgebra de la
lgica y de los trabajos de psicologa experimental.
Cabe asignar dos razones complementarias a esta indife1 Para Aristteles, un postulado general de la lgica es el carcter
no vaco de todo trmino; opinin que defendi al responder a las
objeciones de Eublides (paradoja del cornutus). Se trata, pues, simplemente, de una diferencia de usanza con respecto a la lgica contempornea.
174
renciacin propia de los perodos iniciales. En lo que se refiere a la lgica, y dado que el mtodo de Aristteles era intuitivo
y estaba subordinado a la evidencia subjetiva, se pensaba que,
por eso mismo, la descripcin de las formas de los juicios y razonamientos verdaderos alcanzaba a las formas del pensamiento natural; y por el lado de la psicologa, la ausencia de toda
experimentacin sistemtica sobre los mecanismos reales y, especialmente, genticos del pensamiento, junto con la primaca
de la introspeccin, conducan, recprocamente, a no recoger
ms que el aspecto normativo del pensar del sujeto (aspecto
que, efectivamente, existe) y a contentarse, en consecuencia, con
la descripcin de los lgicos para caracterizar las formas reales
de las actividades cognoscitivas del sujeto.
Semejante situacin dur hasta los comienzos de la lgica
matemtica y de la psicologa experimental. As, el creador de
la clebre lgebra que lleva su nombre, G. Boole, intitulaba an
en 1854 Las leyes del pensamiento a su segunda obra de lgica, mientras que durante mucho tiempo todava los tratados
de psicologa se contentaran, en lo que se refiere a la psicologa del pensamiento, con describir sumariamente los conceptos,
juicios y raciocinios sacados de la lgica clsica.
Estos residuos de indiferenciacin posterior a la separacin
de las dos ciencias, que estaban ya caracterizadas por mtodos
propios (la matematizacin y la formalizacin en cuanto a la
lgica, y la experimentacin sistemtica en lo que se refiere a
la psicologa), han llevado a dos tipos de desviaciones recprocas, a las que se denomina psicologismo en lgica y logicismo en psicologa.
El psicologismo es la tendencia a zanjar las cuestiones de
validez mediante consideraciones de hechos; dicho de otro
modo, la tendencia a sustituir los mtodos puramente deductivos de la lgica por otros en los que entren datos psicolgicos.
En el captulo 2, Beth ha mostrado el fracaso de tales tentativas
desde el punto de vista lgico.
Recprocamente, el logicismo es la tendencia a introducir
consideraciones sacadas de la lgica, y, por tanto, de una disciplina cuyo objeto depende de la validez deductiva, y no de
cuestiones de hecho, en el contexto de las explicaciones causa-
175
176
177
178
el esquema anticipador, etc.), que llega a una especie de paralelismo lgico-psicolgico: las combinaciones de las relaciones
que permiten rellenar las lagunas obedeceran a leyes que reflejaran las de la lgica, de suerte que, en definitiva, el pensamiento sera un espejo de la lgica.
No tenemos nada que oponer a que se busquen los puntos
de enlace entre los mecanismos mentales y las estructuras lgico-matemticas, ya que tal es, precisamente, nuestro objetivo;
y, por otra parte, la idea de paralelismo conlleva un aspecto satisfactorio (que avanza notablemente sobre el interaccionismo
de Marbe): el de que dos series paralelas no interfieren entre
s, lo cual parece garantizar la doble autonoma de las normas
lgicas y de las secuencias causales psicolgicas. Mas acaso
viendo un paralelismo no se prejuzga la solucin?; y sta, en
apariencia prudente, no es excesivamente restrictiva y, a la
vez, demasiado fuerte tanto para una como para la otra partes
en juego('
La historia misma ha respondido a estas preguntas; en lo
que concierne a la lgica, ya antes de que apareciesen las obras
de Selz (1913 y 1922), y en cuanto a la psicologa, posteriormente. En lo referente a aqulla, la axiomatizacin o formalizacin
crecientes han hecho de ella una lgica sin sujeto; y si, por
las exigencias mismas de esta tcnica especfica, los lgicos se
han desinteresado totalmente de los mecanismos efectivos de
la vida mental 3, la psicologa se encontrara, a su vez, en un
atolladero para encontrar en el pensamiento del sujeto el paralelo de las mltiples axiomticas que caracterizan a las diversas lgicas o que permiten fundar de modo formalmente
equivalente una sola y la misma lgica. En lo que respecta a
las investigaciones de los psiclogos sobre la inteligencia y el
pensamiento, se han orientado resueltamente por una va gentica, ya se trate, con la psicologa de la Gestalt [forma, o figura], de intentar reducir las estructuras lgico-matemticas
del sujeto a unas formas elementales de organizacin comunes
a todos los niveles del desarrollo (cf. las tentativas de Wertheimer de reducir el silogismo, etc., a leyes de la Gestalt), o bien,
3 Salvo, tal vez, Gentzen, as como Beth mismo con sus Cuadros
semnticos.
179
con la tendencia a que nosotros estamos vinculados, se procuren explicar tales estructuras por medio de una construccin
progresiva debida a las actividades del sujeto.
En resumen: tanto el psicologismo de Wundt, Erdmann,
Sigwart, etc., que esperaban construir lgicas a base de psicologa, como el logicismo de Marbe, Selz, etc., que queran encontrar en el pensamiento un calco de una lgica preestablecida, se nos aparecen hoy como fases residuales de la indiferenciacin inicial de la lgica y la psicologa. Por el contrario, el
progreso, por un lado, de la lgica axiomtica y, por el otro,
de la ps::ologa experimental est caracterizando un segundo
perodo de la historia de sus relaciones: a saber, en el sentido
de una separacin gradual y, aparentemente, radical. Pues en
la medida en que la lgica se ha orientado hacia el anlisis de
fundamentos y de las condiciones de validez, no poda hacer
otra cosa, verdaderamente, que desligarse de cualesquiera consideraciones de hechos; pero la psicologa estudia el pensamiento en tanto que sistema de hechos, en su contexto causal, y
ello aun cuando el sujeto se confine, en su conciencia, a consideraciones normativas. Por otra parte, en la medida en que la
psicologa se ha orientado hacia tal estudio de hechos, y por
ms que el psiclogo obedezca en sus mtodos a normas y haya
de plegarse a reglas lgicas y matemticas, no poda, recprocamente, sino desligarse de la lgica, ya que ninguna consideracin de validez deductiva basta para zanjar problema alguno
de hechos, que depende exclusivamente de la experiencia.
Sin embargo, es definitivo tal divorcio? No soamos, en
modo alguno, al plantear esta pregunta, con anticipar nada, ya
que la historia de las ciencias muestra suficientemente que la
mayora de las profecas han quedado desmentidas (recurdense las de Auguste Comte, etc.); pero cuando uno se coloca en
el punto de vista de disciplinas que, como la epistemologa, precisan simultneamente resultados lgicos y datos psicolgicos,
contina siendo menester preguntarse cmo coordinar los dos
tipos de anlisis. Por consiguiente, y sin poner en tela de juicio
la separacin, sigue habiendo, a pesar de todo, un problema de
coordinacin;' y en este sentido es en el que hemos de intentar
sacar las lecciones ael despliegue histrico, algunas de cuyas
etapas acabamos de recordar muy esquemticamente.
180
42. Necesidad de una coordinacin.-Habiendo admitido, pues, que el campo de la lgica es el de los fundamentos
o de la validez, y que el de la psicologa es el de la explicacin
causal y gentica, semejante separacin excluye todo conflicto
entre competencias, pero plantea, a su vez, un problema de coordinacin, que es el que vamos a examinar ahora.
I. Partamos de la comparacin, en parte legtima, que introduce E. Zilsel entre las reglas de la lgica y las del juego
del ajedrez. El psicologismo -sostiene as este autor- comete
el mismo error del que sera vctima un jugador que quisiera
decidir qu problemas pueden resolverse o no y cmo resolverlos apoyndose en consideraciones histricas y psicolgicas
que expliquen la formacin del juego del ajedrez. Tiene toda la
razn. Mas una vez admitido esto, sigue habiendo dos clases de
problemas:
1) El jugador de ajedrez acepta el cdigo de las reglas de
juego: tenemos aqu un hecho psicolgico, y no una norma.
Sin ocuparse de la norma misma, que concierne nicamente a
los jugadores, cabe preguntarse por qu la aceptan: el decir
que han aprendido a jugar constituye una primera respuesta,
pero se refiere de nuevo a una cuestin de hecho (podran asimismo haber tenido un conocimiento innato de ella, descubrirla por intuicin directa, etc., soluciones todas de que podemos
prescindir aqu) y, adems, es insuficiente, porque sigue sin
comprenderse por qu el jugador aplica las reglas as aprendidas y las tiene por vlidas: si es por pura convencin, por
obligacin (pero, en este caso, de dnde provendra sta?), etctera. Una vez ms nos encontramos con cuestiones de hechos.
2) Una vez resueltas estas cuestiones (que no son tan sencillas), se plantea necesariamente un segundo grupo de problemas: desde el momento en que las reglas del juego entran
en accin en el comportamiento o en el pensamiento del sujeto,
intervienen en tanto que hechos o causas en el contexto de
tales actos. La cuestin no se halla, en modo alguno, en que
stos incluyan semejantes leyes y sean vlidos, o en que tal
cosa no ocurra; sino que en cuanto el sujeto los reconozca
como vlidos, ipso facto se convertirn en hechos normativos
181
desde el punto de vista del observador: es decir, que, sin ocuparse de su posible validez, ste comprueba que estas normas
modifican la conducta del sujeto en la medida en que ste las
tenga por vlidas. As pues, es indispensable, para explicar esta
conducta, que el observador se pregunte de dnde vienen tales
hechos normativos; cosa que equivale a. preguntarse cmo se
explican las reglas del juego, pero no en tanto que vlidas o
no, sino como reglas modificadoras de la conducta del sujeto.
En primera aproximacin se contestar, naturalmente, que,
puesto que esta institucin particular y limitada no se ha impuesto ni con el carcter sagrado de la religin ni con el carcter imperativo de la moral ni el coercitivo del derecho, ni
siquiera con el de consensus enormemente general de los usos
lingsticos, etc., es preciso, para explicar su xito, que ofrezca
alguna armona o acuerdo con ciertas tendencias bastante constantes de la inteligencia y de la afectividad de los individuos
a un nivel determinado de su desarrollo: por ejemplo, el ajedrez satisface cierta tendencia combinatoria, acerca de la cual
habra que determinar todava si en s misma es innata o
adquirida, y, en este ltimo caso, si la adquisicin se realiza
por experiencia individual o por transmisin social.
En una palabra, si se trata de construir la lgica o el lgebra del ajedrez, la psicologa y la sociologa (y, por tanto, en
general, la historia) carecen de competencia, y pretender lo
contrario sera caer en un abusivo psicologismo, puesto que
sera confundir los hechos con las normas. Por el contrario,
si se quiere edificar una filosofa o una epistemologa del ajedrez, esto es, situarlo en las relaciones entre las actividades
del sujeto y la realidad o las realidades (fsica, social, etctera), las cuestiones de hechos son tan importantes como las
de validez o de derecho, y sera caer en el exceso contrario
atribuir al lgico o al matemtico del ajedrez la competencia
necesaria para zanjar tales cuestiones; pues los datos psicosociolgicos son entonces tan pertinentes como las consideraciones normativas.
Dicho esto, volvamos a las relaciones entre la psicologa y
la lgica o las matemticas. En caso de que se trate de saber
si es verdadera una demostracin o es vlido un sistema axiomtico, y, sobre todo, de por qu son -respectivamente- ver-
182
Ayer.
183
Los problemas que plantea esta hiptesis se reducen, entonces, a dos principales: 1) cmo tiene acceso el sujeto al mundo de las Ideas? (que es un problema de hechos, y ya no de
normas), y 2) cmo comprobar la hiptesis de la existencia
de semejante universo sin referirse a una solucin dada del
problema 1), es decir, sin referirse a problemas de hechos?
Para resolver el problema 1), que es el de la naturaleza de
la reminiscencia platnica, se apela, ya sea a diversos tipos
de intuiciones puras, ya a lo que B. Rusell llamaba, en la
primera fase de su carrera, la concepcin (frente a la percepcin); o bien se limita uno a decir que el matemtico
descubre las nuevas verdades en lugar de inventarlas. En
cualquier caso, es obvio que se suscitan problemas psicolgicos
(sobre los que volveremos ms tarde); mas cabra pensar que
si bien interesan a los matemticos en cuanto sujetos individuales, son ajenos a los problemas epistemolgicos, ya que la
validez de una intuicin, una concepcin o un descubrimiento
no dependen de su interpretacin psicolgica; no obstante lo
cual, con el problema 1) se plantea una cuestin de coordinacin entre norma y hecho: cmo se puede saber si el proceso
real de descubrimiento ha bastado o no para alcanzar el universo de las verdades permanentes? Si semejante cuestin no
consiste ms que en decidir entre la validez o la falta de validez
de d descubrimiento, el proceso psicolgico no entra en
juego, pero entonces no se tiene derecho a hipostasiar la verdad descubierta situndola en un mundo de Ideas; pero si,
por el contrario, se admite la hipstasis, cmo es posible dar
cuenta del contacto entre el mundo de las Ideas y ese sujeto
de carne y hueso que es su inventor o descubridor? Dicho
de otro modo, cmo se puede saber que aquel proceso mental
basta para establecer el enlace y no proporciona simples aproximaciones ms o menos lejanas?
Con lo cual llegaremos al problema 2): para pasar del dominio de la pura validez (problema lgico) al de las hiptesis
sobre la permanencia de las Ideas (problema epistemolgico
que involucra un' aspecto ontolgico) no basta con utilizar las
reglas de validez lgicomatemticas, que se refieren a la deduccin y no afectan a las cuestiones de existencia ms que en un
184
sentido limitativo. En efecto: cuando un lgico o un matemtico confiere existencia a un ente abstracto, los criterios que
puede emplear son, por orden de fuerza creciente, la simple
no contradiccin, la pertenencia a una clase, una decisin, una
construccin en el sentido de Brouwer o una intuicin a priori
tal como la entiende Poincar; y en lo que se refiere a las axiomticas que empleen alguna lgica de orden superior, hay que
aadir las condiciones relativas a la distincin entre modelos
tpicos y atpicos, as como a la categoricidad; pero, como ha
hecho observar P. Bernays, estas formas de existencia garantizadas por el formalismo o por la actividad deductiva no son
sino bezogene, esto es, relativas a la existencia de cierto marco en que se encuadran y condicionadas por l; pero en lo que
se refiere a la existencia del marco mismo, no depende de teoremas de existencia asentados por los mtodos de una axiomtica formal, sino que plantea problemas epistemolgicos. As
pues, es preciso distinguir cuidadosamente de los problemas
formales de existencia el que podramos llamar problema de
las zonas o esferas de realidad, que consistir en distinguir,
dentro del conjunto de realidades conocidas (realidad fsica,
social, subjetiva, etc.) o concebibles (mundo de las Ideas) la
que quiera caracterizarse y a la que se quiera dotar de existencia como apoyo de demostraciones vlidas. A este respecto,
el mundo de las Ideas no tiene significacin ms que en cuanto
distinto del universo fsico, del de las actividades del sujeto,
del de las convenciones lingsticas, etc., cosa que sita el
problema ms all de las cuestiones de validez deductiva o
constructiva. Ahora bien, cada uno de estos otros universos
no puede alcanzarse ms que a travs de la mediacin de
unos procesos mentales perfectamente caracterizados (la percepcin, el lenguaje, etc.), cuyo conocimiento de hecho (y, por
tanto, psicolgico) y cuya crtica son indispensables para que
pueda elaborarse su epistemologa; con lo cual hay que optar
entre dos posibilidades: o bien el mundo de las Ideas tampoco
es accesible ms por mediacin de ciertos procesos mentales,
y hay que estudiarlos para estar seguro de que se diferencian
de los precedentes (por ejemplo, para distinguir la intuicin
pura de las intuiciones empricas, etc.), cosa que nos retro-
185
186
187
2)
3)
4)
s De acuerdo con la distincin que hemos introducido entre el sujeto y .el objeto, cabe atribuir a ste varios tipos diversos de existencia;
en cuanto al objeto en s mismo, puede, por otra parte, corresponder a
muy variados tipos de ella, (fsica, platonista, etc.). Por consiguiente, la
atribucin al objeto de un tipo de existencia, cualquiera que ste sea,
supone una eleccin dentro de un conjunto de tipos posibles; de suerte
que, lo mismo que sucede con S y con F, el sistema E corresponde a un
conjunto sistematizado.
188
189
a) Toda afirmacin de F es independiente de las afirmaciones de S, y ningn problema que se encuentre en S constituir asimismo problema en F; lo cual es repetir una vez
ms que los datos de hechos son incapaces de intervenir en el
dominio lgico-matemtico.
b) Toda afirmacin y todo problema de F, por el contrario,
dan lugar a un problema de S, pero la solucin en este ltimo
sistema de estos problemas no puede obtenerse ms que por
los mtodos propios de S, y no por los deductivos mtodos de F.
El que. todo problema o afirmacin de F constituya un
problema de S proviene del hecho de que, por alejada que se
encuentre la construccin lgico-matemtica del pensamiento
natural de los sujetos no lgicos profesionales, tiene por
asiento -como mnimo- o por creadores -como mximocierto nmero de cerebros individuales de sujetos llamados
Cantor, Frege, Beth, etc.; y, en consecuencia, por especializada que sea la afirmacin de F que queramos, suscitar el
problema de su comprensin por sus sujetos y sus lectores, el
del mecanismo de su descubrimiento, el de la forma en que
los sujetos lleguen a sentirse obligados por las normas, etctera. Pero los problemas de este modo planteados en S no dan
lugar, por su parte, a problemas de F, ni pueden resolverse
por los mtodos de este ltimo sistema. Y al revs, es evidente
que si en S se ataca un problema suscitado por F, es necesario
que, para respetar los datos mismos del problema, las afirmaciones de S sean compatibles con las afirmaciones de F.
e)
190
191
Por tanto, es necesario coordinar las cuestiones de hechos de S y las normativas cuestiones de F, coordinacin que
est garantizada por las reglas a) y b), que bastan para eliminar todo conflicto (es decir, el psicologismo en lgica y el
logicismo en psicologa). Puntualicemos, sin embargo, la finalidad que se quiere lograr mediante tal coordinacin.
f) Se trata de reunir los datos de hechos referentes a la
actividad del sujeto (S) y a la existencia del objeto (E) de
forma tal que no solamente sea compatible con la validez normativa de la relacin cognoscitiva (F), sino que tambin explique cmo pueden imponerse de manera necesaria al sujeto
(considerado en el nivel de su desarrollo en que sea apto para
asimilarlas) las normas aplicadas en F al objeto.
Con otras palabras: la coordinaciD de las cuestiones de
hechos y las normativas equivale a situar el conocimiento deductivo F en un marco de relaciones entre el sujeto y el objeto,
sin desnaturalizar tal conocimiento, pero explicando la posibilidad de que funcione desde los puntos de vista de las actividades del sujeto (si bien quedar abierto el problema de
saber si estas ltimas desempean o no un papel formativo)
y de la ndole ontolgica del objeto (sj bien quedar abierto
el problema de saber si ste se confunde con uno de los aspectos del sujeto o si le es exterior, en el grado que sea: en un
universo sensible, social, lingstico, ideal, etc.).
Creemos que de este modo se respeta la autonoma de la
lgica y de la psicologa, y a la vez se garantiza la coordinacin de sus resultados en el terreno de la epistemologa, cuyo
problema consiste precisamente en explicar cmo son posibles
los diversos tipos de un conocimiento (posibles en el doble
sentido de su validez normativa y de su funcionamiento en lo
real). Por tomar un ejemplo trivial: si bien la verdad de
2+2=4 no es un dato de hecho, sino de demostracin lgica,
no por ello el problema epistemolgico deja de seguir estando
sin resolver cuando se contenta uno con mostrar por qu es
vlida la demostracin; pues es preciso, adems, saber qu
son o qu designan los smbolos 2, 4, + y =, as como
qu es lo que hace el sujeto para someterse a la necesidad normativa de esta demostracin; y decir que estos smbolos son
192
193
l. Un hecho fundamental, que complica -o simplifica, segn las interpretaciones- las cuestiones de coordinacin entre
las investigaciones normativas del lgico y las experimentales
del psiclogo, es que los hechos de conciencia llevan siempre
consigo un aspecto normativo cuando se los mira desde el
punto de vista del sujeto, por muy ingenuo que sea ste y
alejado que se halle de las normas de la lgica cientfica o
formalizada. Colocndonos ahora -es decir, en el presente
apartado I- en el punto de vista sincrnico, o sea, sin indagar
por el momento de dnde provengan las normas del sujeto
(por transmisin educativa y lingstica, innatividad, adquisicin individual, etc.), con lo cual quedarn abiertas todas las
hiptesis al respecto, comprobarnos, simplemente, que todo
sujeto normal pensante y parlante -es decir, acerca de cuya
introspeccin podamos informarnos (frente a lo que ocurre
en los niveles sensorio-motores, anteriores al lenguaje)- construye inferencias y comprende las de los dems, y evala unas
y otras corno verdaderas o falsas, no solamente en lo que respecta a su acuerdo con lo real, sino desde el punto de vista de
cierta coherencia interna (no contradiccin).
Desde la ptica del observador, estas actitudes normativas
del sujeto son hechos como cualesquiera otros, que no tiene
por qu evaluar, sino que advertir y explicar. Por consiguiente,
con objeto de evitar las posibles confusiones entre las normas
y los hechos, vamos a hablar de hechos normativos para designar las comprobaciones de hecho (desde el punto de vista
del observador) acerca de estados de conciencia o de conductas que conlleven un aspecto normativo mirados desde el sujeto.
Una segunda observacin esencial, sobre la cual conviene
insistir para precisar los mtodos de anlisis que vamos a utilizar, es la de que, contrariamente a lo que ocurre con los hechos de comportamiento, los de conciencia no caen dentro de
la mayora de las categoras habituales, aplicables a la realidad
fsica, corno son las de substancia, espacio, movimiento, fuerza, etc., ni, dicho de un modo general, la de causalidad. Pues
si bien tales hechos se despliegan en el tiempo, no cabe decir,
sin embargo, que sean unos causas de otros, ya que se entra13
194
195
196
197
los una (as, AC, CB, BE, EA) se habr andado tanto de A a E
como de E a A si es que el mvil ha partido de A y se encuentra
al final en este mismo punto. As_ pues, el grupo a base de operaciones mentales (incluso unas tan simplificadas como son los
trayectos recorridos sobre una recta) es una cosa enteramente
distinta que el grupo de acciones. Y, por fin, es preciso esperar
a que se constituya un escaln superior de operaciones (de los
once a los doce aos) para que pueda resolverse un problema en
el que intervengan movimientos relativos: por ejemplo, los desplazamientos de un caracol sobre una tablilla y de sta con respecto a una referencia inmvil, A (as, prever la posicin del
caracol con respecto a A si se desplaza de izquierda a derecha
20 centmetros sobre la tablilla, mientras que sta se desplaza
de derecha a izquierda otros 20 centmetros, etc.).
En una palabra, cualquier estructura (e incluso, en un caso
particular, una representacin muy sencilla y limitada del subgrupo de las traslaciones sobre una recta) no se constituye ms
que muy gradualmente, y es preciso reconstituirla otra vez desde el principio en tres escalones sucesivos al pasar del plano
de las acciones (desplazamiento del propio cuerpo) al de las
operaciones con un solo sistema de referencia y al de las operaciones con dos sistemas combinados.
Est claro, pues, que una psicologa de las conductas que se
vea as obligada a colocarse en una perspectiva gentica se encontrar, por ese mismo hecho, frente a problemas de explicacin causal. Por ejemplo: cmo se puede explicar que aquellos
desplazamientos sensoriomotores tiendan hacia una estructura
que involucre la composicin directa de los desplazamientos
(AB + BC = AC, no estando ABC en lnea recta), una composicin inversa (retornos) y una asociativa (rodeos)? Es innata
tal estructura (acabamos de ver que no lo es)?; y si no lo es,
es asimilable a una simple sumacin de experiencias fsicas o
procede de una equilibracin progresiva de coordinaciones sensoriomotrices? Por qu, una vez adquirida tal estructura, no
se impone de golpe al pensamiento en cuanto ste es capaz de
imaginar los desplazamientos? Cmo se reconstruye en el plano del pensamiento, y por qu semejante reconstruccin exige
una reelaboracin de las intuiciones ms elementales? (por
ejemplo, entre los cuatro y los cinco aos ni siquiera hay seguri-
198
199
200
201
202
A.
204
la ndole ontolgica de este ltimo. Por ejemplo, en lo que concierne a las estructuras matrices en el sentido bourbakista, la
cuestin sobre la que la psicologa puede aportar algo es la de
determinar si tales estructuras corresponden a estructuras mentales generales de los mecanismos operatorios del sujeto o si
no se deben ms que a una elaboracin tcnica reciente. Pero
si son naturales, en el sentido de arraigadas ms o menos
profundamente en la actividad del sujeto, queda todava la
cuestin de esclarecer cmo se desarrollan genticamente: ya
sea en funcin de las condiciones internas de esta actividad (y
decimos deliberadamente actividad, oponindola a toda experiencia introspectiva), ya de experiencias diversas (fsicas, etctera), del lenguaje, etc. As pues, son los datos genticos los
que, una vez coordinados con los requisitos normativos del
lgico y el matemtico -vase el 42 del captulo 7, reglas e,
e y f-, pueden servir para elucidar el problema de su ndole
ontolgica (dominio E del 42) y epistemolgica (relaciones
SE, SF y FE).
44. Las estructuras matrices de Bourbaki.-Preparado
por los descubrimientos de E. Galois acerca de la nocin de
grupo, por el clebre programa de Erlangen, de F. Klein, en
cuanto a la geometra, y por gran nmero de otros trabajos, la
tarea realizada por la escuela Bourbaki en orden a sacar a luz
la arquitectura de las matemticas ha consistido en presentar stas de modo que reposen sobre un nmero no deductible
a priori de estructuras fundamentales o estructuras matrices,
y que puedan estar engendradas por un doble movimiento de
diferenciacin interna de las estructuras y de combinaciones
entre ellas, o entre ciertas subestructuras de una y ciertas otras
de otra. Salta a la vista el inters de tal tentativa por lo que se
refiere a los problemas psicolgicos suscitados por la existencia de las matemticas; cosa que sucede desde tres puntos de
vista: 1) el de recurrir al concepto de estructura, que plantea la cuestin de una posible comparacin con las estructuras
mentales; 2) el de la nocin de una filiacin matemtica de las
estructuras, que plantea la posibilidad de compararlas con las
filiaciones genticas, y 3) el del mtodo empleado para descubrir las estructuras (antes de justificarlas axiomticamente),
205
206
Semejante anlisis regresivo ha sacado a luz -hasta ahoratres estructuras fundamentales, que resultan ser irreductibles
entre s, y a las que se llama estructuras matrices, ya que de
dlas cabe derivar todas las dems actualmente conocidas; son
:as que siguen:
1) Las estructuras algebraicas, cuyo prototipo es el grupo,
caracterizado ante todo por el hecho de que si estn dados dos elementos x e y (en este orden) del sistema,
queda determinado unvocamente un tercer elemento,
z, en virtud de una operacin, rr, que los rene:
x 1r y = z. A lo cual se aaden la asociatividad, el elemento neutro, e, y la inversin, x 1r - l x = e.
2) Las estructuras de orden, entre las cuales, como tipo
importante, se destaca el reticulado o lattice, que se
refiere a las relaciones x R y (siendo x, como mximo,
igual a y). Ahora no se supone que los dos elementos,
x e y, determinen unvocamente un tercero, sino que
se tienen: x R x; x R y juntamente con y R x entraa
x = y, y adems, x R y e y R z entraan x R z; en cambio, no queda excluido de las estructuras de orden el
caso en el que dos elementos, x e y, sean incomparables
(por ejemplo, si R significa est contenido en).
3) Las estructuras topolgicas se refieren a los conceptos
de entorno, lmite y continuidad.
Cabe, pues -por ahora-, derivar de estas tres estructuras
matrices todas las dems, por diferenciacin o por combinacin. Aqulla consiste en limitar la generalidad de las estructuras matrices enriquecindolas con axiomas adicionales, cada
uno de los cuales aportar su cosecha de nuevas consecuencias (pg. 43 [vers. cast. cit., pg. 45]); y la combinacin consiste en construir estructuras (a las que se puede denominar
mltiples) por interferencia de dos estructuras matrices, si bien
no yuxtapuestas, sino ajustadas orgnicamente mediante uno o
varios axiomas que las enlacen: por ejemplo, el lgebra topolgica y la topologa algbrica.
Finalmente, se llega a las teoras particulares de la mate-
207
208
209
210
* El trabajo de J. Piaget se ha publicado, con el ttulo de Las estructuras matemticas de la inteligencia y las estructuras operatorias>>, en
la obra de PIAGET et al., L'enseignement des mathmatiques (Delachaux
et Niestl), vertida al castellano c:nn Pl tt1lo np La enseanza de las
matemdticas (Madrid, Aguilar, 1963). (N. del T.)
211
212
se observan en el campo de las variedades figurativas del conocimiento (salvo en lo que respecta a las formas evolucionadas
de la intuicin geomtrica cuando el aspecto figurativo se subordina al operativo). En cuanto a las variedades de conocimientos vinculadas a la accin o a las operaciones, conducen casi
siempre a sistemas de conjunto caracterizados por las respectivas leyes de totalidad, pero tienden hacia formas de composicin aditivas y reversibles.
Por ejemplo, a todos los niveles del desarrollo se encuentran conductas clasificatorias, bien en estado diferenciado, bien
de modo tal que las clasificaciones sean inherentes a otras
formas de accin: de suerte que el sujeto, o repartir los
objetos en colecciones distintas, o actuar sobre ellos de la
forma que sea (cogerlos, mecerlos, etc.), pero de modo que
tales acciones supongan tambin una clasificacin (por ejemplo, entre los objetos que se puedan y los que no se puedan
coger, etc.). Ahora bien, cualquiera que sea el nivel, es evidente que las unidades clasificatorias -evitemos decir desde
un comienzo clases, ya que durante largo tiempo se trata de
clases mal organizadas o preciases- no existen independientemente unas de otras, y que se cuenta ya con un sistema,
cualquiera que sea su grado de imperfeccin o de elaboracin.
As, ya al nivel sensorio-motor es posible apreciar la existencia
de tales sistemas, por ejemplo, sin ms que presentar un objeto
nuevo a un nene de ocho a diez meses; ste agarrar el objeto,
lo chupar, lo sacudir (para ver si se produce un sonido),
lo frotar contra el borde de la cuna, etc., como si para comprender su naturaleza el sujeto lo incorporase sucesivamente
a las categoras o esquemas de acciones posibles; ahora bien,
tales esquemas sostienen entre s mltiples relaciones estructurales del tipo de las siguientes: todo lo que puede agarrarse
puede verse, pero la recproca no es cierta; todo lo que puede
orse puede mirarse, pero tampoco es cierta la recproca; hay
objetos que cabe agarrar y or a la vez, otros que poseen la
primera propiedad pero no la segunda, otras sta sin aqulla
y otros ninguna de las dos; dicho sucintamente, existe un esquematismo de la accin sensorio-motriz que conlleva cierta
estructura clasificatoria, por elemental que sea. En niveles pos-
FORMAL Y EL
PENSA~ITENTO
REAL
213
teriores se aaden a ella cierto nmero de clasificaciones diferenciadas, consistentes en repartir los objetos en colecciones
en el espacio, con encajamientos sucesivos, intersecciones, etctera; y cabe seguir los progresos de estas clasificaciones de
tipo aditivo simple (reuniones y encajamientos) o multiplicativo (tablas de doble entrada, que obedezcan a la vez a dos criterios). Y tambin a todos los niveles estas clasificaciones presentarn leyes estructurales de conjunto, siendo posible comprobar que su organizacin tiende cada vez ms a presentar
dos cara.cteres generales, cierta aditividad (A+A' =B, etc.) y
cierta reversibilidad (B- A' =A, etc.), que hacen a estos sistemas ms mviles y, sobre todo, ms inteligibles que simples
Gestalten.
Lo mismo podra decirse de los sistemas de relaciones. Pues
a partir del nivel sensorio-motor el nio es capaz de apilar
formando una torre una serie de fichas, A, B, C, ... , de tamao
decreciente (A>B>C ... ), cosa que constituye un modelo de
seriacin dentro de las acciones prcticas (sin representacin);
luego, estos esquemas se reelaboran en el plano de la representacin concreta: ya a los cinco aos el 50 por 100 de los
sujetos, antes de actuar, son capaces de dibujar la forma que
tendr la escalera resultante cuando se les pide que coloquen
una serie de regletas por orden de tamao creciente. Tras de
lo cual vienen las sedaciones operatorias de que hablaremos
en el apartado 2) y en el 46 5
Las correspondencias biunvocas, etc., dan lugar asimismo
muy precozmente a estructuraciones, ya sea bajo la forma de
correspondencias cualificadas (por ejemplo, que A corresponda a A', B a B', C a C', etc., porque cada una de tales parejas
se caracterice por una cualidad comn, o bien que A<B<C ...
corresponda a A'<B'<C' ... ), ya bajo la de correspondencias
Cualesquiera (en las que a una unidad corresponder otra
con independencia de en qu consistan).
2) Ahora bien, estos sistemas no solamente presentan leyes
de totalidad en cuanto sistemas (primera condicin para la existencia de estructuras), sino tambin (segunda condicin) otras
5
INHELDER y PIAGET,
214
215
X~-+
~-+
Z V Y~--+ Z).
Por consiguiente, la relacin -+ puede leerse est contenido en, y, en la medida en que ~---+ indique equivalencia, es
una relacin de orden parcial. La relacin -+! puede leerse est
contenido inmediatamente en.
El sistema (M, --+, +, -) constituir un agrupamiento en
caso de que se satisfagan las siguientes condiciones:
(Refl)
X-+ X
X+(Y+Z)~--+(X+Y)+Z
X+ Y~--+ Y +X
X--+Y .=> .X+Z--+Y+Z
X--+ Y. -X+ Y~--+ Y
6 Vase J. B. GRIZE, Du groupement au nombre, essai de formalisation, en tudes d'pistmologie gntique, vol. XI, en especial las pginas 72-81.
7 Valindonos de los signos lgicos siguientes: - (negacin), e (implicacin [material]),
(equivalencia), A (conyuncin), y (adyuncin),
( ) (cuantificador universal), (E) (cuantificador existencial) y E (perte.
nencia).
216
(G6)
Y~
+,
X+ (Y-X).
litarlo demasiado.
(G1)
X~1Y.:::>.X~Y-(Y-X).
217
Relaciones
Aditivos .........
asimtricos.
simtricos.
I
II
V
VI
Multipli-
cativos .......
counvocos.
biunvocos.
III
IV
VII
VIII
218
219
220
se trata de la forma de reversibilidad propia a los agrupamientos aditivos de clases, pues +A -A=O: esto es, si a una clase, X, el sujeto empieza por aadir la clase A y despus la separa, ello equivale a no aadir ni retirar nada. Con lo cual viene
a decirse que en el caso de la reversibilidad por inversin la
composicin de las operaciones directas y de las inversas correspondientes conduce al elemento neutro (o idntico general)
del sistema, o sea, a la clase nula o vaca cuando se trate de
los agrupamientos aditivos de clases (+A- A=O).
En cuanto a la reversibilidad por reciprocidad, es la propia
de los sistemas aditivos de relaciones. Vamos a describirla
desde el punto de vista del sujeto, sin preocuparnos por sus
usos lgicos, ya que se sigue tratando de estructuras naturales; y luego indagaremos cules son sus analogas con las
estructuras bourbakistas. Vamos a distinguir, adems, la reciprocidad de las relaciones mismas de la correspondiente a las
operaciones que las afecten.
En lo que se refiere a las relaciones mismas, hemos de decir
primeramente, de modo general, que consiste, ya en permutar
los trminos de una relacin, A<B, ya en invertir sta (pasar
de <a>), ya en ambas cosas; de ah que se tengan tres formas
de reciprocidad:
R (A<B) = B<A
R' (A<B)=A>B
R" (A < B) = B > A
(A< B)
+ (B <A)== (A = B)
(2)
(3)
(A<:B)
(A<B)
+ (A>B)=:(A = B)
+ (B>A)=(A<B)
dem
221
a~ a'~
b', etc.
signo -
De donde
(7)
222
223
Por ejemplo, si recorto de entre los seres vivos, Z, una especie determinada, A, y hago luego abstraccin de esta clase,
sus miembros (sin especificar ms) no son ya sino unos Z.
Por el contrario, al hacer abstraccin de una relacin asimtrica entre dos trminos me limito a considerarlos como
trminos de una relacin no especificada:
A(a)B: (a)=A(x)B, siendo (x)=una relacin no especificada.
As pues, en el caso de las clases suprimo una clase, y en
el de las relaciones lo que elimino es la especificacin de una
de ellas, pero conservando en ambos casos los elementos que
estuvieran enlazados por tales clase o relacin; mas no por
ello deja de suceder que cuando se trata. de clases la composicin lleva al elemento, a una absorcin en el elemento ms
general del sistema (como sucedera con la absorcin A+Z=Z),
mientras que en el caso de las relaciones la composicin no es,
en definitiva, sino un hacer abstraccin.
II. Por consiguiente, tanto desde el punto de vista aditivo
como del multiplicativo (si bien en ste menos claramente),
existe una diferencia de naturaleza entre las estructuras de
clases y las de relaciones, cuando se limita uno a considerarlas
en lajngenua forma que revisten en los comportamientos del
sujeto: por ejemplo, en las clasificaciones y las seriaciones
(esto es, en los comportamientos ms elementales, cuyos comienzos se observan con anterioridad al lenguaje). Sin que
decidamos an, por el momento, hasta qu punto corresponder esta dualidad de las estructuras iniciales a la de las estructuras matrices que Bourbaki llama algebraicas y de orden,
percatmonos de tres hechos importantes en el desarrollo psicolgico de aquellas dos estructuras de partida:
1) Mientras se trate de manipular objetos en funcin de
sus propiedades cualitativas, o proposiciones consideradas desde el punto de vista de su contenido cualitativo (sin operaciones interproposicionales), las dos estructuras que nos ocupan,
cuyas formas de reversibilidad son la inversin (clases) y la
reciprocidad (relaciones), se mantienen separadas hasta llegar
224
225
q,
(p. q).
15
a la
logique de
226
formularlas: como hemos dicho insistentemente en el apartado I del 45, las estructuras de que aqu hablamos no existen
como conceptos definidos y distintos en la conciencia del
sujeto, sino que nicamente constituyen los instrumentos de
su comportamiento; as pues, es el observador, y no el sujeto,
el que las advierte y las formula por referencia a un modelo.
En el caso particular de p :> q, p. {j, q :> p y p. q, el observador
comprobar, por ejemplo, que el sujeto, cuando se encuentre
ante una situacin causal compleja, plantear dos tipos de preguntas: a) si el hecho x entraa el hecho y (cosa que frecuentemente traducir l mismo valindose de dos proposiciones,
las que designamos con p y q, enlazadas por las palabras
S (p), se tendr (q)), y para averiguarlo indagar en este
caso si aparece o no un contraejemplo, x y no-y, o sea p. q;
b) tambin se preguntar si es .x el que entraa y o, al revs,
es y el que entraa x (cosa que en nuestra notacin ser
p => q o q :> p?), e igualmente tratar de someter a examen
la hiptesis Si q, p viendo si no existe ningn contraejemplo,
y y no-x (luego p. q ), pero comprendiendo que la combinacin p. 1 excluye a q :> p y es compatible con p :> q, de la misma forma que p . q excluye a p :> q, pero se compadece con
q :> p. En una palabra, los pasos mismos que dar en su indagacin (acompaados de razonamientos verbales) traslucirn
que utiliza dos procesos reversibles combinados entre s: la
inversin (o negacin) y la reciprocidad.
Ahora bien, este nuevo hecho es fundamental. Pues hasta
llegar a este nivel del desarrollo no era posible detectar en
el comportamiento del sujeto ms que estructuras limitadas a
la reversibilidad, ya fuese de la inversin (agrupamiento de
clases), ya de la reciprocidad (agrupamientos de relaciones);
pero con la aparicin de la combinatoria proporcional vemos,
en cambio, que se elabora una estructura compleja 10 , que
rene en un solo sistema los dos tipos de composicin, hasta
entonces separados. En qu consisten, entonces, las leyes de
este sistema?
10 Y genticamente derivada de las anteriores, ya que la combinatoria no es ms que una generalizacin de la vicara, generalizacin
cuyos progresos pueden seguirse a la vez en varios campos indepen-
dientes (clasificacin, combinaciones de objetos, de hiptesis, etc.).
227
Vamos a describirlas primeramente (para que se nos entienda bien) en el lenguaje de las funciones proposicionales; y ms
tarde trataremos de encontrar a qu corresponder la estructura descrita as, en trminos abstractos, dentro del campo de
la conducta del sujeto.
Sea un funtor cualquiera: por ejemplo, p :J q, cuya forma
normal adyuntiva es p . q V p . q Vp..q. Llamaremos inversin,
N, a la transformacin que lleve a su negacin, N(p :Jq) =p. q;
la reciprocidad ser la transformacin, R, que consista en negar las proposiciones elementales que intervengan en su forma
normal, pero conservando sin alteracin los funtores (.) y (V),
de suerte que se tendr R(p :J q)=Jl. q V p. qV p. q=q :J p; llamaremos correlatividad, C, a la transformacin consistente en
permutar los (.) y (V) de la forma normal, dejando intactas
sus proposiciones elementales, con lo cual tendremos que
C(p:Jq)=(pVq). (pVq). (pVq)=p. q; y,porfin,llamaremos identidad, 1, a la transformacin que no altere la expresin
que consideremos: I(p :J q)= p :J q. En este caso obtendremos:
228
229
230
231
232
233
~esis
2)
3)
Las condiciones de estas relaciones en las estructuras M son lo que nosotros llamamos leyes de composicin, que caracterizan la estructura G como sistema
de conjunto; ejemplos: la reversibilidad por inversin
( +A-A=O) de las estructuras de clase, y por reciprocidad de las de relacin.
234
:5) Es necesario, en consecuencia, suponer que la abstraccin a partir de las acciones y operaciones -a la que llamaremos abstraccin reflectora- es distinta de la abstraccin a
partir de los objetos percibidos -a la que llamaremos abstraccin emprica (en la hiptesis de que los objetos no perceptibles sean producto de ciertas operaciones)-, en el sentido de
que la primera tiene forzosamente que ser constructiva. En
efecto: frente a lo que sucede con la emprica, que consiste
16 De acuerdo con los trminos empleados por J. Dieudonn en el
simposio de Melun sobre las estructuras matemticas y las estructuras
mentales (el mencionado en el 45).
235
236
damente cuanto ms primitivo y automtico sea su uso en la
accin -en el sentido de que no encuentre obstculos, mientras que se adquiere conciencia de las cosas con ocasin de las
desadaptaciones-. Por ejemplo, la correspondencia biunvoca,
tan elemental en la accin, no ha entrado en la esfera de lamatemtica como concepto objeto de reflexin y operatorio ms
que con G. Cantor; la estructura de grupo, que entra en juego
ya en el nivel sensorio-motor, no sali a la luz sino con E. Galois, etc.
2) La toma de conciencia de a~go no consiste en proyectar
una luz interior que se limitase a iluminar una construccin
terminada, sino que, como hemos visto, supone que se produzca una reconstruccin, que exceder, integrndola, la estructura de la construccin anterior, objeto as de reflexin.
Queda, pues, eliminada la posibilidad de que el paso de una
estructura natural a unos entes matemticos se reduzca a una
simple introspeccin; y el inventor de tales entes puede perfectamente ignorar que los saca del pensamiento natural, ya
que se contenta con construirlos utilizando ciertas estructuras,
hasta aquel momento inconscientes, de su propio pensamiento
(pero sin plantear la teora de semejante utilizacin).
En segundo lugar, la explicacin de las creaciones matemticas a partir de las actividades del sujeto se interpreta, por
lo general, demasiado rpidamente en un sentido idealista,
como si el sujeto fuese separable de los objetos a que se refiera
su actuacin, por ms que nicamente constituya uno de los
polos de un sistema de interacciones, en cuyo interior sujeto
y objeto son interdependientes. No es ste el momento de estudiar tal problema, sobre el que hemos de volver (en el captulo 12), pero conviene sealar desde ahora que si bien la explicacin gentica no conduce necesariamente al empirismo, tampoco lleva forzosamente a un apriorismo idealista.
B.
Si realmente existen las estructuras naturales G, y si constituyen el punto de partida de las estructuras M en el sentido bourbakista, se sigue cierto nmero de consecuencias en
lo que respecta a los problemas de la evidencia, a las mltiples formas de intuicin e, incluso, a las cuestiones relativas a
la invencin y el descubrimiento.
49. La evidencia, sus variaciones y la necesidad lgica.Al final del captulo 6, Beth hace dos clases de observaciones
que podemos tomar como punto de partida. La primera se
refiere a la multiplicidad de las formas de la experiencia: junto
a la experiencia emprica, que no interviene en la matemtica
pura, existen otras especficamente matemticas, que quedan
integradas en los recursos intelectuales del investigador de la
misma forma y con iguales ttulos que las experiencias que
tenga en otros dominios; por ejemplo, el inventor que e:o
acostumbrado a tratar ciertas clases de problemas de acuerdo
con un mtodo determinado atacar una cuestin nueva en funcin del hbito as adquirido. Desde nuestra perspectiva, tales
experiencias forman parte de la experiencia lgico-matemtica, que conviene oponer a la experiencia fsica, dado que
la abstraccin que les es propia revierte sobre las acciones mis-
238
239
240
241
242
243
Una regulacin progresiva debida a la maduracin interna del sistema nervioso: por ejemplo, la coordinacin de la vista con la prehensin, la adquisicin de la
marcha, etc. (todo ejemplo concreto conlleva, por otra
parte, una intervencin parcial del factor 2), en cuanto
que el papel del ejercicio se aade al de la maduracin).
2)
3)
Una adquisicin en funcin del lenguaje y de las transmisiones educativas o sociales: por ejemplo, la adquisicin de la numeracin hablada.
4)
244
245
246
de todas las estructuras -con las evidencias que conllevenen una coordinacin inicial de las acciones, que las contendran
en potencia, pues el desarrollo natural se efecta, segn hemos
dicho ya insistentemente (en el captulo 7, 43, y en el captulo 8, 46 ), por medio de una serie de reconstrucciones que
exceden lo reconstruido; de modo que, si bien no existen comienzos absolutos en la construccin de las estructuras, no
por ello podr decirse que las ms primitivas contengan a todas
las que las hayan de suceder. Por ello, no cabe duda de que
las primeras estructuras observables en la coordinacin de las
acciones se remontan, sin duda alguna, a ciertas estructuras
inscritas en el sistema nervioso: en un artculo clebre, McCulloch ha hecho ver, por ejemplo, que las conexiones neuronales
presentan un estructuracin que se puede expresar a base de
funtores proposicionales y del lgebra de Boole; pero esto no
quiere decir, en modo alguno, que el cerebro contenga antici
padamente las estructuras que se construyan a lo largo del
desarrollo: stas se Construyen en el sentido propio del trmino; esto es, unas estructuras ya elaboradas en un plano
inferior, y relativamente pobres, se reflejan en un plano
superior, enriquecindose entonces merced a funciones nuevas
que se integran a las estructuras anteriores. En cuanto a las
estructuras de partida, si es que son innatas, hacen reaparecer
el mismo problema en el campo de la construccin biolgica.
50. Invencin y descubrimiento.-Tanto el problema de
las estructuras como el de la adquisicin de las evidencias conducen a la cuestin de la naturaleza de la invencin matemtica; cuestin que ha intrigado desde hace largo tiempo a los
psiclogos, pero -como hace notar Beth- sin que la hayan
aclarado mucho. Tal vez sera necesario esperar, antes de hablar de ella, a que se haya formulado la tipologa objetiva de
los matemticos que desea Beth (vase el final del 30), pero
nos parece que el punto de vista gentico lleva, por lo menos
a plantear el problema en trminos algo renovados, en el sentido de que sugiere la posibilidad de que haya un tertium quid
entre la invencin (o libre creacin) y el descubrimiento (o contacto imprevisto con una realidad exterior al sujeto).
Observemos, ante todo, que la doble dicotoma acerca de
247
la cual insiste Beth en los 27 y 39 (all, la heurstica y la demostracin; en ste, plantear un problema y resolverlo) corresponde enteramente a los tres momentos de todo acto de la inteligencia o a las tres funciones elementales de ella, si se apoya
uno, por ejemplo, en los trabajos de A. Binet o de E. Claparede; pues, segn la terminologa de este ltimo autor, la inteligencia consiste: a) en plantear problemas; b) en hacer hiptesis ~;ara resolverlos, y e) en controlar las hiptesis mediante
una comprobacin (emprica o deductiva). El hecho de que estos tres ,momentos esenciales se encuentren tanto en el dominio
del pensamiento lgico-matemtico como en los dems nos insta a buscar los mecanismos generales de las funciones propias
de la inteligencia.
En lo que concierne al problema de la invencin matemtica, conviene distinguir dos tipos de cuestiones: la del proceso
mental por el cual surja la idea nueva y la de la naturaleza de
la novedad (el que se la haya creado de pies a cabeza o que
consista solamente en una especie de lectura). Esta segunda:
cuestin es la de la alternativa entre invencin y descubnmiento, mientras que la primera es relativamente independiente de ella.
l. En lo que se refiere a la primera cuestin, casi no tenemos nada que aadir al 26 de Beth ni a sus dos pertinentes
observaciones personales, segn las cuales: a) la fase de preparacin descrita por Poincar y Hadamard no puede suscitar
un trabajo inconsciente fructfero ms que si el trabajo consciente llevado a cabo durante tal primer perodo se realiza de
modo suficientemente eficaz, y b) el trabajo inconsciente no
es puramente automtico, sino que tambin l est dirigido>>,
y la direccin le est impuesta, precisamente, durante la fase
de preparacin.
Lo nico que vamos a sealar, en el mismo sentido en que
estn orientadas sus observaciones, es que conviene recordar
que en la esfera del pensamiento, incluso al nivel ms elevado
(y, a nuestro juicio, asimismo en los dominios afectivos), no
hay nada ms relativo que la distincin entre lo consciente y lo
inconsciente. Esto ltimo no es otra cosa que la expresin de
la impotencia de nuestra introspeccin: no hay dos dominios
248
mentales separados por una frontera 2, sino uno y el mismo laborar del espritu, del cual no nos damos cuenta, ni siquiera
en los estados ms lcidos, de otra cosa que de una pequea
parte (centrada en los resultados obtenidos y no en el proceso
como tal), y que ignoramos casi totalmente cuando no tratamos
de fiscalizarlo de cerca. Por recoger la distincin que acabamos
de recordar entre las cuestiones de la hiptesis y de su control:
somos relativamente conscientes de las preguntas que nos planteamos (relativamente porque no siempre las disociamos enteramente de otras cuestiones conexas vinculadas inconscientemente con ellas), cada vez ms conscientes de las fases del control y de la demostracin, pero la construccin de la hiptesis
se nos escapa casi enteramente, de suerte que su aparicin en
el campo de la conciencia resulta misteriosa incluso en los casos ms sencillos. Alfred Binet, que se esforz por seguir los
pasos y procesos de la inteligencia por un mtodo de introspeccin provocada, concluy con esta desengaada salida: el pensamiento es una actividad inconsciente del espritu; y Claparede, que trat de captar el mecanismo del nacimiento de la
hiptesis por un mtodo de reflexin hablada (simplemente,
acostumbraba a los sujetos a pensar en voz alta), concluy que
no era posible resolver semejante problema en el plano de los
datos de la conciencia.
Ahora bien, toda distribucin entre conciencia>> e inconsciente>> en el proceso de la invencin matemtica es siempre
relativa a los defectos de nuestra introspeccin. As, el toplogo
Leray, que sabe por experiencia lo que es una invencin, ha
llegado a sostener (en un debate oral en el Institute for Advanced Studies, de Princeton) que cuando se la considera de cerca,
la idea original cuya novedad caracteriza un descubrimiento no
parece surgir del inconsciente en un momento de iluminacin
ms que porque se haba olvidado que ya antes se la haba tenido. Segn Leray, el trabajo creador consiste primeramente
en una serie de tentativas en los sentidos ms diversos, tentativas a las que el que las realiza no atribuye igual importancia,
ya que unas parecen ms seguras (por estar orientadas en las
z Freud dot a esta frontera imaginaria de una Censura, que no
es otra cosa que el negarse -interesada o tendenciosamente- a ver
claro en ciertos aspectos de uno mismo.
249
250
251
de los casos con ambas cosas. En cuanto al dominio de lo intelectual, conviene recordar, ante todo, que toda conducta, incluida la demostracin del teorema ms abstracto, es al mismo tiempo cognoscitiva (bsqueda de la verdad) y afectiva
(inters, esfuerzos, ardor, depresin, fatiga, sentimientos estticos, etc.); pero incluso en lo referente al aspecto intelectual
de la conducta, la introspeccin presenta los dos mismos defectos: 1) es !acunar, dado que el mecanismo de la indagacin
elude como tal la conciencia, frente a lo que sucede con su direccin (la cuestin planteada), con sus resultados parci.:tles
(emergencia de las hiptesis) o totales y con la verificacin retroactiva (demostracin), y 2) es tendenciosa, ya que es imposible introspeccionar el propio pensamiento sin tomar partido,
ms o menos inconscientemente, en favor de las creencias a
las que se encuentre uno vinculado. Pero estas creencias son
tanto ms tenaces cuanto ms fundamentales sean (platonismo,
idealismo, nominalismo, etc.), de modo que no cabe que la introspeccin del matemtico pueda servir de instrumento demostrativo en una cuestin esencial, como es la de la invencin
o el descubrimiento, por slida que sea su capacidad demostrativa en cuanto a la verdad o falsedad de las relaciones que
existan entre los entes matemticos (sobre los que se puede razonar desconociendo cul sea su naturaleza).
Siendo as las cosas, sera vano intentar resolver psicolgicamente este gran problema sin disponer de gran nmero de
datos (actualmente poco menos que inexistentes) sobre la gnesis real de las ideas en los matemticos creadores. Por el contrario, puede ser til hacer ver que no hay una simple alternativa entre la invencin creadora y el descubrimiento, y que es
al mismo tiempo posible y -acaso- ms verosmil una tercera
solucin.
Admitamos, por hiptesis, que, como habamos sugerido antes (en el captulo 8, 48), toda abstraccin reflectora consista en reconstruir una estructura anterior en un plano superior,
en la que quede integrada en una estructura ms amplia. En tal
caso ser posible una regresin infinita, en lo que se refiere a
la v~da mental; por lo que tal vez haya de buscarse el punto de
partida en las estructuras nerviosas, en primer trmino, y, fi-
252
nalmente, en las estructuras orgnicas en general -que se manifiestan, entre otros modos, en la morfognesis vital, accesible
a la observacin (si es que no ya a la experimentacin).
Ahora bien, debemos percatarnos a este respecto de que en
las estructuras orgnicas existe una abundncia extraordinaria
de formas matematizables: todo ser vivo est ordenado de
acuerdo con distintos planos de simetra; se ha podido mostrar
la existencia de cierto nmero de notables transformaciones
geomtricas (topolgicas, proyectivas, afines, etc.) en la evolucin de las formas de los peces, los moluscos testceos, etc 4 ;
cierto nmero de reacciones obedecen a leyes bivalentes, del
tipo de todo o nada; y, en resumen, parece evidente que pronto o tarde se construir una geometra de las estructuras orgnicas, que ser anloga a la fsica matemtica.
En cuanto a las relaciones noogenticas entre las estructuras fsicas y las orgnicas slo es preciso decir lo que sigue:
1) que no conocemos las primeras ms que por experiencia externa; 2) que tampoco conocemos las segundas ms que por
experiencia externa (y jams interna, pues no hay introspeccin de las estructuras nerviosas ni, a fortiori, de las de nuestro organismo); 3) que, por el contrario, la existencia de estructuras orgnicas constituye una condicin previa para el funcionamiento psicolgico del pensamiento del sujeto, ya que tal
pensar presupone que haya unas estructuras sensorio-motrices 5, cuya vinculacin con las estructuras nerviosas y orgnicas
es directa; y 4) que la existencia de estructuras fsicas no constituye, al menos en un sentido jdntico al anterior, una condicin previa del funcionamiento intelectual del sujeto, dado
que -aun suponiendo que no suceda tal cosa en los estadios
iniciales- cabe pensar sin objeto exterior y sin apelar a la experiencia (recurdense las matemticas puras); y si las estructuras orgnicas suponen unas estructuras fsicas (por ejemplo, porque ellas mismas constituyan un derivado diferenciado
de stas), estas ltimas se contarn entre las condiciones pre4 D'ARCY THOMPSON, On Growth and Form [Sobre el crecimiento y
la forma>>], Cambridge, 1942.
s Las Operaciones del pensamiento son, en efecto, acciones interiorizadas, cuyas races son sensorio-motrices.
253
254
en la cuenta de l: y de este modo se han descubierto las imgenes mentales y las asociaciones de ideas. Finalmente, cabe
descubrir un objeto mediante el raciocinio, segn hizo Leverrier con Neptuno; y no hay nada que impida que lo mismo
ocurra con entes abstractos.
Una vez planteadas estas definiciones, se advierte que una
construccin matemtica nueva puede aparecer, segn los casos, como invencin o como descubrimiento, e incluso como
una tercera cosa que sea preciso examinar para ver si es, simplemente, ambas cosas a la vez o ninguna de ellas.
Distingamos, ante todo, las innovaciones consistentes en una
nueva demostracin de un teorema ya conocido de las que residan en asentar nuevas relaciones (nuevos teoremas) entre entes ya conocidos y de las que consistan en caracterizar nuevos
entes matemticos. Es obvio que clasificaremos inmediatamente las innovaciones de la primera categora entre las invenciones (en el sentido que acabamos de definir), y las de la segunda entre los descubrimientos. Pero hay cierta arbitrariedad en
ello, puesto que la nueva demostracin puede limitarse a sacar
a luz nuevas relaciones que no se hubieran advertido hasta entonces e interpretables como simples descubrimientos; en
cuanto a los nuevos teoremas que se refieran a relaciones no
vistas anteriormente, pueden ser solidarios de una teora de
conjunto, o incluso de una nueva estructura; lo cual, por una
parte, hace indecidible la pregunta acerca de si es invencin
o descubrimiento y, por otra, acerca esta segunda categora
a la tercera.
As pues, el problema se plantea con toda su acuidad acerca de la tercera categora. La generalizacin de la operacin de
extraer races hasta el punto de aplicarla a los enteros negativos, construyendo as el nmero imaginario V-1, pudo parecer el modelo de la invencin artificial (y de ah las expresiones de nmeros fingidos, imaginarios, etc.), mientras
que el destino posterior de las funciones complejas ha tendido
a ascender esta invencin al rango de descubrimiento. Para
Cantor, los nmeros tninsfinitos respondan al modelo de un
autntico descubrimiento, mientras que, de acuerdo con la curiosa cita de Poincar que Beth recuerda arriba ( 30), para
255
256
nar, y no una propiedad de los objetos como tales, que no involucran ni suma ni orden algunos independientemente de las
acciones que se ejerzan sobre ellos), la abstraccin reflectora
consista en traducir una sucesin de actos materiales en un
sistema de operaciones interiorizadas cuyas leyes se comprendan en un acto simultneo. Por consiguiente, hay en ello ms
que un simple descubrimiento, ya que se reconstruye en un
plano mental nuevo, cuyo funcionamiento es distinto, y que tal
reconstruccin conduce a una estructura ms general: el objeto descubierto se enriquece as con el descubrimiento, el cual
es, por lo tanto, segn la definicin de que hemos partido, algo
ms que un descubrimiento.
En cuanto a las creaciones de los matemticos, con ellas sucedera a fortiori lo mismo si procediesen tambin por abstraccin reflectora. En un artculo del que volveremos a hablar a propsito de la intuicin (en el 51), A. Denjoy 7 busca
el origen de lo transfinito en la intuicin del paso al nmero
lmite de una sucesin (persecucin de la tortuga por Aquiles,
etctera), intuicin a la que califica unas veces de innata y
otras de emprica, pero que descansa sobre una experiencia
en la que se abstrae a partir de la accin; sin embargo, aun
suponiendo que G. Cantor haya partido de tales intuiciones,
as como de la de la correspondencia biunvoca, el descubrimiento de lo transfinito sera mucho ms que un descubrimiento en el sentido arriba definido, dado que la nueva estructura as elaborada excede aqulla de la que se la habra
sacado. Por el contrario, en la interpretacin platonista de Cantor sera obvio que se tratara de un descubrimiento; pero
aqu nos estamos limitando a mostrar la posibilidad de un tertium quid, sin tratar de llegar a una decisin entre las tres hiptesis.
2) Mas si bien una construccin que proceda por abstraccin reflectora es ms que un descubrimiento, tampoco
se reduce a una invencin en el sentido arriba definido de
combinacin nueva y libre, ya que los elementos nuevos que
7 A. DENJOY, L'inneit du transfini, en Le Lionnais, op. cit., pginas 188-95 [vers. cit., pgs. 199-207].
257
intervienen aadindose a los descubiertos no son nunca libres: o sea, que no podran haber sido distintos. La invencin
del esperanto es invencin estricta, puesto que el vocabulario
y la sintaxis de esta lengua artificial proceden de combinaciones nuevas, y stas eran libres (prueba de ello es que el volapuk y el ido han utilizado otras); pero lo propio de las construcciones matemticas, por el contrario, supuesto que se las
reconozca como vlidas posteriormente (utilizndolas a un nivel ulterior, en cuanto al desarrollo mental, o por control sistemtico en lo que concierne a las creaciones cientficas), es
que su grado de libertad no afecta ms que a la manera de demostrarlas y formalizarlas, en tanto que los teoremas fundamentales se imponen necesariamente. Adoptando la perspectiva de Kronecker, segn la cual los nmeros naturales son un
regalo de Dios y todas las dems variedades de nmeros se deben a la fabricacin humana, no por ello deja de suceder que
esta fabricacin no podra haber sido distinta.
Desde el punto de vista psicolgico, lo propio de la construccin y de la creacin matemticas parece ser, pues, que no
se reducen ni a descubrimientos ni a invenciones, sino a una
sucesin indefinida de combinaciones al mismo tiempo nuevas
y, sin embargo, interiores a un sistema de posibilidades bien
determinadas. El problema consiste, entonces, en saber si se
tiene derecho a hablar de sistema y de determinacin necesaria acerca de puras posibilidades; dicho de otra forma, en
si se puede razonar sobre ellas y decir algo que tenga alguna
validez antes de que se las haya actualizado en operaciones efectivas, y, por consiguiente, antes de que hayan dejado de no ser
ms que posibilidades. En efecto, slo posteriormente, es decir,
en el momento de la construccin efectiva, es cuando se percata uno del hecho de que las combinaciones nuevas eran necesarias y no arbitrarias; y querer conocer las posibilidades antes de su actualizacin consistira, por lo dems, en construir
unas operaciones efectivas para poder hablar de ellas, lo cual
equivaldra, una vez ms, a actualizarlas. Ello no impide, naturalmente, que adhiramos ciertas creencias a semejante conjunto de puros posibles, como la del platonismo, que en definitiva
hipostasa tales posibilidades en seres ideales o como las que
17
258
259
fan jams de la sola intuicin, no elaboran la teora correspondiente y la consideran como algo que o bien corresponde
al sentido comn o a la investigacin filosfica o psicolgica,
desentendindose as del cuidado de analizarla; pero el sentido
comn no tiene en psicologa ms competencia que en matemticas, y no constituye otra cosa que la cristalizacin de una
psicologa introspectiva ni crtica ni gentica, con todas las dificultades que hemos recordado en cuanto a la posibilidad misma de una introspeccin que posea validez (captulo 7, 43);
en cuanto a la filosofa, no puede decir nada de la intuicin sin
enunciar al respecto afirmaciones de hechos, cuya fiscalizacin
corresponde, por ello, a la psicologa cientfica. Por consiguiente, slo queda la psicologa; pero precisamente a los psiclogos les es algo dificultoso captar lo que en matemticas se entiende bajo el trmino de intuiciones.
Conviene, pues, comenzar planteando tres cuestiones previas:
1) Existe algn proceso o algn rasgo comn a las distintas variedades de conocimientos a las que se llama intuiciones?
2) En qu difieren entre s las distintas formas de intuicin: por caractersticas diacrnicas ( == genticas), por sincrnicas o por ambas? Dicho de otro modo, tal intuicin es
caracterstica de un nmero limitado de estadios del desarrollo y, por tanto, de un nmero limitado de niveles de la jerarqua de las funciones (percepciones, operaciones concretas, etctera), o constituye una funcin general que se encuentre a
todos los niveles y que pase por sus propios estadios de desarrollo?
3) En caso de que se trate de una funcin general (como,
por ejemplo, en la perspectiva de Gonseth, que cree poder encontrar en todas las etapas la triloga de experiencia, intuicin
y deduccin ms o menos formalizada), qu marcha manifiesta en el curso del desarrollo: progresiva o, por el contrario, regresiva? Por ejemplo, si bien las tcnicas experimentales y las
deductivas progresan constantemente en el curso de la historia y en el del desarrollo intelectual del individuo (hasta llegar
260
261
262
trabajo efectuado con relacin a la potencia empleada. Es probable, pues, que las ilusiones sistemticas del tiempo vivido
procedan de haber establecido la relacin de manera incompleta, bien porque dominen las consideraciones del inters, bien
lo hagan el esfuerzo o la fatiga (que traducen la regulacin de
las fuerzas a disposiciones del individuo: el inters y el esfuerzo aumentan el rendimiento, etc.).
4) As pues, el tiempo fsico y, hasta cierto punto, el mismo tiempo vivido acaban por estructurarse en funcin de unas
operaciones que se constituyen espontneamente con anterioridad a toda comprensin de la cronometra, y que son lo nico
que hace posible esta comprensin. Son, en primer lugar, las
operaciones de seriacin, que tienen a su cargo el orden de sucesin de los acontecimientos (conviene insistir, a este respecto, sobre el hecho de que, frente a lo que dicen las interpretaciones bergsoniana y freudiana de la memoria, sta no es una
grabacin integral de los sucesos que conservase automticamente su orden, sino, por el contrario, una reconstitucin activa, que introduce un orden de sucesin por va casi inferencia!); luego viene el encajamiento sucesivo de unas duraciones
en otras; y despus, merced a una sntesis del orden de sucesin y de este encajamiento de intervalos, aparece la mtrica
temporal espontnea, cuyas manifestaciones son evidentes en la
msica ms popular, en la mtrica de la poesa, en los sonidos
largos y breves de ciertas lenguas, etc., que es la fase en la que
se constituye la duracin operatoria, t = ejv, como coordinacin de velocidades.
Al recordar estos hechos saltan a la vista las dificultades
de la idea de una intuicin del tiempo. Pues si se quiere caracterizar la intuicin como conocimiento inmediato (y ste es
el tipo de servicio que se espera de tal idea), se hace referencia
a los niveles 1) a 3), pero entonces se tropieza con tres tipos de
dificultades: a) estas intuiciones son ya complejas; b) son engaosas, puesto que estn manchadas por errores sistemticos,
y e) no constituyen sino etapas transitorias, cuyas formas de
organizacin tienden por s mismas a equilibrarse bajo la forma 4). Y si, en cambio, denominamos intuitivas a las estructuraciones de la forma 4 ), ya no se trata de conocimientos in-
263
264
265
para la formalizacin, y, entre los dos, cierta intuicin geomtrica, a cuyo respecto habra que ver si se deriva o no de los
datos perceptivos o empricos y si es necesaria o no para construir los sistemas axiomticos.
Recordemos ante todo los datos genticos 13 , que son mucho menos simples, y tratemos de situar con relacin a ellos
las posibles variedades de intuicin espacial. En cuanto a esto
cabe distinguir los siguientes niveles:
1) Primeramente existe un espacio sensorio-motor, dentro
del cual se pueden ya distinguir seis estadios (entre el nacimiento y los 18 meses). Tomando nicamente en consideracin los
trminos extremos, hay que decir que este desarrollo sensoriomotor comienza con un conjunto de espacios sin relacin mutua (espacios bucal, tctilo-cinestsico, postura!, visual y auditivo), todos centrados sobre el propio cuerpo, el cual, por su
parte, en su conjunto no est situado en el espacio; y al llegar
al trmino del desarrollo de que ahora hablamos, tales espacios inicialmente heterogneos se han coordenado en un espacio nico, que comprende los objetos y el propio cuerpo (como
un objeto ms entre los otros) y est caracterizado por ciertas
estructuras fundamentales: permanencia de los objetos cuando salen del campo perceptivo (la cual no es, en modo alguno,
algo innato, sino que se la ha adquirido en el curso de una larga construccin, a cuyo travs el objeto se convierte en un invariante con relacin al grupo siguiente) y coordinacin de los
desplazamientos y las posiciones en un grupo de ndole simplemente prctica (sin representaciones pensadas), pero que
ya garantiza un descentramiento general con respecto al propio cuerpo.
2) En segundo trmino, se encuentra un espacio perceptivo, que a los comienzos est comprendido en el precedente pero
que luego se va diferenciando de l poco a poco y proporciona
una aprehensin de las formas, las dimensiones, las posiciones
y las distancias. Este espacio incluye ciertos elementos inna13 Vanse: PIAGET, La construction du rel chez l'enfant (Delachaux
et Niestl [vers. cast.: La construccin de lo real en el nio, Buenos Aires, Proteo, 1965]), captulos 1 y 2; PIAGET e lNHELDER y SZEMINSKA, La
gometrie spontane de l'enfant, Pars (P. U. F.).
266
tos, pero imposibles de disociar de los adquiridos o construidos; y, por otra parte, tal construccin perceptiva se enriquece constantemente con influencias procedentes de la accin en
su conjunto (I. Kohler, por ejemplo, ha mostrado que cuando
se llevan constantemente puestas unas gafas de espejo que
vuelvan Cabeza abajo los objetos, la visin los endereza totalmente al cabo de algunos das, por la influencia ejercida por
las reaferencias vinculadas al conjunto de la accin) o de las
operaciones intelectuales (por ejemplo, en lo que concierne a
las coordenadas perceptivas, etc.). As pues, es necesario ser
muy prudente cuando se hable del espacio perceptivo de los
adultos, ya que con frecuencia se le atribuyen muchos elementos de origen no perceptivo.
Si se atiene uno a los datos puramente perceptivos 14 , se
comprueba, por lo pronto, que obedecen a leyes bastante alejadas de las de la geometra, e incluso de la lgica: ya H. Poincar, en sus reflexiones sobre el espacio, y W. Kohler, en sus
estudios perceptivos, hicieron observar que el continuo perceptivo incluye situaciones en las que A = B y B = C, pero
A #C. Y de un modo ms general todava puede decirse que
toda relacin percibida es deformante, en el sentido de que
modifica los trminos mismos de la relacin (por contraste o
por una igualacin ilusoria): en efecto, si designamos con B(A)
la percepcin de una magnitud B comparada con la magnitud
perceptiva A, y con B la percepcin de B sin hacer comparacin alguna, y si (objetivamente) A< B < C,
B(A) >By B(C) < B, de donde B(A) > B(C).
Anlogamente, si B =A.+ A', frmula en la que A+ A' designa la reunin de dos segmentos desiguales, A y A', en una
sola recta, B (pero con un pequeo trazo perpendicular a la extremidad libre de cada segmento, as como entre A y A'), y si
con'-' se designa su disociacin, perceptivamente se tiene que
(A
14
267
Estas relaciones deformantes y estas composiciones no aditivas corresponden a un espacio no homogneo y anistropo
tal que cualquier elemento en que se centre la mirada se dilatar, en tanto que los elementos perifricos se contraern (dilataciones y contracciones relativas). Las mismas deformaciones se observan incluso en el caso de comparar elementos iguales entre s, pero entonces unas compensaciones aproximadas
neutralizan en parte las deformaciones.
Por el contrario, un conjunto de actividades perceptivas
consistente en exploraciones, en poner en relacin a distancias
variables en el espacio y en el tiempo (transportes, transposiciones, anticipaciones), en referir entre s (direcciones u orientaciones), en esquematizaciones, etc., logran hacer fracasar parcialmente tales deformaciones y estructurar las figuras del espacio segn ciertas formas relativamente estables: tales son
las constancias perceptivas del tamao y la forma, los esquemas perceptivos de las buenas formas (eucldeas), las coordenadas perceptivas, etc. Unicamente es preciso recordar que
estas actividades perceptivas estn orientadas, dirigidas y enriquecidas constantemente, por su parte, por aportaciones provinentes de instancias superiores a la percepcin (el esquematismo sensorio-motor, las operaciones concretas de la inteligencia, etc.).
De estos dos tipos de consideraciones resulta que si quiere
uno hablar de intuiciones perceptivas del espacio, o bien hay
que referirse a los efectos primarios, que estn todos manchados por errores sistemticos ms o menos engaosos, o hay
que hacerlo a actividades perceptivas con resultados ms cercanos al espacio racional; pero en este ltimo caso se llama
perceptivo a un espacio que, aun siendo an muy elemental
y estando poqusimo estructurado, ya no es, hablando genticamente, puramente perceptivo.
3) Luego viene el espacio de la representacin por imgenes, que se constituye desde que empieza la funcin simblica
(de los dos a los tres aos) y, en particular, desde que empiezan a aparecer las imgenes mentales (pero stas no prolongan
simplemente la percepcin, sino que consisten en imitaciones
interiorizadas). Este espacio de la representacin por imge-
268
nes, todava muy tosco entre los dos y los siete a ocho aos,
se desarrolla luego mucho ms, primeramente de forma bastante general, y luego de manera desigual segn los individuos
(dependiendo de sus aptitudes especializadas); y de l procede lo que ordinariamente se llama intuicin geomtrica,
es decir, la capacidad de imaginar visualmente las figuras y
sus transformaciones.
Pero si quiere construirse la teora de esta forma de intuicin, es esencial comprender que sta no constituye la fuente
de nuestro conocimiento natural del espacio; pues si no se
hace as sera demasiado fcil -y, por consiguiente, ocasin
para diversos malentendidos- oponer a esta categora particular de la intuicin por imgenes el espacio formalizado de los
sistemas axiomticos, y concluir que stos se mueven a contracorriente del espacio natural. A este respecto es menester que
advirtamos lo que sigue:
a) En primer lugar, la imagen mental no es nunca otra
cosa que un smbolo, y no un conocimiento en s misma 15 : todos sabemos, por ejemplo, que la imagen de un punto es inadecuada, ya que engloba una superficie, y que la de una lnea
tambin lo es, dado que conlleva cierto grueso; pero desde el
punto de vista del gemetra no son sino smbolos que designan o representan los conceptos correspondientes, sin constituirlos. Ahora bien, lo mismo sucede a todos los niveles, incluso cuando el sujeto se engaa acerca de su simbolismo: en
cuanto imitacin interiorizada, la imagen no es ms que el smbolo de una accin, que o bien consiste en constituir una figura (siguiendo los contornos del objeto, etc.) o en transformarla. Lo importante en la formacin del espacio es, por tanto, el
sistema de acciones u operaciones, respecto del cual la imagen
no representa sino un simbolismo derivado.
b) Es preciso, sobre todo, repetir con respecto a la intuicin por imgenes lo que ya hemos dicho de las actividades
15
Recordemos que una imagen mental no es, en modo alguno, un
concepto, ni, por lo dems, tampoco es una percepcin, sino un esbozo
de imitacin del objeto o el acontecimiento percibidos anteriormente.
Por ejemplo, la imagen visual corresponde poco ms o menos a lo que
pueda dibujarse de uno u otro cuando ya no se los perciba.
269
20
cuestin de comprender por qu las imgenes mentales espaciales, aun siendo parcialmente inadecuadas (cf. el punto, la lnea, la funcin continua sin derivadas de Weierstrass, etc.), adquieren, sin embargo, un grado de adecuacin muy superior al
que est vinculado, en general, a la imagen mental.
La razn de ello es, sin duda alguna, doble. En primer lugar,
si a la imagen como tal se le llama simbolizante y a la realidad por ella representada, simbolizada, comprobamos ante
todo que en el caso de la imagen espacial lo simbolizante es
tan espacial como lo simbolizado: la imagen de un cuadrado
tiene una forma parecida a la de ste, con cuatro lados iguales,
como l, etc. Con la imagen temporal comparada a un acontecimiento temporal sucede en parte lo mismo (la imagen sonora
de una meloda requiere tiempo para desplegarse, etc.), pero
ya no ocurre igualmente con entes no perceptibles, como son
una clase o un nmero: indudablemente, puedo imaginar la inclusin de una subclase en una clase mediante puntos inscritos
en dos crculos de Euler, y el nmero 5 mediante cinco palotes
alineados (imaginados en lugar de dibujados), pero todo ello
no son sino figuras en el espacio, y no clases ni nmeros, pese
a las posibles maneras de hacer corresponder unas cosas con
otras. As pues, son imgenes de objetos clasificados o enumerados, no de clases ni de nmeros, mientras que la imagen de
un cuadrado, sin ser un cuadrado perfecto, es tambin una figura del espacio, cuyas lneas puedo imaginar cada vez ms
delgadas y cuyos lados, cada vez ms cercanos a la igualdad (lo
cual la har tender hacia la forma cuadrada, en tanto que la
imagen de cinco palotes no tiende hacia ningn nmero). En
segundo lugar -y esto es todava ms importante-, si, contentndose con el sentido usual de estas palabras, se distinguen
las tranformaciones entre dos estados de los estados entre los
que tengan lugar las transformaciones, se comprueba que las
transformaciones espaciales son las nicas que pueden imaginarse en el mismo plano (relativamente adecuado) de la representacin imaginatoria de los estados espaciales, mientras que
en todos los dems dominios la transformacin no posee semejante propiedad: por ejemplo, es fcil transformar una imagen acstico-musical (as, una meloda musical) trasponindola a otro tono, y cabe imaginarse perfectamente la misma me-
271
272
III. Las intuiciones operatorias referentes a elementos discretos.-Las intuiciones temporales y las espaciales son de carcter vivido (experiencia del desplazamiento, etc.) o imaginatorio (imgenes sonoras, etc.). Mas tambin existe, adems de
estas dos categoras, un conjunto de conocimientos naturales
asimismo llamados intuitivos cuyos estadios iniciales pueden
igualmente considerarse como correspondientes a experiencias
vividas y cuyos estadios ulteriores se caracterizan, a su vez,
por operaciones cada vez ms abstractas de la accin material (por medio de una abstraccin reflectora), pero cuya independencia de toda representacin por imgenes aumenta progresivamente: son las intuiciones operatorias referentes a objetos discretos. Como ejemplos podemos citar la intuicin de
n + 1, invocada por H. Poincar para justificar el carcter
pretendidamente primitivo de la iteracin numrica, la intuicin de la multi-unidad de Brouwer, que supone una operacin
de coligacin, la intuicin de lo transfinito en el sentido de
Denjoy 16 (paso al lmite en la serie 1 + Yz + ~ + ... ) y, en general, todo aquello a lo que se llama intuitivo en el manejo ele16 A. DENJOY, L' inneit du transfini, en F. LE LIONNAIS, Les grands
courants de la pense mathmatique, pgs. 188-96 [vers. cit. pgs. 199-207]
273
274
nes imaginatorias de carcter espacial se ven obligadas a tenerlo en cuenta, en tanto que no existen nmeros, clases, etctera, propiamente fsicos, ya que los entes lgico-aritmticos
existen nicamente a partir del momento en que un sujeto despliegue su actividad clasificando, poniendo en relacin o numerando. Pero no queremos entrar todava en semejante cuestin.
y nos limitaremos a decir que, dado que la imagen mental
es espaciotemporal por naturaleza (en cuanto imitacin interiorizada de modelos perceptibles), existe una estrecha correspondencia entre una imagen espacial, por simblica que sea. y
un ser o una transformacin espaciales, mientras que la imagen espacial o espaciotemporal de un nmero o de una clase
y este nmero o esta clase en cuanto productos conceptuales
de operaciones independientes del tiempo y el espacio son heterogneos; y de ah el carcter general de las imgenes espaciales y el carcter individual de las numricas.
En consecuencia, las intuiciones operatorias referentes a elementos discretos van adquiriendo autnomamente predominio
sobre la representacin por imgenes, aun cuando la diferenciacin entre la forma lgico-matemtica de las operaciones
que entren en juego y el contenido perceptible o imaginatorio
de los objetos a que se apliquen tales operaciones sea nicamente progresiva, y ni siquiera muy segura hasta bastante tardamente. Un ejemplo de intuicin operatoria nos har comprender a la vez esta diferenciacin y su carcter tardo: la
intuicin segn la cual la extensin de una clase, B, es necesariamente mayor que la de una subclase suya, A, supuesto que
aqulla sea finita y que A' ( = B- A) no sea nula. En los niveles preoperatorios, el nio no admite esta relacin, B >A, ni
siquiera pudiendo comparar perceptiblemente A y B, porque
si disocia la parte A del todo, B, ste queda roto a sus ojos, y
lo nico que puede hacer es comparar A con A'; en cambio, al
nivel de las operaciones concretas llegar fcilmente a comprender que B >A, por ejemplo, en el caso en que B = 10 flosico), y las temporales, que son indisociables de un contenido fsico o
fisiolgico (velocidad o fuerza); tal es la razn por la que no existe una
cronometra pura comparable a la geometra pura, ya que las operaciones que entran en la construccin del tiempo operatorio (particin, seriacin y medida) no poseen ningn carcter especficamente temporaL
275
276
de tales objetos es mucho ms pronunciado que el de este espacio. Quin puede zanjar la cuestin acerca de lo que es intuitivo? Acaso un salvaje o un nene que no hayan estado influidos por nuestra geomtrica civilizacin ... , etc.? 18 Estepasaje plantea en forma muy notable el problema en trminos
genticos: en primer lugar, porque afirma la posibilidad de desarrollar intuiciones nuevas por aprendizaje operatorio, y adems, ya que pone en duda la existencia de una discontinuidad
clara entre las intuiciones del nio y aquellas nuevas intuiciones. Por lo dems, en la continuacin del mismo artculo, Freudenthal hace ver que Riernann no se inspir en Kant en su clebre discurso inaugural de 1854, sino en Herbart, el primero
que se dio cuenta del espacio (al que ahora llamaramos) topolgico que psicolgicamente precede al eucldeo 19
En un sentido anlogo, G. Bouligand habla de una intuicin
prolongada para describir la forma en que se construye el paso
de tres dimensiones a cuatro o a n, por analoga con el paso de
dos a tres y por generalizacin de la integral doble en integral
triple.
Pero la intuicin no slo es capaz en los dominios espaciales de convertirse en transintuitiva (segn la expresin de
M. Winter), ya que psicolgicamente no procede de la percepcin, como se cree demasiado frecuentemente, sino de la accin
y de su interiorizacin en operaciones; lo cual permite una liberacin progresiva con respecto a los modelos perceptibles.
Es posible interpretar toda la construccin cantoriana de los
conjuntos transfinitos, por ms que l mismo la atribuyese a
una intuicin platonista, corno una grandiosa generalizacin de
fundamentales intuiciones operatorias de correspondencia y de
orden: es cosa muy notable, en efecto, que este platnico autor
haya sido el primero que, de hecho, haya incorporado al sistema de las nociones matemticas la esencial operacin de origen
precientfico que es la correspondencia biunvoca y recproca,
cuya presencia haca ya notar L. Brunschvicg en el trueque de
una cosa por otra en las sociedades primitivas, y cuya muy general espontaneidad en el nio pequeo hemos comprobado
18 H. FREUDENTHAL, Le dveloppment de la notion d'espace depuis
Kant, Sciences, vol. I, nm. 3, pgs. 3-13.
19 !bid., pg. 9.
277
nosotros. Mas como se trata, de nuevo, de un esquema de accin u operatorio, y no de esquema alguno perceptivo, nada impide generalizar la operacin ni hacerle que confiera as un
sentido intuitivo a conceptos tan abstractos como la potencia
de lo numerable, etc.
V. Conclusiones.-Estas pocas observaciones nos bastan
(pues el punto IV, que exigira un desarrollo ms largo, conduce
directamente al problema de que trataremos en el captulo siguiente) para volver a los tres problemas enunciados al comienzo de este pargrafo.
1) No hay rasgo alguno positivo comn a todas las variedades de conocimientos a los que los matemticos -ya general, ya ocasionalmente- califican de <<intuitivos. Pues en sentido amplio, el trmino de intuicin cubre sin ms todo lo que
no est formalizado, y por ello es imposible construir una teora psicolgica coherente del conocimiento intuitivo; en particular, es imposible responder a las preguntas 2) y 3) si no se
empieza por clasificar las distintas variedades de intuicin,
no atendiendo a su contenido (tiempo, espacio, nmero, etctera), sino a su estructura. A este respecto pueden proponerse
las siguientes dicotomas (citando como ejemplos, sobre todo,
los que habamos mencionado de I a IV):
Primeramente se encuentran las intuiciones empricas relativas a propiedades fsicas de los objetos o a propiedades psicolgicas proporciqnadas por la experiencia introspectiva vivida (ejemplos: la intuicin del peso y la de la duracin vivida
con independencia de toda operacin temporal) y las intuiciones vinculadas a acciones u operaciones, ya se refieran stas
a objetos (comprendidos los estados de conciencia vividos) o
se desliguen de ellos ms o menos completamente (ejemplos:
las intuiciones del orden, el encajamiento sucesivo, la correspondencia trmino a trmino, etc.).
Estas intuiciones operatorias, que son las nicas que ofrecen inters desde el punto de vista matemtico, estn sujetas
a una segunda dicotoma: la que opone las acompaadas de
una representacin por imgenes de naturaleza homognea a
la de las operaciones en juego (intuiciones geomtricas) a las
278
b) Las intuiciones operatorias s. str. competen a los mecanismos mismos de la inteligencia, y pasan por tres grandes estadios de desarrollo: intuiciones vinculadas a la accin material
sobre los objetos, luego a la accin interiorizada en operaciones (pero todava aplicable a los objetos), y por fin a operaciones independientes de toda posible accin (cf. el apartado IV).
e) Las intuiciones simbolizantes evolucionan de manera subordinada a las operatorias s. str., que son las nicas que confieren movilidad y adecuacin relativa a las imgenes, en particular a las espaciales.
279
tal desde el punto de vista de la invencin, disminuye (en sentido relativo) a lo largo del desarrollo: las intuiciones empricas ceden el paso o se someten a las tcnicas de experimentacin estricta; las simbolizantes se subordinan cada vez ms
a las intuiciones operatorias s. str.; en cuanto a stas, si bien
tienen un desarrollo ilimitado, esto les sucede gracias al mecanismo de la abstraccin reflectora. Ahora bien, como vamos
a ver, lo propio de sta es afinar incesantemente las tcnicas
deductivas de acuerdo con un doble proceso, simultneamente
progresivo y retroactivo; de donde procede una tendencia inten1a a la formalizacin que, pese a que jams pueda cortar
1:odo contacto con sus races intuitivas, limita relativamente
cada vez ms el dominio propio de la intuicin (en el sentido
de pensamiento operatorio no formalizado).
10
281
tante y el pensamiento hipottico-deductivo del adolescente normal (en nuestras sociedades, pero supuesto que posea un simple certificado de estudios primarios).
52. Las races genticas. de la matemtica pura.-La matemtica pura es aquella cuyos axiomas son aceptables y cuyos
teoremas se conservan vlidos con independencia de todo objeto emprico o, incluso, de todo contenido intuitivo. As sucede
que una curva de J ardan, o imagen topolgica de la circunferencia, por mucho que no pueda ser dibujada, no deja de presentar, desde el punto de vista de la matemtica pura, el
mismo grado de realidad que las figuras de la geometra eucldea elemental. E igualmente, los espacios de n dimensiones,
las geometras no eucldeas, los espacios abstractos de Frchet, las diversas categoras de infinitos, las lgebras generalizadas, etc., no se distinguen en nada, miradas bajo el ngulo
de la validez, de las estructuras ms sencillas y ms intuitivas
de las matemticas tradicionales.
282
guntarse si entre el perodo en que reinaba inconcusa la metodologa de Aristteles, con sus requisitos de evidencia, y la
llegada de la matemtica pura, liberada de tales limitaciones
de origen extrnseco, existe un corte tajante o, por el contrario, una transicin continua, con compromisos variados entre
una actividad matematizante de tendencias puras y una filosofa de las matemticas ya superada de hecho.
Mas, por otra parte, importa mucho advertir que, en la
medida en que pueda influir una concepcin teortica o filosfica de las matemticas en el cuerpo mismo de la ciencia,
ello ocurre, en general, en un sentido limitativo: cosa que es
obvia, dado que tales reflexiones proceden de una reflexin
retroactiva sobre la tarea efectiva anterior (salvo en los raros
casos de anticipaciones divinatorias, aunque nacidas de la toma
de conciencia de ciertas tendencias ya actuantes en el estadio
de partida). Tenemos un buen ejemplo de las limitaciones impuestas a las matemticas por una filosofa, o por una concepcin metodolgica, pero situada en un plano distinto al de la
construccin efectiva, en la eleccin efectuada por los gemetras griegos, que entre todas las figuras posibles no se quedaron sino con unas pocas, que eran las nicas que, a su juicio,
podan pertenecer legtimamente al conjunto de los conceptos
geomtricos en sentido estricto: se supona que estas figuras
haban de obedecer a la regla limitativa de ser construibles
por medio de la regla y el comps, por lo cual las curvas
llamadas mecnicas (la concoide, la cicloide, etc.) no perteneceran a la geometra, por lo menos dentro de los confines
mantenidos por los Elementos de Euclides. Ahora bien, esta
conclusin es tanto ms curiosa cuanto que los gemetras
griegos conocan perfectamente algunas de tales curvas mecnicas (la cuadratriz de Hipas, la concoide de Nicomedes y la
cisoide de Docles); de modo que el ostracismo a que estaban
condenadas no era resultado de ninguna laguna existente en el
desarrollo interno de la intuicin geomtrica, sino, indudablemente, de consideraciones extrnsecas debidas a una filosofa
restrictiva, en forma comparable a la que inspir a Aristteles su distincin entre movimientos naturales y movimientos violentos ( ~pL<;) o debidos al azar ('tu XY), de todos los cua-
283
284
285
la matemtica pura se ha construido como reaccin a la matemtica natural y a contracorriente de las etapas iniciales; lo
cual llevara a invocar una conversin>> en el sentido de Husserl o una ruptura total con las actividades espontneas del
sujeto.
Por tanto, el problema que ahora atacamos es central con
respecto al objeto de la presente obra: pues explicar psicolgicamente lo que haya hecho posible que exista la matemtica
pura es, en definitiva, pronunciarse en pro o en contra de las
vinculaciones entre los entes lgico-matemticos y las actividades del sujeto. En efecto: en la medida en que -como ha
sucedido con frecuencia- se considere que la matemtica pura
es inexplicable psicolgicamente, queda uno comprometido a
seguir las direcciones del platonismo o de las concepciones que
se apoyan en realidades esencialmente colectivas (el lenguaje,
ciertas convenciones, etc.), cosa que corta las relaciones con
las actividades del sujeto o no tiene en cuenta, de stas, sino
su subordinacin a la transmisin social; mas, por otra parte,
en la medida en que, al tratar de no desdear la existencia del
sujeto, se procure explicar la matemtica pura por una marcha
en sentido inverso a la del pensamiento natural, se llega a
desdoblar las actividades del sujeto, pero no en el sentido de
distinguir tipos de experiencia o formas de construccin intelectual (lo cual sigue siendo comprobable mediante observacin
y experimentacin sistemticas), sino en el de una disociacin
entre el sujeto accesible a la investigacin psicolgica y un
sujeto trascendental, al que competeran unas funciones cognoscitivas especiales, irreductibles a la fiscalizacin psicolgica.
En la medida en que, por el contrario, se consiga mostrar que
las tendencias que han llevado a constituir la matemtica pura
operaban ya desde los orgenes ms humildes de la matematizacin (ya que, pese al prejuicio tan difundido e histricamente
explicable -pero, en realidad, singularmente frgil, por carecer
de toda necesidad interna-, el anlisis gentico objetivo no
conduce necesariamente a interpretaciones empiristas ni psicologistas del conocimiento), podr inferirse que los entes lgicomatemticos estn vinculados a las actividades del sujeto, sin
que por ello hayan de provenir de una experiencia en el sentido
corriente de este trmino.
286
287
288
Pero si bien no hay razn alguna para poner en tela de juicio la existencia de un nivel inicial de matemtica emprica,
es menester, por el contrario, insistir vigorosamente en el hecho de que esta experiencia lgico-matemtica difiere desde
el comienzo de la experiencia fsica. Pues cuando se analiza la
naturaleza de aquella experiencia no slo se comprende por
qu deja paso tan rpidamente a la deduccin propiamente
dicha (lo cual es mucho ms tardo en el campo de la experiencia fsica), sino tambin cmo garantiza desde sus estadios
iniciales la posibilidad de una matemtica pura; y vamos a
tratar de mostrar ahora mismo que as sucede.
1) El hecho esencial es que si la experiencia fsica se refiere a objetos, y en ella se adquieren conocimientos por abstraccin a partir de stos, la experiencia lgico-matemtica se
refiere a las acciones que el sujeto ejerce sobre los objetos,
de suerte que la adquisicin de conocimientos proviene en este
caso de una abstraccin a la que se debe considerar procedente
de tales acciones, ya que las propiedades descubiertas en los
objetos son precisamente las mismas introducidas previamente
por las acciones.
Por ejemplo, cuando un nio descubre que un guijarro grande es ms pesado que uno pequeo, es preciso hablar de una
experiencia de tipo fsico, pues, por ms que haya tenido que
actuar sobre los guijarros para sopesarlos, el sujeto descubre
una propiedad que les perteneca ya antes de ejecutar tal
accin; y cuando abstrae la relacin de peso por oposicin a
los colores, etc., se trata, pues, sin duda alguna, de una abstraccin a partir del objeto. Por el contrario, cuando alinea
cinco guijarros y descubre que el nmero S se conserva el
mismo ya se cuente de izquierda a derecha o de derecha a
izquierda, la experiencia es de ndole lgico-matemtica, puesto
que no versa sobre los guijarros en cuanto tales, sino sobre
las relaciones existentes entre la accin de ordenar y la de
reunir en una suma: el orden lineal no exista, en efecto, en
los guijarros antes de que la accin los alinease en una hilera;
y en cuanto a su suma, tambin depende de una accin, la de
reunir, que, por una parte, deja de lado los dems guijarros y
otros objetos que haya sobre la mesa y, por otra, construye
289
290
291
292
293
294
295
sujetos individuales (o psicolgicos), sino que son las coordinaciones ms generales de todo sistema de acciones; coordinaciones que traducen, por ello, lo que hay de comn en todos
los sujetos y se refieren, por consiguiente, al sujeto universal
o epistmico, y no al individual; de este modo, la actividad
matematizante aparece como algo regulado desde el comienzo
por leyes internas y que escapa a la arbitrariedad de las voluntades individuales. Y puesto que no todo est preformado desde el origen y sigue siendo necesaria una larga construccin
para llegar hasta la matemtica pura, el constructivismo no
consiste en una serie de creaciones libres o de convenciones
caprichosas: la construccin, que no empieza ex nihilo, sino
a partir de un sistema de esquemas de accin cuyas races han
de buscarse, sin duda alguna, en la organizacin nerviosa y
biolgica del sujeto, solamente llega a pasar al campo del pensamiento consciente al verse obligada a integrar los enlaces
previos comprendidos en los esquemas; y en cada nuevo peldao, la necesidad de integrar, superndolos, los resultados
de las construcciones anteriores explica que las construcciones
sucesivas obedezcan a unas leyes de direccin: no -repitmoslo una vez ms- porque estuviese todo dado de antemano,
sino porque esta necesidad de integrar lleva en s misma una
continuidad de la cual no se da uno cuenta ms que retrospectivamente, pero que no por ello deja de imponerse. As
pues, la experiencia lgico-matemtica no tiene nada de comienzo absoluto: es una etapa de transicin entre la organizacin interna de las acciones y los comienzos de la construccin
operatoria, etapa que est ya llena de enseanzas; pero stas
no habrn de adquirir toda su significacin ms que cuando
se sigan paso a paso las etapas siguientes, que se escalonan
entre este aparente empirismo y la matemtica pura.
III. Las operaciones Concretas y las hipottico-deductivas.-Las abstracciones reflectoras efectuadas a partir de
las acciones del sujeto dan como resultado la construccin de
cierto nmero de sistemas operatorios elementales, que permiten substituir la experiencia por la deduccin; slo que este
paso a la deduccin est muy lejos de ser brusco, sino que
se asiste a una serie de transiciones entre los niveles preope-
296
PIAGET y
B.
lNHELDER,
297
298
299
300
301
302
303
304
calidad de argumento probatorio de que las matemticas se disocian cada vez ms de las vinculaciones psicolgicas que de
tan buena gana se reconocen en lo que respecta a la formacin
del nmero natural y la del espacio eucldeo de tres dimensiones. Ahora bien, si se aceptan los esquemas genticos que hemos propuesto antes, el progreso de la abstraccin y la separacin con respecto a las intuiciones llamadas naturales se encuentran inscritos, desde el punto de partida mismo, en la lnea
del desarrollo. En efecto, si nos atenemos a los tres estadios
psicogenticos de la accin sensorio-motriz, de las operaciones
concretas y de las operaciones hipottico-deductivas, a lo largo
de las cuales se construyen y luego se reconstruyan las estructuras elementales, integrndose sucesivamente en nuevas estructuras ms generales, se comprueba que el motor mismo de
tales reconstrucciones es la abstraccin reflectora, mientras
que sus productos son nuevas operaciones que versan sobre las
operaciones o acciones anteriores: as pues, ya en los peldaos naturales hay cierta tendencia a la abstraccin, con estructuraciones cada vez ms disociadas de los objetos y, en este
sentido, cada vez menos intuitivas. Ahora bien, hemos de recordar que, en estos niveles, por mucho que las operaciones utilizadas sean cada vez ms conscientes, las estructuras de conjunto se mantienen totalmente ajenas a la reflexin 7 consciente
del sujeto; en cuanto a los niveles de construccin de la ciencia, el matemtico redescubrir las estructuras que actuaban
ya en el pensar precientfico, y construir la teora correspondiente; por lo cual es obvio que, por muy concretas que sean,
a su vez, las construcciones iniciales de su ciencia (al nivel, por ejemplo, de la geometra griega o del lgebra rabe), los
mismos procesos de abstraccin reflectora y de superposicin
jerrquica de las operaciones conducirn, a fortiori, a las mismas crecientes exigencias de abstraccin y a iguales superaciones con respecto a la intuicin.
7 En el sentido corriente de pensar reflexivo [rflechie] mientras
que, en sus formas elementales, la abstraccin reflectora [rflchissante]
puede reflejar [ rflchir, que en otros contextos significa reflexionar], a modo de un reflector, los elementos abstrados sobre otras
operaciones nuevas, pero sin que participe en ello la conciencia del sujeto.
305
306
307
308
tructuras abstractivas cualesquiera), la comprobacin o demostracin supone necesariamente una marcha en parte regresiva:
el hecho mismo de que la supuesta solucin del problema se
siente como hiptesis significa una posible vuelta al statu qua
ante, y lo propio de la demostracin consiste en remontarse
hasta l para seguir el camino conducente a la hiptesis, por
ms que cada uno de los pasos que se den en l est ahora garantizado por una regulacin que determine su validez. (Poco
importa que esta cuestin de la validez exceda de la competencia de la psicologa: la demostracin, de todos modos, sigue psicolgicamente un orden regresivo para volver a un punto de
partida desde el que sea posible verificar la hiptesis.)
El problema es entonces el siguiente: si el orden regresivo
que supone la demostracin entra dentro del cuadro psicolgico de los procesos simultneamente progresivos y regresivos
propios de todo acto intelectual completo, es obvio que tenemos que distinguir dos sentidos posibles del trmino de regresin, que acabamos de emplear: a) un sentido psicolgico, que
es relativo a la accin de averiguar por qu va se haya obtenido la hiptesis, cosa que equivale a seguir la historia de los
enlaces conducentes a ella, y b) un sentido lgico, referente a
la accin de remontarse a verdades asentadas (teoremas) o admitidas (axiomas), anteriormente, con objeto de extraer de ellas
la justificacin de la hiptesis. El problema consiste, pues, en
averiguar si existe relacin alguna entre estos dos sentidos posibles de la regresin; dicho de otro modo, en ver si la regresin axiomtica presenta alguna semejanza con el orden gentico a la inversa.
Ahora es obligado hacer una segunda observacin. Nos hemos percatado constantemente de que el proceso gentico fundamental que permite construir una nueva estructura a partir
de otra precedente es la abstraccin reflectora, que consiste
en extraer ciertos elementos de la estructura del caso para reflejarlos en unas operaciones nuevas que los generalicen en una
estructura superior; ahora nos damos cuenta de que semejante
proceso es tambin simultneamente progresivo (aparecen operaciones y estructuras nuevas) y retroactivo (se abstrae a partir de la estructura anterior); y puede admitirtJe, adems, que
309
la invencin de la hiptesis -proceso siempre tan misteriosose efecta dentro del marco de la abstraccin reflectora, ya
que la hiptesis tiene siempre la funcin de colmar una laguna
en las construcciones en curso. Pero no por ello deja de subsistir el problema de la eventual semejanza entre la regresin
axiomtica y la gentica.
Enunciemos al llegar este momento las dos dificultades esenciales de este problema. La primera es que si bien la ambicin
inicial de la axiomtica formalizante moderna, la de reducir las
matemticas a axiomas lgicos y, por consiguiente, lo complejo
a lo simple, puede parecer que a grandes rasgos est conforme
con el orden gentico (pero con las reservas sobre las que hemos de volver en el captulo 11, 58), la eleccin de los axiomas se ha vuelto libre; y de ah que sea posible construir una
y la misma teora, por ejemplo, la lgica de proposiciones, mediante axiomticas mltiples y muy diversas entre s, unas fundadas en axiomas intuitivamente evidentes (as, los cinco axiomas de Russell y Whitehead, reductibles, por lo dems, a cuatro) y otras sobre axiomas enteramente artificiales (el axioma
nico de Nicod, por ejemplo, o el de los lgicos polacos). La segunda dificultad no es menos considerable que sta: la distincin entre axiomas y teoremas es slo relativa al sistema elegido en cada caso, de modo que una proposicin puede servir
de axioma en un sistema, aun siendo demostrable en otro.
Sera absurdo, pues (y no tenemos intencin alguna de hacerlo), que intentsemos mostrar que la marcha regresiva de
la formalizacin conduce a descubrir unos axiomas que se correspondan trmino a trmino con elementos genticamente
primitivos, ya que si tal correspondencia existiese, ello significara, por una parte, que podra someterse a la fiscalizacin
de los hechos la regresin axiomtica, cosa que est en contra
del espritu de la formalizacin, y, por otra, que podran deducirse axiomticamente los procesos genticos, lo cual se opone
a su naturaleza de despliegue histrico.
Por el contrario, lo que sostenemos es, ante todo, que existe cierta analoga global o funcional entre los dos gneros de
anlisis regresivos, aun cuando sin que haya interaccin alguna directa entre ellos, dado que las cuestiones de hechos y las
310
311
312
313
314
315
316
que revela el anlisis gentico, sino que, por el contrario, confluye con las conexiones ms primitivas desde el punto de vista
gentico -aunque en un plano enteramente distinto y por medio de tcnicas ms o menos artificiales.
En conclusin: por mucho que la formalizacin constituya
la variedad ms refinada de la abstraccin reflectora, no cabe
considerarla radicalmente extraa al pensamiento natural. Es
cierto que excede ampliamente las pocas reconstrucciones sobre escalones posteriores de construcciones efectuadas en otros
escalones anteriores (reconstrucciones que, como hemos visto,
son de rigor en cuanto condiciones del desarrollo); pero si aparentemente las excede cualitativamente, ello se debe a que la
tarea que se propone es la de llegar a una reconstruccin integral y no simplemente a reconstrucciones parciales; slo que
precisamente por querer ser integral es por lo que esta reconstruccin propia de la formalizacin confluye con ciertas vinculaciones elementales y fundamentales reveladas por el anlisis gentico; y en el captulo 11 hemos de ver todava ms ejemplos
de ello.
55.
En qu sentido pueden colaborar los mtodos gentico y axiomtico en una formalizacin del pensamiento reaLEl proyecto de formalizar ciertas estructuras del pensamiento
natural tropieza con dos clases de objeciones. Unas vienen a
sostener, en definitiva, que semejante proyecto es irrealizable,
ya que al pensar natural le falta el rigor imprescindible para
que quepa axiomatizarlo: Tarski ha hecho ver, por ejemplo,
que no es posible establecer un isomorfismo entre las teoras
formales y las <<teoras ingenuas>>, lo cual, naturalmente, excluye que se puedan formalizar estas ltimas siguiendo el modelo
de las primeras. Las objeciones del segundo tipo, por el contrario, equivalen a admitir que, puesto que la diferencia entre
el pensamiento natural y el pensamiento lgico reposa precisamente en el hecho de que el segundo est formalizado, y no el
primero, si tambin se formalizase ste se llegara al pensamiento lgico cientfico, y se hara perder al pensamiento natural sus propiedades especficas. Pero estas dos objeciones
no nos parecen vlidas ms que si se admiten previamente o la
317
irreductibilidad radical o la completa reductibilidad de las formas del pensar natural a la lgica formalizada; y, sobre todo,
suponen que slo se acepten como modelos de formalizacin
las lgicas actualmente axiomatizadas, por ms que stas se hayan construido con unas finalidades muy diferentes a las de
servir de modelo al pensamiento natural: en especial, con la
de fundamentar las matemticas.
La meta que ahora perseguimos es muy distinta, y no la alcanzan ni la una ni la otra de las dos objeciones indicadas: se
trata, simplemente, de averiguar con precisin la especificidad
de esta o aquella estructura del pensamiento real en su desarrollo, as como las diferencias que presente con respecto a las lgicas acabadas. Suponiendo, por ejemplo, que los agrupamientos elementales de clases y de relaciones (vase el captulo 8,
45) desempeen un papel importante en el desarrollo y, adems, que, como veremos un poco ms adelante (en el captulo 11, 56), se encuentren en el punto de partida de la construccin de los nmeros naturales, puede ofrecer inters formalizar la estructura del agrupamiento, no para asimilarla
a un lgebra de Boole, a un reticulado, etc. (puesto que precisamente difiere de ellos), sino exclusivamente para mostrar la
especificidad del agrupamiento, es decir, sus limitaciones, en
una forma que sea comprensible al lgico (aun cuando pueda
no servirle de nada), y cuyo conocimiento sea til al genetista.
Antes de mostrar de qu modo esta empresa permite, de
hecho, una colaboracin entre los anlisis gentico y axiomtico, recordemos, primeramente, que es realizable. En efecto,
uno de los miembros de nuestro Centro Internacional de Epistemologa Gentica, el lgico y matemtico J. B. Grize, ha llevado a cabo, precisamente, una formalizacin del agrupamiento sin ms que expresar sus limitaciones naturales bajo la
forma de postulados restrictivos; y hemos visto el resultado
obtenido en el captulo 8, 45. Vamos a ver luego (captulo 11,
56), asimismo, cmo ha formalizado Grize la construccin del
nmero a partir de los agrupamientos de clases y de relaciones, en forma correspondiente a la especie de sntesis que
revela el anlisis gentico.
Dicho esto, los servicios que se tiene derecho a esperar de
318
319
Una vez precisado esto, sigue siendo verdad que, reconociendo una vez ms las respectivas competencias de la lgica y de
la psicologa gentica, estas investigaciones paralelas -en las
que no ha de haber interferencia entre las cuestiones de validez
y las de hechos- pueden llevar, en un plano epistemolgico, y
no ya lgico o psicolgico, a mejorar la colaboracin entre los
dos gneros de estudios, con el fin de puntualizar las relaciones existentes entre lo que en el pargrafo precedente llambamos lo elemental axiomtico y lo elemental gentico. En efecto, si aqullo es lo que soporta todo el peso de las demostraciones, eri tanto que sto no constituye otra cosa que un punto
de partida fctico de invenciones o construcciones, podra parecer que no hay relacin alguna entre lo uno y lo otro; pero
lo elemental gentico conlleva sus propias implicaciones, que
orientan las construcciones ulteriores, provocando la nueva elaboracin, destinada a completar las estructuras de partida colmando sus lagunas; y cabe preguntarse, por consiguiente, si lo
elemental gentico no constituye, acaso, una <<representacin
-en sentido matemtico- dbil de lo elemental teortico, o suponer la existencia de alguna otra solucin que confiera a aqullo la propiedad de reflejar de alguna forma sto. Por nuestra
parte, no proponemos solucin alguna, pero insistimos solamente sobre el hecho de que ah hay un problema; ahora bien,
la formalizacin de las estructuras naturales ms elementales
posible puede desempear a este respecto un papel instructivo,
al puntualizar simultneamente sus semejanzas con lo elemental teortico y sus lagunas, juntamente con la manera de colmarlas.
11
Se plantea un problema previo a este respecto, problema que proporciona ya un caso en que aquella comparacin
es instructiva. Frente a los esfuerzos de los axiomatistas por
reducir el nmero a elementos lgicos (clases o relaciones),
H. Poincar y la tradicin intuicionista hasta Brouwer han sostenido la irreductibilidad del nmero a los entes lgicos: segn
Poincar, la intuicin de n + 1 o de la iteracin sera al mismo
tiempo primitiva e independiente de la lgica, de suerte que
antes de preguntarse qu variedad de reduccin del nmero a
las clases o a las relaciones corresponde mejor al proceso natural, conviene examinar la cuestin previa de la semejanza o
l.
321
322
1 P. GRCO ha hecho ver, adems, que entre la no conservacin general (comienzos del' estadio II) y la conservacin (estadio III) existe
un nivel intermedio en el cual el nio, cuando se rompe la correspondencia ptica, espera encontrar el mismo nmero, pero contina negando que se trate de la misma cantidad: vase Quantit et quotit,
en. tudes d'Epistmologie gntique, vol. XIII, estudio I.
2 Vase INHELDER y PIAGET, La genese des structures logiques lmentaires (Delachaux et Niestl), captulo 1.
323
mtricas transitivas, se encuentran tres estadios anlogos cuando se utilizan pruebas tales como, por ejemplo, la de ordenar
una decena de elementos por tamao creciente. En cierto estadio, I, el nio no consigue la seriacin completa, sino nicamente logra obtener parejas (pequeo/grande) o pequeos conjuntos, cada uno de ellos ordenado internamente, pero incoordinables entre s; en el estadio II el sujeto logra la seriacin
completa, si bien por tanteos sucesivos, y en el III encuentra
un mtodo sistemtico, consistente en coger primero el elemento ms pequeo, luego el menor de todos los restantes, etctera: luego comprende de antemano que cualquier elemento,
f3, es a la vez mayor que los precedentes y menor que los siguientes (lo cual conduce, por ello mismo, a una comprensin
de la transitividad, segn hemos visto en el captulo 8, 45-46).
Este paralelismo entre las evoluciones respectivas del nmero, de las clases y de la seriacin constituye, pues, un primer
indicio en favor de su interdependencia y en contra de la autonoma inicial del nmero.
2) Tal indicio se ve reforzado por el examen de los errores del sujeto en los estadios I y II, en lo que se refiere al nmero; pues estos errores manifiestan, realmente, que hay una
especie de indiferenciacin relativa entre las estructuras que
se construyan, ya sea con respecto a las clases o con respecto
a las. relaciones. Por ejemplo, es frecuente que al extraer de
dos conjuntos desiguales, M (20 elementos) y N (SO elementos),
dos subconjuntos respectivos iguales, M' y N', de 7 elementos
(habindose cogido cada uno de los M' con una mano de M, en
tanto que se coga cada uno de los N' con la otra mano de N),
el nio crea que los 7 elementos N' son ms numerosos que
los 7 M', por haberlos sacado de los N, que eran ms que los M:
en este caso se interpreta el rasgo numeroso en comprehensin, y no en extensin, por una especie de indiferenciacin entre estos dos aspectos de las colecciones. Ahora bien, esta indiferenciacin es justamente lo que caracteriza a los estadios I
y II del desarrollo de las clasificaciones y lo que, en especial,
explica la generalidad de las colecciones figurales del I (en
las que la extensin se mantiene en el estado de propiedad espacial, como en el estadio I del nmero, pero esta vez intervi-
324
niendo en los rasgos de comprehensin de la coleccin) 3 Igualmente se observan dificultades en cuanto al nmero que provienen de la evolucin de la seriacin: por ejemplo, cuando se
va a retirar un elemento tras de otro, hasta llegar a O, de una
coleccin de 30 elementos, el sujeto no est seguro de que se
haya pasado necesariamente por un estado en el que la coleccin era igual a otra, testigo, de 15 elementos, como si se hubiera podido saltar de 16 a 14 sin pasar por 15, o como si hubiese
pasos intermedios entre 16 y 15 o entre 15 y 14; dicho de otro
modo, a este nivel la serie de los nmeros se sigue asimilando
a una serie cualquiera, y la conexidad especial de aquella serie
(todo nmero difiere de otro en un mltiplo de 1) se asimila a
una conexidad cualquiera (todo elemento es mayor o menor
que cada uno de los dems) 4
Estos tipos de errores, que presentan otros muchos ejemplos, muestran, pues, la indiferenciacin relativa inicial entre
las estructuras de los nmeros, las clases y las relaciones antes
de que los primeros adquieran sus caractersticas especficas.
3) Por otra parte, y precisamente en virtud de las indiferenciaciones sealadas en 2), en los niveles elementales no se
observa intuicin alguna de n + 1, en el sentido de una conciencia clara de la iteracin y de los procesos recursivos. Ya la
falta de conservacin de los conjuntos numricos (estadios I
y II, punto la) se opone por s sola a lo que se considera ser el
rasgo primitivo de semejante intuicin; y el examen gentico de
la conmutatividad (incluso para igualdades tales como 2 + 3 =
= 3 + 2), de la sucesin de los nmeros pares e impares y de
la generalizacin de propiedades tan triviales como S(Sn) =
= n + 2 (el sucesor del sucesor del nmero n es igual a n + 2)
hace ver claramente el carcter tardo de la elaboracin de semejantes intuiciones (P. Grco, art. cit.).
De todos estos diversos datos puede concluirse, pues, que,
tanto en el campo del pensamiento natural como desde el punto
de vista de la formalizacin, la construccin del nmero prolNHELDER y PIAGET, loe. cit.
Vase A. MoRF, <<Recherches sur l'origine de la connexit de la suite des premiers nombres, en Etudes d'Epistmologie gntique, volu
men XIII, estudio II.
3
4
325
326
327
328
IV. Al nivel de la construccin de la sucesin de los enteros, el nio dispone, entre otros, de los dos agrupamientos
siguientes:
a) Dadas las clases singulares A, A', B', etc., puede reunirlas de la siguiente forma: A+ A' = B, B + B' = C, etc., con posibilidad tambin de la operacin inversa, B- A = A', etc., de
la anulacin, A- A = O, de la tautificacin, A+ A =A y de la
asociatividad limitada a las reuniones y sustracciones no tautolgicas.
/3) Dados unos elementos distintos desde el punto de vista
de cierta cualidad (tamao, etc.), puede ordenarlos por las relaciones A(a)A', A'(a')B', B'(b')C', etc. Y de ello provienen la seriacin de las relaciones, a + a' = b, b + b' = e, etc.; las inversiones, b- a' = a, etc.; la anulacin, a- a' = O; la tautificacin, a + a = a, y la asociatividad limitada a las operaciones no tautolgicas.
Como ya hemos visto antes (en el captulo 8, 45), estos
dos agrupamientos tienen una composicin sumamente restringida, debido al hecho de su carcter de contigidad (composicin paso a paso) y de su ausencia de combinatoria; adems,
FORMAL Y EL
PENS~IIENTO
REAL
329
330
331
la L
(Def. 1)
rr
= df. (m)
a\ ,
1 >1
(n)
La relacin rr es, como la del agrupamiento de las seriaciones (<), asimtrica, transitiva y conexa; y, adems, es biunvoca.
(Def. 2)
332
siendo r.* la relacin ancestral de la " Por lo tanto, esta definicin significa que si x e y son dos objetos tales que x rr y, x
es idntico a y, o x rr y, o hay un z tal que x r. z y z rr y, y as
sucesivamente.
Sea ahora el sistema (N, ~, +, -), siendo N un conjunto
no vaco, ~ la relacin arriba definida y+ y - dos operaciones binarias; designemos con x, y y z variables que tomen los
valores en N, y admitamos, adems,
(Def. 3)
= y = df. X
&:
y Ay
~ X
(No)
x+(y+z)=(x+ y)+z
(Nz)
x+y=y+x
(N3)
x~
y.:J.
x+z~y+z.
333
Una vez eliminado G4, las restricciones impuestas por Gs desaparecen tambin:
(Ns)
y=x+z.==.y-x=z.
x r. y.== . x+ 1 =y,
O~ x
Grize extrae de los postulados as modificados algunos teoremas y seis metateoremas, de los cuales los cinco primeros corresponden a los cinco axiomas de Peana (comprendido el de
recurrencia), y el sexto proporciona una definicin recursiva
de la suma. Recprocamente, los postulados se satisfacen si
x, y y z desgnan nmeros naturales y si las operaciones tienen
su sentido habitual. Estamos en situacin, pues, de afirmar que
el sistema (N, ~, +,-)es el de los nmeros naturales, incluyendo el cero (pg. 93).
VI. As pues, la formalizacin de Grize hace ver que el
proceso natural observado en la construccin del nmero en
el nio puede corresponder a una construccin formal; la cual,
como es obvio, no adquiere por ello valor formal superior alguno, pero demuestra, al menos, la posibilidad de la convergencia
de que hablbamos. Ahora bien, este hecho es tanto ms notable cuanto que semejante formalizacin no consiste en deducir el nmero de las clases o de las relaciones, como es sli-
334
335
m+ n = snm,
esto es, m + n es igual al n-sirno sucesor de m. Pero, dejando
de lado todas las consideraciones de estratificacin, m y n son
s Vase
GRIZE,
336
57. El fracaso de la reduccin de lo superior a lo inferior.-De Leibniz a Russell, la tradicin logicista (vase el captulo 3) ha tendido constantemente a reducir las matemticas
a la lgica y, en general, los sistemas superiores o ms complejos a los inferiores o ms elementales. Las dificultades de
la reduccin del nmero a las clases o a las relaciones constituyen un primer ejemplo de las resistencias que se encuentran
cuando se persigue semejante ideal reduccionista 6 Pero el pro6 Sobre las dificultades del reduccionismo lgico, en general, vase
S. PAPERT, Sur le rductionnisme logique, Etudes d'pistmologie gntque, vol. XI, estudio III.
337
338
te, independiente del sujeto (ya que ste no logra conferir una
no contradiccin demostrable a los sistemas a que tiene acceso
en primer trmino) y, por otra, est suspendido de su pice (si
es que se puede hablar as), puesto que los escalones inferiores adquieren coherencia nicamente a partir de los estadios
superiores.
Slo que, en este caso particular, la interpretacin platnica
choca con su dificultad constante en forma todava ms grave
de la ordinaria. La dificultad general del platonismo consiste
en que difcilmente puede concebirse como algo acabado un
edificio que hemos aprendido a conocer por construcc~ones
aparentes progresivas, salvo que estas construcciones se traduzcan como descubrimientos, como ~i fuesen encuentros con
una realidad exterior; pero entonces por qu tales descubrimientos obedecen a reglas de sucesin anlogas a las de construccin? Ahora bien, en este caso particular no mejoran las
cosas al subordinar la no contradiccin de los estadios inferiores a su sometimiento a los superiores, dado que stos, a su
vez, no gozan de ninguna no contradiccin que fuese demostrable por sus propios medios, sino que se hallan subordinados
a unos escalones todava ms elevados, y as sucesivamente. Por
otra parte, cabe comprender que el platonismo apoye una sucesin infinita en un ente infinito que la contenga de antemano
en el caso de que tal sucesin consista en una jerarqua de entes parciales, tales como los ordinales transfinitos, por ejemplo; pero cuando la sucesin consiste en hacer que la no contradiccin de un sistema repose en otro sistema superior, es
ms difcil concebirla sin un dinamismo operativo, ya que si
un sistema existe como ser independiente del sujeto, no puede
existir sino en el estado de no contradictorio, y ello a todos los
niveles; mas si el rasgo de no contradictorio proviene de su
subordinacin a los sistemas superiores, en qu consiste sta,
fuera de la cual el sistema inferior se vera amenazado de contradiccin? Dicho sucintamente: en la perspectiva platonizante, habra que concebir la nocin godeliana de la no contradiccin subordinada al sistema superior como algo relativo a nuestra manera humana y limitada de aprehender los entes matemticos, ms que como expresin de los caracteres intrnsecos.
339
340
traccin reflectora con vistas a garantizar tal reflexin no tienden solamente a ampliar la estructura de partida o a generalizarla, sino que tienden a hacerlo en la direccin misma que refuerce la no contradiccin. Como psicolgicamente la no contradiccin conseguida por el sujeto proviene de la reversibilidad de su pensamiento, ello equivale a decir que la ampliacin
de cualquier estructura se efecta en la direccin de un progreso de la reversibilidad; y tal es lo que efectivamente se observa
en el ya citado ejemplo del paso de los agrupamientos del grupo INRC.
Pero, recprocamente, las leyes de la abstraccin reflectora
hacen comprensible por qu un sistema no se basta jams a s
mismo en lo que se refiere a su propia no contradiccin: si no
hay sistema que pueda acabarse ms que saliendo de s mismo
para reflejarse en un sistema superior, es natural que la formalizacin de aqul no permita garantizar su propia no contradiccin.
En resumen: este ejemplo de la irreductibilidad de lo superior a lo inferior parece prestarse ms a la convergencia entre
el anlisis formal y el gentico que a una interpretacin esttica (y, en especial, platonista) de la realidad matemtica. Ya la
sola consideracin de una posible jerarquizacin de los sistemas en ms dbiles y ms fuertes, teniendo en cuenta que los
superiores permiten garantizar la no contradiccin de los inferiores, posee un gran inters desde el punto de vista de la eventual convergencia, pues es poco probable que la construccin
gentica comience por los sistemas ms fuertes; lo mismo que,
por razones bien distintas, pero paralelas, la construccin axiomtica parte de las condiciones mnimas en lugar de concederse a s misma todo de antemano.
58. Los lmites de la fonnalizacin.-Puede considerarse
que uno de los lmites esenciales de la formalizacin es la fundamental ley que acabamos de recordar, en virtud de la cual
no se puede demostrar la no contradiccin de un sistema por
sus propios medios o por medios ms dbiles. No vamos a volver sobre la cuestin una vez ms; pero hay dos razones mucho ms triviales de limitacin de la capacidad formal sobre
341
las cuales s conviene que hagamos hincapi ahora, ya que sealan simultneamente las diferencias ms salientes entre los
sistemas formalizados y las estructuras naturales y la converg~ncia ms profunda que se oculta tras las diferencias.
Como ya deca insistentemente Pascal en sus Penses, no
cabe definir ni demostrar todo, ya que cualquier sistema deductivo parte necesariamente de nociones indefinibles, que sirven para definir las otras, y de proposiciones indemostrables,
que se eligen como axiomas y que sirven para demostrar las
proposidones demostrables o teoremas. Es perfectamente sabido, adems, que la distribucin de conceptos en indefinibles
y definidos y de proposiciones en axiomas y teoremas es cuestin de eleccin, y no de propiedades intrnsecas; pero, cualquiera que sea el sistema elegido, siempre habr indefinibles
e indemostrables, y si bien ambas cosas figuran en el sistema
formalizado en calidad de puntos de partida de la construccin
formal, no estn, a su vez, engendradas ni. construidas formalmente, segn es obvio. A esto es a lo que vamos a llamar la limitacin por abajo de la formalizacin.
Por otra parte, sabemos hoy que una de las condiciones de
una formalizacin estricta es la de distinguir entre, por una
parte, el sistema formal mismo en sus aspectos sintcticos y,
por otra, un metalenguaje -o semntica- que otorgue-significacin a los elementos_. Ahora bien, si es que cabe formalizar
este metalenguaje, con la condicin de interpretarlo 7, ello no
puede hacerse en el lenguaje mismo. Y aqu tenemos lo que vamos a llamar un lmite superior de la formalizacin.
En efecto, sea A una teora formalizada de una u otra forma. Es preciso, entonces, distinguir entre la sintaxis de A, o sea, Sin(A), que ser
el conjunto de nombres, predicados, relaciones y juicios que se refieran
a las letras, signos diversos y frmulas de A, y la semntica de A, o sea,
Sem(A), que ser todo lo concerniente a la interpretacin que se d a
los smbolos de A. En estas condiciones, el metalenguaje que englobe
Sem(A) y Sin(A) no puede ser formalizado ms que por medios ms poderosos que los de A: If Sem(A) and Syn(A) -escribe, por ejemplo,
7 Se dir que se ha interpretado en A la semntica de A cuando,
siendo X una proposicin cualquiera de Sem (A) y siendo X' el resultado cuando se reemplacen en X todos los conceptos de Sem (A) por
su definicin, X' sea verdadera (o falsa) a la vez que X.
342
Ahora bien, el pensamiento natural, justamente por no estar formalizado, desconoce tales distinciones: ni incluye dos
categoras de elementos comparables, respectivamente, a los
axiomas y a los teoremas (o a los indefinibles y a los conceptos definidos), ni presenta dos campos distintos que correspondan al lenguaje y al metalenguaje, sino que rene ambos aspectos sobre un mismo plano.
Las evidentes diferencias entre el pensamiento natural y
esos sistemas formales -diferencias tan aparentes que semejan ser fundamentales, y que ocultan casi completamente las
convergencias que de hecho se encuentran recubiertas por
8 E. W. BETH, The foundations of mathematics [Los fundamentos
de la matemtica].
* Si nos referimos colectivamente a Sem (A) y Sin (A) con el nombre de metasistema de A, Met (A), entonces los dos resultados [obtenidos
antes], tomados conjuntamente, hacen ver que Met (A) tiene que exceder a A tanto en medios de expresin como en mtodos de demostracin. (N. del T.)
9 Grundlagen der Mathematik [Fundamentos de la matemtica],
Berln (Springer), 1939, tomo II, pg. 268.
10 Que aparecer en un prximo fascculo de los tudes d'pistmologie gntique.
343
ellas- se explican ante todo por las distintas funciones o intenciones, correspondientes a una y otra clase de actividades.
En efecto, la formalizacin est orientada exclusivamente hacia
la demostracin, y tal es la razn por la cual est obligada a
proceder por orden de sucesin, esto es, de forma lineal: primeramente los axiomas, luego los teoremas y, por fin, el metalenguaje. El pensamiento natural, por el contrario, comienza
in medias res y tiene por funcin esencial la de inventar, o sea,
la de ampliar el sistema de los conocimientos adquiridos; ahora bien, este sistema es circular, cosa que explica al mismo tiempo la ausencia de diferenciacin natural entre los escalones
sucesivos que distingue la formalizacin y el hecho de que,
cuando se introducen tales distinciones juntamente con un orden lineal, la formalizacin se encuentre limitada simultneamente por abajo y por arriba.
Por lo dems, tanto las relaciones existentes entre las significaciones que se encuentran en el uso de un lenguaje como
las que median entre las significaciones de las acciones atestiguan que todo sistema natural de conocimientos es circular
(salvo, precisamente, en los casos en que haya un comienzo de
demostracin, o sea, cuando el pensamiento introduzca un orden lineal parcial que se oriente en la direccin de la formalizacin). En efecto, las significaciones que se vinculan a las palabras de un idioma son interdependientes, y F. de Saussure ha
podido mostrar que en todo momento de la evolucin de la
lengua constituyen un sistema sincrnico independiente de la
diacrona, sistema en el que se equilibran entre s mltiples
relaciones, en particular de oposicin; por consiguiente, es
intil buscar un orden lineal entre significaciones, razn por
la cual es tan frecuente que incluso las definiciones de los diccionarios sean frecuentemente circulares. En cuanto a los sistemas de acciones, e incluso de operaciones, sucede lo mismo:
cada elemento es solidario de los dems, de suerte que no se lo
comprende ms que en funcin de interacciones; y si se coloca
uno en el punto de vista del desarrollo, se encuentra sin cesar
lo que J. M. Baldwin llamaba ya crculos genticos, de los
que tenemos un buen ejemplo en las relaciones existentes entre
los conceptos y los juicios: todo concepto es un producto de
344
345
346
12
De estas pocas reflexiones sobre la psicologa de las matemticas nos gustara sacar ciertas conclusiones relativas a los
problemas epistemolgicos generales, en el sentido en que hemos tomado el trmino de epistemologa en el captulo 7, 42,
o sea, comprendiendo en l los problemas ontolgicos que involucran una confrontacin entre los anlisis lgicos y los datos genticos.
59. Interpretacin empirista y apriorismo.-Una primera interpretacin posible de las matemticas es la del empirismo en sentido tradicional -por oposicin al empirismo lgico-: los conceptos lgico-matemticos se sacaran de la experiencia, ya en el sentido de experiencia fsica (por abstraccin
a partir de objetos), ya en el de experiencia psicolgica (abstraccin a partir de datos introspectivos, es decir, a partir del
sujeto, pero en cuanto objeto de introspeccin, y no como sujeto activo estructurador de los objetos y de su propia consciencia).
Uno de los ltimos representantes del empirismo puro fue
F. Enriques, que esperaba poder explicar las diversas formas
de geometra a partir de distintos teclados sensoriales 1; pero
tambin se encuentran formas mitigadas de empirismo en autores que por lo dems muestran tendencias harto distintas:
' F. ENRIQUES, Les concepts fondamentaux de la Science, trad. de
Rougier, Pars (Flammarion).
348
349
350
351
estructura sino poco a poco bajo el efecto del marco lgico-matemtico en formacin, y puesto que este marco, a su vez, no
se organiza sino poco a poco: pues exige inicialmente, por su
parte, cierta forma de experiencia, pero, como acabamos de recordar, abstrayendo a partir de acciones y no a partir de objetos.
As pues, slo en una fase adelantada del desarrollo presentan los encuentros entre la experiencia y la deduccin el cariz
de una anticipacin de aqulla bajo la influencia de sta. Tal
es el caso de la geometra eucldea, que la fsica griega no aplicaba a la experiencia (el espacio de Aristteles no es istropo)
y que no lleg a formar cuerpo con la fsica ms que en la concepcin newtoniana de la gravitacin; tal es asimismo el caso
de la geometra riemanniana, construida deductivamente mucho antes de que Einstein la aplicase tambin a la gravitacin.
La microfsica contempornea proporciona otros muchos ejemplos de este gnero.
Pero en qu sentido se puede hablar de armona preestablecida entre la deduccin y la experiencia para explicar el
acuerdo de las matemticas y la realidad? No en el sentido empirista, ya que la razn informa a la experiencia en lugar de derivarse de ella, e incluso la informa, en ocasiones, con sorprendentes anticipaciones; pero tampoco en el sentido del a priori
kantiano, ni siquiera hilbertiano, puesto que no hay al comienzo marco alguno comn a la experiencia y a la razn que contuviese por anticipado las formas desarrolladas luego por sta
y aplicadas a aqulla. Lo que est dado de antemano es una
fuente comn, de la que provienen dos construcciones inicialmente independientes y luego paralelas, pero de las cuales la
segunda toma la delantera; y esta fuente comn es, simplemente, la coordinacin de las acciones del sujeto. Slo que, como
esta coordinacin general depende de las leyes de las coordinaciones nerviosas, y stas de las de la coordinacin orgnica
en general, y como los organismos han nacido -sin que an se
sepa cmo- en interaccin con el medio fisicoqumico, la fuente comn de la razn y de la experiencia supone desde el primer momento una interaccin fundamental entre el sujeto (el
arganismo) y los objetos (el medio). No existe, pues, un marco
352
353
sus propias acciones ms que por sus resultados; es decir, cuando construye stos, primeramente mediante una experiencia lgico-matemtica profundamente distinta de la del empirismo,
y luego deductivamente.
60. La interpretacin nominalista o lingstica de las matemticas.-El lenguaje incluye una lgica, aunque incompleta
(clasificaciones, relaciones, algunas operaciones proposicionales, cuantificadores, etc.), y una aritmtica, bajo la forma de
una sucesin verbal de nmeros naturales y de algunas fracciones. Es comprensible, por lo tanto, que se haya pensado con
frecuencia en explicar la lgica por el lenguaje; lo cual conduce a una interpretacin nominalista, y a veces convencionalista,
de las matemticas.
El empirismo lgico inaugurado por el Crculo de Viena ha
dado un impulso especial a esta interpretacin al introducir
una distincin radical entre dos clases de verdades: unas, sintticas o experimentales, que se fundaran en la percepcin, y
las otras, analticas, que procederan por puras combinaciones
tautolgicas a partir de definiciones. Luego, Carnap intent reducir estas verdades analticas a una pura sintaxis, aun cuando despus ha reconocido, siguiendo a Tarski, la necesidad de
introducir una semntica; por el contrario, la obligacin de aadir a ello una pragmtica, segn lo ha sugerido Morris, sigue
todava siendo objeto de debates.
Independientemente de las cuestiones de tcnica lgica, sobre las que no tenemos por qu pronunciarnos, la interpretacin epistemolgica que consiste en asimilar las verdades lgico-matemticas a una sintaxis general y tautolgica completada por una semntica hace inevitable su vinculacin con el
lenguaje. Desde el punto de vista gentico, esta hiptesis estara justificada si se llegasen a demostrar las dos proposiciones
siguientes: a) que gracias al lenguaje es como se constituyen
las operaciones y sus estructuras de conjunto, primeramente
como concretas (pues el lenguaje acompaa a las manipulaciones de objetos) y, sobre todo, como hipottico-deductivas;
b) que la mayora de las estructuras lgico-matemticas se adquiriran por transmisin educativa y cultural (acciones ejer-
23
354
ciclas por la familia y por la escuela, lecturas, etc.), cuyo instrumento esencial es el lenguaje. De estas dos tesis se seguira
la fundamental consecuencia de que las fuentes genticas de
la lgica y las matemticas no habran de seguirse buscando
en las actividades del sujeto en general, caracterizado por su
organizacin biolgica y mental, sino nicamente en las del sujeto colectivo, es decir, en el grupo social y lingstico.
Desde el punto de vista epistemolgico, la asimilacin de
las operaciones y estructuras lgico-matemticas a las leyes de
una actividad colectiva y lingstica lleva consigo dos interpretaciones posibles y distintas: 1) una interpretacin semntica
realista, pese al aparente nominalismo de la sintaxis tautolgica: los conceptos y sus significaciones constituiran universales colectivos, cuyo valor provendra de la autoridad del grupo
social; y tal es el sentido en el que Durkheim defenda frente
a Lvy-Bruhlla universalidad de la razn y de la lgica, puesto
que bajo las civilizaciones estara la civilizacin, con sus leyes
permanentes y su funcin normativa; y 2) una interpretacin
completamente nominalista, que lleva al convencionalismo,
dado que lo propio de las relaciones sociales sera estatuir convenciones. Este convencionalismo se encontraba ya en germen
en varios partidarios ortodoxos del Crculo de Viena: P. Frank,
por ejemplo, recoga esencialmente el aspecto convencionalista
de la obra de H. Poincar (aspecto que no es el nico, ya que
este autor crea en los juicios sintticos a priori en lo que respecta a la intuicin del nmero juntamente con la recurrencia,
as como en lo referente a la estructura del grupo; pero Frank,.
como es natural, rechazaba este apriorismo limitado), convencionalismo que en la fsica matemtica afectaba a la ndole de
los principios, que seran definiciones disfrazadas, y era geomtrico en lo que respecta a la eleccin de las mtricas eucldea o no eucldea (aunque no cabe duda de que este convencionalismo geomtrico fue lo que impidi a Poincar descubrir la
teora de la relatividad, de la que se encontraba tan cerca). Mas
el convencionalismo que en germen yaca en las tesis del empirismo lgico ha encontrado su enfant terrible en la persona
de L. Rougier, cuyo Tratado del conocimiento reduce toda la.
355
356
357
ptesis de que la funcin simblica sea necesaria para construir el pensamiento representativo, y, por lo tanto, para la interiorizacin de las acciones en operaciones, ya que el sordomudo posee dicha funcin (lenguaje de gestos, juegos simblicos,
etctera). Pero ni el lenguaje articulado ni la transmisin sociolingstica son necesarios para la formacin de las estructuras
operatorias elementales, ya que el sordomudo es capaz de efectuar sedaciones, clasificaciones, correspondencias numricas,
etctera.
S) En conclusin: indudablemente, el lenguaje constituye
una condicin necesaria para que se completen las estructuras
de cierto nivel (hipottico-deductivas y proposicionales), pero
no es condicin suficiente de ninguna construccin operatoria.
Por lo dems, lo mismo que la comprensin del lenguaje supone la inteligencia y su mecanismo operatorio, la formacin misma del lenguaje, de la cual, por desdicha, sabemos tan poco, sera incomprensible sin una inteligencia previa.
Desde un punto de vista gentico, la interpretacin sociolingstica de las estructuras lgico-matemticas es, por lo tanto, resueltamente insuficiente: no cabe duda de que hace hincapi en un factor necesario, pero jams se ha demostrado que
sea suficiente, puesto que semejante hiptesis estara en contradiccin con todo lo que sabemos acerca de las fuentes sensorio-motrices de las operaciones, y, por consiguiente, de la necesidad de remontarse a las coordinaciones generales de la accin, cuya universalidad se refleja incluso en el lenguaje
mismo.
En cuanto a las interpretaciones nominalistas que pudieran
defenderse con independencia de esta frgil base gentica, tropiezan, a nuestro juicio, con una dificultad fundamental: la de
que, gracias precisamente al lenguaje (cuyo papel no hemos
negado, en absoluto, sino solamente limitado), la coordinacin
general de las acciones cesa de ser nicamente intrapersonal,
como lo era en el animal o el nio muy pequeo, para convertirse en interpersonal y contribuir a una objetividad de que es
incapaz el individuo solo, por lo menos a cierta escala. Es cierto que la vida social se manifiesta tambin de maneras muy
otras que por las coordinaciones que garantizan la objetividad,
358
pues la coaccin del grupo es fuente de una subjetividad colectiva que se manifiesta en opiniones recibidas, creencias, etc.,
tan poco fundadas como la subjetividad individual. Pero la coordinacin misma de las acciones interpersonales, es decir, la
cooperacin (frente a las coacciones de la opinin) constituye,
de hecho, un sistema de operaciones efectuadas en comn o en
cooperacin; y, segn hemos hecho notar ya antes, se trata de
las mismas operaciones que entran en la coordinacin intraindividual (reuniones, interferencias, correspondencias, reciprocidades, etc.), puesto que la comunicacin no es otra cosa que
un poner en correspondencia operaciones individuales, correspondencia que es tambin una operacin, y el debate no es ms
que una serie de disociaciones, reuniones, etc., o de reciprocidades. Ahora bien, estas operaciones en comn involucran una
fiscalizacin mutua superior a la autofiscalizacin, por lo cual
las leyes de la coordinacin se convierten en leyes normativas
que regulan los intercambios; y de ah el carcter de moral
del pensar que reviste la lgica en su aspecto colectivo. A nuestro entender, este carcter normativo de la cooperacin sera
lo que impide que del aspecto sociolingstico de las estructuras lgico-matemticas se saque una interpretacin de estas estructuras estrictamente nominalista, ya que lo que se impone
normativamente contiene algo ms que un sistema de flatus
vocis.
En lo que se refiere al convencionalismo integral de L. Rougier, se ha reparado frecuentemente en que el trmino de convencin pierde todo sentido si no hay eleccin posible. Ahora
bien, si el principio formal de no contradiccin no pasase de
ser convencional, difcilmente se podra explicar la existencia
de unas formas concretas (e incluso sensorio-motrices) de coherencia que constituyen un bosquejo de la no contradiccin:
no se ve fcilmente, por ejemplo, cmo podra asegurarse la
subsistencia un ser vivo si la bsqueda del alimento involucrase
movimientos incompatibles o contrarios; por consiguiente, si
no hubiese a todos los niveles unas coordinaciones que conllevan una forma, todo lo rudimentaria que se quiera, de la no
contradiccin, hace mucho tiempo que la vida habra desaparecido de la superficie del globo, y no habra epistemlogos
para defender el convencionalismo.
359
61. La interpretacin platonista de las matemticas.La gran fuerza del platonismo reside en que suprime el difcil
problema de la construccin creadora, esto es, del paso de estructuras pobres a otras ms ricas. Sostener -con el B. Russell de la primera poca- que Amrica exista antes de Cristbal Coln es una idea clara, y tal vez seamos incapaces de no
ser seducidos, al menos peridicamente, por la hiptesis de
que lo mismo ocurre con los entes lgico-matemticos: el espritu los descubrira, en lugar de tener que inventarlos.
Adems, este realismo corresponde a un ideal profundo de
los matemticos, ideal felizmente bautizado por P. Boutroux
como el de la objetividad intrnseca. En su hermoso libro sobre El ideal cientfico de los matemticos, este autor distingue, en efecto, tres perodos de la historia de las matemticas:
el ideal contemplativo, que es el de los griegos y corresponde
al platonismo original; luego un ideal sintetista, con los comienzos del lgebra occidental, de la geometra analtica y del
anlisis, comienzos en los que el inventor tena la impresin
de construir casi a voluntad y de dirigir sus propias operaciones; y, por fin, el ideal de objetividad intrnseca, que se inici
con el siglo XIX, y en el que, ante estructuras cada vez ms ricas y complejas, el inventor ya no tiene conciencia de construir,
sino de descubrir, e incluso casi de elegir dentro de un mundo
ilimitado de sistemas, cada uno con sus leyes propias y que se
resisten en caso de que el tratamiento sea artificial.
Lo malo es que la hermosa sencillez del platonismo se paga,
pues aparecen tres clases de dificultades.
La primera es que al hacer corresponder las matemticas
a unos entes independientes nos vemos llevados a una visin
esttica del conjunto de tales seres, ya que si se construyeran
de forma indefinida fuera de nosotros se planteara un problema de duracin objetiva: se comprende que las construcciones
humanas requieran tiempo, pero no se puede comprender que
lo mismo suceda con una creacin exterior siempre inacabada.
Y, por otra parte, no estamos seguros de que un mundo acabado de todos los entes lgico-matemticos no suscite dificultades
insuperables: en particular, para algunas personas una actualizacin del infinito potencial es incomprensible; as, cuando
360
361
rneos fuesen capaces de comprender, y si sus visiones, debidamente recogidas y protocolizadas, diesen lugar cincuenta o
cien aos ms tarde a unos trabajos explicativos que desvelasen
todo su sentido. Pero jams ha ocurrido nada de esto; as, cuando G. Cantor experiment ciertas intuiciones anticipadoras acerca de la potencia del continuo, sin llegar a las demostraciones
que quera, se limit a una generalizacin hipottica de sus construcciones anteriores, sin proporcionar prueba alguna de la autenticidad de una intuicin propiamente platnica (vase ms
arriba, en el captulo 4, 30, lo que dice Beth de las intuiciones
cantorianas ).
La tercera dificultad del platonismo es consecuencia de las
anteriores. Una regla general de la demostracin matemtica
es que la mejor demostracin es la que extrae las conclusiones
ms fuertes de los mnimos presupuestos: toda la axiomtica
consiste en una determinacin de las condiciones necesarias
y suficientes para demostrar las teoras, en tanto que si se multiplican los axiomas de modo innecesario se desconoce el inters principal de este mtodo; actitud que es todava ms general en las ciencias experimentales, en las que tiene su paralelo en la famosa navaja de Occam: sacrifquese toda hiptesis
intil. As. pues, no hay razn alguna para que no utilicemos
en epistemologa un mtodo comparable a la vez al de las ciencias deductivas y al de las experimentales; y la cuestin reside
ahora en averiguar si la hiptesis de la existencia de los entes
ideales es necesaria para explicar algn rasgo de las estructuras matemticas, o si la referencia a las actividades del sujeto
es suficiente para evitar el recurrir a seres exteriores.
Ahora bien, las dos ventajas del platonismo son: a) dar cuenta de la resistencia objetiva de las vinculaciones lgico-matemticas, y b) prescindir de la construccin creadora. Por io
tanto, las cuestiones que nos ocupan son: a) averiguar si la hiptesis es necesaria para explicar tal resistencia de las estructuras, y b) si se puede prescindir de la idea de construccin o
si sta es un hecho, en cuyo caso la hiptesis de la actividad
del sujeto sera, a su vez, necesaria y suficiente.
a) En lo que se refiere a la resistencia de las estructuras,
o a lo que P. Boutroux llamaba su objetividad intrnseca, el
362
363
364
365
366
367
368
Vemos as tambin que, sin dar en un apriorismo en el sentido tradicional de una preformacin de los conocimientos en
formas que los contendran de antemano, el constructivismo al
que nos ha conducido el anlisis gentico est cercano a l en
cierto sentido, ya que toda construccin nueva saca sus elementos de una construccin anteriormente efectuada en un escaln
inferior, y as sucesivamente; pero sin que esta regresin sin
fin proceda de un vicio del sistema, sino nicamente de las incgnitas actuales de la morfognesis biolgica. En efecto, la
vida misma es ante todo creadora de formas, como ha dicho
Brachet, y es preciso aadir que tal morfognesis es matematizante; y si se objeta a esto que el cristal posee una forma
geomtrica tanto como la madrpora, que los cuerpos fsicos
son todava ms fcilmente matematizables que los seres vivos
y que stos no son acaso ms que matematizables, y no matematizantes, conviene recordar, sin embargo, que mientras no
se pruebe lo contrario, los cuerpos fsicos son objetos, y no sujetos, en tanto que los seres vivos son ya sujetos, por incons
cientes que sean (si es que lo son), y que de ellos descienden
los sujetos humanos, incluidos los matemticos. Por lo tanto,
nuestra hiptesis equivale, sin ms, a suponer que existen estructuras elementales comunes a todos los seres vivos, y que
la creacin de formas por la inteligencia prolonga la morfognesis orgnica. Si esta hiptesis est fundada -y, por lo menos, tiene tanta probabilidad como la de la existencia de los
entes ideales-, tenemos en ella un punto de partida aceptable
para dar cuenta de la autonoma de las construcciones lgicomatemticas, punto de partida mucho ms general que el sociolingstico (el cual, por lo dems, plantea exactamente los mismos problemas desde el punto de vista gentico).
JI. Sin remontarnos ahora a la morfognesis orgnica, y
atenindonos a las coordinaciones ms generales de las acciones humanas, sostenemos que su esquematismo conlleva su necesidad interna, e impone leyes estructurales de tal manera que
todo sujeto individual ha de plegarse a su generalidad. El que
no se adquiera conciencia de esta especie de lgica de la accin, a la vez que se advierta mucho ms la del lenguaje, es
cosa que concuerda con las leyes de la toma de conciencia: nos
369
370
este esquematismo, es patente que el problema de la resistencia u objetividad intrnseca de los entes matemticos adquiere
una solucin por lo menos igual de aceptable si se apoya uno
en este esquematismo de las coordinaciones generales de la
accin que si se lo hace estribar sobre el lenguaje, con todo
lo que lleva en s de convenciones sociales. Como ya hemos
hecho notar en el 60, de esta forma se evitan las desviaciones
nominalistas y convencionalistas que la interpretacin sociolingstica corre el riesgo de sufrir; pero, sobre todo, se llega
a un punto de partida de las construcciones reflexivas mucho
ms general que el verbal: si, por ejemplo, se piensa en la
asombrosa generalidad de las relaciones de orden en las actividades prcticas de todos los niveles (ya que incluso los reflejos ms elementales de las especies animales nfimas implican
un despliegue ordenado), se comprueba inmediatamente que
semejante punto de partida, con el que se explica la construccin de las estructuras de orden por abstracciones reflectoras
sucesivas, es al mismo tiempo ms resistente y ms general
que el lingstico, ya que, si bien existe, incuestionablemente,
un orden en el lenguaje, tambin acta a todos los niveles de
la conducta humana, y sta depende, a su vez, de organizaciones biolgicas todava mucho ms primitivas.
371
en las de los animales inferiores, estuvieran contenidas de antemano todas las matemticas en estado de preformacin, de
la misma manera que los embrilogos preformistas crean descubrir un homunculus en los espermatozoides o los vulos;
pero con un suplemento an de absurdez, la de que las matemticas comprenden lo infinito, y sin duda alguna, jams llegarn a estar acabadas.
Ahora bien, hemos entrevisto antes (en el captulo 9, 50)
que las novedades propias de una construccin no efectuada
hasta el momento no entran, hablando con propiedad, ni en el
dominio de los descubrimientos, ya que hay efectiva novedad,
ni en el de las invenciones, puesto que las nuevas combinaciones no eran libres, sino que se encontraban dentro de un marco de posibilidades determinadas por la estructura de la que
hubiese partido la abstraccin reflectora. Podemos, entonces,
limitarnos a decir que toda estructura, por elemental que sea,
con tal de que posea una ndole lgico-matemtica (esto es, que
sea operatoria o preoperatoria, pero pura -o purificable- de
toda adherencia a objetos o a acciones propias del sujeto individual, frente a lo que sucede con las coordinaciones generales), lleva en s un conjunto de desarrollos posibles, y que la
novedad de las construcciones ulteriores consiste, simplemente,
en actualizar algunos de ellos? Tal es precisamente nuestra
hiptesis, que, como puede verse, no difiere en todos los puntos de la del platonismo, ya que para ser platnico bastara
con otorgar existencia a todas esas posibilidades, o incluso con
suponer una inteligencia infinita (o, al menos, superior) que
las abarcase todas en una intuicin simultnea. Pero aquello
a que nos negamos, justamente por motivos genticos, es a semejante paso de lo posible al ser mientras no se haya producido una actualizacin en virtud de una construccin efectiva;
cada cual es libre de creer en una inteligencia superior que
efectuase tal actualizacin en bloque, pero lo que la distinguira sera, precisamente, ese disponer de operaciones suplementarias, condensadas o no en actos intuitivos instantneos. Por
consiguiente, creer en la existencia de posibles bajo la forma
de seres ideales platnicos es conceder de antemano unas operaciones capaces de actualizar los posibles, pero antes de cono-
372
a la logique de
l'ado-
373
374
significa, pues, que stas contengan de antemano aqullos, sino
que las construcciones que se derivan de ellas merced al juego
de las abstracciones reflectoras son al mismo tiempo nuevas
y no arbitrarias, ya que estn incluidas en un marco predeterminado de posibilidades. En cuanto a la manera de definir tal
marco, cabe hacerlo de dos modos, que, indudablemente, se resumen en uno solo: uno de ellos se apoyara, para superar la
estructura de partida, en la necesidad de integrarla en otra
ms amplia a partir de la cual quepa deducir aqulla, y la otra
se reducira, sin ms, a la necesidad de no contradiccin; pero,
como no se puede demostrar la no contradiccin de un sistema
por medio de instrumentos tomados de l mismo o de otros
ms dbiles, esto equivale, una vez ms, a la necesidad de construir sistemas cada vez ms fuertes, reducindose as a la primera condicin. Ahora bien, segn hemos visto (en el captulo 10, 54), esta obligacin formal de trascender constantemente los sistemas ya construidos para garantizar su no contradiccin converge con la tendencia gentica a superar incesantemente las construcciones ya terminadas colmando sus lagunas, lo cual se expresa psicolgicamente por la tendencia al
equilibramiento. Si ello es as, el constructivismo parece estar
justificado desde el doble punto de vista formal y gentico,
y, en realidad, en lo nico en que se diferencia del platonismo
es en que se niega a hablar del universo de los posibles como
si fuese algo ya acabado o existente, pero conserva de l la
conviccin de que tal universo es accesible, y precisamente por
el procedimiento comn a todas las escuelas, que es el de la
construccin efectiva (en el sentido ms amplio, incluida la reconstruccin axiomtica).
CONCLUSIONES GENERALES
Por E. W.
BETH
y J.
PrAGET
376
ble hecho de que
~~os
deductivos, que no
solamen_!~
377
mejante mtodo no puede aplicarse ms que a sujetos que hayan alcanzado ya un nivel mental sumamente elevado. Por ello,
la aplicacin exclusiva de la introspeccin lleva forzosamente
a tentativas de explicacin que recurren al estructuralismo esttico o sin gnesis a que acabamos de aludir; aunque, si bien
es un mtodo incompleto y en ciertos aspectos engaoso cuando se lo emplea con exclusividad, no deja de tener su valor
cuando se lo combina con el mtodo gentico y, en particular,
con la prolongacin natural de ste que es el histrico-crtico.
Acaso sea til insistir en estos dos puntos (papel del mtodo histrico y significacin de la introspeccin unida a la historia y a los mismos datos genticos) para sealar mejor la
unidad de las dos partes de la presente obra, cuyos autores,
que han partido de puntos de vista muy distintos, segn muestran sus trabajos anteriores, se han visto llevados a un acuerdo en lo que concierne a estas conclusiones comunes.
Ante todo, es evidente que el mtodo gentico encuentra a
la vez su complemento y su instancia fiscalizadora (fiscaliza
cin que puede tanto acabar en una correccin como en una
verificacin) en el histrico-crtico.
Ambos se completan por dos razones. La primera es que la
gnesis no se termina nunca, sino que se prolonga durante toda
la historia, razn por la cual los datos histricos sobre las etapas de formacin de las matemticas y los genticos sobre las
formas elementales de esta depuracin se iluminan mutuamente. Y la segunda reside en que los datos genticos pueden colmar en parte las lagunas histricas acerca de los perodos ms
antiguos: por ejemplo, en Aristteles la teora del movimiento
de los proyectiles descansa sobre el concepto de dv"tme:p[o"taotc;
que acaso parezca haberse inventado ad hoc; pero el hecho de
que en el nio moderno de ocho a diez aos encontremos de nuevo constantemente tal esquema de una reaccin ambiente
(pese a las nociones inerciales que el maquinismo moderno ha
hecho corrientes) hace ver que semejante esquema deba de formar parte del sentido comn de los griegos, y que, en este
punto lo mismo que en tantos otros, la fsica peripattica marca un retroceso al pensamiento comn ms que una prolongacin de las esperanzas de la matematizacin platnica.
378
Por otra parte, en cambio, el mtodo histrico crtico permite fiscalizar eficazmente las hiptesis genticas. Por ejemplo, el hecho de que el concepto de grupo de transformaciones pueda desempear un papel fundamental en la lgica inconsciente de la coordinacin de las acciones y las operaciones,
sin que por ello d lugar a una introspeccin adecuada, parece
confirmado a la vez por lo total que ha sido el xito final de
los descubrimientos de Galois y por la sorprendente incomprensin inicial con que chocaron en un principio sus ideas
(muy en especial por parte de sus examinadores universitarios). Recprocamente, varias hiptesis genticas (a decir verdad, ms especulativas que experimentales), como, por ejemplo, la del papel de la sensacin en la formacin de los conceptos matemticos (cf. D'Alembert, etc.), no resisten al anlisis
histrico de los procesos de invencin.
Esto nos lleva de nuevo al problema de la introspeccin,
pues una de las fuentes de importancia de la reconstitucin
histrica est constituida por el testimonio de los grandes au
tares responsables de descubrimientos cruciale~, y tales testimonios llevan consigo una parte no desdeable de datos introspectivos. Ahora bien, aunque los mtodos genticos han
inspirado cierta desconfianza en el empleo exclusivo de los
procedimientos de introspeccin, no puede concluirse de ah
que carezcan de todo valor: el objeto de la psicologa no es el
comportamiento puro, haciendo abstraccin de toda conciencia (segn querran convencernos ciertas escuelas extremosas),
sino la conducta, comprendida la conciencia, que est suscitada por el juego de vinculaciones que determinan las condiciones de la toma de conciencia; ahora bien, en la medida
en que, como ha mostrado Claparede, sta surge con ocasin
de las inadaptaciones y contribuye a las readaptaciones, existe
una introspeccin vlida junto a las introspecciones tendenciosas. De donde se sigue que la introspeccin de los mejores inventores, una vez disociadas las partes respectivas de la interpretacin filosfica involuntaria y de las tomas de conciencia
propiamente funcionales, es de ndole tal que puede someter
a comprobacin (y, en gran cantidad de puntos, completar muy
379
380
381
ceptrn.
382
383
384
de generalidad y de necesidad interna, que el pensamiento natural lleva ya en s implcitamente.
En conjunto, cada una de estas dos actividades, la del lgico
y la del psiclogo, remite a la otra: no porque sean interdependientes, sino porque, siendo ambas enteramente autnomas,
se complementan. As, pues, estas autonoma y completariedad reunidas son lo que no slo hace posible, sino necesario,
la bsqueda de una sntesis epistemolgica.
BIBLIOGRAFIA
25
386
BIBLIOGRAFA
BouRBAKI, N., L'architecture des mathmatiques [vers. cast.: La arquitectura de las matemticas], en LE LIONNAIS, 1948.
BROUWER, L. E. J., Over de grondslagen der wiskunde, Amsterdam y Leipzig, 1907.
Mathematik, Wissenschaft und Sprache, Monatshefte fr Mathematik und Physik, 36 (1924).
BRUNSCHVICG, L., Les tapes de la philosophie mathmatique, Pars, 1912
[vers. cast.: Las etapas de la filosofa matemtica, Buenos Aires,
Lautaro, 1945].
CANTOR, G., <<Beitri.ige zur Begrndung der transfiniten Mengenlehre,
Mathematische Annalen, 46 (1895) y 49 (1897).
CouTURAT, L., Opuscules et fragments indits de Leibniz, Pars, 1903
[reimpr., Olms, Hildesheim, 1966].
- Les prncipes des mathmatiques, Pars, 1905.
CuRRY, H. B., A Theory of Formal Deductibility, reimpr., Notre Dame de
Indiana, 1957.
D'ARcY-THOMPSON, On Growth and Form, Cambridge, 1942.
DENJOY, A., L'inneit du transfini>> [vers. cast.: La inneidad del transfinito>> ], en LE LIONNAIS, 1948.
DESCARTES, R., Oeuvres philosophiques, edicin de L. AIM-MARTIN, Pars,
1842.
[Reglas para la direccin del espritu, Madrid, Revista de Occidente, 1935].
[Discurso del Mtodo y Meditaciones metafsicas, Madrid, Jimnez Fraud, s. a.].
ENRIQUES, F., Les problemes de la science et de la logique, trad. de J. DuBOIS, Pars, 1909 [vers. cast. de la ed. orig.: Problemas de la lgica, Buenos Aires, Espasa Calpe (Historia y filosofa de la ciencia>>), 1947].
Les concepts fondamentaux de la science, trad. de ROUGIER, Pars, 1914.
FARBER, M., The Foundation of Phenomenology, Cambridge de Massachussets, 1943.
FEHR, H., Enquete de l' Enseignement Mathmatique>> sur la mthode de
travail des mathmaticiens, en colaboracin con T. FLOURNOY y
E. CLAPAREDE, Pars y Ginebra, 1908.
FITCH, F. B., Symbolic Logic - Algebra of IdeaS>>, Y ale Alumni Magazine, 19 (1956).
FRAZER, J. G., The Golden Bough [vers. cast. de la ed. abreviada (1922):
La rama dorada, segunda ed., Mxico, F. C. E., 1951].
FREGE, G., Die Grundlagen der Arithmetik, Breslau, 1884.
FREUDENTHAL, H., <<Zur Geschichte der vollsti.indigen Induktion>>, Archives
d'Histoire des Sciences, nm. 22 (1953).
Le dveloppement de la notion d'espace depuis Kant, Sciencies, 1 (1958).
GENTZEN, G., Untersuchungen ber das logische Schliessen>>, Mathematische Zeitschrift, 39 (1934 ), pgs. 176-210 y 405-431.
BIBLIOGRAFA
387
388
~,
.
~-~~_:::-~-~ .... ~ ;
' ,._
_... .:.'""
BIBLIOGRAFA
BIBLIOGRAFA
389
mos), Madrid, Victoriano Surez, 1928 (incompleta), e Id. (2 tomos), cuarta ed., Buenos Aires, Losada, 1961].
KANTOR, J. R., Psychology and Logic, Nueva York, 1950.
KLEENE, S. C., Introduction to Metamathematics, Amsterdam y Gronin
gen, 1952 [cuarta reimpr., 1964 ].
KLEIN, F., <<n the mathematical character of space-intuition, en Gesammelte Abhandlungen, tomo II.
LALLEMAND, M., Le transfni, Pars, 1934.
LANGE, F. A., Logische Studien, Iserlohm, 1877.
LEIBNIZ, G. W., Nouveaux essais sur l'entendement human, 1715 [versin
castellana: Nuevo tratado sobre el entendimiento humano, Madrid, Aguilar, s. a.].
- Opuscules, cf. COUTURAT, 1903.
LE LIONNAIS, F., Les grands courants de la pense mathmatique, Pars,
1948 [vers. cast.: Las grandes corrientes del pensamiento matemtico, Buenos Aires, Eudeba, 1948].
LocKE, J., An Essay Concerning Human Understanding, 1690 [vers. cast.:
Ensayo sobre el entendimiento humano, Mxico, F. C. E., 1956].
LORENZEN, P., Formale Logik, Berln, De Gruyter ( <<Sammlung Goschen ),
1962.
McCuLLOCH, W. S., et al., diversos artculos publicados en el Bulletin of
Mathematical Biophysics, especialmente en los nms. S (pginas
115 y 135) y 7 (pg. 89).
- Te brain as a computing machine, Nueva York, 1949 (opsculo).
MACH, E., <<Ueber dar Prinzip der Vergleichung in der Physik, en Populiir-wissenschaftliche Vorlesungen, segunda ed., Leipzig, 1897.
Erkenntnis und Iritum, segunda ed., Leipzig, 11906 [vers. cast.:
Conocimiento y error, Buenos Aires, Espasa Calpe (<<Historia y
filosofa de la ciencia), 1948].
MANNOURY, G., Les fondements psycholinguistiques des mathmatiques,
Bussum y Neuchatel, 1947.
390
BIBLIOGRAFA
BIBLIOGRAFA
391
INDICE
Pgs.
PRIMERA PARTE, por E. W. Beth.
Introduccin . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
la silogstica tradicional . . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . .. .
l.
2.
3.
4.
S.
6.
7.
11
Descartes . .. . .. . . . . .. . . . . . . . . . . .. . . . .. . . .. .. . .. . .. . .. . . . .
El problema de Locke y Berkeley .. . .. . .. . .. . .. . .. .
Soluciones de Berkeley, Hume y Kant . .. .. . . . . . .. .. .
Los juicios analticos y los sintticos .. . .. . .. . .. . .. .
El intuicionismo de Descartes y de Kant .. . .. . .. . .. .
La geometra no eucldea .. . .. . .. . .. . .. . . .. .. . .. . .. .
Formas recientes del intuicionismo: F. A. Lange, L.
Brunschvicg, E. Goblot, H. Poincar, L. E. J. Brouwer.
11
13
13
19
21
24
33
8.
9.
10.
11.
112.
...
33
34
36
41
44
3. La tradicin logicista ... ... . .. . .. ... ... ... ... .. . .. . ... ... ... . ..
47
13.
J. Stuart Mill ... ... ... ... ... ... ... ... ... ... ... .. . ... ...
La crtica de W. Stanley Jevons ... ... ... ... ... ... . ..
E. Mach, Th. Ziehen, G. Storring y G. Heymans .. . .. .
E. Husserl y su pretendido antipsicologismo ... ...
F. Enriques y G. Mannoury ... ... ... ... ... ... ... ... ...
. ..
...
.. .
26
47
394
NDICE
Pgs.
14.
- @
16.
fj1
18.
19.
+
20.
21,..,
@/
23.
24.
4.
111
tico y demostrativo: Descartes y el anlisis de la Antigedad ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...
28. Leibniz y el problema de la decisin .. . .. . .. . .. . .. . .. . .. .
29. Conservacin de los niveles inferiores: el mtodo de
Arqumedes .. . .. . .. . .. . .. . . .. . .. . . . . . . . .. .. . .. . . . . . . . . ..
30. Qu es el pensamiento original: creacin o invencin,
construccin o descubrimiento? La respuesta del platonismo: Frege, Cantor y Hermite ... ... ... ... ... ... ... ...
120
122
123
126
129
134
138
142
@.
395
NDICE
Pgs.
36.
37.
38.
39.
40.
La construccin de una <<mquina de pensar presupone la solucin de determinado problema de decisin ...
Irreductibilidad, segn Brouwer, del Salto del fin a
los medios .. . .. . .. . .. . .. . .. . .. . .. . .. . .. . .. . .. . .. . .. . .. .
Las funciones recursivas: problemas irresolubles e
irresolubilidad absoluta .. . .. . .. . .. . .. . .. . .. . .. . .. . .. . .. .
Los dos grados de libertad del pensamiento matemtico: resolver un problema y plantearlo ... .. . ...
La evidencia adquirida segn Bernays .. . .. . .. . . . . . . . . . .
(g;
150
151
156
158
165
204
207
219
228
231
396
NDICE
Pgs.
9.
Problemas psicolgicos generales del pensamiento lgico-matemtico (continuacin).- B) Evidencia, intuicin e invencin ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ... ...
237
49.
237
246
258
280
50.
51.
52.
53.
281
299
306
316
12. Problemas epistemolgicos en los que inciden cuestiones lgicas y psicogenticas .. . .. . .. . .. . .. . .. . .. . .. . .. . .. . . .. .. . .. . .. . 347
59. Interpretacin empirista y apriorismo .. . .. . .. . .. . .. . .. . 347
60. La interpretacin nominalista o lingstica de las ma-
temticas .. . .. . . .. .. . .. . . .. .. . .. . .. . .. . .. . .. . .. . .. . .. .
La interpretacin platonista de las matemticas ...
62. La interpretacin de las matemticas por las leyes
la coordinacin general de las acciones .. . .. . .. . .. .
61.
.. . 353
... 359
de
.. . 365
375
Bibliografa .. . .. . .. . . . . . .. . .. . . . . . . . . . . . . . . . . . . .. . .. . . .. . . . .. . . .. . . . 385