UNIVERSIDAD NACIONAL

AUTNOMA DE MXICO
Rector:
Dr. Nobor Carrillo
Secretario General:
Dr. Efrn C. del Pozo
FACULTAD DE FILOSOFA Y LETRAS
Director:
Dr. Francisco Larroyo
Secretario:
hum Hernndes Luna
CONSEJO TCNICO DE HUMANIDADES
Coordinador:
Dr. Stunuel Ramos
Secretario:
Rafael Moreno
EDICIONES FILOSOFA Y LETRAS .
Opsculos preparados por los maestros de la Facultad
de Fi losof a y Letras y editados bajo los auspicios del
Consejo Tcnico de Humanidades de la Universidad
Nacional Autnoma de Mxico.
1. Schiller desde Mxico. Prlogo, biografa y rccopi-
lacin de la Dra. Marianne O. de Bopp.
2. Agostino Gemelli. El psiclogo ante los problemas
de la psiquiatra. Traduccin y nota del Dr. Oswaldo
Robles.
3. Gabri el Marc e!. Po sicin y aproximaciones concretas
al misterio ontolgico. Prlogo y traduccin de Luis
Villoro.
4. Carl os Guillermo Koppe, Cart as a la patria. (Das
cartas alemanas sobre el Mxico de 1830.) Traduc-
cin del alemn, estudio preliminar y notas de Juan
A. Ortega y Medina.
, S. Pablo Na tor p. Kant y la Esc uela de Mc rburqo.
Prlogo y tr aduccin de Miguel Bueno.
6. Leopoldo Zea. Esquema para una historia de las ideas
en Iberoamrica.
7. Federico Schiller. Filosofa de la historia. Prlogo,
traduccin y notas de Juan A. Ortega y Medina.
8. Jos Gaos. La f ilosof a en la Universidad.
9. Francisco Monterde. Salvador Daz Mirn. DOCll-
mentes. Esttica.
10. Jos Torres. El est ado ment al de los tubercul osos y
Cinco ensayos sobre Federico Nietzsche. Prlogo,
biogr afa y bibliografa por Juan Hernndez Luna.
11. He nri Lefebvr e. L gica f01'111al y lgi ca di alctica.
Nota preliminar y traduccin de EH de Gortari.
12. Patrick Romanell. El neo-naturalismo norteameri-
cano. Prefacio de Jos Vasconcelos.
13. Juan Hernndez Luna . Samuel Ramos. Su f ilosof ar
sobre lo mexicano.
14. Thomas Verner Moore. La naturaleza y el tratamien-
to de las perturbaciones homosexuales. Traduccin y
nota preliminar del Dr. Oswaldo Robles.
15. Margarita Quijano Tern. La Celestina y Otelo.
16. Romano Guardini. La esencia de la concepcin cat-
lica del mundo. Prlogo y traduccin de Ant onio
Gmez Robledo.
17. Agustn Millares Carlo, Don Juan Jos de Eguiara
y Equren y su Bibliotheca Mexicana .
18. Othon E. de Brackel-Welda. Epstolas a Manuel
Guiirres Njera. Prlogo y recopilacin de la Dra.
Marianne O. de Bopp.
19. Gibrn Jalil Gibrn. Rosa El-Hani (novela) y Pen-
samientos f ilosficos y fantsticos, Breve antologa
literaria rabe. Traducidos directamente por Mari ano
Fernndez Berbiela.
20. Luciano de la Paz. El fundamento psicolgico de la
familia.
21. Pedro de Alba. Ramn Lpez Ve/arde. Ensayos.
22. Francisco Larr oyo. Vida y profesin del pedagogo.
23. Miguel Bueno. Natorp y la idea esttica.
24. Jos Gaos. La filosofa en la Universidad. Ejemplos
y complementos.
25. juvencio Lpez V squez. Didctica de las lenquas
vivas.
26. Paula Gmez Al onso. La tica en el siglo xx.
27. Manuel Pedro Gonzlez. Notas en tomo al moder-
tlismo.
28. Francisco Monterde. La literatura mexicana en la
obra de Menndee Pelavo.
29. Federico Schlegel. Fragmentos. Invitacin al roman-
ticismo alemn, semblanza biogrfica y traduccin
de Emilio Uranga,
30. Sergio Fernndez. Cinco escritores hispcnoamericanos.
31. Miguel Len-Portill a. Siete ensayos sobre cultura
Nhuatl.
32. Wilhelm Windelband. La f ilosofa de la historia.
Prologo y traduccin de Francisco Larroyo.
33. Claude Tresmontant. lntroduccin al pensamiento de
Teilhard de Chardin. Prlogo y versin de Jos M.
Gallegos RocafuIl.
34. Jess Guisa y Azevedo y Angel Mara Garib ay K.
La palabra humana.
35. Agustn Millares Cario. Apuntes para mi estudio bio-
bibliogrfico del liunianista Francisco Cervantes de
S alaear.
36. Matas Lpez Ch. Estadstica elemental para psic-
logos.
37. Juan Hernndez Luna. Dos ideas sobre la filosofa
en la Nueva Espaiia. (Rivera vs. De la Rosa.)
.38. Christoph Martin Wieland. Koxkox y Kikequeteel.
Una historia mexicana. Traduccin y prlogo de la
doctora Marianne O. de Bopp.
39. J. Winiecki. Hebrasmos espaoles. Vocabulario de
races hebreas en la lengua castellana.
40. Jorge Lukcs. Mi camino hacia Marx. Introduccin
a la lectura de Jorge Lukcs, seleccin, traduccin
y notas de Emil io Uranga.
41. Mi guel Bueno. Conferencias.
42. Rogelio D az-Guerrero. Tres contribuciones a la psi-
coterapia.
43. Leopoldo Zea. La cultura y el hombre de nuest ros das.
44. Ju an B. Iguniz. La ant igua Universidad de G1tada-
lajara.
45. Alicia P erales Oj eda, Servicios bibliotecarios en Uni-
versidades.
46. luan Marinello, Sob re el modernismo. Po lmica :\'
def inicin.
47. J os Gaos. Sob re enseiiansa y educacin.
48. Luis Cout ura t. La f ilosofa de las matemticas en
Kant. P rlogo y traduccin de Mi guel Bueno.
LA FILOSOFA
DE LAS
MATEMTICAS EN KANT
LUIS COUTURAT
LA FILOSOFA
DE LAS
MATEMTICAS
EN KANT
Prlogo y traduccin de
MIGUEL BUENO
ESTE LIBRO
NO SALE
DE LA BlBUOH.CA
M XICO, 1960
Primera edicin: 1960
--7B:-<:>9
eL ASI F.:, _._
11'1
.; . c. C:>
P RO e .. )/. A!jLt!L...

Derechos reservados conforme a la ley
1960 Univer sidad Nacional Autnoma de Mxico
Ciudad Uni versit ari a. Mxico 20. D. F.
DIRECCIN G ENERAL DE P UBLI CACIONES
Impreso y hecho en Mxico
Printed and nuulc in Mexico

l{ LETRAS
PRLOGO
Hasta donde llega nuestro conocimiento, el tra-
bajo que ahora presentamos es el primero que
se publica en lengua castellana del eminente
filsofo galo Luis Couturat, ampliamente cono-
cido en el medio profesional europeo y una de
las figuras de mayor relevancia en el significa-
tivo movimiento del criticismo francs. 'Sus en-
sayos pueden considerarse de primer orden y ser
comparados a los trabajos marburquenses o ba-
denses del neokantismo germnico, si bien que
tratados con un ms liberal criterio, dentro de
una heterodoxia y con el estilo de redaccin pecu-
liar a la mentalidad latina, que se adapta de ma-
nera especial a nuestro pblico lector. Creemos
es tambin el primer estudio monogrfico edi-
tado en nuestro idioma (traduccin, ya que
no se han dado trabajos oriqinales) sobre la
concepcin matemtica de Kant, que se encuen-
F
.....
s
- 27343
ira dispersa a travs de una serie de obras que
la tocan como una referencia ms o menos acce-
soria en el desarrollo de otros temas.
El presente estudio ha seguido la idea del
pensamiento kantiano a travs de las categoras
cuantitativas,' localiza el problema de los juicios
sintticos a priori alrededor de la matemtica,
tomndola como un caso ejemplar del pensamien-
to puro e iluminndola como un haz concentra-
do que proviene del foco irradiador de la razn
especulativa. Los datos alusivos abrevan en las
obras ms representativas, como la Crtica de la
razn pura, los Prolegmenos y la Lgica, as
como otros escritos ~ n o r s que denotan una mi-
nuciosa y profunda lectura,' las ideas pormenori-
zadas han llegado a un centro de convergencia
como es el solvente criterio de unidad integrativa
que da disposicin orgnica al comentario, in-
cluyendo en cada apartado los aspectos documenta-
les que se conectan y son captados en la misma
trayectoria dispuesta en la redaccin.
El asentamiento para la disposicin de las
ideas, la verticalidad en la conviccin de las te-
sis, y el gran estilo distintivo del ensayo, son atri-
butos que corresponden exclusivamente al pensa-
miento de gran madurez. La exposicin se dirige
al meollo del tema y persigue su crecimiento des-
6
de los principios [undamentontes hasta sus conclu-
siones deriuatiuas, pasando por las etapas de
inferencia y los planos de abstraccin que es per-
tinente establecer, incluyendo un profundo sentido
autocritico, para sealar la aportica que el autor
procura en sus deducciones, revelando los obs-
tculos que pudieran antojarse concluyentes y
que, de este modo, sugieren el trabajo de asimi-
lacin a la mente del lector.
La postura de Couturat [rente a Kant es la
misma que han mantenido las direcciones del cri-
ticismo; adopta el espritu metdico de la refle-
xin trascendental y acomete sin miramientos lo
que hubiera en su texto de contradictorio y uulne-
roble, teniendo como norma bsica la objetividad
y congruencia interna del pensamiento, nunca el
menor indicio de sujecin a la autoridad, a tal
punto que el comentario, en la parte conclusiva,
declrese explcitamente en favor de Leibniz, a
costa de calificar canto errneas las premisas del
maestro de Koenigsberg, no obstante lo cual el
mrito de sus contribuciones es debidamente re-
conocido. Al terminar el opsculo se establece
el nexo con la lgica de nuestro tiempo, y de aqu
se obtiene la inmediata sugerencia de revisar a
Leibniz no slo como 1In filsofo de las matem-
7
ticas sino, tal vez, como el autntico filsofo de
la razn.
Desde un punto de vista histrico, el traba-
jo representa un eslabn intermedio entre la dua-
lidad mantenida por Kant -intuicin y pensa-
miento- y el concepto formalista y simblico de
la lgica moderna, que atiende exclusivamente a la
significacin y enlace de los conceptos, aplicn-
dose preferentemente a las matemticas. En el
enfoque crtico y en la redaccin misma, se per-
cibe el enlace histrico, y para llegar a la posi-
cin contempornea de la lgica bastar con su-
mar el elemento simblico y la crtica lingstica
que preocupan a los lgicos .de nuestro tiempo,
C011tO base para desentraar el sentido de los con-
ceptos.
En la transicin misma se encuentra la po-
sibilidad de seguir al pensamiento matemtico a
travs de dos planos tan diferentes como el in-
tuicionismo, que se aplica especialmente a la geo-
metra, y el racionalismo puro, directamente re-
flejado en la aritmtica; todo ello se enmarca en
el tema de los juicios sintticos a priori cuyo sig-
nificado cabal el propio Kant no lleg a percibir,
'no obstante haberles tomado como punto de par-
tida para la elaboracin de su obra. El ensayo
hace desfilar alternativamente al criterio recio-
8
nal, que representa el anlisis a priori, y el factor
intuitivo, que reporta la sntesis a posteriori. La
cuestin es definir cmo puede establecerse una
sntesis a priori, no obstante que la funcionalidad
de lo analtico se opone a la intervencin de lo a
posteriori. De tal suerte se mantiene la idea del
pensamiento kantiano, slo que ms depurado en
la conciencia crtica y con el mayor abundamien-
to que supone una maduracin historiogrfica y
la autoconciencia filosfica en la evol ucin de las
matemticas. Su evidente sugestividad proviene
de ocupar un sitio intermedio entre el plantea-
miento kantiano y la rgida posicin de la lgica
matemtica, que admite nicamente la significa-
cin de los smbolos y su posibilidad funcional
de enlace deductivo. As explcase el encuentro de
la posicin criticista del autor con la orientacin
lgica privativa de la poca en que produjo su
obra. La substancia matemtica, documentada y
outorisadamente erudita, le lleva a concluir en
una posicin leibnisiana, aun a costa de la nega-
cin explcita del contexto kantiano, para afirmar-
se, de acuerdo con la sola idea del mtodo tras-
cendental, en el hecho firme e incontrovertible
de la matemtica, perfilndose por una raciona-
lizacin aritmetisante, en contra del intuitivismo
geometrista. Se ampara en la realidad de .las cien-
cias que el propio Kant eligi para constatacin
9
de su doct rina, as como en la evolucin interna de
la idea crtica metdica que encuentra en l su
primer sistema de modernidad.
La apreciacin, nacida en el interior mismo
del sistema, le da una aut oridad y una perspec-
tiua n subst it u ibles, al punto de converti r el en-
sayo en un document o ej emplar de cmo debe
formularse autori sadani ente el juicio del val or y
las contradicciones del pensamiento kantiano. El
nmero de notas)' la pr ecisi n como se exponen,
avala el poder documental que ampara al autor;
la soltura de ex posi cin acumula numerosos da-
tos que suponen un cast o conocimiento del tema,
CII la direcci n fil osfica y la comprobacin ma-
temtica. El lect or contar con u1Ia ve ntaj osa dis-
posicin en la que se han resumido monoqrfica-
mente los puntos que in teresan a los matemticos
y a los filso fos, en el si tio de convergencia
representado por la doctrina de Kant. Se trata

de una ilustracin doblemente ef ectiva, por elJ

lado de la filosofa y la matemtica, que puede
ser magnfica base, tanto para una concepcin
f ilosfica de las ciencias COIlIO para una funda-
mentacin cientf ica de la f ilosofa. Por ambas
clama angustiosamente nu estro medio, que nuu-
ca como ahora haba estado en un marasmo tan
dcpresiuo, dis frazado por un ensayismo oportu-
10
nista en, el que rema la improvizacin de toda
especie.
Por todo lo anterior, nos permitimos supo-
ner que e! conocimiento de! presente artculo re-
percutir de modo favorable en todo aquel que
lo tome, no slo como un motivo de lectura in-
cidental, sino como un asunto de estudio que
urge profundizar. Por lo dems, la exposicin
es suficientemente clara y precisa para que no
se requiera ninguna explicacin adicional, con-
siderando sobre todo que las notas incluidas en
calidad de apndice cumplen sobradamente lo que
a ttulo complementario se intentara agregar.
Baste, pues, con la indicacin del sentido hist-
rico y la importancia matemtica que tiene esta
contribucin de eouturai, cuyo efecto no se limi-
tar a la comprensin del problema especfico en
Kant, sino al igual que sucede e1! las cuestiones
clsicas, podr ser una verdadera introduccin
general a la filosofa de las matemticas, y ms
ampliamente, a la filosofa de la ciencia.
MIGUEL BUENO
INTRODUCCIN
ell1l die mathematis chen Urteile
nicht synthetiscli sind, so fehlt Kant's
ganzer Vernunftkritik der Boden. *
Z;MMERMANN
La cuestin fundamental de la Crtica de la razn
pura es la siguiente: " Cmo son posibles los jui-
cios sintticos a priori?" Desde luego, Kant no
duda que existan, puesto que tales juicios son,
segn l, los de la metafsica y de la matemtica
pura. La tarea de la Crtica parece consistir en
la explicacin de cmo son posibles y vlidos
en la matemtica y por qu no pueden serlo en la
metafsica. Este es el tema de la metodologa
trascendental: "la matemtica proporciona el
ejemplo ms evidente de una razn pura que
* "Si los juicios matemticos no son sintticos, falta-
r a toda la crtica kantiana de la razn, el fundamen-
to". Zimmermann.
13
rehusa desarrollarse a espaldas de la experien-
cia" (B 740 Y 752). 1 La metafsica trata de se-
guir el mismo camino, mas puede aspirar lgi-
camente a la certeza apodctica empleando un m-
todo racional como la matemtica? Este es el
problema" (B 872) . Ahora bien, "la metafsica
es el conocimiento racional por conceptos; la
matemtica "es el conocimiento racional por cons-
truccin de conceptos" (B 741, 865). Qu sig-
ni fica "construir un concepto? Es "exponer la in-
tuicin a priori que le corresponde".
llia_construccin de los conceptos no es po-
sible sino a travs de la intuicin a priori que nos
proporcionan las dos formas puras de la sensi-
bilidad: espacio y tiempo. La esttica trascenden-
tal se encarga de responder a la cuestin: " Cmo
es posible la matemtica pura?" (TI 55, 73).
Aqu est referido el problema, simultneamente
en la matemtica y su mtodo. El objeto no es
sino la dimensin, "pues el solo concepto de di-
mensin se puede exhibir (B 742); espacio y
tiempo son las nicas magnitudes originarias" (B
753). Su mtodo se aplica exclusivamente a lo
que puede ser objeto de intuicin, de intuicin a.
priori y, por consiguiente, no puede referirse
a conceptos simples ni a intuiciones empricas,
corno- las cualidades sensibles (B 743). La ma-
14
rl
"
1
tem tica tiene como objetos tan slo conceptos
que se pueden mostrar, como la figura, en tanto
determinacin de una intuic in a priori en el es-
pacio, la duracin como divisin del tiempo y
el nmero, como resultado general de la sntesis
de un mismo obj eto en el espacio y en el tiempo,
que exige de por s una dimensin intuitiva (B
. 752). Es el mt odo y no el objeto lo que dis-
tingue esencialmente a la mat emtica de la meta-
fsica, y es el mtodo de la mat emtica lo que
determina su objeto. Ello explica por qu los jui-
cios matemticos pueden ser a la vez sintticos
(como los jui cios empricos ) y a priori ( como
los juici os analticos). Son sintticos porque re-
posan sobre una snt esis efectuada en la intui -
cin y son a priori porque dicha intuicin es ella
misma a priori. Kant car acteriza al mtodo mate-
mti co oponindolo al de la filosofa. La matem-
tica tiene axiomas, es decir, principios sintticos
a priori "porque slo ella, al const ruir un con-
cepto, determina a priori e inmedi at amente sus
pr edicados en la intuici n de su objeto" ( B 760).
La filosofa no tendr axiomas por que no pue-
de partir de t111 concept o para relacionarlo con
otro. Slo la mat emti ca tiene definiciones, pues
slo ella crea sus conceptos por
y por ello sus definiciones son indiscu -
tibles y precisas. Por el cont rario, en el campo de
15
los objetos empricos cabe hablar de una descrip-
cin siempre dudosa, pues no cae directamente
en la jurisdiccin de un concepto previamen-
te dado. 2 Tan slo la matemtica tiene de-
mostraciones propiamente dichas, puesto que "no
se le puede llamar demostracin a una prueba
apodctica sino en tanto que es intuitiva" (B 762).
La filosofa no puede efectuar demostraciones
de este tipo porque le falta la "certeza intuitiva".
La conclusin de este examen es la completa se-
paracin, la oposicin absoluta, de la matem-
tica, no slo con relacin a la metafsica' sino
tambin a la filosofa entera y sobre todo a la
lgica, puesto que la lgica reposa en principios
analticos que parecen reducirse al Principio de
contradiccin y slo permite establecer juicios
analticos. Si la matemtica puede enunciar leg-
timamente juicios sintticos.a priori es porque
"se ocupa de objetos en la medida que pueden
representarse en la intuicin" '( E 8). Es eviden-
te, por otra parte, que s; Kant insiste en tal for -
ma sobre la diferencia del mtodo matemtico y
el meta fsico es como .reaccin contra el racio-
nalismo de Wolf , que pretenda -igual que
Leibniz-, aplicar a la filosofa el mtodo ma-
temtico, tal como si fuera el nico mtodo lgi-
co y' apodctico.
16
Vamos a 'examinar detenidamente las tesis
que se acaban de apuntar.
Definicin de los juicios analticos
Los juicios matemticos son sintticos? Para
saberlo hay que definir previamente los trminos
sinttico y analtico, Recordemos la definicin de
Kant: "O bien el predicado B pertenece al su-
jeto A como alguna cosa que est contenida (de
una manera implcita) en el concepto A o bien B
no est contenido en el concepto A, aunque ten-
ga una cierta relacin con l. 3 En el primer
caso llamo al juicio, 'analtico, y en el segundo,
sinttico (B 10). Esta definicin supone que
todos los juicios son predicativos. Se reconoce
ahora que existen otras formas de juicios irre-
ductibles al predicativo, o dicho en otra forma,
hay una multitud de relaciones que se pueden
pensar y afirmar ' acerca de dos o ms objetos,
y dichas relaciones no se reducen a la nica re-
lacin judicativa que expresa la cpula es, Aun
desde el punto de vista de la lgica en Kant, aque-
lla definicin es demasiado restringida, pues se
aplica nicamente a los juicios categricos y no
a los hipotticos ni disyuntivos que, segn el pro-
pio Kant, establecen una relacin no slo entre
17
dos conceptos sino entre dos o ms JUICIOS (H
98). Esta omisin es ms notable pues declara
en otro lugar no haber estado nunca satisfecho
de la, definicin que los lgicos dan en general
del juicio.Fdiciendo que es la representacin de
una relacin entre dos conceptos ( B 140, cap. 19
ele la Critica) . 4 La definicin de Kant es insu-
ficiente en principio. Vai hinger la ha tratado
de justificar, 5 diciendo que debe extenderse tam-
bin a los luidos ele relacin, puesto que Kant
la aplica ele hecho posteriormente a tales juicios
( por ejemplo: 7 + 5 = 12); pero esta es una
interpretacin que no parece justificada en el
texto mismo. Por el contrario, Kant se preocu-
pa de generalizar su definicin pero no piensa
sino en esto : que la definicin se aplica nica-
mente a los juicios. afirmativos, y agrega enton -
ces, entre parntesis, que tambin se le puede
aplicar "en seguida" a los juicios negativos. G
vmpero, no es menos cierto que l ha principia-
do por admi tir que "todos los juicios" consisten
en "pensar la relacin de un sujeto a un predi-
cado" y que esta relacin es siempre la relacin
predicativa expresada por la cpula es.
La interpretacin se ve corroborada en , ex-
plicaciones ulteriores de Kant. Los j uicios ana-
lticos "no agregan nada al concepto del sujeto"
y "lo descomponen por separacin de sus con-
18
ccptos parciales", en tanto que los juicios sint-
ticos "agregan al concepto del. sujeto un predi-
cado ... .imposible de ser obtenido por anlisis"
(B 11). Kant demuestra o cree demostrar sus
tesis en los ejemplos siguientes: e! juicio "todos
los cuerpos son extensos" es analtico, porque
no es necesario salir del concepto de cuerpo para
encontrar el atributo de extensin. El JUIcio "to-
dos los cuerpos son pesados" es sinttico porque
"el predicado es otra cosa ele lo que yo pienso
en el mero concepto ele cuerpo en general" (B
11). El pensamiento de Kant se precisa ms
an en un pasaje de la Lgica (cap. 36); "A toda
X a la que conviene el concepto A + B, le
conviene tambin la extensin TI", es un juicio
analtico. "A toda X a la que conviene el con-
cepto A + B le conviene .tambi n la nota C",
es un juicio sinttico. Las letras que emplea
Kant para representar los conceptos 7 prueban
claramente que l los considera como reunin de
"conceptos parciales" que constituyen ele aqul
sus "caracteres esenciales". Ahora bien, sta es
una concepcin y simplista de la lgi-
ca, remontada a Aristteles y que evidentemente
Kant hered de Leibniz con todos sus radica-
les defectos.jPor consiguiente, la ' distincin de
los juicios analticos y sintticos que reposa en
19
ella, carece de valor universal, y vemos que no
se aplica ni siquiera a todos los ejemplos que
Kant cita para verificarla; por ello, nos vemos
obligados a sustituirla por otra definicin que
tenga un valor universal. 8
Conviene, sin embargo, penetrar en el senti-
do que Kant dio a la distincin. Puede recibir
-y ha recibido de hecho- interpretaciones dis-
tintas, segn se le enfoque desde un 'punto de
vista lgico o psicolgico. En el sentido psicol-
gico, se refiere al acto del pensamiento en el
momento de formular el juicio; en su sentido
lgico adjudica un contenido objetivo y univer-
sal al juicio, independiente del sujeto temporal
que 10 piensa." Muchos comentadores y crticos
han sostenido la tesis de que la distincin entre
juicios analticos y sintticos tiene slo un as-
pecto psicolgico: un juicio es sinttico la pri-
mera vez que formula porque descbrese un
nuevo predicado, y ser analtico desde el mo-
mento en que el nuevo predicado est incorpora-
do al sujeto. 10 En este sentido puede afirmarse
que el juicio "los cuerpos son pesados" es sin-
ttico para el vulgo y aun para el gemetra,
pero es analtico para el fsico, quien no puede
concebir a los cuerpos sin una fuerza de atrae-
-cin.
20
, .
Parece que Kant entiende la distincin en
tal sentido, puesto que admite al predicado con-
tenido en el sujeto "de una manera latente" (E
10) Y que se ha pensado "confusamente como
perteneciente al sujeto" (E 11, p. 9); esas ex-
presiones parecen referirse al carcter psicol-
gico y esencialmente subjetivo del pensar. Kant
mismo dice ms adelante: "La cuestin no con-
siste en saber 10 que debemos agregar a un
concepto dado por medio del pensamiento, sino
en 10 que pensamos realmente de l, no impor-
ta que sea de un modo obscuro" (E 17). Pero
no hay por qu interpretar forzosamente estas
expresiones en un sentido psicolgico, y el lti-
mo pasaje 10 prueba. Significa exactamente 10
que sigue : no toda relacin necesaria es analtica,
y de que unamos un predicado a un sujeto no
se concluye que aqul se encuentre lgicamente
contenido en ste. 11 As, Kant entiende la dis-
tincin en un sentido lgico. 12 Dice en otra parte:
"La diferencia entre una representacin con-
fusa y una representacin distinta es simplemen-
te lgica y no recae sobre el contenido" ( E 61).
Es evidente que Kant entiende aqu por lgico
laque nosotro s entendemos por psicolgico;
opone lo que pensamos ms o menos implcita-
mente en un concept o, y la manera como 10\ pen-
21
. ...
samas, a lo que est contenido lgicamente en e!
concepto, ya sea que lo pensemos o no 13 La de-
finicin del concepto es lo nico que determina
su contenido lgico, y esto se concluye de los
siguientes pasajes : "Yo debo considerar lo que
pienso realmente en mi concepto de! tringulo
(esto 110 es ms que la simple definicin) " ( E
746); Y despus: "sera, pues, en vano, que
tratara de filosofar sobre el tringulo, es decir,
que lo pensara en una forma discursiva, pues no
podra ir ms all de la simple definicin . . ."
( 13. 747) . Es la definicin la que sirve de crite-
rio a los atributos analticos y, por consiguiente,
a los juicios analticos. 14 Por qu e! juicio "to-
dos los cuerpos son extensos" es analtico? Por-
que la nocin de extensin est contenida en la
de cuerpo, y forma parte de su definicin. Por
qu e! juicio "todos los cuerpos son pesados" es
sinttico? Porque no 'hay necesidad de! carc-
ter de pesantez para defini r un cuerpo; est com-
pletamente establecido por otros caracteres y este
ltimo slo puede concebirse despus de un cier-
to proceso de sntesis (E 12). Se ve, pues, que
el distingo de los atributos analticos y los sin-
tticos en un ' concepto, es el dato puramente
lgi co de 'que . formen parte o no, de su defini -
cin.
15
22
El principio de los juicios analticos

Cul es' la base sobre la que funda Kant
los juicios analticos? Es tanto el principio de
identidad como el de contradiccin, que l mismo
distingui y confundi simultneamente.A" En
su obra Principiorum primoruni coqnitionis me-
taph)'sicae nova dilucidatio (1755), considera al
principio de identidad y no al de contradiccin,
como fundamento de las verdades, tanto afirma- .
tivas como negativas, sometindolas a esta doble
forma : lo que es, es; lo que no es, no es. En su
Investigacin sobre la claridad' de los principios
de la teologa natural y de la moralidad, III, cap. 3
(1764), considera al principio de identidad como
fundamento de los juicios afirmativos y al de
contradiccin como fundamento de los juicios
negativos ; tacha de errnea la tesis de que el
principio sea el nico de todas las ver-
"\: I ., "
dades . z.n la Critica no admite mas que un prin-
cipio supremo de todos los juicios analticos" y
es el principio de contradiccin, que formula
.,'"A . l'
como sigue: nmguna cosa e conviene un
predicado que la 17 Y declara expre-
samente que "cuando un JUIcio es analtico, bien
sea negativo o afirmativo, su verdad debe ser
suficientemente reconocida .r. acuerdo - con el
principio de contradiccin" (B 190).
23
A decir verdad, no se ve claramente cmo
este principio negativo puede servir de funda-
mento a los juicios analticos, "tanto afirmativos
como negativos". El tipo del j uicio analtico afir-
mativo es, segn lo hemos visto, "ab es a". Ahora
bien, el principio de contradiccin, tal como Kant
lo formula, impide atribuirle al sujeto ab los pre-
dicados no-a o no-b, pero no dice en lo absoluto
qu predicado s podemos o debemos atribuirle.
En los Prolegmenos (2, b), Kant explica
su pensamiento: "Como e! predicado de un j ui-
cio analtico afirmativo est pensado de antema-
no en el concepto del sujeto, no le puede ser
negado al propio sujeto sin contradiccin .. ." 18
Qu significa esto? No se trata de negar, sino
de afirmar, y este principio de contradiccin no
ordena la afirmacin del predicado, a menos que
"no negarlo" sea sinnimo de "afirmarlo". 19
Kant contina: "igualmente, su contrario debe
ser negado del sujeto en un juicio analtico nega-
tivo, tambin como consecuencia de! principio de
contradiccin". En esto tiene razn, pero no hace
ms que probar que e! principio de contradiccin
es el fundamento de los juicios analticos nega-
tivos. Se necesita buscar por otra parte el de los
juicios analticos afirmativos, que probablemen-
te sea el principio de identidad. Por fin, en su
Lgica, (lnt. VII, 1800), Kant admite t res princi-
24
pios lgicos; el Principio de identidad o de COIl-
tradicci n, fundamento de los juicios problem-
ticos; el Principio de razn suficiente, funda-
mento de los juicios asertricos; y el Principio
de tercero excluido fundamento de los juicios apo-
dcticos . As pues, considera aqu al principio de
razn suficiente como analtico, en tanto que en
los Prolegmenos "( 3, 1783) lo califica de sin-
ttico. Es difcil -hay que admitir. o-i- encon-
trar una opinin ms cambiante que sta en tor-
no a un tema tan fundamenta\.
Probable es que en la Crtica asimilara Kant
el principio de identidad con el de contradiccin;
por otra parte, confunde con mucha frecuencia
los juicios analticos con los juicios tautolgicos
y los llama de igual modo. 20 Los juicios anal -
ticos seran los juicios virtualmente idnticos;
y esto es sin duda lo que quiso decir cuando se
refera a predicados contenidos de una manera
"latente", "confusa" o de nuevo "obscura", en
el suj eto. Pero el principio de identidad slo
justi fica a los juicios idnticos y no a los jui-
cios analticos. Nunca de la frmula a es a podr
deducir se la frmula ab es a por la simple razn
de que esta ltima contiene una operacin o com-
binacin ( la multiplicacin lgica) que no figu-
ra en el principio de identidad. Por ello, la lgi-
25
ca moderna se ha visto obligada a admitir el
principio de simplificacin (a + b es a) al lado
del principio de identidad e independientemente
de l. Esta objecin, en apariencia demasiado
sutil, prueba la falsedad en la concepcin tra-
dicional de la lgica formalista, que haca re-
posar todo el conocimiento en el solo principio
de identidad, de lo cual es necesario concluir que
semejante fundamento lgico es absolutamente
estril, porque slo permite el regreso de un ele-
mento sobre s mismo y justifica nicamente los
juicios tautolgicos, que son vanos por completo.
As, queriendo interpretar fielmente la doc-
trina de Kant en su contribucin a la lgica
moderna, es de sostener que el principio de los
juicios analticos es el principio de simplifica-
cin. Pero esta expresin es demasiado restrin-
gida, porque cuando Kant afirma que "todos los
razonamientos de los matemticos se efectan
segn el principio de contradiccin" (B 14):,
quiere decir en el fondo que se efectan segn
las reglas de la lgica. Ahora bien, sabemos que
la lgica formal no puede integrarse sin un gran
nmero de principios independientes. ' La exge-
sis de Kant permite sustituir la expresin res-,
tringida: "el principio de contradiccin" por la
"1 '" d 1 l . ,f\'y .
otra: os prmcipios e a ogica': por consi -
26
guiente, debemos enfatizar que los juici os ana-
lticos son los que reposan ni cament e en los
principios de la lgica. o/ro
Esta frmula no basta an; deseamos comple-
tarla basndonos en las explicaciones del propio
Kant: los principios de la lgica son esencial-
mente formales y por consiguiente, vacos de
contenido. Para efectuar un razonamiento cual -
quiera es necesario darl es una materia, ysta slo
puede introducirse en un sistema lgico bajo la
forma de definiciones, lo cual es evidente, dado
que slo es posible razonar con trminos que
han sido previamente definidos. Hemos Visto
antes que, segn el mismo Kant, el criterio de
los juicios analticos y sintticos puede hallarse
en las definiciones, y todo lo que est conteni-
do en la definicin de un concepto se deduce
lgicamente de l, constituye un carcter anal-
tico, y todo lo que se agrega sin necesidad lgica
es un carcter sinttico.'r.Hay que decir , pues,
para conservar el espritu y no tan slo el texto
de la doctrina kantiana, que un juicio es anal-
tico si puede nicamente deduc ir se de cier tas de-
finiciones y de los principios lgicos 21 y es
sinttico si su demostracin ( o verificacin) su-
pone ms elementos que los principios y las de-
finiciones. J"",
27
J :..-'" _
Definiciones analiticas : :y sintticos
Para objetar nuestras observaciones, podra
hacerse referencia a la distincin que establece
Kant entre definiciones analticas y sintticas.
Esta distincin, indicada slo de paso en la Cr-
tica de la razn pura, 22 se encuentra expresada
didcticamente en la Lgica ( . 100). Apunta
desde el perodo precrtico y .se encuentra des-
arrollada sobre todo en la Ihuestiqaci sobre la .
claridad de los principios de la teologa natural
y de la moralidad (1764) , donde ocupa un sitio
preponderantef Definicin analtica es la de un
concepto dado; definicin sinttica es la de
un concepto fabricado. 23 La definicin analtica
consiste en descomponer un concepto existente
de antemano; la definicin sinttica, por el con-
trario, integra al sujeto y lo compone en sus di-
ferentes Ahora bien, segn la Lgica
(102, 103), los -cO:'ptos empricos no pueden
definirse sintticamente, porque las definiciones
sintticas se aplican nicamente a conceptos for -
mados a priori y espontneamente. Pero los con-
ceptos espontneamente formados son los concep-
tos matemticos; as pues, todas las definiciones
matemticas son esencialmente
Esta distincin se origin en la poca en que
Kant se inclinaba por las doctrinas del empiris-
28
1110, Y en aquel opsculo de 1764 fue postulada
con la finalidad de oponer entre 's a la filosofa
y la matemtica desde el punto de vista de su
mtodo y grado de verdad, llegando a esta con-
clusin: "Se debe proceder analticamente en
metafsica puesto que su papel consiste en ana-
lizar conocimientos confusos." Esta tesis pare-
ce contraria a la doctrina criticista, segn la cual
los juicios metafsicos son sintticos, . como los
juicios matemticos. Es notable el hecho de que
tal distincin se relaciona con algunas proposi-
ciones de la metodologa trascendental, a saber,
que la matemtica principia cori definiciones, en
tanto -que la filosofa termina con ellas; que
las matemticas consideran 10 general en 10
particular, de acuerdo con el mtodo de la concre-
cin, mientras que la certeza filosfica es comple-
tamente distinta. Por 10 anterior, seguir el
ejemplo de la matemtica es funesto para la me-
tafsica y por todos conceptos no debe imitarla
en su mtodo. De todo esto se concluye que la
mencionada distincin data del perodo precrtico
y no est conforme con los principios de la doc-
trina criticista.
Pero hay ms, en el mismo opsculo de 1764,
Kant considera los conceptos matemticos como
hechos a priori y espontneamente. En otros tr-
minos, define a la matemtica como la ciencia
29
que fabrica a priori sus objetos. Pero sta es una
concepcin distinta de la que se encuentra en
la Crtica, donde la matemtica est definida
precisamente como el conocimiento racional por
construccin de conceptos. En el primer caso,
el mtodo matemtico puede aplicarse a todos los
conceptos espontneamente formados; en el se-
gundo se aplica tan slo a los conceptos que pue-
den ser construidos, es decir,representados en
la intuicin. 24 Esta diferencia tiene consecuen-
cias, pues de acuerdo con ella, qu impedira a
la metafsica construir tambin sus conceptos a
priori y emplear, por consiguiente, el llamado
mtodo matemtico? Lo que caracteriza a los
conceptos matemticos, segn la Crtica, no es
precisamente el que sean sintticos, sino que son
intuitivos; pero esta tesis no figura en la obra
de 1764, 25 donde propiamente no existe ningn
argumento que pueda justificar la distincin ab-
soluta de la matemtica y la filosofa, tal como
se encuentra en la Crt ica, puesto que es la in-
tuicin el criterio que distingue a los juicios ma-
temticos de los juicios metafsicos, ya que tanto
unos como otros son juicios sintticos a priori .
Pero an as , stos son problemas secun-
clarios. La objecin capital es sta: De que
las definiciones matemticas sean sintticas y las
metafsicas sean analticas, se concluye que los
30
J UICIOS matemticos son sintticos? Y por qu
no se deduce tambin que los juicios met af sicos
son ana liticos? En efecto, los caracteres de ana-
ltico y sinttico se atribuyen en el primer caso
a los conceptos y en el segundo, a las propos i-
.ciones: con eso se dan dos sentidos dis tintos a
un mismo trmino, y si pudiramos reducir el
uno al otro se obtendra ' una tesis contraria a la
de Kant, o sea que los conceptos matemticos
son construidos a priori y slo existen por su
definicin, de 10 cual resulta que se postulan de
antemano sus caractersticas, y consiguientemen-
te los juicios ulteriores tendrn que ser anal-
ticos . Por el cont rario, ' si los conceptos metafsi-
cos se dan hechos en cierta forma, y su anlisis
es siempre incompleto, es seguro que los juicios
metafs icos tendrn que ser sintticos. En resu-
men, los conceptos sintticos parecen dar lugar
a juicios anal ticos ' y los conceptos analticos a
juicios sintticos. 26 No queremos decir que esta
conclusin sea justificada, sino ni camente que es
ms viable que la cont raria y, por consiguiente,
que no se puede inferir del carcter sinttico de
las definiciones matemticas, el carcter sinttico
de los juicios matemticos. 27
Si consultamos, ya no la opinin de Kant,
sino a' la matemtica misma , podremos contestar
que todas las definiciones matemticas son pura-
31
mente nominales: consisten en determinar el sen-
tido de un trmino nuevo y suponerlo separado
de las otras categoras matemticas cuyo sentido
nos es .conocido, ya sea que las hayamos defini-
do con anterioridad o bien que las consideremos
como indivis ibles. Hablando en rigor, segn el
estilo de la lgica matemtica una definicin es
una igualdad lgica (identidad) cuyo primer
miembro es un signo nuevo que an no tiene
sentido; el segundo miembro, en cambio, est
compuesto por datos conocidos que determinan
el sentido del signo en cuestin. Una definicin
no es una proposicin puesto que no es ni ver-
dadera ni falsa; no se le puede comprobar ni re-
futar, es simplemente una convencin que coloca
en un solo signo las propiedades que pertenecen
a varios de ellos, y, una vez admitida, esta con-
vencin puede convertirse en una proposicin
slo en la medida que es utilizada para sustituir
un miembro por otro en las ecuaciones lgicas del
razonamiento ulterior.
Pero sta es una proposicin idntica', no
s610 porque el primer miembro tiene exactamen-
te el mismo sentido que el segundo, sino porque
tan slo tiene sentido propiamente el segundo
miembro. An ms, 'esta proposicin idntica no
puede ser considerada de ningn modo como un
principio de demostracin, pues todas las deduc-
32
ciones que se obtengan de l consisten en sus-
tituirIo definido por 10 definiente 28 o viceversa.
Podr ent onces efect uarse un gran nmero de
deducci ones, con mayor o menor complejidad,
pero siempre y nicamente por medio de esta subs-
titucin:' Entonces, una definicin no es una ver-
dad ni una secuencia de verdades; no forma parte
del encadenamiento lgico de las proposiciones y
es slo un auxi lio cmodo, una tcnica de abre-
viacin. Poco importa que se la llame analtica
o sinttica (es cuestin de palabras) ; su natura-
leza y forma no pueden influir de ningn modo
sobre el car cter analtico o sinttico de las pro-
posiciones que han de ser definidas y, en todo
caso, insistimos en que si una definicin debe ser
una proposicin, no podr ser ms que una pro-
posicin idntica. 29
Habiendo establecido estos principios, inves-
tigaremos si las tesi s de la matemtica son real-
mente sintticas. Importa sealar que la opinin
de Kant parece variar mucho segn el curso de
su pensamiento. En la metodologa trascendental
sostiene que nicamente la matemtica tiene como
demostraciones, pruebas apodcticas e intuitivas,
y rehusa llamar demostracin a las deducciones
puramente lgicas (analticas) que se obtienen de
tales conceptos. Por el contrario, en los Proleg-
IIIOIOS (2, c) y en la Introduccin de la Critica
33
( B 14) declara que "los razonamientos matem-
ticos actan todos segn el pri ncipio de contra-
diccin (lo cual es exigido por la naturaleza de la
certeza apodctica)". Es difcil no encont rar ah
una contradiccin, pero es de sealar que, junto
a este pasaje donde Kant hace una imprudente
concesin a quienes sostienen que los juicios ma-
temticos son analticos, est la Metodologa, que
contiene su verdadero pensamiento, su doctrina
madura y sistematizada.
Cules son las matemticas puras?
Otra cuestin por resolver, ms difcil an,
consiste en saber qu ciencias fueron tomadas
por Kant como matemtica pura, y de qu ma-
nera se relacionan con las dos formas a pri ori
de la sensibilidad que, segn l, constituyen su
fundamento. El pensamiento de Kant es singu-
larmente vacilante cuando se refiere a estos pun -
tos, por ciert o demasiado esenciales. En la Dis- .
sertatio de 1770, el espacio era objeto de la geo-
metra y el tiempo de la mecnica pura; ambas
formaban parte de la matemtica pura. El n-
mero era un "concepto intelectual" que se reali-
zaba en concreto por medio del espacio y el
tiempo. so En la Esttica trascendental el espacio
34
f
es e! fundamento de las verdades geomtricas,
pero no se dice ah qu ciencia sea fundamenta-
da por el tiempo. Los principios apodcticos que
lo definen son los siguientes: "el tiempo no tie-
ne ms que una dimens in; tiempos diferentes
no son simultneos, sino sucesivos" (cap. 4, 3).
Esos son los "axiomas del tiempo", segn la 1<;l
edicin de la Crtica y no tienen nada que ver con
los axi omas de la aritmtica. En la "explicacin
trascendental", agregada a la 2'il edicin ( 5), es
ms explcito: el tiempo fundamenta la posibili-
dad de todo cambio y en particular del movirnien-
to ( cambio de lugar) , por consiguiente, de la
"ciencia general de! movimiento, que no es poco
fecunda" y es declar ada conocimiento sinttico a
priori. Esta concepcin va de acuerdo con la tesis
sostenida por Kant respecto al principio de con-
tradiccin, a saber, que este principio deviene
sinttico cuando se introduce en l la nocin de
tiempo, y lo enuncia como sigue: "es imposible
que una, cosa sea y no sea al mismo ti'e12liJ (A
152, B 191). 31 Pero difiere, en cambio, de lo
.que . declara en la Esttica trascendental ( 7)
acerca de que e! concepto de movimiento es em-
prico porque presupone la percepcin de algo
que se mueve (A 4l', B 58). Kant insiste en el
tema y afirma que "en el espacio considerado
en s mismo no se da ningn mvil " Y' que ste
35
slo puede representarse empricamente en el es-
pacio. Aun el concepto de cambio no puede ser'
dado a priori en la Esttica trascendental porque
el tiempo no cambia, sino nicamente el conte-
nido del tiempo. En qu consiste, entonces, se-
gn 'esa teora, la "ciencia general del movimien-
to" que Kant haba considerado como pura y a
priori ?32 " .
Su pensamiento se ve ms preciso en la reo-
ra del esquematismo, donde el nmero es pre-
sentado como esquema (el esquema de la magni-
tud) es decir, como determinacin a priori de la
intuicin cIel tiempo y no del espacio. Pero si
se consulta a la Metodologa trascendental, se ver
que el nmero relacionase a la vez e indiferente-
mente, con el espacio y con el tiempo (A 724,
B 752) . En los Prolegmenos ( 10), slo dos
aos despus de la aparicin de la Crtica, deter-
mina Kant las relaciones de las ciencias matem-
ticas con la intuicin a priori, como sigue: "La
geometra tiene como base la visin pura del es-
pacio. La aritmtica produce eIla misma su con-
cepto de nmero por la adicin sucesiva de las
unidades, que es posible en el tiempo; la mec-
nica pura, sobre todo, puede producir sus con-
ceptos de movimiento slo por medio de la re-
presentacin del tiempo." Las palabras "sobre
todo" traicionan y revelan las dudas de Kant. 3H
36
En el Prefacio de Los primeros principios meta-
fsicos de la ciencia natural (1786) sostiene que
la matemtica "no es aplicable a los fenmenos
del sentido interno y a sus leyes" porque "esta
extensin del conocimiento, comparada al . que
la matemtica procura a la teora de los cuerpos,
sera ms o menos lo que la teora de las propie-
dades la lnea recta es con respecto a toda .la
geometra; as pues, la intuicin pura interna ...
es el tiempo, que no tiene ms que una sola di-
mensin". 34 Entonces, la matemtica del tiempo
no existe, por as decirlo, o se reduce a muy
p.oca cosa, a lo que Kant llama la "ley de conti-
nuidad en el transcurso de las modificaciones. del
sentido interno". No se trata pues, de, la aritm-
tica, ni mucho . menos de la mecnica. A travs
ele todas esas fluctuaciones no existe ms que
un punto firme: la correspondencia de la geo-
metra con su objeto, el espacio. Pero Kant in-
siste en la ciencia cuyo fundamento es el tiem-
po. a sta puede ser, bien la aritmtica, segn
la teora del esquematismo, O, bien la mecnica,
de acuerdo con la creencia comn. Cuando Kant
se da cuenta de que la mecnica reposa con el
mismo derecho en el espacio y en el tiempo, y
que implica un dato emprico (la materia, su-
jeto del movimiento) regresa a la concepcin de
la aritmtica como ciencia pura del tiempo, aun- .
37
que no le satisface. sopero a esto se ve orillado
por el sentido mismo de su sistema. 37 De cual-
quier modo nos atendremos a la definicin indi-
cada en la Introduccin y slo consideraremos
como matemtica pura la aritmtica (con el alge-
bra y el anlisis) y la geometra. Examinare-
mos las proposiciories de estas dos ciencias para
determinar si son de carcter analtico o sin-
ttico.
Los juicios aritmticos son sintticos?
Para probar sus tesis Kant acostumbra re-
currir a ejemplos; por ello discutiremos sus pro-
pios ejemplos. En torno de la ecuacin particu-
lar 7 + 5 = 12, afirma que "el concepto de la
suma de 7 y 5 no contiene ms que la reunin
de ambos nmeros en uno solo", que esta reunin
no implica en 10 absoluto el concepto de ese n-
mero nico; por ms que se analice el concep-
to de la suma no se hallar el nmero 12 y, por
consiguiente, para obtener tal concepto es nece-
sario recurrir a la intuicin, contando, por ejem-
plo, los nmeros con los dedos (B 15). Estas
afirmaciones corresponden realmente a una con-
cepcin bastante burda de la aritmtica.P" Por
el contrario, dado que el concepto ele la suma de
38
7 Y 5 implica la reunin de ambos numeras (o
ms exactamente de sus unidades) en uno solo,
" por ello mismo contiene este propio nmero, el
cual queda determinado de manera unvoca. As,
entre 7 + 5 y 12 no slo hay igualdad sino
identidad absoluta. 39 Esta proposicin se debe,
por una ' parte, al principio de identidad, y por
otra, a la definicin de los nmeros 7 y 5; por
consiguiente, es analitica.? Y no ser necesa-
r io recurri r a ninguna intui cin para demostrar-
la rigurosamente. 41
Kant sostiene que el carcter sinttico de las
verdades aritmticas se ve ms claramente cuan-
do se trata de grandes cantidades (B 16) , pero
este mismo argumento se vue1ve en cont ra de
l. efec to; es prcticamente impos ible tener la
int uicin precisa de nmeros del orden, por
ejemplo, de los millones, y de ninguna manera
se podran manipular cant idades similares si fue-
se necesario recurrir a la int uicin. Lo que es
vlido para grandes cant idades lo es para peque-
as y, por consiguiente, no es la int uicin sino
el razonamiento lo que permite afirmar que 2
y 2 son 4.
Pero sta no es la opinin de Kant, que con-
sidera todas las verdades aritmticas como pro-
posiciones "inmediatamente vl idas", "evidentes"
e "indemostrables" (B 204, 205) . De aqu re-
39
1 ....... _- ' _
sulta que deberamos admitir infinidad de ax io-
mas puesto que tales verdades son en nmero
infinito.V Kant se dio cuenta de la dificultad
y pretendi evadirla llamando a estas verdades
no 'precisamente axiomas, sino "frmulas num-
ricas", porque segn l, no son generales como
los axioma s de la geometra. Como quiera que
las llame, lo cierto es que admite una infinidad
de proposiciones sintticas primarias e ir reduc-
tibles, 10 cual no est conforme a la idea de una
ciencia .racional. Pero entonces, cmo requiere
del clculo, y frecuentemente de g r ~ n s clcu-
los, para descubrirlas o demostrarlas? Si las ver-
dades ar itmticas fueran realmente intuitivas no
sera tan di fcil verificar (no he dicho demostrar)
el famoso teorema de Goldbach: "Todo nmero
par es igual a la suma de dos nmeros primos ."
En realidad todas las verdades aritmticas son
demostrables y las, nicas verdades primarias que
no necesitan demostracin son los axiomas ge-
nerales de los que precisamente Kant no se ocupa.,
Se ha dicho que no basta refutar un error;
es necesario explicarlo. El del filsofo se explica
por su concepcin rgida de la lgica. 43 Por ejem-
plo, dice que "podemos volver y revolver sobre
nuest ros conceptos tanto como queramos pero
nunca se llegar a encontrar la suma por simple
descomposicin de nuestros conceptos , .. " (E
40
16). Pero, quin nos dice que todos los concep-
tos estn "compuestos" de conceptos parciales, de
manera que baste "descomponerlos" para descu-
brir todas sus propiedades? Este es un viejo
prejuicio de la lgica tradicional, que puede apli-
carse a ciertos conceptos empricos, pero que
precisamente no se aplica a los conceptos matem-
ticos.:'! La misma exigencia casi ociosa se mani-
fiesta en otro pasaje: "yo no pienso el nmero
12 ni la representacin de 7 ni la de 5, ni la
representacin de la reunin de ambos" (B 205) .
Que el concepto de 12 no est contenido en el 7
ni en ,el 5, es evidente; pero la cuestin es que
pueda o no derivarse de la "reunin" de ambos,
y esto depende precisamente de lo que se entien-
da por/reunin". Kant percibi la debilidad de
su argumento agregando un parntesis donde
parece descubrir una distincin sutil entre "re-
unin" y "adicin": ("Que yo deba pensar el
. nmero 12 como suma de ambos no es una cues-
tin procedente aqu -nos parece, por el con-
trario, que esa es precisamente la cuestin- pues-o
to que un juicio analtico slo permite saber si
yo pienso realmente el predicado en la represen-
tacin del sujeto.") Parece que se refugia en
una consideracin de orden psicolgico, distin-
guiendo lo que se debe pensar y lo que se piensa
realmente. A esto responderamos que si realmen-
41
te no se piensa e! predicado en la representacin
de! sujeto porque no se le represente realmente,
es natural que si nos' contentamos con un pensa-
miento simblico (como dira Leibniz), bastar
la representacin de los signos 7 + 5, de lo cual
110 se obtendra la idea del nmero 12; pero si
se piensa realmente en 7 unidades por una par-
te, en 5 unidades por otra y se les piensa como
reunidas en un solo nmero (lo cual est indicado
por la presencia del signo +) entonces se pensa-
r necesariamente el nmero 12. 45
Pero ste no es el verdadero sentido de la
proposicin, como lo muestra otro prrafo que
hemos comentado con anterioridad (E 17). Sig-
nifica en realidad (a pesar del uso equvoco e
irregular que hace Kant en la misma frase de los
trminos "pensamiento" y "representacin"):
"No es reuniendo en e! pensamiento los dos con-
ceptos de 7 y 5 como yo obtengo e! concepto de
12, sino construyndolos en la intuicin y re-
uniendo en ella los dos trminos correspondien-
tes para formar uno solo." Por otra parte, si
Kant admite que los nmeros son conceptos, s-
tos tendrn que serlo de grupos; el nmero 7
ser el concepto de un grupo de 7 objetos, y as
sucesivamente. Pero no hay que confundir esto
con un grupo determinado, de igual modo que
no debe confundirse en general un concepto cual-
42
quiera con los objetos a los que se aplica. Ahora
bien, si la aritmtica emplea realmente conceptos
de nmeros y no de grupos concretos (como po-
dran serlo gises o piedras) la divisin de los
nmeros debe ser una combinacin conceptual y
no intuitiva; claro que puede representarse en
la intuicin, cotila los nmeros mismos, pero esta
operacin es meramente formal y nada tiene que
ver con la naturaleza de los objetos que sirven
para representar el concepto. Por 'otra parte, la
relacin que se establece entre ambos nmeros, o
mejor dicho, entre sus unidades, es de la misma
naturaleza que la relacin entre las unidades de'
cada nmero cuyo conjunto constituye ese n-
mero. Sera pues, absurdo, admitir un nexo ideal
entre -fus unidades constitutivas de cada nmero
y creer que entre las unidades de ambos nme-
ros el nexo sera intuitivo. Si se considera a la
suma como operacin intuitiva, habra que sos-
tener que los nmeros mismos existen slo en
la intuicin (tal es la tesis del empirismo) y que
Jos conceptos de nmeros se reducen a palabras \
o signos carentes de autntico sentido. 46 El ante-
rior razonamiento explica ese extrao argumento
en una frase aadida en la 2'1- edicin de la Crtica:
"que se deba agregar 5 a 7, es lo que he pensa-
do sin duda en el concepto de una suma 7 + S,
pero no precisamente que esta suma sea igual al
43
r
Jl.- _
nmero 12". Kuno Fischer comenta este pasaje
en la siguiente forma : "7 + 5, sujeto de la pro-
posicin, ordena: j suma ambas magnitudes ! El
predicado 12 expresa que han sido sumadas . El su-
jeto es un problema; el predicado es la solu-
cin".47 He aqu una solucin bastante extraa:
Dnde se ha visto que un problema sea el sujeto
de una pr oposicin y que su respuesta sea el
predicado? Un problema es una proposicin in-
terrogativa o problemtica y su solucin es un
j uicio asertrico o apodctico. Por otra parte,
cmo se llega de los datos de un problema a su
solucin? Slo a travs de un razonamiento y no
por una operacin mecnica o intuitiva. Aqulla
es una manera ilegitima de dramatizar la cues-
tin, puesto que hace intervenir consideraciones
psicolgicas improcedentes. Poco importa que
una proposicin se brinde al espritu como pro-
blema o como teorema; tampoco interesa el tiem-
po que tome verificarlo o el mtodo que se em-
plee para ello; todo esto es asunto personal. Por
otra parte, un miembro de una igualdad matem-
tica no puede ser un problema, y slo podr serlo
desde un punto de vista psicolgico; lgicamente
es una verdad eterna que no depende de las con-
diciones en que se llegue a su conocimiento. 48
Pero lo ms asombroso de todo esto es que un
problema postulado por el entendimiento (pues-
44
I
to que Kant habla del concepto de la suma
7 + 5) slo pueda ser resuelto por la intuicin.
En realidad, la ' dificultad surgir si se cree que
"7 + 5" es un mero conjunto de palabras o sig-
nos; pero si consideramos su sentido lgico,. des-
aparece el problema, pues la misma conciencia
que postula 7 + 5, postular al mismo tiempo
12. Repetiremos una vez ms que esta igualdad
matemtica no representa una operacin com-
pleja: es una identidad absoluta. ' La operacin
no se efecta en el trnsito del primer miembro
al segundo, sino en la formacin del primero
por medio del signo +. No se trata de saber
cmo se constituye al sujeto, sino cmo el su-
. jeto, ya constituido, contiene al predicado.
Todo esto surge del juego que hace Kant
con los trminos reunin y adicin. Parece que,
segn l, para obtener el nmero 12 no basta
reunir en el pensamiento los nmeros 7 y 5,
tal como se renen dos conceptos parciales (ani-
mal y racional) para obtener un concepto total
(hombre); hay que adicionarlo, y esta operacin,
segn l, slo puede efectuarse en la intuicin.
El distingo es correcto, pero se vuelve con-
tra el propio Kant puesto que el sujeto no es
"7 y S", sino ~ + S", lo que significa que para
formarlo no basta con "reunir" los dos miem-
bros sino que deben ser sumados, precisamen-
45
te lo que indica el signo +. Si Kant rehuye ha-
cerlo y se limita a reunirlos, no tiene derecho
a hablar del concepto de suma. As pues, le re-
procha a la adicin aritmtica no ser como la
multiplicacin lgica (como si hubiera nicamen-
te una manera de combinar los conceptos) y se
cree autorizado para substituir sta por aqulla,
con lo cual desvirta la naturaleza del problema.
De parecida manera a como los conceptos de
nmeros no se pueden definir por gnero y di-
ferencia especfica, ni descomponer en factores
lgicos, tampoco se les puede combinar por el
procedimiento de la multiplicacin lgica. Esto
prueba palpablemente la insuficiencia de la lgi-
ca tradicional.
Mas no podra concluirse de ah que la adi-
cin aritmtica escape al alcance de la vercladera
lgica, ya que puede y debe fundamentarse en
la adicin lgica. 49 Sea A un conjunto de 7 ob-
jetos y B otro de 5 objetos; se supone que am-
bos conjuntos carecen de elementos comunes. La
suma de 7 y 5 es el nmero del conjunto que se
forma reuniendo los dos anteriores. Es el n-
mero de la suma lgica de A y B. Cuando Kant
afirma que es necesario "salir" de los conceptos
. 7 y 5 para encontrar el 12, quiere decir simple-
mente que esta suma no se obtiene combinando
directamente los dos nmeros, sino adicionando
46
)'
las clases a que corresponden, es decir, no por
una multiplicacin lgica sino por una adicin
lgica, "o Pero esto no significa que se deba "sa-
lir " del concepto 7 + 5 puesto que tal adicin
est cont enida en l y slo queda por ser rea-
lizada en el espritu.
Tal vez se objetar que por el hecho mismo
de substituir los conceptos de nmeros por las
clases correspondientes, se va del dominio del
pensamiento al de la intuicin. Que represente-
mos los nmeros por grupos de objetos no dar
a Kant la razn , evidenciando que la suma es una
operacin intuitiva y no intelectual? A ello res-
ponderemos : un nmero es nica y exclusiva-
mente el concepto de un grupo, y pedir que se
conciba al nmero sin pensar en el gntpo , es
pedir un imposible. ,,1 Por otra parte, ley psi-
colgica es que todo concepto, por ms abstrac-
to que sea, necesita apoyarse en cierta imagen"
y es natural que por ello mismo hagamos razona-
mientos sobre un nmero acompandolo de al-
guna imagen ms o menos vaga. La cuestin
epistemolgica, independiente y distinta de las
circunstancias psicolgicas, puede plantearse as :
Cul es el fundamento lgico de las verdades
'aritmticas ? El concepto o la intuicin ? Cuan-
do considera analtcos los siguientes juicios: "El
oro es amarillo", "todo cuerpo es extenso", no
47
pretende que se deba desmembrar su imagen sen-
sible, lo cual, para ambos juicios, es bastante ms
difcil que para las verdades aritmticas; no exige
que pensemos al oro sin su color, ni a los cuer-
pos sin su extensin, puesto .que segn su pro-
pia doctrina no podramos desembarazarnos jams
de la intuicin del espacio y adems no se detie-
ne a examinar si por el hecho de que tales juicios
requieren de imgenes pueden ser tachados de
sintticos. Ahora bien, esto se debe a que cual-
quiera que sea e! origen psicolgico de! juicio y
de las imgenes adjuntas, e! concepto de oro y de
. cuerpo comprenden por definicin a los con-t
ceptos de amarillo y de extensin. [,2 Asimismo,
no el concepto de "7 y 5", sino de "7 + 5",
contiene esencialmente al concepto de 12. Ms
an, ambos conceptos son idnticos.
Este razonamiento se confirma con preci-
sin en las explicaciones ulteriores de Kant. El
filsofo conoce, en efecto, que la matemtica em-
plea algunos principios analticos y declara:
"aunque sean vlidos como meros conceptos, son
admitidos en la matemtica porque pueden pre-
sentarse en la intuicin" (B 17). Pero inversa-
mente, de que las proposiciones sean representa-
das en la intuicin (aun necesariamente) no se
concluye que sean sintticas y puedan valer "pro-
piamente como conceptos". [,3 Por 10 dems po-
48
dra notarse que Kant escoga bastante mal .su
ejemplo de principio analtico: "El todo es ma-
yor que la parte", expresado ' con los ' signos
a + b > a. Esta proposicin no es un princi-
pio o axioma, puesto que vale slo para -ciertos
tipos de magnitudes y no para todas. Es un
simple teorema que se demuestra definiendo los
signos + y >, a menos que precisamente se
tome esta frmula como su definicin. El teo-
rema es vlido para los nmeros finitos, pero no
se aplica a los nmeros cardinales transfinitos. 64
No se reprochar a Kant haber ignorado estas
verdades, por ms elementales y simples que sean
en la actualidad; sin embargo, preguntamos cmo
pudo admitir, de acuerdo con sus propias ideas,
que tal proposicin fuese . analtica. En efecto, si
se considera el primer miembro, tendremos una
suma anloga a 7 + 5, y si sta se funda en la
intuicin, aqulla debe estarlo con ms razn
todava, y si no se concluye analticamente que
7 + 5 sea 12, menos aun puede saberse cul es
la suma de A y B, Y por consiguiente, que sea
mayor que A. Por otra parte, si se considera a
la cpula (el signo >)es fcil notar que la ver-
dad de la proposicin depende esencialmente del
sentido que tenga la cpula, y cualquiera que sea
es menos analtico que el de la cpula = que
significa precisamente la identidad; con ms ra-
49
...
zn, pues, deba Kant sostener que e! concepto
mayor que reposa en la intuicin. El filsofo no
deba creer un instante que e! predicado A est ,
contenido en el sentido lgico de! sujeto A + B. ,
pues, por una parte, dicho sujeto no es un pre-
dicado lgico sino una suma matemtica, y por
la otra, el juicio no es predicativo, como parece
exigir la definicin de los juicios analticos. ,,5
Adems, no debi ilusionarse que el juicio des-
cansa en el principio de contradiccin, puesto que
es contradictorio suponer: A + 13 = A, o
A + 13 < A. Por lo tanto, en cualquier forma
que se examine la proposicin no se descubrir
ningn motivo para considerarla analtica, no
sindolo "7 + 5 = 12"; o recprocamente, a esta
ltima como proposicin sinttica y que no lo
fuera el juicio propuesto A + 13 > A. Qu otra
cosa podemos concluir si no que la distincin de
juicios analticos y sintticos estuvo singularmen-
te vaga e insegura en el espritu mismo de su
autor? "fl
Por lo dems, tal concepcin lo indujo a erro-
res flagrantes. Por ejemplo, l considera como
juicio. analtico este principio: "Si agregamos o
sustraemos elementos iguales a magnitudes igua-
les, stas siguen siendo iguales." Tiene conciencia
inmediata sobre la identidad de las magnitu-
des comparadas (B 204), pero este es un jui-
50
cio que, lejos de reposar en el principio de iden-
tidad indica una propiedad de la adicin (o de la
sustraccin), a saber, que la operacin es ttnifor-
me. Es un axioma aplicable en unos casos y falso
en otros. Por ejemplo, en el caso de la extraccin
de races , no puede escribirse \/""4"- \/4(aun-
que esta igualdad tenga toda la apariencia de
identidad) y que se tenga de ella -segn las
palabras de Kant- una inmediata conciencia de
la identidad en la generacin de la magnitud,
puesto que \/4puede ser tanto + 2 como - 2,
de suerte que la igualdad considerada podra con-
ducir al absurdo: + 2 = - 2.
El esquematismo
<Slo queda un argumento en pro de la natu-
raleza sinttica de las verdades aritmticas: es
el concepto de nmero, tal como se obtiene en la
teora del esquematismo Sabemos que, . segn
Kant, el nmero, esquema de la magnitud, "es
una representacin que implica la suma sucesi-
va de unidades de la misma especie"; por con-
siguiente, "el nmero no es otra cosa que la uni-
dad sinttica de la multiplicidad de una intuicin
homognea en general, por el hecho de que el
yo requiere del tiempo en la aprehensin intuiti-
51
va" (B 182). As, en tanto esquema, el nmero
es intermediario entre la sensibilidad y el enten-
dimiento a la vez intelectual e intuitivo. Por una
parte, es un producto de la imaginacin, y por
otra, participa de la generalidad del concepto y
en ello se distingue de la imagen)
De esto resulta que<:el nmero tiene un con-
tenido intuitivo donde se implica esencialmente
la sucesin; tratndose particularmente de la
intuicin del tiempo, sirve aqulla de fundamen-
to a los juicios aritmticos y explica as su ca-
rcter sinttico Pero conviene hacer algunas
anotaciones en torno a esta teora. Si de antemano
se ha establecido que los juicios aritmticos son
sintticos, podr encontrarse sin duda la expli- .
cacin de este hecho en la naturaleza intuitiva del
nmero. ero admitiendo que ste proceda, al
menos en parte, de la intuicin, puede concluir-
se de ah que los juicios aritmticos sean sint-
ticos ? Veremos que no. El carcter sinttico del
juicio no depende de la naturaleza de los concep-
tos ni de su orige y sabemos que segn la pro-
pia tesis de Kant pueden obtenerse juicios ana-
lticos a partir de conocimientos empricos como
aquellos de cuerpo y de oro que son producto
de una sntesis intuitiva. Poco interesa que la
intuicin en que descansa esta . sntesis sea em-
prica, mientras que el nmero se base en una
52
I
I
I
-i
I
1
intuicin a priori. Por lo tanto, ~ lesionar la
naturaleza sinttica de los conceptos, stos pue-
den ser sujetos de judicacin analtica, fundada
exclusivamente en su definicin.j>
Podra bastar dicha observacin sin necesi-
dad de discutir la teora kantiana del nmero,
mas 10 haremos brevemente en atencin a un
trabajo especial que hemos dedicado al tema. 67
Que el nmero implique necesariamente la suce-
sin es una conclusin psicolgica aplicable al
caso de los nmeros pequeo, No tenemos, en
efecto, la intuicin simultnea del 1, 2, 3, 4, 5, .. "
sobre todo cuando estn dispuestos con regula-
ridad? Cmo podra representarse un tringu-
lo si no porque se tiene la percepcin simult-
nea de sus tres lados y sus tres ngulos? Cmo
los ciegos podran distinguir al tacto las letras
del alfabeto Braille que no percibiendo simult-
neamente los puntos que componen cada letra?
Todas estas consideraciones no tienen valor ~
la cuestin epistemolgic,??que nos ocupa; o se
trata de saber cmo adquirimos la conciencia de
un .nmero sino en qu consiste el concepto de ese
nmero;>Ahora bien, ~ esta nocin no tienen
cabida las apreciaciones psicolgicas, ni simult-
neas ni sucesivas. Desde el punto de vista lgico
es necesario decir que tenemos ' conciencia si-
multnea de todas las unidades de un nmero
53
para afirmar que pensamos ese nmero y ex-
presar qu nmero pensamos Hacer intervenir
al tiempo en la nocin de nmero es confundirla
con la operacin de numerar, con el acto de con-
teo. Pero es fcil darse cuenta que numera-
cin presupone la idea de nmero, lejos de en-
y que, en todo caso, \un suponiendo
que la idea de nmero fuera posterior a la de I
numeracin, en el nmero nada 'tiene que ver el
tiempo empleado en la operaci ( as como en
un edificio terminado ya no interesan los anda-
mios que ayudaron a su construccin. 58 Por 10
dems, el argumento psicolgico que discutimos
s puede aplicarse a todas nuestras ideas y co-
nacimientos puesto que es la forma general no
slo de la sensibilidad sino de toda la actividad
espiritual; rtodos nuestros actos, hasta los , ms
elevadamente intelectuales, transcurren forzosa-
mente en el tiemp . Cualquier obra es justamente
el producto sucesivo de una sntesis que puede ser '
de bloques de piedra o elementos de cualquier na-
turaleza vez terminados, se independizan
. de la duracin que se emple en elaborarlos. Asi-
mismo, un razonamiento puramente lgico requiere
del tiempo para efectuarse en el espritu. Pero de
ahi no se ' sigue que contine siendo una sntesis
intuitiva y temporal. Se dir que la sntesis in-
tuitiva del nmero se efecta en ,el espacio y no
54
en el tiempo; o ms bien e,n el espacio que en
el tiempo, y esta interpretacin, aunque contraria
a la teora del esquematismo, podra apoyarse en
los pasajes ante riormente citados de la Introduc-
cin y de los Prolegmenos en q u ~ nmero es
presentado como esquema espacial y no como es-
quema temporaL(
'Pero esta tesis no sera ms slid;yque la an-
terior, pues ~ la misma forma que se han mos-
trado objetos intemporales pueden sealarse ob-
jetos inespaciales, como los conceptos y tambin
los nmeros'Por otra parte, ello acabara de se-
alar el problema, pues segn Kant el espacio no
puede ser percibido sino en el tiempo.( Sostiene
que el espacio es una magnitud extensiva/como,
por ejemplo, la representacin del todo, que slo
es posible por la representacin previa de las par-
tes (B 203). 59\-as magnitudes extensas sern
apreciables por sntesis sucesivas de sus partes
(B 204) Y Kant repite la misma tesis respecto
de las magnitudes continuas : la sntesis (de la
imaginacin productiva) que las engendra es un
proceso en el tiempo (B 212); 60 de consiguien-
te, tanto el espacio como el tiempo son magnitu-
des continuaf-(B 211) . Qu decir de ello sino
que las magnitudes espaciales y el espacio mis-
moslo pueden ser aprehendidos a travs del
tiempo? El mismo Kant afirma que la geome-
55
I
1
..
tra reposa en la sntesis sucesiva de la irnagi-
nacin productora en la generacin de las figu-
ras (B 204). Por ejemplo, no podemos represen-
tar una lnea sin obtenerla del pensamiento y, por
consiguiente, sin engendrarla en el espacio (B
203). Este ejemplo basta para calificar toda la
teora, que consiste en confundir, a la manera de
los empiristas, las ideas geomtricas con las im-
genes subjetivas que son el soporte gentico. La
idea de lnea es tan independiente de la imagen
psicolgica como de la figura sensible que yo tra-
zo en el pizarrn para representarla Con el mis-
mo derecho que se afirma que una lnea tiene
cierta duracin puede sostenerse que es de tin-
ta china o de carbonato de calcio. 61
La teora del esquematismo origina, pues, mu-
chos problemas. Sabemos que--esquema es "la re-
presentacin de un proceso general de la imagi-
nacin para darle a un concepto su imagen">-( B
179, 180). , Kant distingue el nmero, como es-
quema de la magnitud, de la imagen que se le
construye con ayuda de puntos/(B 179). El pen-
samiento de un nmero particular "es la repre-
sentacin de un mtodo para representar una mul-
titud (por ejemplo, mil) conforme a un cierto
concepto en imagen, ms bien que la imagen mis-
ma, sin el cual sera difcil de comparar con su
concepto" (B 179). Pero,\iqu es este concepto
S6
S1110 la nocin del nmero 1000? 'Y qu tiene
que hacer el esquema entre el concepto y su ima-
gen? Si es un producto de la imaginacin deber
confundirse con la imagen misma, y si es un m-
todo general de construccin no tiene por qu
diferir del concepto; en todo caso, no vemos c-
mo puede facilitar la comparacin y la aproxi-
macin del concepto ~ la i n ~ g e n
Por otra parte, SI el numero es el esquema
de la magnitud, parece que el concepto en el cual
consiste el nmero debe ser tambin concepto de
una magnitud. Pero, qu hace que el nmero
represente esa magnitud y no otra? Se trata de
una relacin de cierta magnitud con la unidad
de magnitud de la misma especie, que se toma
libremente como unidad; por ello, en la nocin
ele magnitud no hay nada que indique necesaria-
mente la presencia de un esquema, pues podra
tener otro cualquiera y. adems , si la magnitud
es un concepto y slo puede ser esquematizado
en el nmero, qu sucede con la teora kantia-
na segn la cual toda magnitud es intuitiva e
implica necesariamente la forma del espaci o y del
tiempo? Cul es la relacin del nmero en tanto
esquema, con los "esquemas" de las figuras geo-
mtricas? Se dir que el nmero es un esquema
temporal mientras que los esquemas geomtricos
son espaciales; pero Kant admiti que el nrne-
57
ro 5 tiene por imagen cinco puntos alineados y
generalizando este mtodo de construccin se ob-
tendr un esquema particular del nmero S/como,
otra parte -segn Kant-, la construccin
de las figuras geomtricas es sucesiva, tambin
los esquemas geomtricos implican forzosamente
la participacin del tiempo No vemos con clari-
dad lo que distingue al nmero de los esquemas
geomtricos, y con ello se pierde la distincin que
podra establecerse entre la aritmtica y la geo-
metra, atendiendo a su objeto y su mtodo. -Sin
embargo, todo el mundo se da cuenta de esta
diferencia; nmeros son ms abstractos, ms
puros, y tienen un carcter universal. Todo obe-
dece a las leyes del nmero, en tanto que no todo
cae bajo la jurisdiccin de la geometra. En resu-
men, si el nmero fuera esquema, no podra ser-
lo ni del nmero ni de la magitud. No puede
ser realmente un esquema)
El nmero y la magnitud
No es fcil representarse claramente la idea
que tuvo Kant sobre la magnitud y sus relacio-
nes con el nmero. En principio, la magnitud es
una categora o sea un concepto a priori del en-
tendimiento; 62 su esquema es el nmero, y el
58-
espacio, su imagen (B 182). El nmero seria en-
tonces un punto intermedio entre la magnitud y
el espacio, el vehculo que proyecta la accin de
aqulla en ste. Pero e! concepto de magnitud,
como todas las categoras, tiene valor objetivo
solamente aplicndolo a los datos de una expe-
r iencia, es decir , a la intuicin. Es necesario en-
tonces "investigar los conceptos sensibles" y para
ello sirven los esquemas. Segn Kant, el concep-
to de magnitud busca su base y sentido en el
nmero, y ste a su vez en los dedos, en las es-
fera s de! baco, en los puntos o las lneas de una
figura (E 299) . Parece, por consiguiente, que
no puede pensarse a la magnitud sino a travs
del nmero y por cierto del nmero entero y
positivo, que es esencialmente discontinuo. En
cambio, no podra concebirse de ninguna mane-
ra a la magnitud como discontinua, y en efecto,
segn Kant, pudesele definir nicamente dicien-
do que es la determinacin de una cosa por la
cual se piensa cuantas veces la cont iene el n-
mero (E 300), y agrega que el "cuantas veces"
reposa en la sucesiva repeticin permisible en el
tiempo, y ms bien, en la ' sntesis de 10 homog-
neo en el tiempo (tal es el nmero) . Pregunta-
mos entonces cmo se hubiera podido llegar a la
nocin de magnitud continua pues , o bien el n-
mero "imita" a la magnitud -para emplear la
59
I
expresi n de Pascal- )' entonces puede expli-
carse la generalizacin del concepto de nmero
(nmeros fraccionarios, negativos, irracionales,
etctera), suponiendo que tenemos una nocin pri-
mitiva y original de la magnitud (independiente
del nmero), 63 o bien que la propia magnitud
puede pensarse por medio del esquema, es decir,
del nmero. Entonces, para explicar la continui-
dad de la magnitud hay que definir los nmeros
fraccionarios, negativos e irracionales, de una ma-
nera independiente, sin apelar a la idea de magni-
tud ni tampoco a la intuicin espacial. La segun-
da alternativa es perfectamente posible 64 pero
constituye una refutacin de la tesis kantiana por-
que erige a toda la matemtica sobre fundamen-
tos analticos y obliga, por lo menos, a abando-
nar la concepcin empirista del nmero, segn
la cual ste debiera siempre estar encarnado en
grupos de objetos visibles y palpables, dado que
tal concepcin no permite ir ms all de los n-
meros cardinales, enteros y positivos.
En todo caso, dicha teora permite conside-
rar que la nocin de magnitud es en s indepen-
diente y distinta del espacio y del tiempo, puesto
que ambas formas de la intuicin pueden propor-
cionarle nicamente imgenes o esquemas 65 La
matemtica es -segn Kant- la ciencia de la
magnitud en general, independiente del espacio
60
y del tiempo; no descansa propiamente en la in-
tuicin sino en el concepto a priori de magnitud.
Otro tanto puede afirmarse del nmero, puesto
que, siendo el nmero un elemento que acta
en el espacio y en el tiempo, a travs de esque-
mas apropiados, es en s mismo un concepto dis-
tinto e independiente de ambas formas de intui-
cin y puede verse "construido" tanto en una
como en otra. Concluiremos, pues, que las cien-
cias del nmero y fa magnitud son ciencias racio-
nales e independientes de la intuicin.
Kant mismo consider repetidas veces al n-
mero como un concepto intelectual, no slo en su
Dlssertatio de 1770, que podra ser ampliamente
refutada 66 sino en la misma Crtica de la razn
pura. En efecto, dice as: "La sntesis pura, re-
presentada de una manera general, proporciona
el concepto intelectual puro. Pero entiendo por
esta sntesis a la que descansa en un principio
de unidad sinttica a priori. La numeracin (esto
se nota sobre todo en los nmeros grandes) es
una sntesis segn los conceptos porque tiene
lugar por un principio de unidad comn (por
ejemplo, el sistema decimal)" (A 78 B 104).
Este pasaje parece implicar que el nmero, pro-
ducto de una sntesis pura, es un concepto in-
telectual puro, 10 cual contradice la teora del
esquematismo. Podra explicarse este hecho no-
61
tanda que estas lneas son anteriores al captulo
del esquematismo; sin embargo, en el pasaje ha-
bla Kant del papel de la imaginacin y le atri-
buye el lugar comn de todas las sntesis en ge-
neral (B 103). Esto es ms notable porque en
el mismo pasaje considera al nmero como pro-
ducto de una sntesis intelectual y no imagina-
tiva, que nada tiene que ver con la intuicin (del
tiempo) que, segn el esquematismo, sirve de
base o materia a dicha sntesis. 67
El lgebra
Kant reconoce, pues, que-la matemtica no
tiene por objeto slo a las magnitudes concretas '
como las que estudia la geometra,sino tambin
a la magnitud pura que hace abstraccin de todo
objeto; tal es el oficio del lgebra>(B 745).
Parece admitir que la magnitud es algo supe-
rior a las formas de la intuicin, en tanto in-
telectualidad pura, 10 cual implica que espacio
y tiempo no sean las nicas magnitudes origi-
narias (B 753) . Trata de salvaguardar su tesis
sosteniendo que lgebra tambin se origina
por construccin de conceptos; pero'pouna cons-
truccin "ostensiva o geomtrica" que se proyec-
ta en objetos, sino construccin "simblica o ca-
62
racterstica" que se manifiesta en los signos a1-
gebraicoyCB 745, 762). Esta es una exageracin,
pues admitiendo que sea indispensable represen-
tar los conceptos por medio de signos, no puede
llamarse a esto una construccin de conceptos ni
concluir de ah que son de naturaleza i n t u i t i ~
Con ello se confunde al signo o smbolo con
su significado. 68 Tambin pueden representarse
las relaciones lgicas por signos anlogos a los
algebraicos, como en la llamada "lgebra de la
lgica"; pero de aqu no se concluye que slo
puedan ser pensados por medio de la intuicin.
Kant mismo construye simblicamente la frmu-
la A + B. Puede concluirse de ah que sea una
sntesis intuitiva? El filsofo refuta su propia
teora llevndola al extremo y, segn ella, no
existe nocin ni relacin alguna que escape a este
fundamento intuitivo, puesto que todas las ideas
se traducen en palabras que son, a su vez, sig-
nos visibles o audibles. Puede concluirse que
todas las ideas se "construyen" en el espacio y
el tiempo?
Kant distingue las palabras de los signos al-
gebraicos, al afirmar que en filosofa no se razo-
na sobre las palabras; pero entonces, por qu
pretende que el lgebra razone sobre signos, de-
jando de lado los objetos que constituyen el sig-
nificado de los smbolos y determinan el sentido
63
del razonamiento propiamente dicho? GU Kant
sufre una conf usin; 110 es cierto que el lgebra
razone sobre signos y s sobre las ideas que re-
presentan; operar mecnicamente con ellos es a
condicin de haber justificado previamente las
reglas forma les que rigen las operaciones alge-
braicas, lo cual es posible atendiendo al sentielo
real ele tale s operaciones y a los signos que se
relacionan con ellas. En cierto sentido se hace
abstraccin de la naturaleza de los objetos, pero
ello se debe a que no importa a la esencia misma
del razonamiento algebraico. Por ejemplo, no in-
teresa saber si las letras representan nmeros
enteros o fr accionarios, as como en aritmtica
pura no impor ta si un nmer o representa un gru-
po de objetos, una longitud o un peso; ni en geo-
metra si un slido est hecho de made ra o de
metal. Por lo dems, el mtodo de abstraccin
es general a toda la cienci a y gracias a l es po-
sible permanecer nicamente con el aspecto del
objeto que interesa a la investigacin .\..o que no
podra hacer el lgebra es abst raer al nmero
o la magnitud, que es su objeto propio y conte-
nido mismo de las frmul as; y cuando en un
problema algebraico se hace abst raccin de la
naturaleza particular de las magnitudes que se
manejan, no es para vaciar a los smbolos y las
frmulas de todo contenido sino para reducirlas
64
precisamente a su contenido esencial, que es en
general la idea de magnitud. j>
Kant atribuye al "clculo literal" (como de-
nomina impropiamente al lgebra) una cierta vir-
tud de infalibilidad, y deberase a que el razona-
miento contiene nicamente signos sensibles que
se graban en la memoria y hacen imposible toda
omisin. Las palabras, por el contrario, no pro-
porcionarn igual servicio porque pueden ser ex-
presadas sin pensar en su sentido y, por consi-
guiente, hay siempre una posibilidad de confun-
dir o alterar su significacin. Es cierto que las
ventajas del simbolismo algebraico son reales,
pero no constituyen un argumento en favor de
la tesis kantiana, y prueba es que fueron admi-
tidas por pensadores racionalistas como Descar-
tes y Leibniz. El ltimo, sobre todo, consideraba
el clculo algebraico en tanto mtodo infalible
que podra extenderse a todo gnero deductivo
y constituir una caracterologa universal para re-
solver cualquier tipo de problemas. Leibniz se dio
cuenta, aun mejor que Kant, del auxilio que
recibe el pensamiento por los signos "cmodos
y apropiados", sin caer por ello en el nominalis-
mo y reducir el lgebra, la matemtica y la lgi-
ca misma, a un puro juego de smbolos , carente
de sentido. La superioridad del clculo algebraico
sobre el razonamiento predicativo no consiste en
65
-:
que razone aqul sobre signos y ste sobre ideas,
sino precisamente que en el clculo algebraico los
signos corresponden a ideas claras y definidas,
mientras que en el razonamiento predicativo -que
emplea palabras- intervienen ideas confusas y
equvocos producidos por su uso vulgar.
El signo es simplemente un medio de iden-
tificar un concepto preciso y rigurosamente
definido; la palabra podra hacerlo tambin, siem-
pre que su sentido se hubiera definido con pre-
cisin y que nunca se le atribuyera ningn otro.
As pues, no es necesario atribuir a los signos
una virtud casi misteriosa que preserva de todo
error, pues se cometen errores en el clculo tanto
como en el razonamiento, 10 cual, sin embargo,
no desmerece su terica infalibilidad. Lo ms
extrao es ver que Kant hace consistir, como
un simple empirista, a la "evidencia" en la "certe-
za intuitiva", acudiendo al testimonio de la vista
para "preservar a todas las deducciones del error"
y reconocer como demostrativas nicamente a las
que se apoyan en la intuicin. Puede tratarse,
bien de una simple cuestin de palabras donde
se maneje arbitrariamente el trmino "demos-
tracin", o puede ser un autntico error, porque
no se negar que existen demostraciones puramen-
te lgicas e intelectuales, y no sera Kant, cierta-
66
mente, quien llegara a sostener, por ejemplo, que
el valor del silogismo est fundado en la in-
tuicin.
Los juicios de la geometra
Rstanos comentar el pensamiento de Kant
sobre la geometra. Si hay una ciencia que pa-
rezca descansar en la intuicin es ella precisa-
mente, en tanto ciencia de lo espacial, y hasta los
matemtico-filsofos que consideran el anlisis
como una ciencia pura y a priori, opinan que la
geometra es ciencia emprica, o al menos de
base intuitiva. Ello parece indicar que puede se-
pararse a la geometra del tratado general de las
magnitudes.
Kant emplea nuevamente ejemplos y compa-
raciones en su ensayo demostrativo y nosotros,
por consiguiente, deberemos examinarlo. As, para
mostrar que los juicios geomtricos son sintticos,
cita esta proposicin : "La lnea recta es la ms
corta que une dos puntos." "En efecto -dice l-
mi concepto de recta no contiene nada de cuan-
titativo sino exclusivamente una cualidad. El con-
cepto cuantitativo de 'la ms corta' no puede estar
contenido en el sujeto ni ser obtenido analtica-
mente de l y slo se le atribuye por una sntesis
67
/
fundada en la intuicin." .Qu validez metdica
tiene esta aseveracin? Es una definicin, un
axioma, o un teorema? Parece ms bien un axio-
ma, puesto que lo califica de "principio" (Grund-
satz). 70 Sin embargo, no es absolutamente axio-
ma sino un teorema demostrable y demostrado. 71
No puede ser un principio ya que el enunciado
supone la nocin de longitud de una lnea cual- .
quiera; ahora bien, la longitud de una lnea
curva se define nicamente en el seno de la geome-
tra analtica y del clculo, y por cierto, en fun-
cin de la lnea recta. La rect a es pues, el proto-
tipo de las longitudes, por definicin. Kant se
coloca en el punto de vista del empirismo inge-
nuo, que cree 'ver la longitud de una curva, por-
que se imagilla un hilo tenso aplicado sobre esta
curva, pero tal intuicin no interviene como prin-
cipio cientfico en geometra, puesto que el hilo
conserva ntegramente su longitud aunque se de-
forme su primitiva posicin recta. De ah vemos
que todo llamado a la intuicin conduce en geo-
metra a un crculo vicioso.
No puede afirmarse que la lnea recta cons-
tituya en s primitivamente una cantidad; en to-
do caso, no es la lnea recta ( ilimitada ) lo que
puede ser una cantidad, sino el segmento finito
que se toma de ella. 72 Tampoco podemos decir
que la lnea rect a sea una cualidad , como el co-
68
1
1
I
1
,
I
lar rojo o el calor, y cuando mucho, segn la l-
gica gramaticista (tal es la lgica de Aristte-
les), diremos que la rectitud de la lnea es una
cualidad y que la recta es el sujeto de esta cua-
lidad. Pero ciertamente las categoras escolsti-
cas carecen de sentido si se aplican a la ciencia
geomtrica. En realidad, la lnea recta es una fi-
gura, segn la geometra proyectiva (a la cual se
le puede llamar tambin cualitativa) y conside-
rada en su totalidad es absolutamente infinita y
comprende todos los puntos situados en su direc-
cin. No es pues una magnitud, pero acta como
soporte de una serie de magnitudes (las longi-
tudes) desde el momento que fijamos dos pun-
tos sobre ella y definimos sus relaciones, llama-
das distancias. Despus diremos, por ejemplo, que
si el punto B est entre A y C, la distancia AC
es mayor que las distancias AB y BC y que cons-
tituye su suma . Culminando estas definiciones de
desigualdad y de suma, las distancias se hacen
magnitudes mensurables. Se trata de una snte-
sis de cualidad y cantidad? Por lo menos puede
afirmarse que es la definicin de una especie de
magnitudes. Y como en este concepto no queda
definida la lnea recta en cuanto tal (en su infi-
nitud y su unidad indivisible y funcional), para
decir que es "la ms corta" se necesita tomar un
segmento de recta limitado por dos puntos 73 y
69
'1
I
cuando se concluye que este segmento es ms cor-
to que toda lnea ondulante o quebrada que ten-
ga los mismos extremos, se ha comparado, en el
fondo, un segmento de recta a otro segmento de
recta, diciendo que aqul puede estar contenido
en ste. La relacin de desigualdad ("mayor
que") se encuentra definida por la relacin del
todo a la parte y el teorema en cuestin se pro-
duce cuando la aplicamos. La proposicin "el to-
do es mayor que la parte" fue considerada por
Kant como un principio analtico y el teorema
"en un tringulo la suma de dos lados es siem-
pre mayor que el tercero" no podr deducirse de
los conceptos de lnea y tringulo (B 39). 74 En
ello tiene Kant perfecta razn, pero en realidad
no necesitaba apelar a los conceptos de lnea y
de tringulo, pues el mismo teorema podra for-
mularse as: "Dados tres puntos cualesquiera, la
distancia entre dos de ellos es menor que la su-
ma de sus distancias al tercer punto."
En su opsculo sobrelos Progresos de la me-
tafsica (1791) pone Kant como ejemplo de jui-
cio sinttico el siguiente: "Toda figura de tres
lados tiene tres ngulos; porque al pensar en tres
lneas rectas que recortan un espacio, es imposi-
ble no pensar al mismo tiempo en tres ngulos,
aunque el concepto de la trilateralidad no me lle-
ve necesariamente al de la inclinacin de un lado
70
}
con respecto al otro, es decir, al concepto de n-
gulo." 75 Como se ha hecho ver, ste es un
error: 76 el concepto de ngulo est contenido en
la nocin de rectas que se cortan y, cmo po-
dran cerrar un espacio si las lneas no se en-
contraran? Puede concebirse el tringulo a la
manera clsica, definindolo como la figura for-
mada por tres rectas que se cortan dos a dos y, por
consiguiente, en virtud de un teorema de la corn-
binatoria, los tres lados tienen intersecciones que
determinan tres ngulos; pero tambin se le pue-
de concebir como en la geometra proyectiva: un
conjunto de tres rectas situadas en un mismo pla-
no, y entonces dos de ellos -y aun los tres-
pueden ser paralelos. 77 Pero aun en este caso
debe admitirse que dos rectas paralelas forman
el ngulo cero y, por consiguiente, tres rectas
cualesquiera situadas en un mismo plano deter-
minan siempre tres ngulos, de los cuales uno o
los tres pueden ser nulos. En todo caso, la no-
cin de ngulo est perfectamente contenida en
la nocin de las tres rectas, o sea en la propie-
dad de trilateralidad del tringulo. 78 Por otra
parte, Kant pretende que del concepto de dos
neas rectas no puede concluirse que stas no sean
capaces de cerrar un espacio (B 65, 299) y ol-
vida su propia definicin de la recta, a saber, que
slo una puede pasar por dos puntos y que, por
71
.1
consiguiente, . dicha propiedad deriva analtica-
mente del concepto de recta. 79 Asimismo, l afir-
ma que el juicio "tres puntos que deben estar si -
tuados en un mismo plano " es sinttico (B 761),
siendo que este concepto de tres puntos es la de-
Iinicin misma del plano. Todos esos ejemplos
demuestran que la distincin de juicios analti-
cos y sintticos no estaba suficientemente clara
en Kant ni su examen de la geometra y la arit-
mtica.
Las demostraci ones geomtricas
Para probar que las demostraciones geomtri-
cas descansan en la intuicin, Kant considera un
teorema conocido: "La suma de los tres ngul os
de un tringulo es igual a dos rectos." 80 Y afir-
ma que para demostrarlo se requiere una cons-
truccin que consiste en elaborar tres ngulos
iguales a los del tringulo y probar que la suma
es igual a dos rectos (B 744) .
Parece, pues, que segn Kant no se puede
comprobar un teorema geomtrico sin construir
una figura por medio de lneas auxiliares y que
toda construcci n implica necesariamente un lla-
mado a la intuicin. Pero ninguna de esas pro-
posiciones est justificada. Una demostracin
72
geomtrica no recibe validez del auxiliar intuiti-
vo que nos hace "ver" las propiedades aparentes
de la figura. Esto lleva inclusive a sofismas. 8
En cuanto a las construcciones auxiliares, los tra-
zos de que constan deben apoyarse en una justi-
ficacin lgica de su ubicacin. 82 Cuando se ha-
bla de construir tal o cual figura se echa mano
de una metfora ms o menos prctica, de un
elemento sensible; las figuras trazadas emp rica-
mente tienen previa validez ideal, determinada
por los datos y condiciones del problema. Cuan-
do decimos: "nanse los puntos A y B" se signi -
fica en real idad: "Los puntos A y B determinan
una recta en virtud de la definicin misma de
recta." Decir: "Prolonguemos la recta AB", es
referirse al accidente emprico de una figura t ra-
zada materialmente sobre la recta AB, que es
esencialmente infinita. Y tambin, cuando dadas
dos rectas ortogonales se habla de trazar por una
de ellas un plano perpendicular a la otra, no se
hace ms que realizar lo ya implicado hipottica-
mente, puesto que dos rectas son or togonales por
definicin cuando una de ellas est contenida en
un plano perpendicular a la otra (se demuestra
que esta propiedad es recproca) y por consi-
guiente, aquel plano ya exista por definicin.
En todos los casos sucede igual; no puede cons-
truirse, y que sea vlida, ninguna figura sin es-
73
. t
\
tar previamente determinada por su definicin,
construirla es slo realizar empricamente ele-
mentos presupuestos en una figura ideal y como
precisamente a la figura ideal se refi eren los razo-
namientos geomt ricos, const ruirla no significa
agregarle nada sino hacerl a nicamente accesible
a la sensibilidad en una for ma pragmtica y apro-
xi mada. Es como si se repasaran con tinta los
trazos de una figura dibujada tenuemente con
lpiz, y as todas sus propiedades "por construc-
cin" lo son realmente "por hiptesis" o "po r
definicin".
De all, aunque las construcciones fueran in-
dispensables, no exigen acudi r a la intuicin. Pero
realmente no son tan indispensables como se cree.
Desde hace mucho tiempo se critica el carcter
artificial de las demost raciones de Euclides 83
porque se apoyan en const rucciones muchas ve-
ces complicadas y en apariencia arbitrarias, em-
pleando un gran andamiaje de lneas auxiliares
que parten de la figura dada y constjyen ele-
mentos extraos a ella. Esto da la impresin de
que no puede llegarse a demostrar una hiptesis
sino por medio de grandes rodeos y esfuerzos
de la imaginacin; tales demost raciones ' no pa-
recen realmente razonamient os lgicos y con-
catenados sino aventuras de la imaginacin. 84
Generalmente se les puede subst ituir por demostra-
74
cionesms simples y directas, fundadas en pro-
piedades intrnsecas de la figura dada que no
exigen ni un solo trazo de lneas auxiliares. Y
si se trata de dar ejemplos, podremos citar una
demostracin de ese tipo. La hemos obtenido de
un texto elemental, pensado sin ningn espritu
de sistema e inspirado nicamente en la idea del
rigor lgico y la claridad pedaggica: 85 "Cuando
dos planos son perpendiculares, toda perpendicu-
lar a su interseccin en un punto es perpendicular
al otro". Se demuestra con la siguiente conside-
racin: "Esta recta puede ser considerada como
la interseccin del primer plano con un tercero
que sera perpendicular a la intereseccin de los
planos dados (95) y, por consiguiente, perpen-
dicular al segundo (107, 111)."
La demostracin, expresada en una frase, no
requiere de intuicin alguna; no est acompaa-
da de figuras y, como se ve, tampoco reclama
construcciones, refirindose simplemente a tres
postulados previos que es necesario conocer:
95. Por un punto de un plano que contiene
una recta, slo puede trazarse una perpendicu-
lar a esta recta, y la perpendicular es intersec-
cin del plano dado con el plano perpendicular
a la recta que pasa por el punto.
7.5
.
107. Dos planos son perpendiculares cuando
uno de ellos contiene una recta perpendicular
al otro.
111 . Cuando dos planos que se cortan son
perpendiculares a un tercero, su interseccin
es perpendicular.
Vol vamos ahora a la demostracin citada. La
hiptesis comprende los siguientes aspectos: dos
planos perpendiculares, que pueden ser P y Q,
la recta D, su interseccin, y la recta E perpen-
dicular a D en el plano P . La recta E es (en vi r-
tud del enunciado 95) la interseccin del plano P
por un plano R perpendicular a la recta D. Pero
(de acuerdo con el 107) el plano R, perpendicu-
lar a una recta D del plano Q, es perpendicular
a Q. Los dos planos P y R son perpendiculares a
Q y as pues, su inter seccin E es perpendicular
a Q. Esto es lo que se quera demostrar.
Nos abstenemos de trazar una figura porque
no es necesario ver los planos P, Q, R, Ylas rec-
tas D, E . Basta conocer sus relaciones para apli-
car automticamente, por as decirlo, la defini-
cin de los nmeros 95, 107 Y 111. Esta es una
demostracin verbal, es decir, formal. Podramos
despojar de toda significacin geomtrica a los
elementos, D, ti; P, Q; R, e. igualmente de su"
relaciones de perpendicularidad y corresponden-
76
cia. El razonamiento sera el mismo y tendra 1.1
misma validez con tal que las tres proposiciones
95, 107 Y 111 fuesen verdaderas. 86 El ejemplo
demuestra que una proposicin geomtrica pue-
de verificarse de un modo puramente lgico y
deductivo. Conviene aadir que el teorema en
cuestin no es un mero corolario (consecuencia
inmediata de otro teorema) y que la demostra-
cin que acabamos de citar no constituye excep-
cin, pues la gran mayora de los teoremas que
componen esa obra tienen anlogo carcter y no
necesitan recurrir a la figura ni a la construc-
cin intuitiva.
La intuicin en geometra
(ant repite con frecuencia que la matemtica
es consideracin de lo general en lo particulart'>
y t m i n ~ n lo singular y concreto; ero no cree-
mos correcta esta opinin. Aun en la geometra
sinttica, a la cual parecera aplicarse,'\Cuando se
traza una figura para demostrar un teorema no
se razona jams sobre las propiedades particu-
lares de la figura y s en cambio sobre sus pro-
piedades generales, que son comunes a las figuras
del mismo gnero, comprendidas y definidas por
el teorema. 87 Para nada se requieren las propie-
/
!
77
d d
. ' . d 1 t: , 1 \
a es intuitrvas e augura particu ar que se con-
sidera; slo las propiedades que resultan de su
definicin o de su construccin, es decir, de las
hiptesis del teorema , Dice Kant que la mate-
mtica representa "lo general en concreto (en la
intuicin singular)". donde todo mal razona-
miento se hace visible" (E 773). Aqu hay un
equvoco. Si se trata del mtodo algebraico, hay
razn en decir que los signos sensibles pre servan
del error, como Leibniz 10 haba hecho notar.
Pero si se trata del mtodo geomtrico,\as figu-
ras no slo no preservan sino que al contrario,
conducen al error, pues la pretendida "evidencia"
intuitiva puede disimular la debilidad de un razo-
namiento o de un postulado. Esto prueba de paso,
que ambos tipos de intuicin no se parecen, y as,
la intuicin geomtrica no es de ningn modo
una garanta de verdad y menos de rigor lgico.)
Se puede razonar adecuadamente sobre una figu-
ra inexacta y por consiguiente falsa, y en cambio
se puede mal razonar sobre una figura bien cons-
truda si se invoca una propiedad autntica, pero
emprica, es decir , no emanada de las definicio-
nes o de hiptesis. Qu significa esto, sino que
la intuicin no debe participar de manera funda-
mental en los razonamientos geomtricos y que
stos para ser rigurosos deben ser puramente lgi-
cos ?\Un llamado a la intuicin (aun la pretendi-
78
da intuicin a priori) no se distin gue cier tamente
de un dato emprico ni tiene ms val or que l.
Se puede determinar el nmero Jt midiendo el
contorno de un crculo material; se dice que Ar-
qumides encontr la cuadratura de la parbola
pesando cuerpos recortados conforme a esta cur-
va; pero tales procedimientos son evidentemente
extraos al mtodo matemtico y no ms, por
cierto, de lo que viene a ser un apoyo en la in-
tuicin. 88
<Se dir que los razonamientos geomtricos no
se refier en a imgenes, sino a esquemas, y esto
parecera resol ver la dificultad puesto que mien-
tras las imgenes son particulares los esquemas
son generales como el concepto mismo' Kant sos-
tiene que nuestros "conceptos sensibl es puros"
(es decir, los conceptos geomtricos) descansan
en los esquemas y no en imgenes, porque nin-
guna imagen puede adecuarse al concepto de
tr ingulo ni representar su generalidad ( B 180) .
Por otra parte, la teora es difcil de conciliar
con el repetido aserto de que la matemtica cons-
t ruye sus conceptos in concreto (B 743) y consi-
dera lo general en lo particular y aun en lo sin-
guIar (B 742). Sin embargo, leemos en este senti-
do: "La figura singular que yo puedo trazar es
emprica y sin embargo sirve para expresar el
concepto, a pesar de su generalidad, porque en
.
Uv- -VL\
79 " z o e
t- Al
MEXICO VJ
>", o'

\
esta intuicin empmca slo se atiende al acto de
la construccin del concepto, indiferente a toda
clase de determinaciones, como la magnitud de
los lados y los ngulos; por consiguiente, se hace
abstraccin de las propiedades que no alteran el
concepto de tringulo" (B 742). Este pasaje prue-
ba que Kant vio la dificultad, mas no la resol-
vi. 89 Una de dos: o bien se razona sobre la figu-
ra singular (no importa que est dada en una
intuicin a priori o emprica) y entonces el razo-
namiento carece de generalidad, o bien se razona
sobre el esquema general cuya imagen est dada
en la figura, pero entonces ya no podr sostener-
se que la matemtica considera a 10 general ni-
camente en 10 particular y 10 concreto. Tampoco
podr afirmarse que la matemtica hace conside-
raciones intuitivas, pues un esquema significa
mtodo general, regla de construccin y no cons-
truccin acabada, que sera, segn Kant, "Un
objeto singular" CB 741) que no se distinguira
en nada del concepto de cuya generalidad parti-
cipa, abstrayendo las caractersticas particulares
que hacen posible la intuicin. 90 Es el concepto
mismo quien constituye la regla general de cons-
truccin, considerando sobre todo que los con-
ceptos geomtricds no son definidos per genus et
differentiam, sino per generationem. Todo pro-
ducto de la imaginacin es particular y no pode-
so
mas imaginar un tringulo sin asignarle una for -
ma determinada. Si el esquema es general, no
puede ser un producto de la imaginacin. El es-
quema es, pues, un elemento intermedio, til por
lo menos, entre el concepto y la imagen.
En cualquier caso, si la intuicin interviene a
ttulo de simple auxiliar en la geometra sinttica,
para nada se mezcla con la geometra analtica, y
menos an con la geometra proyectiva y los di-
versos captulos del clculo geomtrico. En geo-
metra analtica el razonamiento es conducido por
medio de ecuaciones generales que representan
indiferentemente a todas las figuras de una misma
especie, y si de hecho se recurre a la intuicin
para establecer esas ecuaciones, se prescinde com-
pletamente de ella en las deducciones ulteriores.
En geometra proyectiva se razona directamente
sobre las figuras pero concibindolas de una ma-
nera general y haciendo abstraccin de sus par-
ticularidades intuitivas. Se hablar, por ejemplo,
de la cnica, sin especificar si se trata de elipse, de
parbola o de hiprbole, y aun sin pretenderlas
distinguir. Tampoco se diferencian rect as o pla-
nos paralelos de rectas o planos que se cortan,
desprecindose como indiferentes los datos in-
tuitivos en los que la geometra sinttica de Eu-
clides se basaba casi exclusivamente. Por ltimo,
en los diversos captulos del clculo geomtrico,
81
\ .
las figuras son definidas como combinaciones
algebraicas de puntos (elementos indefinibles) y
el razonamiento se lleva a cabo por medio de al-
goritmos formales anlogos a los del lgebra. En
todas estas doctrinas no se invocan las propie-
dades intuitivas de las figuras ni se emplean jams
las construcciones auxiliares que son para la geo-
metra sinttica meros elementos de ilustracin.
"Se han podido escribir tratados enteros de geo-
metra sin una sola figura, lo cual demuestra que
no se requiere indispensablemente de la intuicin,
y que el razonamiento no se refiere a casos y
ejemplos singulares. 91 >
En los Prolegmenos ( 12), Kant afirma
que la igualdad geomtrica consiste, en ltima
instancia, en la superposicin, es decir, en un
fenmeno intuitivo, y olvida que el empleo de
ese mtodo (del cual se abstienen por completo
los gemetras modernos) no se limita a construir
de hecho la superposicin de figuras sino demues-
tra tambin, debido a qu circunstancia fue po-
sible. Las dos figuras superpuestas son identifi-
cadas previamente en sus elementos, de manera
que la superposicin de referencia pueda ser de-
ducida de esta previa identidad, que se basa en
la definicin misma de las figuras. As, por ejem-
plo, el hecho que dos rectas tengan dos puntos
comunes, se concluye que ambas rectas coincidan;
82
pero sta no es una demostracin intuitiva sino
una consecuencia lgica de la definicin de recta
y asi sucesivamente. 92>
Paradoja de los objetos simtricos
La famosa paradoja de los objetos simtricos
podra constituir una objecin a nuestra tesis. Re-
cordmosla. 93 Se dan figuras de tres dimensiones
que son "iguales" en todos sus elementos y, sin
embargo, "incongruentes", es decir, que no pue-
den coincidir. As son los tringulos esfricos
opuestos, las hlices a derecha y a izquierda, los
dos lados del cuerpo humano, las dos orejas,
las dos manos, etctera. Segn Kant, esta diferen-
cia no puede ser definida ni explicada por ningn
concepto sino nicamente por la intuicin, y prue-
ba la naturaleza intuitiva de las figuras geom-
tricas y del espacio mismo.
Es til recordar que esta paradoja fue invoca-
da por Kant para probar una tesis diferente, casi
contraria, como es la del espacio absoluto. 94 La
diversidad de los objetos simtricos no podra ex-
plicarse por sus relaciones internas (que son
idnticas) y solamente se hace inteligible relacio-
nndolos con el espacio absoluto. 95 As, Kant par-
ti de un mismo hecho para comprobar primero
83
la realidad del espacio y despus su idealidad,
Esto hace presumir que en ambos casos, o al
menos en uno, el argumento no es procedente. 96
Sera interesante averiguar cmo pudo Kant em-
plear simultneamente un argumento en dos senti-
dos tan diversos; creemos explicar este hecho
como una oposicin a Leibniz, pues <{n el primer
caso sostiene la tesis newtoniana del espacio y en
el segundo opta por la naturaleza intuitiva del
espacio para dirigirse contra el intelectualismo
de Leibniz, quien vea en l un orden puramente
inteligible; Pero esta cuestin histrica y psicol-
gica se aparta de nuestro tema; lo que deseamos
es saber cul es el argumento tal y como es pre-
sentado en los Prolegmenos.
Creemos hallar la falla de la argumentacin
en la siguiente premisa: "No existen ah dife-
rencias intrnsecas que un entendimiento cual-
quiera pueda solamente concebir." Esta premisa
supone que entre los elementos de las figuras no
existen otras relaciones que las de magnitud. ste
es un error, pues las relaciones de orden figuran
tambin como datos imprescindibles y son pre-
cisamente estas relaciones de orden las que dis-
tinguen, y ms an, invierten al espacio en el
caso de las simtricas. ( Podr a afirmarse
que dichas relaciones son puramente intuitivas y
lgicamente indefinibles las relaciones de
84
orden pueden definirse por medio de la lgica
relacional. En el fondo, dos rdenes inversos en-
tre s corresponden a relaciones de conversin de
uno a otro, y la conversin relacional es una ope-
racin lgica absolutamente independiente de la
intuicin.P" Existe pues una diferencia inteligi-
ble y puramente lgica entre dos figuras geo-
mtricas; tal es 10 que Kant niega cuando dice
que son "iguales" en todas sus partes y en todas
sus relaciones internas. Sus partes son iguales (y
por consiguiente semejantes) pero no estn dis-
puestas en semejanza; en otras palabras, todas
las relaciones de magnitud son las mismas pero
las relaciones de orden son inversas.
Trataremos de precisar nuestra idea. Hay que
distinguir dos sentidos vectoriales opuestos en
una misma recta; un sentido ser positivo y su
contrario, negativo. Se distinguen igualmente dos
sentidos opuestos para los ngulos de un mismo
plano. Dos segmentos o dos ngulos iguales (del
mismo sentido) coinciden con un simple despla-
zamiento; dos segmentos o dos ngulos simtricos
(de sentido contrario) no pueden coincidir. Lo
mismo sucede con los llamados "tringulos dirigi-
dos" (es decir, dotados de sentido) situados so-
bre un mismo plano. La simetra de los triedros
es anloga a la de los tringulos, con una dimen-
si.n ms, de manera que los triedros simtricos
85
no pueden coincidir con un desplazamiento en
el espacio de tres dimensiones. En forma general,
hay que distinguir segmentos (paralelos), ngu-
los (en un mismo plano) y triedros homotxi cos
y anti txicos, segn que estn dispuesto en el
mismo sentido o en sentido contrario, ya sea so-
bre la recta, sobre el plano o en el espacio. 98
Ahora bien, para transformar un triedro en su
antitxico, basta cambiar el sentido de uno de
sus lados, 10 cual equivale a reemplazar una semi-
recta por su opuesta mediante un cambio de signo
en uno de los ejes . La antitaxia puede definirse
por la simple distincin de los dos sentidos de
un segmento y reducirse a la oposicin de seg-
ment os positivos y negativos sobre una recta . Que
esta oposicin no es un dato del espacio int uitivo,
debi ser evidente para el autor del Ensayo de
introduccin al concepto de las magnitudes nega-
tivas en la filosofa (1763), desde el momento en
que pretenda reducir todas las oposiciones rea-
les, aun las psicolgicas (como el placer y el do-
lar) y las morales (10 bueno y 10 malo) a la
oposicin de magnitudes positivas y negativas.
As pues, si la paradoja de Kant prueba algo, es
que el espacio constituye el substratum. de las re-
laciones de orden' y que, por consiguiente, no es
una magnitud pura sino precisamente un orden,
86
10 cual es en el fondo la misma tesis de Leibniz
que Kant crey refutar. 99
El problema anterior debe ser distinguido de
este otro, que se relaciona con l: 100 " Por qu
el mundo real tiene un sentido determinado y no
precisamente el opuesto? Por qu, por ejemplo,
los planetas giran de derecha a izquierda en torno
al Sol?" No es posible responder a esta pregun-
ta, porque ella misma carece de sentido, ya que
\l espacio es relativo y no contiene diferenciacio-
nes cualitativas e intuitivas. Si el espacio fuera
absoluto, debera existir una razn para que los
planetas girasen de derecha a izquierda y no de
izquierda a derecha; pero no podemos dar esa
razn. 101 Por lo dems, ambos sentidos se ha-
cen inescindibles, pues\'Si los planetas giran de
derecha a izquierda para un observador situado
en el sol con la cabeza al norte y los pies al sur,
girarn de izquierda a derecha para un obser-
vador colocado en posicin inversa. La distincin
de ambos sentidos se hace relativa a la colocacin
del observador, pues realmente en el universo no
hay ni arriba ni abajo, ni izquierda ni derecha.)
Mas si a pesar de 10 anteriormente expuesto se
insiste en que la diferencia de ,os objetos sim-
tricos es indefinible, en vista de que para lograr-
lo requerimos de casos particulares y ejemplos
intuitivos, responderemos que efectivamente acos-
87
b
. de Ios trrni '" . d"\
tum ramos servimos e os termmos izqUler a
y "derecha", relativos a nuestro propio cuerpo, y
que son indefinibles, slo distinguidos por un
sentimiento interno e inmediato)A todo ello da-
remos la razn, pero el argumento se refiere, no
a la posibilidad de distinguir lgicamente las fi-
guras simtricas, sino a los medios de que nos
valemos para distinguirlas en el lenguaje, es de-
cir , para nombrarlas con respecto a otras. En el
opsculo: Was heisst sich im Denken orien-
tierenr (1786) (A qu se llama orientarse en el
pensar?) Kant sostiene que no es posible orientar-
se, es decir, distinguir los cuatro puntos cardina-
les, fuera del sentimiento subjetivo de la derecha
y de la izquierda, y agrega: "10 llamo un senti-
miento porque estos dos lados no presentan exte-
riormente a la intuicin ninguna diferencia sensi-
ble" (edicin Hart., IV, 341). El filsofo olvida
que existe una diferencia perfectamente sensible y
absolutamente objetiva entre las dos semirrectas
opuestas que un punto determinado separa en
una recta indefinida, y es que no tienen ningn
otro punto comn. Tenemos aqu una distincin
inteligible y clara, y no una simple distincin de
sensaciones. La denominacin "derecha" e "iz-
quierda", no sirve para distinguirlas sino para
nombrarlas verbalmente. De anloga manera nos
.servimos de las indic<l:ciones geogrficas o antro-
88
pomrficas de norte y de sur, de arriba y de aba-
jo, para designar los dos sentidos inver sos de
una recta (de un eje de coordenadas ) o tambin
el sentido de las manecillas de un reloj para desig-
nar las dos posibilidades de una rot acin circular.
Pero dos rectas de sentido inverso, dos cr culos
que giran en sentido inver so tambin, pueden
coincidir y, por consigui ente, la necesidad prc-
tica que nos condu ce a echar mano de datos in-
tuitivos para designar las figuras simtricas, sig-
nifica que slo para representarnos tales figuras
es necesario recurrir a la intuicin.
Principios de la geomet ra
La reconstruccin lgica de la geometr a na
es solamente una posible idealidad, sino un he-
cho realizado por los trabajos de la geometra
contempornea. 102 Se ha establecido ya de sobra
que {s demostraciones geomtricas son analticas
y que la geometra puede y debe reducirs e lgica-
mente a un grupo de postul ados inicialesjz'Nos
queda por saber -ul es el ori gen y valor de tales
postulados> Sobre esta mat eria la lgica formal
no est capacitada para decidir. Es seguro que
<los postulados de la geometr a no pueden deducir-
se T como los axiomas de la aritmtica- de los
89
\
principios de la lgica y la prueba est..,.en que
slo existe una aritmtica, en tanto que "las geo-
metras lgicamente posibles son muchas. Cada
una de ellas se construye analticamente sobre un
conjunto de postulados que la caracterizan un-
vocamente, constituyendo un sistema hipottico
deductivo (para seguir la expresin de Pieri),
es decir, un conjunto de proposiciones lgicamen-
te encadenadas que dependen de ciertas hiptesis
y sern vlidas en el caso y medida que tales
hiptesis se verifiquer;. Habindolas admitido, la
lgica pura interviene en cada geometra, y desde
el punto de vista lgico son equivalentes entre s,
no incompatibles, como pudiera pensarse. Si todas
ellas, con su diferente estructura de postulados,
se refirieran a un mismo espacio, podran ser
contradictorias; p r ~ objeto es puramente hi-
pottico y est determinado por un sistema de
relaciones formales, de hiptesis y conclusiones.
Las hiptesis son postulados; ahora bien, no pue-
den considerarse como tales las proposiciones
concretas que son formuladas en cada geometra.
--Las hiptesis son libres postulados que hacen de
la geometra una parte de la matemtica pura en
tanto ciencia deductiva y exclusivamente anal-
tica; con este criterio, las geometras construyen
sus espacios ideales y meramente posibles, y, cosa
rara, la geometra moderna es la realizacin de
90
aquel ideal que Kant previ y defini escasa-
mente a los veintitres aos de edad, en su prime-
ra obra, cuando estaba notablemente influido por
la filosofa de Leibniz : "Una ciencia de todos
los espacios posibles sera indudablemente la
geometra ms elevada que un entendimiento fini-
to pueda concebir." loa >
Pero en otro sentido, la geometra deja de
ser una ciencia analtica y una matemtica pura
cuando se le aplica a un objeto particular, al es-
pacio actual de los objetos existentes. Y enton-
ces - lo una geometra es procedente.zuna que
debemos escoger entre todas Ias que son lgica-
mente posibles. sta eleccin consiste en adop-
tar entre los diversos sistemas de postulados, uno
que se verifique en el espacio actual o en el mun-
do real ; y con esto se implica, desde luego, una
fase sinttica en el sentido que sobrepasa los
lmites de la lgica formal. Qu determina est a
eleccin? < 1 tema da lugar a controversias; la
mayor de los matemticos piensan que la ex-
periencia es la indicada para mostrar cules pos-
tulados se verifican en nuestro mundo. ales
postulados seran entonces leyes inductivas, pro-
ducto de incontables experiencias y, por consi-
guiente, esa geometra sera una ciencia induc-
tiva y experimental, la primera y ms abstracta
de las ciencias fsicas; sus juicios, segn ellos
91

mismos, son JUIcios sintticos a posterior!>Pero
a otros parece la experiencia incapaz de decidir,
entre las diversas geometras, cul deba ser la geo-
metra de 10 real, puesto que una misma expe-
riencia, un mismo conjunto de hechos, puede
interpretarse en los diversos sistemas que ofrece
la geometra pura, y entonces la eleccin no es
impuesta por la experiencia sino realizada por
razones de comodidad. Ahora bien, ~ aqu
no se trata de una comodidad emprica o prc-
tica, sino de una comodidad intelectual, es de
presumir que analizando ms a fondo las preten-
didas razones comodicias se redujeran a argumen-
tos racionales, es decir, a juicios sintticos a
priori. Y 10 que parece confirmar esta presuncin
es el carcter eminentemente racional de las dos
propiedades esenciales del espacio eucldeo: pri-
mero, la posibilidad de desplazar una figura in-
variable sin deformarla, 10 cual constituye el
principio de identidad en la geometra (la mis-
ma figura puede existir en dos lugares diferen-
tes) y segundo, la posibilidad de las figuras
semejantes, 10 que origina la llamada independen-
cia de la forma y de la magnitud (la misma forma
puede existir en escalas diferentes). Ahora bien,
estos juicios sintticos a priori no estn fundados
--como crea Kant- en una intuicin sensible
ni tampoco pura, sino en necesidades o convenien-
92
cias de razn, con 10 cual creeemos justificar ms
propiamente al intelectualismo leibnizi ano que al
intuicionismo kantiano. >
Sin embargo, junto a esos postulados de ca-
rcter intelectual hay por 10 menos uno que no
es explicado en la misma forma , el relativo.... al
.....
nmero de dimensiones de nuestro espacio. a-
rece que es reductible a una especie de intuicin
que se impone prcticamente a todos los hombres
de manera inexorable, bien sea porque proviene
de la constitucin subjetiva de nuestra sensibili-
dad o bien porque traduce simblicamente la es-
tructura del mundo exterior. Si hay un postulado
que justifique a la teora kantiana, es ste.z No
queremos decidirnos por ninguna de las dos solu-
ciones, pues muy probablemente la intermedia
sea la correcta: ~ r t o s postulados tendran un
origen intelectual y otros un origen intuitivo; el
espacio sera entonces una compleja estructura
de elementos intuitivos organizados por principios
intelectuales )
.....De cualquier manera, mientras la aritmtica
desmiente por completo a la teora kantiana, sta
parece subsistir en geometrayTal conclusin es
contraria a la creencia de muchos matemticos,
quienes opinan que la creacin de las geometras
no-eucldeas viene a refutar la doctrina de Kant.
Dichos autores, aparentemente poco familiarizados
93
con el pensamiento del filsofo, creen que su doc-
trina implica la f i r m ~ de slo una geometra
posible, lo cual es falso. ,La posibilidad y existen-
cia de varias geometras es ms bien un aruuinen-
to de las tesis kantianas en el sentido de que los
juicios geomtricos son sintticos y se fundan en
la intuicin. 104 Russell l'" dice con justicia que la
autntica crisis de la filosofa kantiana de las ma-
temticas no es la geometra no-euclidea sino la
reconstruccin lgica del anlisis, lo que Klein
ha llamado la aritmetizacin de las matemticas. 10;'>
Las antinomias
No vamos a referirnos a la antinomia de la
razn pura, porque adems de haberla discutido
ampliamente en otro trabajo 107 el tema que es-
tamos tratando no se relaciona muy estrecha-
mente con ella. Kant pens que la antinomia de
la razn pura se relacionaba con la naturaleza
del espacio y el tiempo y confirmaba la tesis so-
bre la idealidad de ambas categoras. Pero en rea-
lidad, las pretendidas contradicciones en que la
razn incurre inevitablemente en sus especulacio-
nes sobre el mundo, provienen de una nocin
inexacta del infinito, alimentada por los prejuicios
tradicionales relativos a esta nocin. 108 Cabe de-
94
/,
I
cir que la antinomia est ya fuera de lugar desde
que la nocin de infinito ha sido rigurosamente
definida. Por otra parte, si bien es cierto que Kant
refut con clara conciencia los groseros sofismas
del finitismo, puede admitirse tambin que su
idea del infinito no fue clara ni unvoca, 109 pues
mientras en la Esttica trascendental considera el
espacio como "una magnitud infinita dada" (A
25, B 39) y por cierto en una intuicin simult-
nea, en la antinomia define al infinito por el he-
cho de que "la sntesis sucesiva de la unidad en
la medida de la cantidad, no puede ser detenida"
(A 430-32, B 458, 460). 110 De nuevo se inmiscu-
ye el tiempo en los conceptos de nmero y mag-
nit ud; Kant introduce en la nocin de infinitud,
al elemento contradictorio que l mismo pens
refutar, por lo cual puede aplicrsele la objecin
que l esgrima contra los finitistas de su tiem-
po (y de todos los tiempos): Confinqun : nem-
pe talem. infiniti definitionem, ex qua contradic-
tionem aliquam. exculpere possint. 111 En todos
los casos, la antinomia procede, no propiamente
de las nociones de espacio y tiempo, sino de 13
nocin de infinitud que se les aplica, por 10 cual
no debe concluirse de ah la idealidad del espacio
y el tiempo. 112 Segn nosotros, slo puede obte-
nerse una conclusin : que Kant elabor un con-
cepto contradictorio del infinito porque introduce
95
/
arbitrariamente la nocin de tiempo en el nme-
ro y en la magnitud, lo cual viene a ser una re-
futacin indirecta de su filosofa de las mate-
mticas.
Conclusin
En resumen, el progreso de la lgica y la
matemtica en el siglo XIX ha impugnado la teora
kantiana y dado razn a Leibniz. Si Kant separa
y opone la lgica y la matemtica entre s, es
porque tiene una idea poco profunda de ambas.
Es conocida su opinin sobre la lgica: que esta
ciencia, desde Aristteles, no ha dado un solo
paso CB VIII) y no tiene ninguno que dar, pues
de origen posee, segn l, una perfeccin que
atribuye a sus limitaciones. Los lgicos modernos
han tenido que agregar muchsimo a esta defini-
cin. Es cierto que Kant no poda prever el re-
surgimiento de la lgica en el siglo XIX, pero al
menos hubiera sido ms comprensible con el es-
fuerzo de sus predecesores, es decir, de Leibniz
y su escuela, que ensayaron sistemticamente la
superacin del marco artificioso de la lgica aris-
totlica. En lugar de proseguir en este esfuerzo, 11
con la contribucin poderosa de su genio, Kant
se manifest en lgica formal como un ultracon-
96
l .
servador, para no decir reaccionario, y se conten-
t con la crtica de la "falsa sutilidad de las cuatro
figuras del silogismo" y la simplificacin de la
lgica escolstica; pareci ver que ella nece-
sitaba ser extendida y revisada. 1134sto es ms
notorio por cuanto la lgica formal es la base
necesaria de la lgica trascendental; la misma
funcin, el mismo entendimiento, las mismas ac-
ciones -para emplear trminos kantianos- cons-
tituyen los juicios y subsumen a los objetos bajo
categoras, que producen, por una parte, la uni-
dad analtica de los conceptos, y por otra, la unidad
sinttica de la intuicin,EA 79, B 104, 105). 114
Parece, pues, que el filsofo debi analizar con
su caracterstica penetracin, las operaciones lgi-
cas del espritu y los diversos modos de deduc-
cin, segn el mtodo positivo preconizado y prac-
ticado por Leibniz; el estudio de las formas del
lenguaje y del pensamiento cientfico. En vez de
ello se satisfizo considerando a la vieja lgica
escolstica en un marco cerrado y finito, con
frmulas inveteradas, adoptando la clasificacin
tradicional de los juicios 115 y completndola con
aadiduras superfluas para darle cierta disposi-
cin simtrica. 116 Y cuando sale a luz el uso, o
mejor dicho, el abuso con que fue empleado este
cuadro tan rgido, cuando se le ve calcar sobre
l la tabla de las categoras y la de los principios,
97
y desarrollar ulteriormente sus teoras en este
bloque uniforme hasta convertirlo en un lecho de
Procusto donde a fuerza deban todas encajar, se
llega a la conclusin de que el edificio que el gran
crtico admiti sin crtica como punto de partida
de su sistema, y el majestuoso, muy simtrico y
muy artificial de las tres Crticas, requiere la ci-
mentacin indispensable de una lgica moderna
y verdaderamente cientfica. Esto equivale, en
otras palabras, a que el coloso de granito tiene
pies de arcilla.
Igual que sus contemporneos, -<.Kant concibi
las matemticas como ciencias del nmero y la
magnitud; ms estrictamente, como ciencias del
espacio y del tiempo, no como una ciencia met-
dica formal o un conjunto de razonamientos de-
ductivos e hipotticamente necesarios.zlin realidad
no se le podra reprochar el no haber previsto
la ulterior evolucin de la matemtica hasta las
modernas concepciones racionalistas, a no ser
porque Leibniz haba concebido desde antes con
claridad, la matemtica universal y especialmente
el lgebra universal (que llam "caracterstica"),
aplicable a todas las formas posibles de deduc-
cin. Pero estos vislumbres geniales fueron me-
nos preciados y pasaron indiferentes como sueos
de un utopista. En la poca de Kant los princi-
pios del anlisis eran obscuros, el clculo infinite-
98
simal no haba sido depurado de la nocin miste-
riosa de infinitamente pequeo (que ciertos
kantianos han interpretado tan extraamente) ;
Gauss no se decidi a admitir las "cantidades"
imaginarias que constituyen ahora la base misma
del anlisis, y slo hasta 1806 fue ofrecida por
Argand una primera interpretacin satisfactoria
del tema. Mucho tiempo despus se sigui pre-
guntando si los entes paradjicos (contradictorios,
en la opini n de muchos) eran "nmeros" o
"magnitudes". Y tan slo en una forma paula-
tina se ha llegado a concebir que la matemtica
no est ligada a la naturaleza real de los objetos
y s constituye, en cambio, un mtodo general de
invencin y demostracin. Pero a este concepto
de la mat emtica se ha llegado despus del des-
cubrimiento del clculo baricntrico de Moebius,
del clculo de las equipolencias de Bellavitis, del
clculo geomtrico de Gra ssman, de los cuater-
niones de Hamilton, de la geometra proyectiva
de Staudt, de la teora de los conjuntos, de la
teora de las sustituciones y de los grupos, del
clculo lgico de Boole, y muchos otros. Fue pre-
cisamente Boole el primero que expres abierta-
mente la referida concepcin, empleando el si-
guiente enunciado: "No corresponde a la esencia
de las matemticas ocupa rse de la idea de n mero
y cantidad." 117 Queremos afirmar por esto que
99
(1

'
l'
,
"

J
la matemtica pura fue descubierta por Boole 118
cincuenta aos despus de la muerte de Kant, por
lo cual puede excusarse perfectamente al filsofo
de no haberla conocido.
En suma, todas nuestras crticas conducen
finalmente al hecho de que la matemtica consi-
gui en el siglo XIX un progreso inmenso e im-
previsto, no slo en el sentido de una mayor ex-
tensin sino en la penetracin de sus temas, y
como tal progreso tiene un efecto natural en la
filosofa, atenerse a las concepciones matemticas
de Kant sera retrasar ms de un siglo esta cien-
cia. Dejemos a sus discpulos la tarea de inves-
tigar los elementos vlidos de la teora kantiana
del conocimiento, de la cual parece constituir una
parte esencial la teora de la matemtica. 119
Es ms, se ha reprochado a Kant haber tomado
como punto de partida de sus consideraciones ex-
clusivamente a la matemtica, dando con ello a
su lgica una base demasiado estrecha, tomando
un solo modelo para la concepcin de toda la
ciencia racional. Y aunque este reproche nos pa-
rece justificado, no lo dirigimos en el mismo
sentido que sus autores; si la base de la Crtica
es pequea, no ser por haberla proyectado en
la matemtica misma, sino por una concepcin
insuficiente de la matemtica. Sera intil es-
perar nuevas teoras sobre el espritu humano de
100
U1l estudio cientfico natural, pero de acuerdo con
la concepcin de la Crtica, la matemtica es la
verdadera lgica de las ciencias naturales y su
pretensin se ajusta a su mtodo. Por lo dems,
la misma lgica debera extenderse sin cesar en el
campo que present an las nuevas teoras. Pero si
una ciencia quiere ser exacta, racional y deducti-
va, tendr que adoptar necesariamente el ropaje
matemtico. 120 La ciencia es una, como el esp-
ritu mismo, y as como no existen apartados es-
pordicos en la funcin espiritual, tampoco exis-
ten ciencias que, apartndose de la lgica, dieran
lugar a otra lgica. Lgicas hay slo una, la lgica
de la deduccin, y los mtodos llamados induc-
tivos constituyen una aplicacin de aqulla, pues
existe una sola manera de entrelazar las verda-
des de modo universal y necesario. 121 Ahora bien,
esta lgica no es, ni con mucho, la mezquina,
pobre y estril lgica escolstica. La autntica
lgica se desplaza paralelamente a la matemtica,
y es susceptible, como ella, de un progreso in-
finito.
As pues, lejos de reprochar a Kant el haber
sido demasiado matemtico y demasiado lgico,
le reprocharamos, por el contrario, no haberlo sido
suficientemente en un sentido racionalista. Es,
en general, imprudente y temerario, querer poner-
le lmites a la razn para decirle "t no irs ms
101
lejos". Todos los filsofos que han ensayado de
poner barreras a la ciencia o marcar sus fronte-
ras, han tenido que ceder tarde o temprano ante
el empuje del progreso cientfico. Es en este
sentido que consideramos a la discutida mxima
de Leibniz como una tesis justa: los sistemas son
verdaderos por lo que afirman y falsos por lo que
niegan. Kant trat, tal vez demasiado, de dis-
tinguir y limitar las facultades del espritu, de
acomodarlas en cajones etiquetados. Su sistema,
de una simetra artificiosa, da la impresin so-
focante de una construccin cerrada por todas
partes; no d.>J.a lugar al incontenible progreso de
las ciencias. vf'or lo dems, l afirm siempre la
fecundidad del espritu humano y tuvo confian-
za en su poder; se preocup demasiado de cir-
cunscribir el campo del pensamiento, de subordi-
nar la razn especulativa a la razn prctica, y
aun de limitar el saber para dar lugar a la fe
(E xxx). Pero la razn ha tomado revancha
rompiendo los marcos rgidos y las frmulas es-
colsticas en que el filso o crey haberla ence-
rrado definitivamente. 122
NOTAS *
1 De acuerdo con la terminologa de Vaihinger,
designaremos respectivamente por A y B la primera y
segunda ediciones de la Crtica de la razn pura, cuya
paginacin se encuentra reproducida en las principales
ediciones modernas, y de mejor manera en las de Erd-
rnann y Kehrbach.
2 Lgica, cap. 103.
3 Podra observarse que la alternativa no es ab-
soluta, al menos en los trminos precisos del enunciado ;
en efecto, entre el caso en que B est contenido com-
pletamente en A, y el otro en que est por completo
fuera de A, est la posibilidad de que B no est ni in-
cluido ni excluido de A. ste es el caso de los juicios
particulares.
4 Esta observacin fue hecha por Koppelmann:
Kant's Lehre vom analytischen Urteil (Philosophische
Monaishejte) , t. XXI, pp. 65-101 (1895).
* Para respetar al original francs, se han mante-
nido los textos que figuran en idiomas extranjeros.
(N. del T.)
103
5 Conuneniar zw Kant's "Kritik der reinen Vn-
nunft", r, 254. Por ello mi smo, el gran comentador de
Kant reconoce implcitamente la insufici encia que se-
alamos.
6 Y, en efecto, los juicios negativos pueden tr ans-
formarse en jui cios afirmativo s (d e la misma cantidad)
veri ficand o la negacin en el pr edicado (que, por Jo
dems, es realmente el que sostiene la negacin). De
cualquier maner a debemos decir que Kant no admite
esta reduccin; declar a, por lo contrari o, que la nega-
cin lgica no se at ribuye j ams a un concepto, sino a
la relacin de dos concept os, es decir, al juic io (B 602) .
Segn esta concepcin debe considerarse la proposici n
universal negativa como la negacin de la par ticular
afirmativa y a la particular negativa como negaci n
de la universal afirmativa. Per o entonces no puede afir-
marse, como Kant lo hace constant emente, que en un
jui cio analtico negati vo "no se salga" del concepto del
sujeto, puesto que si se interpreta Ningn A es E, no
con:o la inclusi n del no-E en A (Todo A es no-E ) sino
como la exclusin de A y de E, no se encuentra en A
la razn de est a exclusin. Comp. Koppelmann, op, cit.
7 La misma lgica f ormal se auxilia poderosamen-
te de los smbolos para lograr exactitud y pr ecisin en
sus enunciados.
8 Nos abstenemos deliberadamente de discutir la
definicin "popular" (Prolegmenos, 2) de los j ui-
cios analticos (como juici os expl icativos) y de los
juicios sintticos ( como juici os extensivos) porque esto
no hara ms que embr ollar la cuestin en lugar de
aclararla. Queremos solamente recalcar que ha dado
origen a paralogismos que consisten en decir que todo
104
juicio que extiende el conocimiento y, por consiguiente,
todo juicio que constituye verdaderamente un conoci-
miento, es sinttico. Esta opinin concuerda con la con-
cepcin que funda toda la lgica en el mero principio
de identidad, y lo considera como estril, capaz de en-
gendrar nicamente tautologas.
9 Esta distincin fue sealada claramente por Kop-
pelmann, op, cit., y por Rudolf Seydel, Kant's synthetis-
che Urteile a priori, insbesondere in der Mcthematik,
ap, en Zeitschri]t fiir Philosophie 11. phil. Kritik, t. 94,
pp. 1-29, (1888).
10 Comp. Trendelenburg, Logische Untersucluin-
gCI!, pp. 240 Y ss.
II Comp. Vaihinger, eomnientar, r, 304.
12 Proleqrnenos, 2: "Cualquiera que sea el ori-
gen de los juicios y aun su forma lgica, existe entre
ellos una diferencia en cuanto a contenido, segn la
cual son o simplemente explicativos . .. o extensivos ..."
13 Por otra parte, es reconocido el rigorismo usa-
do por Kant para afirmar que la lgica es independien-
te y est separada de la psicologa (E 78, y Lgica,
cap. I, Hartenstein, VIII, 14) .
14 Esta es tambin la interpretacin de Koppel-
mann y de Seydel (op. cit.)
15 Es de extraar que Kant considera como ana-
ltico el juicio "el oro es amarillo" y como sinttico "el
oro tiene densidad 19.5". Ambas caractersticas del oro
son sintticas pero, en todo caso, la segunda es la ms
esencial y forma parte de la definicin qumica. Tren-
delenburg haba hecho notar que el peso es un atributo
tan esencial para el fsico como lo es el volumen para
105
el gemetra (Munz, Die Grundlaqen del' Kant'schen
Erkenntnisstheorie. Halle, 1882).
16 Comp. Steckelmacher, Die [ormale Logik Kant's
in ihren Besiehunqen. zur transcendentale (Breslau, 1879).
17 Esta frmula no es la ms simple posible. De
a b > b se deduce ab -:JA, multiplicando los dos miem-
bros por b: el primero queda como ab y el segundo se
convierte b - b = 1\. Esta ltima frmula es el ver-
dadero principio de contradiccin del cual el principio
kantiano es slo una consecuencia. ')
18 Comp. Crtica de la razn pura (B 190).
19 Kant afirma en la Crtica (B 190-191): "El
concepto (contenido en el sujeto) debe necesariamente
serle afirmado, puesto que lo contrario sera contradecir
la naturaleza del sujeto." Esto supone que necesaria-
mente tiene que afirmarse de un sujeto cualquiera de
los dos conceptos contradictorios, lo cual supone el prin-
cipio de tercero excluido: X es A o no-A. Ahora bien,
este es un tercer principio independiente de los otros dos.
20 En la Lgica, 36, 37, considera a ambos como
juicios analticos, unos implicitamente y los otros ex-
plcitamente (en este caso son llamados tautolgicos).
En la Crtica (A 594), llama idnticos a los juicios ana-
lticos (Vaihinger, I, 257). Por ltimo en sus opsculos
Fortschritte y Entdeckunq, no quiere que se llamen
"idnticos" a los juicios analticos porque stos se evi-
decian nicamente por descomposicin del sujeto.
21 Esta definicin del juicio analtico ha sido pro-
puesta por G. Heymans; vase Zeiischri]t [ur Philoso-
phieu: phil. Kritik, t. XCVI, pp. 161-172 (1889). Tambin
se encuentra en Frege, Grundlaqe del' Arithmetik, 3,
106
I
I
(1884). Esta ltima obra contiene una interesante dis-
cusin de la teora kantiana de la aritmtica, misma
que hemos aprovechado para el presente trabajo. Por
lo dem s, es la nica que las bibliografas relativas a
Kant no mencionan.
22 La s definiciones fil osfi cas son analticas por-
que expresan un concepto dado ; las definiciones mat e-
mtic as son sintticas porque construyen un concepto
( B 758) . Esta distincin no se compagina con la tesi s
sostenida por Kant en el mismo pasaje, a saber, que
slo la mat emtica tiene defini ciones. Pero creemos que
se tr at a de una cuesti n de palabras.
23 No queremos decir "construye" para no pro-
ducir un equvoco, dado el sentido especial que otorga
Kant a ese t rmino.
24 Se ve por qu hemos insistido en distinguir las
expresiones "construir" y "fabricar".
25 Slo hasta 1768 "descubri" Kant que los jui-
cios matemticos reposan en la intuicin: Von de-m
crst en Grunde des Unterschiedcs del' Geoenden un
Raume.
26 Vaihinger cree tambin que ese fue, en un mo-
mento dado, el pensamiento de Kant (1, 273). No que-
remos ir tan lejos nosotros y, en todo caso, no tenemo s
necesidad de tal hiptesis.
27 Semejante confusin fue ya revelada por Vai-
hinger y Koppelmann, op, cit. Rich ar d Marino sostiene,
con raz n, que un juicio derivado lgicamente de una
def inicin es analtico, aunque esta definicin tenga su
base -como todas las def iniciones matemticas- en
una sntesis libre : r s l ~ und Bedeuiunq del' Synthesis
107
in Kant's Philosophie, ap. en Zeitschrift [iir Philosophie,
t. 94, (1888).
28 Decimos "lo definiente" y no "definicin", pues-
to que la "definicin" es propiamente la identidad de
lo que define y de lo definido.
29 Esta teora de la definicin matemtica fue
expuesta vigorosamente por Frege, Grundlagen der
Arithtnetik (1884) Y Grundsetee der Arithmetik, t. 1,
cap. 27, (1893), t. n, caps. 55-67, (1903). Tambin ha
sido formulada por Peano en su Formulaire de Math-
lIlatiques. Comp. Peano, Las definiciones matemticas, y
Burali Forti, Sobre los diferentes mtodos lgicos para
la definicin del nmero real, ap. en la "Biblioteca del
Congreso de Filosofa", t. m, (1900).
30 Hinc Mathesis pura spatium considerat in
geometria, tempus in mechanica pura. Accedit hisce con-
ceptus quidam, in se quidem intellectualis, sed cujus
tamen actuatio in concreto exigit opitulantes notiones
temporis et spatii (successive addendo plura et juxta se
simul ponendo) qui est conceptus numeri, quem tractat
arithmetica. De mundi sensibilis et intelNgibilis forma
et principiis, cap. 12, comp. R. Seydel, Kant's synthe-
tisclie Urteile a priori. E. Fink, Kant als Mathenuiker,
lt. Dissertatio (Erlangen, 1889) .
31 Comp. Esttica trascendental, 5 : "Nur in der
Zeit k nnen beide contradictorisch entgegensetzte Bes-
timmungen in einern dinge, nmlich nach einander an-
zutreffen sein."
32 Adems,\. si Kant no admite una mecnica, o
cuando menos una cinemtica pura, es de preguntarse
cmo puede admitir una fsica pura que presupone di-
rectamente el concepto de materia.
108
I
r
33 Observacin ya hecha por Michaeli s, Uebcr
Kant's Zahlbegriff, Programme, Berlin, 1884.
34 Ed. Hartenstein, IV, 361.
35 Hemos hecho notar anteriormente que la teora
de Kant sobre la aritmtica est plagada de preocupa-
ciones sistemticas que explican el prejuicio de una
forzada analoga con la geometra: Michaelis, op. cit.;
W. Brix, Del' math. Zahlbeqrif] und. seine Enttoicklunqs-
formen, ap, en Philosophischen Studien, t. V YVI, (1890-
1891).
36 Los kantianos suelen tener menos exigencias, y
Sir 'vV. R. Hamilton, por ejemplo, no ha vacilado en
considerar al lgebra como la ciencia del tiempo puro
Essay on Alqebra as the Science of pure Time (1833).
37 Como lo ha recalcado Michaelis, ot: cit.
-
38 Es importante notar que Kant pone como ejem-
plo una verdadera aritmtica particular (mejor dicho,
singular >- en la cual sera ms plausible su tesis. odra
suponerse entonces que la misma tesis pudiera ser v-
lida para las proposiciones singulares y fal sa para las
generales, que constituyen propiamente la ciencia de los
nmeros, y por ello mismo Kant se mostr tan empe-
oso e insistente en sus demostraciones. Su error con-
siste en tomar ej emplos concretos por demostraciones y
teoremas del lgebra) A este respecto remitimos al lec-
tor a las consideraciones que hacemos del lgebra en est e
mismo trabajo.
39 Eso es lo que sostiene Zimmermann, Ueber Kant's
nuuhemaiischer Vorurteil und dessen Folqe, ap. en Sit-
eunqsberichie del' K. Ahademie del' Wissenschaften zu
Wien. Tambin Seydel, Kant's synthetische Urteilc a
109
priori. En general, una ecuacion matemtica afirma la
identidad de sus dos miembros, es decir, significa que
ambos constituyen expresiones distintas de una misma
idea. Es la identidad de un objeto bajo signos diversos.
Comp. Frege, Funktion und Begriff; Ueber Sinn und
Bedeutuna, etctera.
40 Vase la demostracin formal de tal proposi-
cin:
Definiciones:
2 = 1 + 1; 3 = 2 + 1; 4 = 3 + 1; 5 = 4 + 1;
6 = 5 + 1; 7 = 6 + 1; 8 = 7 + 1; 9 = 8 + 1;
10 = 9 + 1; 11 = 10 + 1; 12 = 11 + 1.
en virtud de la definicin de la suma se tiene:
a + (b + 1) = (a + b) + 1
as pues,
7 + 5 = 7 + (4 + 1) = (7 + 4) !+ 1
7 + 4 = 7 + (3 + l ) = (7 + 3) ! + 1
7 + 31= 7 + (2 + 1) = (7 H-- 2) + 1
7 -1- 2 = 7, + (1 + 1) =(7 + 1) -1- 1
o bien: 7 + 1 = 8
as pues,
7 -1- 2 = (7 + 1) + 1 = 8 + 1 = 9
7 -1- 3 = (7 + 2) + 1 = 9 + 1 = 10
7 + 4 = (7 + 3) + 1 = 10 + 1 = 11
7 -1- 5 = (7 -1- 4) + 1 = 11 -1- 1 = 12
con lo cual queda demostrada la proposicin.
110
Se notar que hemos procedido por substitucin de
trminos iguales, es decir, idnticos, de suerte que mies-
tra demostracin es ms simple y ms "analtica" que
ningn silogismo.
41 J. Pommer, en su obra Zur Abtsiehr einiger An-
oritte au] Kant's Lehre van der synthetischen Natun
nuhematischer Urteile (1873), echa mano de recursos
pedadgicos de la escuela primaria. Pero este argumen-
to se vuelve en contra suya, pues en la escuela se acude
a la intuicin para "demostrar" la propiedad conmuta-
tiva de la multiplicacin, con el empleo de ilustraciones.
A pesar de estos mtodos, puede demostrarse lgicamen-
te la propiedad conmutativa sin necesidad de la intuicin.
42 Observacin hecha tambin por W. Brix, op. cit.
43 Esta concepcin est manifiesta desde el opscu-
lo sobre Las cantidades negativas (1763), en la dis-
tincin entre razones lgicas, consecuencia del principio
de identidad y razones reales, que Kant ejemplifica como
sigue: "Podis analizar tanto como queris el concepto
de la voluntad divina, y jams se encontrar ah un mun-
do existente, como si estuviera contenido en ella en
virtud de la identidad." (Ed. Hart., rr, 104). Se nota
la evidente analoga de esta frase con las de la Crtica
que se refieren a los juicios sintticos (E 15, 16, 744,
etctera) .
44 Si se quiere ver cmo la lgica clsica es insu-
ficiente para explicar aun los juicios matemticos ms
simples, basta revisar el opsculo citado de J. Pommer,
donde se encontrar este argumento: Que el predicado
de 7 + 5 = 12 no es 12, sino = 12, atendiendo a
que la cpula no abarca el trmino "igual a" sino ni-
camente la partcula "es", de donde el inverso de
111
7 + 5 = 12 no es 12 = 7 + 5 sino "a lguna cosa
igual a 12 es la suma de 7 y de 5". Este comentario a
la tes is kantiana equivale a una refutacin por de-
duccin al absurdo.
45 El siguiente argumento de Heymans es un de-
rivado del de Kant: La idea de 12 no est contenida ni
en el 7, ni en el 5, ni en el signo +, pues ninguna
de estas noci ones indica que la serie de los nmeros
naturales deba ser continuada ms all de 7 y que,
por consiguiente, el nmero 12 exis ta. Seguramente,
pero esta prolongacin, y aun la prolongacin indefini-
da de la ser ie, est implcita en la nocin misma de
nmero entero, en virtud del principio de inducc in que
forma parte de su definici n.
46 Hemos sentido una gran satisfaccin al encon-
trar esta mi sma objecin en Vaihinger, Connnentar, T,
296, nota 1.
47 Vaihinger, T, 297.
48 Tambin dice Kant de un JUICIO anal tico : "Que
todos los cuerpos sean extensos, es necesario y eterna-
mente verdadero, ya sea que aqullos existan o no .. ."
Enfkeckung . .. (Rosenkranz, T, 463) .
49 Vase nuestra obra intitulada: L os principios
de las matemticas.
SO Esto fue observado por Leibniz en su tes is:
a + a = a que se deduce desde el punto de vista lgico
cuando el signo + designa adicin (o multiplicacin)
lgica ; a + a = 2a, desde el punt o de vista matem-
tico, es decir, cuando el signo +significa adici n ari tm-
tica, y las dos a no repr esentan el mismo nmero , sino
dos conjuntos distintos que tienen el mismo nmero.
112
51 Massonius, Ueber Kant's transeendentale Aes-
thelik sostiene en esta obra una tesis anloga: Los jui-
cios matemticos son analticos porque la intuicin est
contenida en los conceptos.
52 Comp. Prolegmenos, 2 B: "Todas las pro-
posiciones analticas son juicios a priori aunque sus con-
ceptos sean empricos" (un ejemplo es: El oro es un
metal amarillo). Esto prueba que el carcter lgico del
juicio no depende del origen del concepto, que es siem-
pre producto de una sntesis (emprica o a priori).
53 La frase "Was uns hier gemeiniglich glauben
macht", puede inducir a un error que debe evitarse, pues,
como lo ha sealado Vaihinger (1, 303), la frase re-
lacinase con el sentido del pargrafo precedente, donde
se habla de los juicios sintticos. No debe creerse que
Kant declara sintticos los mismos principios que acaba
de designar como analticos.
54 Ambos problemas han sido tratados por \Vhite-
head, On cardinal numbers, sect. IlI, ap. en el American
Journal of Matheniatics, t. XXIV, (1902).
55 Reichardt, Kant's Lehre van den synthetischen
Urteilen a priori in ihrer Bedeutuntj [iir die Mcthematik,
ap, en los "Philosophische Studien", t. IV (1888), se
ocupa del mtodo kantiano y llega a la conclusin de
que el juicio a + b > a es sinttico porque el sujeto
(a + b) no contiene al predicado > a. Resalta el in-
conveniente de aplicar a los juicios matemticos una
teora lgica inadecuada, considerndolos como juicios
de predicacin. Recurdese lo que hemos dicho antes
respecto de Pommer.
56 El ejemplo ms notorio de la variabilidad del
pensamiento kantiano en la distincin fundamental de
113
~ ~ : ' .... _.. _
JUICIOS analticos y sintticos, es el principio de la uni-
dad necesaria de la apercepcin, que considera como sin-
ttico en la primera edicin de la Crtica (A 117, nota)
y como analtico en la segunda (B 135, 138). Vase
Koppelmann, arto cito
57 Del infinito matemtico, 2" parte, libro 1, IV:
El nmero, el espacio y el tiempo.
58 Esta tesis es defendida por Michaelis, op, cit.
59 Es difcil conciliar esa afirmacin con la tesis
de la Esttica trascendental, de que el espacio es "una
magnitud infinita dada" y que sus partes "no pueden
ser pensadas antes que l... sino nicamente con l"
(B 39). La misma afirmacin reaparece en la "Antino-
mia" (B 466): "Las partes del espacio slo son posibles
en el todo y no el todo en las partes." Esta contradic-
cin ha sido sealada tambin por Schroeder, Kant's
Lehre von Raul1le (1894).
60 Por lo dems, no sabemos cmo esta propiedad
pueda distinguir a las magnitudes continuas de las otras.
La definicin que da Kant de las magnitudes continuas
carece actualmente de valor. Para Kant, dichas magni-
tudes nunca dejan de ser divisibles, pero esta propiedad
de divisibilidad al infinito no basta para constituir la
continuidad.
61 Podra sostenerse que el nmero no es produc-
to de una snte sis intuitiva y s de nna sntesis intelec-
tual, queriendo mantener el carcter sinttico de los
juicios aritmticos (y sta parece ser la tesis de Mi-
chaelis, op, cit.) A tal respecto nos limitaremos a cons-
tatar que se trata, desde luego, de una idea diferente de
la kantiana, donde la intuicin es fundamental, y que
114
nosotros discuti remos aqu. Por ot ra pa rte, Kant afir-
ma enrgicamente la imposibilidad de toda intuicin in-
telectual, aunq ue no se esf uerce demasiado en demos-
trarlo.
62 Si la cantidad es considerada como categora,
independiente de la cantidad lgica hay que sealar, pri -
mero, que la cantidad lgica es el fundame nto y' origen
de la cantidad matemtica, y segundo, que por consi-
guiente ambas son de naturaleza distinta. Como la l gica
clsica haba dado a la cantidad de los juicios el ttulo
de "extensi n" o "nmero", se comprende que Kant haya
concluido que la extensin y el nmero de los juicios
constituyan conceptos a priori del entendimiento. Este
ejemplo muestra, de paso, cul es el val or de la "Tabla
de las Categoras".
63 Tal es la tesis que tratamos de comprobar en
nuestro trabaj o Del infinito matemtico.
64 Igual es la teora de Rus sell: todos los tipos
de nmero son susceptibles de una definicin puramente
lgica .
65 En los Prolegmenos ( 20), dice Kant : "Est e
principio : la lnea recta es el camino ms corto entre
dos puntos, supone que la lnea est subsumida bajo el
concepto de magnitud, .que ciertamente no es una simple
intuicin sino, por el contrario, tiene su raz en el slo
entendimiento . . ." Cmo puede armonizar esta tesis con
la afi rmacin de que espacio y tiempo son las nicas
magnitudes originarias, y que la matemtica pura se
aplica nicamente al espacio y al tiempo?
66 Vase la nota inicial del pargrafo "Cnles
son las matemticas puras ?", del opsculo.
115
67 La observacin ha sido hecha por Michaelis,
Ueber Kant's Zahlbegriff. Relativamente a la observa-
cin que hace Kant de que la tercera categora de los
cuatro grupos que figuran en la Tabla es la sntesis
de las dos primeras, es de notar que el concepto de n-
mero, perteneciente a la categora de totalidad (Crtica,
cap. 11, B 111) es un concepto puramente intelectual
puesto que tiene su origen en un "acto del entendi-
miento".
68 Seydel, op, cit., sostiene, con razn, que Kant
confunde aqu el proceso psquico con el contenido
lgico, y que las verdades del lgebra no se refieren
a los signos, sino a las ideas que representan,
69 Untersucliunq iibcr die Delttlichkeit... l' con-
sideracin, 2 (1764).
70 Para Legendre esta es la definicin de la lnea
recta, mas no as para Kant, quien opt por considerar
como definitoria la propiedad de la recta de que slo
una puede ser trazada entre dos puntos dados Recl s-
lehre, Introducin (cap. E).
71 Para demostrar que la lnea recta es ms corta
que cualqui er lnea quebrada con los mismos extremos,
se demuestra que en un tringulo un lado cualquiera es
menor que la suma de los otros dos. Ese teorema re-
posa en el siguiente: "En un tringulo, al ngulo ma-
yor corresponde el lado mayor", que, a su vez, deriva
de este otro: "En un tringulo, un ngulo exterior es
mayor que cualquiera de los ngulos interiores no ad-
yacentes." Todos estos teoremas se demuestran recu-
rriendo a las definiciones de suma y desigualdad de
segmentos y ngulos, pero no recurriendo a la intuicin.
Si tales definiciones evocan elementos intuitivos, no
116
se restringir con ello la necesidad de mantener una se-
cuencia racionalista en el curso lgico de las demostra-
ciones.
72 Zimmermann, op, cit., ha hecho notar que no
es "la recta la distancia ms corta, sino ms bien el
segmento de recta comprendido entre dos puntos, el que
tiene esa propiedad".
73 El postulado: "Toda linea recta puede ser pro-
longada", que Kant considera como sinttico, es, por
el contrario, una afirmacin ciento por ciento analtica,
puesto que la recta se concibe originariamente en su
totalidad infinita. El concepto vulgar de la recta limitada
tiene un origen empirico y carece de validez cientfica.
74 Comp. Rechtslehre, 19: "Dass ich, um ein
Dreieck zu machen, drei Linien nehmen misse, ist ein
analytischer Satz; da dass deren zwei aber zusammen-
genommen Grsser sein mssen, als die dritte, ist ein
synthetischer Satz."
75 Edicin de Hartenstein, t. VIII, p. 582.
76 Richard Manno, Wesen un Bedeuiunq der Syn-
thesis in Kant's Philosophie ap. en el Zeitschrift [iir
Phllosophie u. phil. Kritik, t. 94, p. 2988 (1888).
77 Por otra parte, como lo ha hecho notar Michae-
lis, sera absurdo descomponer el concepto de tringulo
en dos conceptos, el de tres y el de lnea recta, como si
ambos conceptos estuvieran simplemente yuxtapuestos
en la definicin. Pero tal es lo que hace Kant en este
pasaje: "El (filsofo) puede reflexionar sobre este
concepto (de tringulo) tanto como quiera, y no obten-
dr de l nada nuevo. Puede descomponer y distinguir
el concepto de lnea recta, o el de ngulo, o el del n-
117
mero tres, y no por ello llegar a concluir propiedades
que no se encuentran en tales conceptos" (A 716, B 744) .
De parecida manera son considerados los conceptos ma-
temticos en la lgica tradicional. Michaelis ha obser-
vado que el mtodo matemtico escapa por completo al
dominio de esa lgica y que Kant obr en este sentido
bajo el influjo de prejuicios lgicos.
78 Y, dat o curioso, Kant mismo pareci compren-
derl o en el siguiente prrafo: "Al darle a un filsofo el
concept o de tringulo . .. no tendr ms que el concept o
de una fi gura cerrada por tres lneas rectas y, en ella, el
concepto de igual nmero de ngulos" (B 744). Es ms
explcito aun en lo que sigue: "Suponer un tringulo y
suprimirle sus ngu los, es contradictorio" (B 622).
79 Sosti ene en otro lugar que no existe ninguna con-
tr adicci n en la nocin de una figura cerrada por dos
recta s (B 268) ; que tal nocin es slo contradictoria con
. respecto de la nocin de recta. En los Proleqmcnos (re-
solucin general del problema) cita como juici o sinttico
la siguiente proposicin : "Entre dos punto s slo puede
trazarse una lnea rect a."
80 En curioso contraste, el teorema es citado con
fr ecuencia por los racionalista s (Descartes, Spinoza) co-
mo prototipo de la certeza lgica.
81 Algunos ejemplos interesantes de sofi smas es-
tn en la obra de Rouse Ball , Recreations et problemes
l / lathenu iques.
82 Vase, por ejemplo, en los Elementi di Geome-
tria de Enriques y Arna ldi, la demostracin del siguien-
te teor ema: "En todo tr ingulo un ngu lo externo es
mayor que cualquiera de los ngul os internos no adya-
centes" (Bologna, 1903) .
118
I
I
.,
83 Arnauld, en la Loqique de Port-Royal (IV, 8)
somete el mtodo eucldeo a una crtica severa y en sus
Nouueaux lments de geollltrie trata de remediar lo
que consdera como defectos de ese mtodo mediante una
conciliacin del encadenamiento lgico de las proposi-
ciones con su orden natural.
84 Con paciencia similar se verifica la demostra-
cin clsica del Teorema de Pitgoras.
85 Meray, Nouueaux lments de geomtrie (Di-
jon, ]obard, 1903).
86 Esto se puede demostrar echando mano de una
ejemplificacin simblica. Designemos por E la rela-
cin de una recta a un plano en el que est contenida,
y por 1 la relacin de perpendicularidad (bien se trate
de dos rectas, de dos planos, o de una recta y un plano).
Las hiptesis son :
(1) P 1 Q (2) DEP (3) DEQ (4) EEP (5) El Q
La proposicin 95 se traduce por la irnplicaciu :
D E P E E P E 1 D. :J E E R R 1 D
La proposicin 107 se traduce por la implicacin:
R 1 D D E Q. :J R 1 Q
La proposicin 111 se traduce por la implicacin:
P 1 Q R 1 Q. :J E E P. E E R :J E .L Q
119
Se notar que, segn las reglas del mtodo mate-
mtico, todas las hiptesis han sido utilizadas. Repre-
sentrnoslas por nmeros y sus consecuencias sern nu-
meradas:
La primera implicacin es:
(2) . (4) . (5) . (6) . (7) .
La segunda implicacin es:
(7) . (3) (8)
La tercera implicacin es:
(1) . (8) . (4) . (6) . (9)
As, (2), (4) y (5) estn contenidas en A, (3) en
B y (1) en C. Igualmente se han empleado las deduc-
ciones intermedias: (6) en e, (7) en B, (8) en e, y,
por fin, la consecuencia (9) es la tesis a demostrar.
87 El empirismo pretende que la geometra de-
muestre necesariamente SIlS teoremas en ejemplos par-
ticulares y concretos, y agregue a cada demostracin
algo as como esto: "La misma demostracin podra
repetirse en toda figura anloga." Pero si es la misma
demostracin, es intil repetirla; por otra parte, slo
puede ser la misma si se refiere a la nica figura ideal
y universal.
88 Ya hemos hecho valer para Kant algunos ar-
gumentos que se emplean contra el empirismo, porque
no hay ninguna diferencia esencial entre la tesis que
fundamenta las verdades geomtricas en una intuicin
120
empirrca y la que coloca una intuicin a priori. En todo
caso, se acude a la intuicin, es decir, a la representa-
cin singular de una figura nica y perfectamente de-
terminada. Kant mismo nos autoriza a identificar ambos
tipos de intuici n cuando dice: "Si construyo un trin-
gulo, represento el objeto que corresponde a este con-
cepto, bien por la sola imaginacin en la intuicin pura,
o bien, segn ella, en el trazo sobre el papel en una
intuicin emprica, pero en ambos casos enteramente a
priori, sin haber referido el modelo a una experiencia
cualquiera" ( B 741). Tenemos, pues, el derecho de iden-
t ifi car al tringul o represent ado en la imaginacin C01l
el tri ngul o trazado sobre el papel (B 65).
89 Anlogamente pueden citarse pasaj es donde
parece que el fil sofo reconoce al entendimiento como
ori gen de las verd ades en la geomet ra, o al menosconsi-
dera que la unidad sint tica del espacio es de orden
intelectual (B 160, nota Proleoomenos, 38). Sera
dif cil conciliar, sin embargo, esta concesin al intelcc-
tual ismo con la tesis general de que los juicios sintticos
a priori son posibles en la medida que se basan en b
intuicin. Dicha concesin pr oviene de que, segn Kant,
la geometra considera el espacio geomtrico, no corno
una simple for ma de la intuicin, sino como un obj ero
(B 160, nota ), a pesa r de lo cual se ve contradi cha en
este pasaj e : "El espacio es simplemente la fo rma de
la int uicin ext erna (intuicin formal) y no un objeto
real que ' pueda ser percibido ex ter ior mente" (B 457,
not a). Sernej antes incon gruencias provienen de la ~ e
petua confusin entre fo rma de intuici n e intu icin pura
( B 160). No existe ningun a razn para que la forma
de la intuici n sea a su vez una intuicin. Posiblemente
esta acl ar acin sirva de mt odo gener al para resolver
121
numerosas dificultades que presenta la teora kant iana,
y tant o el espacio como el tiempo seran entonces formas
de la intu icin, pero formas racionales y no sensibles.
90 Recordemos la definicin kantiana de la int ui-
cin:
"Es el modo de conocimiento que se relaciona in-
mediatamente con los objetos y por medio de l stos
nos son dados" (Logik, 1).
91 Es oportuno recordar aqu la opinin de Scho-
penhauer sobre el mismo tema, porque der iva abierta-
mente de la doctrina de Kant. Schopenhauer estima que
b geometra debe renunciar a la pretensin de demos-
trar sus teoremas e imit ar a la aritmtica, que reposa
por completo en la intuicin del tiempo, base del acto
de la numeracin (Comp. De la cudruple raz del prin-
cipio de razn suficiente 39) : "Toda proposicin geo-
mtrica debera ser referida a la intuicin sensible y
la demostracin consistira en presentar bien clara la
imagen geomtrica." Concluye que el mtodo de los
gemetras es estril y rebuscado y, para l, la geome-
tra no-cuclideana es consecuencia y prueba de este abuso
de la lgica, del prurito de demostrar todo y deducir
una tesis de otra, buscando siempre antecedentes y con-
secuentes. Es en vano querer darle una demostracin al
postulado .de Euclides El inundo como voluntad y como
representacin. Por lo dems, estos ataques contra el
mtodo de la geometra juzgan a Schopenhauer y lo va-
loran como matemtico. Nos aut ori za a decir que su
concepcin de la geometra, en tanto fundada en la evi-
dencia intuitiva, es la parodia y caricatura de la de Kant.
Otro tanto puede afirmarse de su concepci n de la arit-
m tica : "Todo nmero presupone los nmeros que le
pr eceden como razn de ser; yo no puedo llegar al n-
122
mero 10 sino despus de pasar por todos los 'nmeros
precedentes ..." (De la cudruple, 38).
92 Comprense las investigaciones de Leibniz: De
determinantibus et determinantis et de unico (Cont. en
la Lgica).
93 Disscrtatio, IlI, 15 c., (1770); Prolegmenos,
13; M ctaph. Anfangsgriinde del' N aturunssenschaft,
1, Def. Ir, Escolio IlI.
94 Von deni erstcn Grunde des Unterscheides del'
Geqenden in Rau1IlC, (1768) .
95 Como lo ha hecho notar Vaihinger (Ir, 522,
526), esta idea reaparece en una frase de los Prolea-
menos donde Kant afirma que en el espacio las partes
slo son posibles en relacin al todo. Comp. tambin,
Esttica trascendental, 2, nm. 3.
96 Esta es la opinin de Vaihinger.
97 Por ejemplo, se concibe perfectamente que la
relacin de antecedente a consecuente sea inversa que
la relacin de consecuente a antecedente, sin necesidad
de "construirla" en el tiempo ni en el espacio.
98 Consltese en la obra de Mray, Nouueaux l-
nients de qeomtrie, la definicin de hornotaxia de scg-
mentos, de ngulos, de ngulos diedros, de tringulos,
de tiedros, de tetraedros, etctera. Se llaman ismeras a
las figuras cuyos elementos son iguales uno a uno, y se
demuestra que para que dos figuras sean iguales (sus-
ceptibles de superposicin) basta que satisfagan las con-
diciones de isometra y homotaxia, Si son ismeras y
antitxicas, se dice que son simtricas. Esto vale tam-
bin para todos los elementos geomtricos anteriormente
citados.
123
i27
I
I
1-
EN LA IMPRENTA UNIVERSITARIA,
BAJO LA DIRECCIN DE RUBN
BONIFAZ NUo, SE TERMIN LA
IMPRESIN DE ESTE LIBRO EL DA
24 DE JUNIO DE 1960. LA EDICIN
ESTUVO AL CUIDADO DE HERIBERTO
MALVEZ G. SE HICIElWN 1,500
EJEMPLARES.