Geometria e Intuição Espacial em Kant

GEOMETRIA E INTUIO ESPACIAL EM KANT *
MICHAEL FRIEDMAN
Stanford University
A filosofia da geometria de Kant s pode ser adequadamente compreendida no

contexto de duas caractersticas mais gerais de sua posio filosfica: sua dicotomia
fundamental entre as duas faculdades cognitivas bsicas da mente, sensibilidade e
entendimento, e sua peculiar teoria do espao como a forma pura de nossa intuio
sensvel externa. A concepo kantiana do espao e do tempo como nossas formas puras
de intuio sensvel (externa e interna) central para sua posio filosfica geral, que ele
denomina idealismo formal ou transcendental. E, embora uma dicotomia
fundamental entre as duas faculdades de sensao e intelecto preceda Kant por muitos
sculos, sendo caracterstica de todas as formas do racionalismo tradicional de Plato a
Leibniz, a verso particular de Kant da dicotomia inteiramente peculiar a ele. Pois, em
ntido contraste com todas as formas de racionalismo tradicional, Kant localiza a sede
principal do conhecimento matemtico a priori na sensibilidade, e no no intelecto. Em
particular, nossa forma pura da intuio sensvel externa o espao constitui a base
fundamental de nosso conhecimento geomtrico puro.
Kant caracteriza o papel distintivo na geometria de nossa intuio pura do espao
em termos do que ele chama construo na intuio pura, e ilustra esse papel com
exemplos de construo geomtrica extrados dos Elementos de Euclides. Assim,
natural que, para elucidar a concepo de Kant, voltemo-nos para os recentes trabalhos
* Apresentei, na segunda reunio de uma oficina Stanford-Paris sobre diagramas em matemtica, no outono
de 2008, uma verso preliminar deste artigo, em grande parte inspirada em um trabalho de Marco Panza
sobre o raciocnio diagramtico em Euclides, apresentado na primeira reunio dessa mesma oficina no
outono de 2007. Visto que Panza revisou substancialmente seu texto mais tarde, aproveitei a oportunidade
para tambm revisar substancialmente meu prprio trabalho; e, em particular, optei por adotar como alvo
principal o trabalho da estudiosa de Kant, Lisa Shabel, que est bem prximo do esprito da discusso
original de Kenneth Manders sobre o diagrama euclidiano (ver nota 1 abaixo). Em relao a isto, devo
agradecer tambm os comentrios de Jeremy Avigad sobre uma verso anterior do meu texto. Devo ainda a
Daniel Sutherland e um revisor annimo de Synthese alguns teis comentrios sobre a penltima verso
deste texto.
[N. E.] Trabalho apresentado no XIII Colquio Kant da UNICAMP Kant e a Cincia de seu Tempo, em
15 de dezembro de 2011, sob o ttulo Kant on Geometry and Spatial Intuition. Os organizadores do
Colquio agradecem ao autor pela cesso do texto para publicao em Kant e-Prints, concomitantemente
com a publicao do trabalho original em Synthese. Traduo para o portugus de Jos Oscar de Almeida
Marques e Andrea Faggion, com especiais agradecimentos a Luis Cludio Balan de Campos.
Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.
GEOMETRIA E INTUIO ESPACIAL EM KANT
Michael Friedman
sobre o raciocnio diagramtico em Euclides inaugurados por Kenneth Manders. 1 Em

particular, quando Kant diz que a intuio espacial desempenha um papel necessrio na
cincia da geometria, poderamos supor que ele est querendo dizer que o raciocnio
diagramtico, no sentido de Manders, desempenha um papel necessrio. Argumentarei
que, por mais iluminadora que possa ser enquanto uma interpretao dos Elementos, essa
maneira de entender a geometria euclidiana no adequada para interpretar Kant, e, de
modo mais geral, que os recentes trabalhos sobre o raciocnio diagramtico s podem, na
melhor das hipteses, capturar uma parte do que est envolvido na concepo de
geometria de Kant. E, o que mais importante, o raciocnio diagramtico no pode
explicar por que Kant supe que sua concepo da geometria envolve crucialmente uma
nova e revolucionria teoria do espao o prprio espao (tridimensional) em que ns e
todos os outros objetos fsicos vivemos, movemo-nos e temos nossa existncia.
Kant, como eu disse, separa-se do racionalismo tradicional ao localizar a sede da
geometria pura na sensibilidade e no no entendimento, e, com isso, atribui um papel
central na geometria ao que ele denomina a imaginao produtiva pura. Talvez o
problema mais importante enfrentado pelas interpretaes da filosofia kantiana da
geometria seja, assim, explicar como, para Kant, a sensibilidade e a imaginao
faculdades tradicionalmente associadas apreenso imediata de particulares sensveis
possam fornecer um conhecimento verdadeiramente universal e necessrio. Por exemplo,
em uma passagem bem conhecida da Disciplina da razo pura em seu uso dogmtico,
na primeira Crtica, Kant estabelece um contraste entre a cognio filosfica, enquanto
cognio racional a partir de conceitos, e a cognio matemtica, enquanto cognio
racional a partir da construo de conceitos com o famoso adendo de que construir
um conceito apresentar a intuio que lhe corresponde a priori (A713/B741). 2 Kant
conclui: [a filosofia] se restringe meramente a conceitos universais, [a matemtica] no
pode realizar nada por meio de meros conceitos, mas recorre imediatamente intuio,
1
O clssico trabalho de Manders, The Euclidean Diagram, tem circulado amplamente na forma de
manuscrito desde 1995. Foi finalmente impresso, acompanhado de uma nova introduo de Manders ao
assunto, Diagram-Based Geometrical Practice, em Mancosu, P. (org.), The Philosophy of Mathematical
Practice (Oxford: Oxford University Press, 2008), p. 65-133.
Todas as tradues dos escritos de Kant so de minha autoria [MF] e eu as cito de acordo com as
convenes padronizadas: todas as citaes da Crtica da razo pura referem-se respectivamente
paginao da primeira edio, de 1781 (A), e da segunda edio, de 1787 (B); todos os outros escritos de
Kant so citados segundo o volume e nmero de pgina na edio da Akademie dos Kants gesammelte
Schriften (Berlim: de Gruyter, 1902-). [Nesta traduo para o portugus foram seguidas da maneira mais
prxima possvel as tradues para o ingls preparadas pelo autor.]
Michael Friedman
na qual ela considera os conceitos in concreto no, contudo, empiricamente, mas

apenas em uma [intuio] que ela apresenta a priori, isto , que ela construiu, e na qual
aquilo que se segue das condies universais de construo deve tambm valer
universalmente para o objeto do conceito construdo. (A715-716/B743-744).
Mas em que consiste, exatamente, uma intuio pura ou no emprica
correspondente a um conceito geral isto , um exemplo singular desse conceito que, no
obstante, se apresenta de maneira puramente a priori? Alm disso, como possvel que
qualquer exemplo singular de um conceito geral (independentemente de como se supe
que seja produzido) venha a constituir uma fonte adicional, acima e alm da
representao puramente conceitual, de conhecimento universal e necessrio?
Imediatamente aps a sentena citada acima, que define a construo de um conceito
como a apresentao a priori da intuio correspondente, Kant continua (A713/B741):
Para a construo de um conceito requer-se, portanto, uma intuio no emprica, que,
consequentemente, enquanto intuio, um objeto singular [einzelnes], mas que, no
obstante, enquanto construo de um conceito (uma representao universal), deve
expressar validade universal, na representao, para todas as intuies possveis que
caem sob esse conceito. Mais uma vez, porm, pode-se perguntar: como possvel que
uma representao essencialmente singular (independentemente de como se supe que
seja produzida) venha a expressar essa validade verdadeiramente universal? So
precisamente problemas desse tipo que subjazem opinio contrria, comum a todas as
formas tradicionais de racionalismo, de que o conhecimento matemtico deve ser
conceitual ou intelectual, em oposio a sensvel.
Kant ilustra o que quer dizer, na continuao dessa passagem, por meio de um
exemplo de uma prova euclidiana, a Proposio I.32 dos Elementos, em que se mostra
que a soma dos ngulos internos de um tringulo igual soma de dois ngulos retos:
Michael Friedman
Dado um tringulo ABC, estende-se o lado BC (em uma linha reta) at D e traa-se a
linha CE paralela a AB. Observa-se ento (pela Proposio I.29), que os ngulos alternos
BAC e ACE so iguais, e tambm que o ngulo ECD igual ao ngulo interno e oposto
ABC. Mas o ngulo interno restante ACB somado aos dois ngulos ACE e ECD (cuja
soma o ngulo externo ACD) igual soma de dois ngulos retos (a linha reta BCD), e
j se mostrou que os dois ngulos ACE e ECD so iguais, respectivamente, aos dois
primeiros ngulos internos. Portanto, os trs ngulos internos, tomados em conjunto,
tambm so iguais soma de dois ngulos retos. Esta construo e prova tm,
obviamente, validade universal para todos os tringulos, porque as inferncias e
construes auxiliares requeridas (estender a linha BC at D e traar a paralela CE a AB)
sempre podem ser levadas a cabo na geometria euclidiana, no importa qual tringulo
ABC se tome como ponto de partida.
Parece, de fato, que o procedimento de prova dos Elementos de Euclides o
paradigma de construo na intuio pura ao longo de toda discusso de Kant sobre a
matemtica na primeira Crtica que inclui uma apresentao razoavelmente completa
da geometria euclidiana elementar do tringulo. Na Esttica Transcendental, por
exemplo, Kant apresenta a propriedade correspondente da soma dos lados do tringulo
que dois lados tomados em conjunto so sempre maiores que o terceiro (Proposio I.20)
como uma ilustrao de como proposies geomtricas nunca se derivam de conceitos
universais de linha e tringulo, mas antes da intuio, e, de fato, [assim se derivam] a
priori com certeza apodtica (A25/B39). E a prova euclidiana dessa proposio procede,
assim como a Proposio I.32, por meio de construes auxiliares e inferncias a partir de
um tringulo arbitrrio ABC: estendemos o lado BA (em linha reta) at D de tal modo
que AD seja igual a AC; traamos ento CD e observamos (pela Proposio I.5) que os
Michael Friedman
dois ngulos ACD e ADC so iguais, de modo que BCD maior que BDC; dado que
(pela Proposio I.19) o maior ngulo subtendido pelo maior lado, segue-se que BD
maior que BC; mas BD igual soma de BA e AD (= AC). Alm disso, Kant refere-se
prova euclidiana da prpria Proposio I.5 que os ngulos na base de um tringulo
issceles so iguais em uma famosa passagem do Prefcio da segunda edio (1787),
louvando o mtodo caracterstico da matemtica introduzido pela revoluo no
pensamento realizada pelos gregos da Antiguidade; e tambm essa prova procede pela
expanso de um tringulo original (e arbitrrio) ABC em uma figura mais complicada,
por meio de construes auxiliares. 3
Assim, muito claro que Kant se apoia em Euclides e, mais uma vez, portanto,
natural que nos voltemos para os recentes trabalhos sobre o raciocnio diagramtico
encontrado nos Elementos para elucidar a perspectiva de Kant. Com respeito, por
exemplo, questo de como a percepo de um particular sensvel individual (tal como
um diagrama fsico concreto) poderia prover um conhecimento universalmente vlido,
podemos apelar para a distino central de Manders entre propriedades exatas e co-exatas
de um diagrama euclidiano. As primeiras envolvem relaes mtricas de igualdade ou
desigualdade entre comprimentos, ngulos e reas, ao passo que as ltimas envolvem
apenas relaes topolgicas (ou mereotopolgicas) de incluso entre regies definidas
por essas grandezas. Observamos, por exemplo, que os aspectos especificamente
mtricos do tringulo que figura na prova da Proposio I.32 os comprimentos
particulares de seus lados e as grandezas particulares de seus ngulos no
desempenham nela nenhum papel: a prova permanece verdadeira para todas as variaes
contnuas desses comprimentos e ngulos. Em contraste, o fato de que o ngulo externo
ACD do diagrama estendido (ABCDE) contm (como sua soma) os dois ngulos ACE e
ECD essencial para a prova, e isso, igualmente, permanece verdadeiro para todas as
variaes contnuas dos lados e ngulos originais. Assim, ao levar em conta apenas as
A referncia Proposio I.5 explicitada em uma carta a Christian Schtz de 25 de junho de 1787, em
que Kant corrige gleichseitiger no texto impresso para gleichschenkligter (Ak. 10, 489). A passagem,
corrigida, l-se assim (Bxi-xii): Uma iluminao ocorreu ao primeiro homem (quer tenha sido Tales ou
algum outro) que pela primeira vez demonstrou o tringulo issceles; pois ele descobriu que o que tinha a
fazer no era inspecionar o que via na figura, ou mesmo no mero conceito dela, e, por assim dizer, ler a
suas propriedades, mas antes produzir o que ele prprio havia a priori injetado em pensamento
[hineindachte] e apresentado (por meio de uma construo), de acordo com conceitos, e que, para conhecer
seguramente alguma coisa a priori, nada deveria atribuir coisa exceto o que se seguia necessariamente
daquilo que ele prprio havia nela colocado de acordo com seu conceito.
Michael Friedman
propriedades co-exatas do diagrama estendido, provamos efetivamente uma proposio

vlida para todos os tringulos particulares, quaisquer que sejam.
Tendo notado quo atraentes suas ideias se revelaram nesse meio tempo para os
estudiosos de Kant, Manders tratou brevemente da relao entre sua concepo da prova
euclidiana e a concepo kantiana de intuio (pura) em seu texto Diagram-Based
Geometric Practice: [Minha compreenso dos diagramas euclidianos] conforma-se
concepo de Kant (cf. Shabel (2003), Goodwin (2003)) de que intuies (diagramas) so
particulares, e conectam-se a asseres gerais mediante esquematizao (conceituao
mediante condies de construo de diagramas). O fato de que asseres (co-exatas)
baseadas em diagramas mantm-se estveis quando os diagramas sofrem distoro,
sendo, portanto, independentes de qualquer particular realizao emprica, poderia, ento,
motivar a necessidade ou o carter a priori da intuio geomtrica. 4 Manders refere-se
aqui dissertao de Lisa Shabel, apresentada Universidade da Pensilvnia em 1997 e
publicada em 2003 na Outstanding Dissertation Series: Studies in Philosophy 5
juntamente com a dissertao de William Goodwin apresentada em 2003 Universidade
da Califrnia-Berkeley.
A ideia bsica de Shabel que uma intuio pura simplesmente uma intuio
emprica (uma figura particular efetivamente desenhada) que funciona de uma certa
maneira em demonstraes geomtricas precisamente de uma maneira que possa, ento,
proporcionar tanto aprioridade como universalidade a essas demonstraes. 6 Ela ilustra a
funo caracterstica em questo distinguindo entre duas diferentes provas da Proposio
I.32 de Euclides: uma demonstrao mecnica devida a Christian Wolff, baseada na
realizao de comparaes (mtricas) exatas entre os ngulos na figura estendida
(ABCDE) que so transportados por um compasso aberto, e a prova original de Euclides
da Proposio I.32, qual, como vimos, o prprio Kant faz apelo. Para Shabel, a
segunda demonstrao, isto , a demonstrao matemtica, tem sucesso em conferir
4
Mancosu (2008) (ver nota 1 acima), p. 74.
Shabel, L. Mathematics in Kants Critical Philosophy: Reflections on Mathematical Practice (Routledge:

Nova York e Londres, 2003).
Ver Shabel (2003) (nota 5 acima), p. 94: Proponho que Kant est aqui [A714/B742] mostrando como
uma intuio pura pode ser interpretada como efetivamente desenhada, e, portanto, como empiricamente
dada, sem deixar de funcionar como uma intuio pura. As trs maneiras pelas quais uma intuio
emprica pode conferir aprioridade so lidas ento como maneiras pelas quais uma figura individual
desenhada pode funcionar de maneira pura [A]s intuies puras que exibem e constroem conceitos
matemticos, e nas quais se baseiam as demonstraes matemticas, so intuies de objetos sensveis
individuais singulares, consideradas juntamente com o procedimento para construo desses objetos.
Michael Friedman
tanto aprioridade como universalidade sua concluso precisamente porque no depende

de informao mtrica exata. Assim, embora no cite explicitamente o trabalho original
de Manders de 1995, a anlise de Shabel da distino entre demonstraes matemticas
e mecnicas apresenta um estreito paralelismo com a distino fundamental de
Manders entre propriedades exatas e co-exatas de diagramas concretos particulares. 7
Em consequncia, Shabel d o mesmo tipo de destaque que Manders ao diagrama
individual concreto (a figura particular efetivamente desenhada): comeamos com este e
ento o conectamos a asseres gerais por meio de condies de construo de
diagramas. 8 De minha parte, acredito que, enquanto interpretao de Kant, esse destaque
est mal colocado.
Nos Axiomas da Intuio (os princpios do entendimento puro que correspondem s
categorias da quantidade unidade, pluralidade, e totalidade), Kant considera a
construo euclidiana de um tringulo em geral a partir de trs linhas quaisquer tais que
duas, tomadas conjuntamente, sejam maiores que a terceira (Proposio I.22: a restrio
7
Veja-se op. cit., pp. 99-100: Em contraste [com a demonstrao mecnica], o diagrama construdo para a
demonstrao matemtica no prov nenhuma informao exata, tal como as medidas comparativas dos
ngulos internos e externos do tringulo. O diagrama [ABCDE] prov informao sobre relaes de
parte/todo (e, consequentemente, menor/maior) sem determinar igualdades estritas entre partes. Podemos
dizer que o diagrama, considerado mecanicamente, prov uma informao exata (embora possivelmente
imprecisa) acerca das medidas de grandezas; quando considerado matematicamente, o diagrama prov
informao inexata acerca da incluso espacial de grandezas. Na prova mecnica, a assero de que os
ngulos ABC e BAC juntos so iguais ao ngulo ACD justifica-se pela medio de todos os trs ngulos
com instrumentos e pela comparao dos resultados, ao passo que, na prova matemtica, a mesma assero
justificada pelas relaes previamente demonstradas entre ngulos demarcados por linhas paralelas e uma
transversal. Shabel conclui (p. 101): [A]ssim, a demonstrao mecnica no se distingue da
demonstrao matemtica em virtude de uma distino entre uma figura efetivamente construda e uma
figura imaginada, mas, antes, pela maneira pela qual operamos com essa figura efetivamente construda, e
dela extramos inferncias.
Para Shabel, essa prioridade do diagrama individual concreto expressa-se em sua tese de que uma intuio
pura simplesmente uma intuio emprica funcionando de maneira pura. Cf. op. cit., p. 102: Apesar do
fato de que as figuras construdas nas demonstraes mecnica e matemtica da Proposio I.32 so
idnticas, a primeira figura , em termos kantianos, um caso de intuio emprica, e a ltima, de intuio
pura27. Dado que elas no se distinguem pela maneira como aparecem, nem pelo meio ou instrumentos no
qual e pelos quais elas so construdas, devem distinguir-se por sua funo na demonstrao. A nota de
fim de texto 27 acrescenta (p.160): [A] intuio pura poderia ser emprica, na medida em que (ou pode
ser) a intuio de uma figura efetivamente desenhada, e no apenas imaginada. Mas ela uma intuio
emprica que funciona de maneira pura. Isto se coaduna com a ideia anterior de Shabel (nota 6 acima) de
que intuies puras so intuies de objetos sensveis individuais singulares, consideradas juntamente
com o procedimento para construo desses objetos (meus itlicos). Shabel depois explica que os
procedimentos relevantes para a construo so o que Kant entende por esquemas, e, assim, um esquema,
na interpretao de Shabel, uma condio geral pela qual um diagrama individual concreto visto como
expressando universalidade. Retornarei mais frente interpretao de Shabel do esquematismo.
Michael Friedman
obviamente necessria por causa do que foi provado na Proposio I.20). Isto torna claro,
em minha opinio, que a construo na intuio pura do conceito de um tringulo em
geral, para Kant, simplesmente a construo euclidiana demonstrada na Proposio I.22
onde, nas palavras de Kant, tenho aqui a mera funo da imaginao produtiva, que
pode desenhar as linhas maiores ou menores e com isso possibilitar que elas se encontrem
em todos e quaisquer ngulos arbitrrios (A164-5/B205). Alm disso, no captulo sobre
o Esquematismo dos Conceitos Puros do Entendimento, Kant distingue cuidadosamente o
esquema geral de um conceito sensvel puro (i.e., um conceito matemtico) de qualquer
imagem particular que caia sob esse conceito e possa ser produzida pelo esquema geral
(A140/B179-180): Chamo [a] representao de um procedimento geral da imaginao
[Einbildungskraft] para prover um conceito de sua imagem [Bild] o esquema desse
conceito. Kant ento ilustra essa ideia, mais uma vez, pelo exemplo de um tringulo:
De fato, so os esquemas e no as imagens dos objetos que esto
na base de nossos conceitos sensveis puros. Nenhuma imagem jamais
seria adequada ao conceito de um tringulo em geral. Pois ela nunca
atingiria a universalidade do conceito, que o faz valer para todos os
tringulos, sejam retngulos, acutngulos, etc., mas estaria sempre
limitada a uma parte apenas dessa esfera. O esquema do tringulo no
pode existir em parte alguma seno no pensamento, e significa uma
regra de sntese da imaginao com respeito a figuras puras no espao.
(A140-1/B180)
Essa regra de sntese, portanto, parece no ser nada mais, nada menos, que a construo
euclidiana de um tringulo arbitrrio considerada nos Axiomas da Intuio como uma
mera funo [universal] da imaginao produtiva.
De forma mais geral, ento, podemos tomar as construes euclidianas que
correspondem aos conceitos geomtricos fundamentais (linha, crculo, tringulo, etc.)
como sendo aquilo que Kant entende pelos esquemas desses conceitos. 9 Podemos
9
Articulo essa interpretao dos esquemas geomtricos em Kant and the Exact Sciences (Cambridge,
Mass.: Harvard University Press, 1992), p. 90-91 (nota 59) e, mais extensamente, s p. 122-129. Shabel, em
op. cit., p. 109-114, desenvolve uma leitura estreitamente anloga, baseada em muitas das mesmas
passagens. A principal diferena, como j sugerido, que Shabel v esse esquema como uma condio
geral para tomar uma imagem particular como expressando universalidade (cf. a nota 8 acima). Como ela
prpria expe (p. 114): [A] intuio pura que a base para uma demonstrao matemtica da proposio
I.32 uma imagem universalizvel, dado que intuda com, e somente com, o procedimento especificado
para sua construo na imaginao Pelo fato de que a cognio matemtica considera o universal no
particular (que o mesmo que dizer que o conceito matemtico esquematizado prov a regra para
construir uma intuio pura e universalizvel), a intuio pura individual assim construda pode ser
Michael Friedman
entender o esquema do conceito de tringulo como uma funo ou operao construtiva

que toma como input trs linhas arbitrrias (tais que duas juntas so maiores que a
terceira) e fornece, como output, o tringulo construdo a partir dessas trs linhas (de
acordo com a Proposio I.22); podemos entender o esquema do conceito de crculo
como uma funo que toma como input um ponto e um segmento de linha arbitrrios tal
que o segmento contm o ponto como um de seus extremos e fornece, como output, o
crculo que tem esse ponto dado como centro e o segmento de linha dado como seu raio
(de acordo com o Postulado 3); e assim por diante. 10 Tais operaes construtivas tm
toda a generalidade ou universalidade dos conceitos correspondentes: elas fornecem, com
os inputs apropriados, todos e quaisquer exemplos desses conceitos. Diferentemente dos
conceitos gerais eles prprios, contudo, os outputs de um esquema so, de fato,
representaes singulares ou individuais exemplos particulares, ou o que Kant chama
imagens, que caem sob o conceito em questo. Os outputs de um esquema, portanto,
no so entidades lgicas ou conceituais como proposies ou valores de verdade.
Este ltimo ponto crucial para entender por que Kant considera que a matemtica
pura envolve essencialmente recursos cognitivos no discursivos ou no conceituais que,
no obstante, possuem toda a universalidade e necessidade do pensamento puramente
conceitual. Para Kant, a caracterstica do pensamento conceitual o procedimento lgico
de subsuno, seja de um indivduo a um conceito geral, ou de um conceito menos geral
(species) a um conceito mais geral (genus). Em contraste, a caracterstica do raciocnio
matemtico o procedimento de substituio mediante o qual, como vamos propor
agora, um objeto inserido na posio do argumento de uma funo, produzindo outro
objeto que pode ser inserido na posio do argumento de outras funes, e assim
sucessivamente. O raciocnio por substituio , portanto, essencialmente iterativo, e
precisamente esse pensamento iterativo, para Kant, que est na base tanto da geometria
entendida como geral. Em minha leitura, ao contrrio, a noo de uma imagem universalizvel um
oxmoro, dado que uma imagem (diferentemente de um esquema) precisamente aquilo que no
universal e, portanto, nunca pode ser adequada ao conceito de um tringulo em geral. Cf. A140/B179
(meus itlicos): O esquema em si mesmo sempre apenas um produto da imaginao; contudo, na medida
em que a sntese da imaginao no visa nenhuma intuio individual, mas antes to somente a unidade na
determinao da sensibilidade, o esquema deve distinguir-se da imagem.
10
Veja-se A234/B287: Ora, um postulado em matemtica a proposio prtica que no contm nada
exceto a sntese pela qual primeiramente nos damos um objeto e geramos seu conceito p. ex., traar um
crculo com uma linha dada a partir de um ponto dado em um plano e essa proposio pode ser provada,
porque o procedimento que ela requer precisamente aquele pelo qual ns geramos o conceito dessa
figura.
10
Michael Friedman
pura (na forma da prova euclidiana) como da manipulao mais geral do clculo de
grandezas em lgebra e aritmtica.11
A concepo kantiana do carter essencialmente no conceitual do raciocnio
geomtrico , assim, especialmente sensvel circunstncia de que, na formulao
euclidiana da geometria, a aplicao iterativa de operaes construtivas iniciais
representa as suposies existenciais que, nas formulaes modernas que se guiam por
Hilbert, seriam expressas por enunciados explicitamente quantificados. Assim, por
exemplo, enquanto Hilbert representa a divisibilidade infinita de uma linha por um
axioma quantificado explcito que afirma que entre dois pontos quaisquer existe um
terceiro, Euclides representa a mesma ideia mostrando como construir uma funo de
bisseco para qualquer segmento de linha dado (Proposio I.10): nossa capacidade de
repetir indefinidamente essa construo representa, ento, a infinita divisibilidade desse
mesmo segmento. De maneira mais geral, Euclides constri todos os pontos em seu plano
por meio da aplicao iterativa de trs operaes construtivas iniciais a qualquer par
(arbitrrio) dado de pontos: conectar dois pontos quaisquer por um segmento de linha reta
(Postulado 1), estender por uma linha reta qualquer segmento de linha dado (Postulado
2), construir um crculo que tenha um ponto qualquer como centro e, como raio, qualquer
segmento de linha dado que tenha esse ponto como um de seus extremos (Postulado 3).
Esse procedimento produz todos os pontos capazes de serem construdos pelo uso de
rgua e compasso, os quais, claro, compreendem apenas um pequeno subconjunto
(enumervel) do contnuo bidimensional completo cuja existncia explicitamente
postulada por Hilbert. 12 Nesse sentido, as suposies existenciais necessrias para os
particulares procedimentos de prova de Euclides as prprias suposies necessrias
para justificar todas as construes auxiliares de que se precisa ao longo do caminho
11
Para uma discusso adicional da lgebra e aritmtica deste ponto de vista, veja-se Friedman (1992) (nota
9 acima), p. 83-89, 104-122. Para uma posio contrastante, veja-se Shabel, L. Kant on the Symbolic
Construction of Mathematical Concepts, Studies in History and Philosophy of Science 29 (1998): 589621. Cf. tambm Sutherland, D. Kant on Arithmetic, Algebra, and the Theory of Proportion, Journal of
the History of Philosophy 44 (2006): 533-558.
12
Mais precisamente, podemos representar todos os pontos que podem ser construdos por meio de rgua e
compasso no plano euclidiano pelo produto cartesiano, por si mesmo, do conjunto formado pelos racionais
unido, por extenso de corpo, s razes quadradas de seus elementos positivos (convenientemente chamado
um corpo euclidiano), ao passo que o conjunto completo de pontos gerados por um axioma de
continuidade genuno (de segunda ordem) representado por R2, onde R o conjunto dos nmeros reais.
Um importante caso intermedirio, estudado por Tarski, usa um esquema de continuidade (de primeira
ordem), e representado por um produto cartesiano sobre qualquer corpo real fechado: veja-se Tarski, A.
What is Elementary Geometry?, in Henkin, L., Suppes P. e Tarski A. (orgs.), The Axiomatic Method,
with Special Reference to Geometry and Physics (Amsterdam: North-Holland, 1959), p. 16-29.
11
Michael Friedman
so dadas por funes de Skolem para os quantificadores existenciais que empregaramos

para formular uma axiomatizao no estilo de Hilbert na moderna lgica de
quantificadores, ao passo que, em Euclides, todas essas funes de Skolem podem ser
explicitamente construdas por iteraes finitas das trs operaes construtivas iniciais
apresentadas nos primeiros trs postulados.
Na trilha de Leibniz, Kant toma a estrutura discursiva do entendimento ou intelecto
como delimitada pelas formas lgicas da lgica tradicional de sujeito e predicado. Em
explcita oposio a Leibniz, entretanto, Kant considera que essas formas lgicas esto
estritamente limitadas a representaes essencialmente finitrias: no h, para Kant,
conceitos completos leibnizianos que contenham dentro de si mesmos (isto , dentro de
seus conjuntos de marcas definitrias [Merkmale] ou conceitos parciais [Teilbegriffe])
uma multiplicidade infinita de representaes conceituais adicionais. Mas representaes
matemticas (inclusive as representaes matemticas do espao) podem conter, e de fato
contm, dentro de si mesmas uma multiplicidade infinita de representaes (matemticas)
adicionais (como na representao da divisibilidade infinita). Assim, para Kant, essas
representaes no so nem podem ser conceituais. 13 claro que temos hoje uma
concepo de lgica inteiramente diferente da de Kant, uma concepo muito mais
poderosa do que qualquer coisa que ele ou mesmo Leibniz jamais imaginaram. No
obstante, podemos ainda entender o insight fundamental de Kant, a partir da nossa
perspectiva, se observarmos que nenhuma estrutura matemtica infinita (tal como o
espao da geometria euclidiana ou a srie dos nmeros) pode ser representada no interior
da lgica quantificacional mondica. Na lgica moderna, tais estruturas infinitas so
representadas pelo uso de sequncias embutidas de quantificadores universais e
existenciais usando lgica polidica. Em vez disso, o que torna possvel essas mesmas
representaes, do ponto de vista de Kant, a aplicao iterativa de funes construtivas
13
Isto est a cargo do quarto argumento na Exposio Metafsica do Espao na segunda edio da Esttica
Transcendental (B39-40): O espao representado como uma quantidade infinita dada. Ora, todo conceito
certamente deve ser pensado como uma representao que est contida em um agregado infinito de
diferentes representaes possveis (enquanto a marca comum destas), e, portanto, como contendo-as sob si
mesmo. Mas nenhum conceito, enquanto tal, pode ser pensado como se contivesse um agregado infinito de
representaes dentro de si mesmo. O espao, porm, pensado exatamente dessa maneira (pois todas as
partes do espao in infinitum existem simultaneamente). Assim, a representao original do espao uma
intuio a priori, e no um conceito. Para uma discusso adicional, veja-se Friedman (1992), p. 66-71.
Como explicarei frente, contudo, penso agora que a relao entre a representao matemtica (isto ,
geomtrica) do espao e a representao original do espao descrita na Exposio Metafsica um pouco
mais sutil: esta ltima fundamenta a primeira, mas no simplesmente idntica a ela.
12
Michael Friedman
na imaginao produtiva, onde, como vimos, funes de Skolem so explicitamente

construdas para os quantificadores existenciais que utilizaramos em nossas formulaes.
Vemos agora por que, do ponto de vista de Kant, o modo matemtico de pensar
envolve essencialmente o que ele denomina a imaginao produtiva pura, e por que, em
consequncia, esse modo de pensar ultrapassa essencialmente as fronteiras do
pensamento puramente conceitual, intelectual. Meu primeiro problema com o emprego
das interpretaes diagramticas de Euclides no estilo de Manders para interpretar a
noo kantiana de construo na intuio pura , ento, que elas no se ajustam
compreenso kantiana da relao entre pensamento conceitual e intuio sensvel. Mais
especificamente, elas no se ajustam sua avanada concepo da relao entre conceitos
(geomtricos) gerais, os esquemas gerais que lhes correspondem, e as imagens sensveis
particulares (figuras geomtricas particulares) que resultam ento da aplicao desses
esquemas. Em particular, enquanto essas explicaes diagramticas da generalidade das
proposies geomtricas principiam, como vimos, com diagramas concretos particulares
e esforam-se em seguida para explicar como podemos abstrair de seus aspectos
particulares irrelevantes (grandezas especficas de lados e ngulos) recorrendo apenas a
seus aspectos co-exatos, Kant principia com conceitos gerais tais como concebidos no
interior da tradio (lgica) leibniziana, e mostra, a seguir, como esquematiz-los
sensivelmente por meio de um ato intelectual ou funo da imaginao produtiva pura.
Tanto os conceitos gerais em questo como seus esquemas gerais correspondentes so
representaes puras, e no empricas; e uma figura concreta particular ocorre, por assim
dizer, apenas incidentalmente para Kant, ao final de um processo de determinao
intelectual da sensibilidade pura (e no emprica).
O ponto mais geral que subjaz estas consideraes que a intuio pura, para Kant,
a forma da intuio (emprica): ela jaz espera antes da recepo de qualquer sensao
a correspondente matria da intuio (emprica) enquanto uma condio a priori da
possibilidade de todas as percepes sensoriais e seus objetos. 14 Assim, diagramas
concretos efetivamente percebidos pressupem a estrutura da intuio pura tanto quanto
14
Kant explica isso no incio da Esttica Transcendental (A20/B34): Chamo aquilo no aparecimento que
corresponde sensao a matria do aparecimento, mas o que faz com que o mltiplo do aparecimento
possa ser ordenado em certas relaes, eu chamo a forma do aparecimento. Dado que aquilo unicamente
no qual as sensaes podem ser ordenadas e postas em uma certa forma no pode ele prprio ser uma
sensao, apenas a matria de todo aparecimento que nos pode ser dada a posteriori; mas a forma de todo
aparecimento deve estar pronta para elas [as sensaes] na mente a priori, e pode portanto ser considerada
separadamente de todas as sensaes.
13
Michael Friedman
todos os outros objetos percebidos pelos sentidos, e , portanto, no mnimo muito

enganoso interpretar uma intuio pura kantiana como um certo tipo de intuio
emprica. Ao contrrio, temos de ligar a concepo kantiana de raciocnio geomtrico, em
primeira instncia, com as intuies puras de espao e tempo no com figuras espaciais
particulares traadas no papel ou quadro-negro, mas com o espao e o tempo eles
prprios, enquanto intuies puras, e no empricas. 15 E precisamente aqui, como
sugeri, que Kant tambm se ocupa da concepo newtoniana de espao (e tempo) tal
como aparece na controvrsia com Leibniz. Para Newton, o espao como um grande
receptculo ontolgico de todas as possveis figuras geomtricas, bem como de todos os
possveis objetos materiais, e como veremos a teoria kantiana do espao enquanto
forma pura da intuio pensada exatamente como uma alternativa a essa concepo
newtoniana.
Tem importncia central na filosofia da geometria de Kant o fato de que todos os
objetos possveis da percepo sensorial humana todos os objetos daquilo que Kant
denomina intuio emprica devem necessariamente conformar-se aos princpios a
priori da matemtica estabelecidos na intuio pura (A165-166/B206): A sntese de
espaos e tempos, enquanto forma essencial de toda intuio, o que, ao mesmo tempo,
torna possvel a apreenso do aparecimento, e, assim, toda experincia externa, [e]
portanto, toda cognio de seus objetos; e o que a matemtica, em seu uso puro,
demonstra dos primeiros vale tambm necessariamente para os ltimos. 16 Assim, para
15
Manders, em Mancosu (2007), p. 70-71, afirma explicitamente que, em sua perspectiva, os diagramas
euclidianos so objetos fsicos individuais o que sugere que as intuies puras de Kant, entendidas em
termos da concepo de Manders do raciocnio diagramtico, seriam tambm objetos fsicos individuais (cf.
a passagem associada nota 4 acima). Shabel aproxima-se muito dessa perspectiva ao insistir que as
intuies puras kantianas, em geometria, so intuies de objetos sensveis individuais singulares (cf.
nota 6 acima, meu itlico). No Prefcio acrescentado verso publicada (2003) de sua dissertao, Shabel
explica que sua interpretao de Kant foi posteriormente mais esclarecida e desenvolvida (p. xi): Meu
presente projeto inclui uma tentativa de entender o papel da construo matemtica no contexto de uma
ampla investigao da teoria kantiana da sensibilidade, incluindo sua teoria da intuio pura tal como
articulada na Esttica Transcendental. No adotei essa estratgia mais geral na dissertao, o que resultou
em uma explicao incompleta e ocasionalmente obscura tanto do esquematismo como da distino entre
intuio pura e emprica enquanto modos de representao sensvel. Convido o leitor interessado a
consultar os escritos mais tardios de Shabel sobre o assunto e a compar-los (e contrast-los) com a
explicao aqui apresentada. Veja-se, por exemplo, seu ensaio sobre Kants Philosophy of Mathematics,
em Guyer, P. (org.), The Cambridge Companion to Kant and Modern Philosophy (Cambridge: Cambridge
University Press, 2006), p. 94-128, juntamente com os trabalhos ali citados.
16
Cf. a importante passagem em A223-224/B272: Parece, certamente, que a possibilidade de um tringulo

poderia ser conhecida a partir de seu conceito tomado em si mesmo (ele certamente independe da
experincia); pois podemos, de fato, dar-lhe um objeto completamente a priori, isto , constru-lo.
Contudo, como este apenas a forma de um objeto, permaneceria para sempre apenas um produto da
imaginao, e a possibilidade de seu objeto continuaria duvidosa como algo para o qual ainda se requer
14
Michael Friedman
apreciar o papel que a geometria pura desempenha em nossa percepo de objetos

empricos, precisamos conectar explicitamente as funes da imaginao produtiva pura
expressas na construo de conceitos geomtricos com as formas kantianas da intuio
pura (espao e tempo), tal como descritas nas exposies metafsicas do espao e tempo
na Esttica Transcendental. 17
No decorrer de sua controvrsia com o filsofo leibniziano Johann August
Eberhard, em 1790, Kant desenvolve um contraste entre o espao (sucessivamente
construdo) do gemetra e o espao subjetivamente dado de nossa forma pura da
intuio sensvel externa. Kant comea afirmando que dizer que uma linha pode ser
estendida ao infinito significa que o espao em que eu trao essa linha maior que
qualquer linha que eu possa traar nele, de modo que o gemetra baseia a possibilidade
de seu problema ampliar um espao (dos quais h muitos) at o infinito na
representao original de um espao infinito singular subjetivamente dado. [O] espao
geomtrico e objetivo, Kant prossegue, sempre finito, pois este ltimo s dado na
algo mais, a saber, que tal figura seja pensada sob condies puras que embasam todos os objetos da
experincia. Ora, que o espao seja uma condio formal a priori de experincias externas; que
precisamente a mesma sntese formadora de imagens [bildende] pela qual construmos um tringulo na
imaginao seja completamente idntica quela que exercemos na apreenso de um aparecimento para
fazermo-nos um conceito emprico deste apenas isto que conecta esse conceito [de um tringulo] com a
possibilidade de tal coisa. Assim, as condies formais de todas as intuies sensveis ou empricas
incluem, por assim dizer, no apenas o espao e tempo puros eles prprios, mas tambm as snteses puras
da imaginao produtiva expressas nas construes a priori (esquemas) de conceitos geomtricos. apenas
porque se pressupe que estes ltimos j esto disponveis que as primeiras (intuies sensveis ou
empricas) tornam-se em primeiro lugar possveis.
17
Segue-se desta anlise (ver especialmente nota 16 acima) que a imaginao produtiva pura anterior a
todas as intuies empricas, e, assim contrariamente a Shabel (cf. notas 6 e 7 acima) , que a diferena
entre uma figura efetivamente desenhada e uma meramente imaginada (de maneira pura e produtiva) , de
fato, central para a distino kantiana entre intuio pura e emprica. Shabel est perfeitamente correta,
claro, quanto ao fato de que uma figura emprica concreta (mesmo mal desenhada) pode funcionar como
uma intuio pura kantiana no contexto da realizao de uma prova geomtrica real (cf. nota 8 acima). Mas
ela s pode faz-lo, na minha leitura, porque todas as intuies empricas (incluindo-se esta) esto de
acordo com as snteses puras da imaginao produtiva e as tomam como pano de fundo. Imediatamente
aps a passagem em A713/B741, com a qual demos incio a nosso exame da construo na intuio pura
(veja a passagem associada nota 2 acima, juntamente com sua continuao no pargrafo seguinte), Kant
continua (ibid., meus itlicos): Assim, eu construo um tringulo, na medida em que apresento esse
conceito com um objeto correspondente, ou mediante a mera imaginao na intuio pura, ou, de acordo
com esta [intuio pura], tambm no papel, na intuio emprica em ambos os casos, contudo,
completamente a priori, sem ter derivado seu modelo de qualquer experincia. O ponto crucial, mais uma
vez, que as atividades da imaginao produtiva na intuio pura so anteriores ao efetivo desenho de uma
figura sobre o papel na intuio emprica. (Retornarei mais adiante questo de em que consiste,
exatamente, essa prioridade.) NB: A traduo geralmente excelente de Guyer-Wood, que Shabel (2003)
cita para introduzir sua distino (p. 91-92), omite a frase de acordo com esta no obstante, Shabel
sugere, na p. 105, uma leitura alternativa do que poderia significar conhecer uma intuio emprica de
acordo com as condies da intuio pura.
15
Michael Friedman
medida em que gerado [gemacht]. E esse espao geomtrico ento explicitamente

contrastado com o que Kant chama espao metafsico:
Dizer, contudo, que o espao metafsico, isto , original, mas dado
meramente de maneira subjetiva o qual (visto que no h uma
multiplicidade deles) no pode ser subsumido a nenhum conceito que
fosse capaz de construo, mas ainda assim contm o fundamento da
construo de todos os conceitos geomtricos possveis infinito
significa apenas dizer que ele consiste na forma pura do modo de
representao sensvel do sujeito enquanto uma intuio a priori; com
isso, nessa forma de intuio, enquanto representao singular
[einzelnen], a possibilidade de todos os espaos, que avana ao
infinito, est dada (Ak. 20, 420-421)
Assim, o espao metafsico o espao considerado na Exposio Metafsica do Espao

na Esttica Transcendental, ao passo que o espao geomtrico consiste no mltiplo
indefinidamente extensvel (mas sempre finito) de construes geomtricas que se pode
(em qualquer estgio finito) efetivamente levar a cabo a partir de algum par inicial
(arbitrrio) de pontos. 18
Esta importante passagem, diferentemente da Exposio Metafsica, articula uma
clara e explcita conexo entre o espao como forma pura da intuio externa e a
construo geomtrica. Voltemo-nos agora, ento, para os primeiros dois argumentos da
prpria Exposio Metafsica, nos quais, acredito, a natureza dessa conexo est, no
obstante, implicitamente sugerida. 19 Esses argumentos pretendem mostrar, em particular,
que o espao uma representao necessria a priori que precede todas as percepes
18
A controvrsia em questo discutida e muitos textos relevantes so traduzidos em Allison, H. E.,

The Kant-Eberhard Controversy (Baltimore; John Hopkins University Press, 1973). Em particular, a inteira
passagem (de Ak. 20, 419-421) est traduzida s p. 175-176.
19
Desenvolvo essa anlise em Friedman, M. Geometry, Construction, and Intuition in Kant and His
Successors, in Sher, G. e Tieszen, R. (orgs.), Between Logic and Intuition: Essays in Honor of Charles
Parsons (Cambridge: Cambridge University Press, 2000), p. 186-218. Apresento ali uma resposta a um
trabalho anterior de Charles Parsons e Emily Carson, buscando conciliar o que denomino a interpretao
lgica da filosofia da geometria de Kant (tal como desenvolvida por Evert Beth, Jaakko Hintikka, e por
mim mesmo anteriormente) com a interpretao fenomenolgica articulada por Parsons e Carson. Os
trabalhos desses autores aos quais me dirijo so: Parsons, C. The Transcendental Aesthetic, in Guyer, P.
(org.), The Cambridge Companion to Kant (Cambridge, Cambridge University Press, 1992), p. 62-100; e
Carson, E. Kant on Intuition in Geometry, Canadian Journal of Philosophy 27 (1997): 489-512. A ideia
bsica de minha tentativa de reconciliao embutir a compreenso puramente lgica das construes
geomtricas (como funes de Skolem) no interior do espao enquanto forma pura de nossa intuio
sensvel externa (tal como se descreve na Esttica Transcendental).
16
Michael Friedman
empricas no uma representao que pudesse de alguma maneira ser abstrada de

nossas percepes empricas de objetos espaciais (externos).
O primeiro argumento tenta mostrar que o espao uma representao a priori, e
no emprica, defendendo que toda percepo de objetos (empricos) externos no espao
pressupe a representao do espao:
O espao no um conceito emprico derivado de experincias
externas. Pois, para que certas sensaes se relacionem a alguma coisa
fora de mim (isto , a alguma coisa em um lugar no espao distinto
daquele em que me encontro), e, de maneira similar, para que eu seja
capaz de represent-las como externas e vizinhas umas s outras e,
portanto, no simplesmente como distintas, mas como situadas em
lugares distintos a representao do espao j deve estar na base
disso. Portanto, a representao do espao no pode ser obtida por
meio da experincia a partir das relaes dos aparecimentos externos,
mas, antes, essa prpria experincia externa s possvel,
primeiramente, por meio da mencionada representao. (A23/B38)
Este argumento enfatiza que o espao, enquanto forma do sentido externo, permite-nos
representar objetos como situados fora de ns precisamente por represent-los como
espacialmente externos ao sujeito que os percebe, de modo que o espao em questo
contm o ponto de vista a partir do qual os objetos do sentido externo so percebidos, e
ao redor do qual esto arranjados. A intuio ou percepo espacial emprica ocorre
quando um objeto espacialmente exterior ao ponto de vista do sujeito afeta esse sujeito
ao longo de uma linha espacial de visada, por assim dizer de modo a produzir uma
sensao correspondente; e nesse sentido, portanto, que a forma pura da intuio
sensvel (espacial) expressa a maneira pela qual somos afetados por objetos espaciais
(externos). 20 Chamemos essa estrutura o espao perspectivo.
20 Veja-se novamente o incio da Esttica Transcendental (A19-20/B33-34): De qualquer maneira e por

quaisquer meios que uma cognio possa relacionar-se a objetos, aquilo por meio de que ela se relaciona a
eles imediatamente, e para o que todo pensamento, enquanto um meio, se dirige, a intuio. Mas isso s
ocorre na medida em que o objeto nos dado e isso, por sua vez, pelo menos para ns, seres humanos, s
possvel na medida em que a mente seja de certo modo afetada. A capacidade (receptividade) de obter
representaes por meio da maneira pela qual somos afetados por objetos a sensibilidade. O efeito de
um objeto na faculdade da representao, na medida em que somos afetados por ele, a sensao. A
intuio que se relaciona ao objeto mediante a sensao emprica. O objeto indeterminado de uma
intuio emprica um aparecimento.
17
Michael Friedman
O segundo argumento prossegue afirmando que o espao uma representao

necessria a priori, que funciona como uma condio da possibilidade de toda
experincia externa:
O espao uma representao necessria a priori que est na base
de toda intuio externa. Jamais se pode fazer uma representao [do
suposto fato] de que no h espao, embora se possa muito bem pensar
que nenhum objeto nele se encontra. Ele deve, portanto, ser visto como
a condio de possibilidade dos aparecimentos, e no como uma
determinao dependente deles, e uma representao a priori, que
necessariamente est na base dos aparecimentos externos. (A24/B389)
O cerne deste argumento que no se pode representar objetos externos sem o espao, ao
passo que se pode pensar esse mesmo espao como inteiramente vazio de tais objetos. E,
visto que o primeiro membro da conjuno pode parecer tautolgico, o nus do
argumento suportado pelo segundo membro. Que significa exatamente, ento,
representar o espao como vazio de objetos externos, e, alm disso, qual o contexto
preciso em que temos sucesso ao faz-lo? Uma sugesto bastante natural que pensamos
o espao como vazio de objetos (empricos) externos exatamente quando estamos
fazendo geometria pura. 21 Em particular, isso se ajustaria muito bem concluso de que
o espao funciona, desse modo, como uma condio necessria a priori da possibilidade
de aparecimentos externos, pois todos eles estariam, ento, submetidos cincia
necessria a priori da geometria pura. 22
21
Parsons, op. cit. (nota 19), p. 69 apresenta isto como uma ideia bvia, embora no a aceite
incondicionalmente.
22
Este ponto tambm nos permite responder uma objeo bem conhecida ao primeiro argumento,
levantada primeiramente por J. G. Maa (um colega de Eberhard), segundo a qual no se segue, do fato de
que uma representao pressuponha outra, que esta ltima representao seja a priori: para reconhecer
objetos vermelhos, por exemplo, deve-se primeiramente ter o conceito de vermelho (e, de maneira mais
geral, o conceito de cor), mas claro que disso no se segue que vermelho (ou cor) seja um conceito a
priori ao invs de emprico. Veja-se, por exemplo, a discusso dessa objeo em Allison, H. E. Kants
Transcendental Idealism (New Haven: Yale University Press, 1983), p. 82-86. A diferena crucial,
acredito, que temos uma cincia a priori necessria do espao (a geometria), mas no temos uma cincia
a priori desse tipo em outros casos (como o das cores). Quanto a este ponto, sou grato a Graciela de Pierris
pelas discusses sobre os dois primeiros argumentos da Exposio Metafsica; para suas prprias
discusses veja-se De Pierris, G. Geometry in the Metaphysical Exposition, in Gerhardt, V., Horstmann,
R.-P. e Schumacher, R. (orgs.), Kant und die Berliner Aufklrung, vol. 2 (Berlim: de Gruyter, 2001), p.
197-204.
18
Michael Friedman
Qual a relao precisa entre a estrutura a priori atribuda ao espao no primeiro

argumento (espao perspectivo) e aquela que lhe atribuda no segundo (a estrutura da
geometria pura)? Em primeiro lugar, natural ver a primeira estrutura como sendo, ela
prpria, a priori, visto que no depende absolutamente dos objetos externos (empricos)
particulares efetivamente percebidos de qualquer ponto de vista particular. Ao contrrio,
essa estrutura perspectiva invariante em relao a todas as mudanas tanto nos objetos
percebidos quanto no ponto de vista a partir do qual so percebidos, e, nesse sentido, ela
expressa desse modo a forma, e no a matria ou contedo, da intuio externa. Em
segundo lugar, alm disso, essas prprias mudanas possveis de perspectiva constituem
o que hoje tomamos como uma estrutura matemtica: a saber, um grupo de movimentos
ou transformaes (euclidianos), compreendendo todas as translaes possveis de nosso
ponto de vista inicial atravs do espao, e todas as possveis rotaes da perspectiva
associada a esse ponto de vista ao redor do ponto dado. 23 Em particular, qualquer objeto
espacial perceptvel, localizado em qualquer lugar do espao, pode, desse modo, tornar-se
acessvel por uma sequncia apropriada de tais translaes e rotaes a partir de qualquer
ponto de vista inicial e sua perspectiva associada.
Mas h uma clara conexo entre esta estrutura moderna da teoria de grupos e a
geometria no sentido de Kant; pois, como o prprio Kant explicitamente ressalta em sua
controvrsia com Eberhard, as duas construes euclidianas fundamentais de traar uma
linha reta e construir um crculo so precisamente geradas por translaes e rotaes
como quando geramos um segmento de linha pelo movimento (translao) de um ponto e
ento giramos esse segmento (em um plano dado) em torno de um de seus extremos. 24
23
Em um contexto matemtico moderno, o conceito de um grupo de movimentos euclidianos rgidos

(translaes e rotaes) no precisa envolver as noes de perspectiva e ponto de vista. Estas ltimas foram
introduzidas neste contexto por Hermann von Helmholtz e Henri Poincar, como parte de um programa
para explicar como nossos conceitos (matemticos) de espao e de geometria podem fundar-se em nossa
experincia perceptual efetiva e dela surgir. Meu objetivo aqui aplicar essas ideias interpretao da
concepo de espao e geometria de Kant: veja-se a nota 25 abaixo.
24
Ver Ak. 20, 410-411 (no traduzido por Allison): [D]iz-se muito corretamente que Euclides assume,
sem prov-la, a possibilidade de desenhar uma linha reta e traar um crculo o que significa sem provar
essa possibilidade por meio de inferncias. Pois o traado, que tem lugar a priori mediante a imaginao
segundo uma regra e chamado construo, ele prprio a prova da possibilidade do objeto. Contudo,
que a possibilidade de uma linha reta e de um crculo possa ser provada, no mediatamente por meio de
inferncias, mas apenas imediatamente por meio da construo (que no de modo algum emprica) desses
conceitos, deve-se circunstncia de que, dentre todas as construes (apresentaes determinadas na
intuio a priori segundo uma regra), algumas devem ainda ser as primeiras a saber, o desenho ou
traado (em pensamento) de uma linha reta e a rotao dessa linha em torno de um ponto fixo no
podendo esta ltima ser derivvel da primeira nem de nenhuma outra construo do conceito de grandeza.
(NB: Em conformidade com a passagem citada na nota 16 acima, a construo matemtica pode apenas
demonstrar a possibilidade real do conceito matemtico que lhe corresponde contra o pano de fundo da
19
Michael Friedman
Na presente interpretao, portanto, precisamente essa relao entre o espao

perspectivo e o espao geomtrico que liga a teoria kantiana do espao como forma da
intuio externa, ou da percepo, sua concepo da geometria matemtica pura em
termos da execuo sucessiva de construes euclidianas na imaginao produtiva pura. 25
A mesma relao entre o espao perspectivo e o espao geomtrico parece
desempenhar um papel central na verso B da Deduo Transcendental das Categorias. 26
Em um passo central do argumento, intitulado Sobre a aplicao das categorias a objetos
dos sentidos enquanto tais ( 24), Kant introduz o que ele chama a sntese figurativa
(synthesis speciosa) ou sntese transcendental da imaginao. Essa sntese estabelece a
primeira conexo entre o entendimento, ou a unidade transcendental da apercepo, e a
sensibilidade, e, como explica Kant, , assim uma ao do entendimento sobre a
sensibilidade, e sua primeira aplicao (que ao mesmo tempo o fundamento de todas as
demais) a objetos da intuio que possvel para ns (B152). Kant prossegue:
Enquanto figurativa, ela se distingue da sntese intelectual, realizada
meramente pelo entendimento, sem nenhum [uso da] imaginao. Na
medida em que a imaginao espontaneidade, chamo-a algumas
vezes a imaginao produtiva, distinguindo-a com isso da imaginao
reprodutiva, cuja sntese submete-se apenas a leis empricas, a saber,
as de associao e que nada contribui, portanto, para a explicao da
possibilidade da cognio a priori, pertencendo, por essa razo, no
filosofia transcendental, mas psicologia. (B152)
Deduo Transcendental um ponto ao qual retornarei abaixo.) Linhas retas e crculos aparecem, desse
modo, como o que chamamos as rbitas (restritas a uma plano bidimensional qualquer) do grupo
euclidiano dos movimentos rgidos no espao. (Para a construo de um crculo, cf. a passagem de
A234/B287 citada na nota 10 acima. Para a construo de uma linha, e, de modo mais geral, cf. tambm
A162-163/B203-204: No posso representar-me uma linha, no importa quo pequena, sem desenh-la no
pensamento, isto , sem gerar gradualmente todas as suas partes a partir de um ponto. Nesta sntese
sucessiva da imaginao produtiva na gerao de figuras est baseada a matemtica da extenso
(geometria), juntamente com seus axiomas, que expressam as condies da intuio sensvel a priori, que
so as nicas sob as quais pode surgir o esquema de um conceito puro do aparecimento externo.)
25
Como explicado em Friedman (2000) (nota 19 acima), uma vantagem desta leitura que ela nos permite
ento ligar a teoria kantiana da intuio geomtrica pura com as discusses posteriores de Helmholtz e
Poincar (que foram conscientemente influenciados por Kant) embora esteja, claro, fora de questo
atribuir ao prprio Kant uma compreenso explcita da abordagem da geometria em termos da teoria de
grupos.
26
Dei incio ao desenvolvimento dessa conexo em Friedman (2000), e tambm em meu artigo
Transcendental Philosophy and Mathematical Physics, Studies in History and Philosophy of Science 34
(2003): 29-43. Indicarei mais frente os pontos em que corrijo essas explicaes iniciais e avano alm
delas.
20
Michael Friedman
Assim, a sntese da imaginao produtiva pura no apenas no emprica e a priori, mas

tambm o que Kant denomina transcendental: a saber, constitutiva da explicao da
possibilidade da cognio a priori. 27
O que especialmente notvel, porm, como Kant passa em seguida a ilustrar
essa sntese transcendental:
Tambm observamos isso constantemente em ns. No podemos
pensar nenhuma linha sem desenh-la no pensamento, e nenhum
crculo sem tra-lo. No podemos de modo algum representar as trs
dimenses do espao sem dispor trs linhas em ngulos retos umas s
outras a partir de um mesmo ponto. E no podemos representar o
prprio tempo sem atentarmos, ao desenhar uma linha reta (que deve
ser a representao figurativa exterior do tempo), meramente para a
ao de sntese do mltiplo mediante a qual determinamos
sucessivamente o sentido interno, e, desse modo, para a sucesso dessa
determinao nele prprio. O movimento, como ao do sujeito (no
como determinao de um objeto*), e assim, a sntese do mltiplo no
espao quando abstramos deste e atentamos meramente para a ao
pela qual determinamos o sentido interno segundo sua forma [esse
movimento] o que primeiramente produz o conceito de sucesso.
(B154-155)
E na nota de rodap Kant explicitamente liga o movimento no sentido relevante com a
descrio imaginativa do espao subjacente aos axiomas da geometria (na construo de
linhas e crculos):
* O movimento de um objeto no espao no pertence a uma cincia
pura; consequentemente, no pertence geometria. Pois, que algo seja
mvel no pode ser conhecido a priori, mas apenas por experincia.
Mas o movimento, enquanto o traado de um espao, um ato puro de
sntese sucessiva do mltiplo na intuio externa em geral por meio da
imaginao produtiva, e pertence no apenas geometria, mas at
mesmo filosofia transcendental.
27
Veja-se o incio da Lgica Transcendental em A56/B80-81: Fao aqui uma observao cuja influncia
estende-se a todas as consideraes subsequentes, e que se deve ter bem em conta, a saber, que nem toda
cognio a priori deve ser chamada transcendental, mas apenas aquela pela qual conhecemos que e como
certas representaes (intuies ou conceitos) so aplicadas, ou so possveis, inteiramente a priori (isto ,
a possibilidade ou uso a priori das cognies). Assim, nem o espao nem nenhuma determinao
geomtrica a priori do espao uma representao transcendental; apenas a cognio de que essas
representaes no tm de nenhum modo uma origem emprica, e a possibilidade de que elas podem, no
obstante, relacionar-se a priori a objetos da experincia, pode chamar-se transcendental.
21
Michael Friedman
Assim, o movimento, no sentido relevante o ato puro de sntese sucessiva no espao

enquanto atividade transcendental do sujeito subjaz geometria ou a fundamenta, pelo
fato de pertencer tambm considerao metafsica do espao caracterstica da
filosofia transcendental. 28
Mas qual , precisamente, a conexo entre a sntese transcendental da imaginao,
enquanto uma ao do entendimento sobre a sensibilidade, e a considerao
metafsica do espao na Esttica Transcendental? O argumento conclusivo da Deduo
B, intitulado Deduo transcendental do emprego universalmente possvel na
experincia dos conceitos puros do entendimento ( 26), depende crucialmente dessa
conexo:
Temos a priori formas da intuio sensvel externa e interna nas
representaes do espao e do tempo, e a sntese de apreenso do
mltiplo de aparecimentos [mediante a qual a percepo se torna
possvel] deve sempre concordar com elas, pois s segundo essa
forma ela pode ter lugar. Mas espao e tempo so representados a
priori, no meramente como formas da intuio sensvel, mas como
intuies eles prprios (que contm um mltiplo) e assim
[representados a priori] juntamente com a determinao da unidade
desse mltiplo (veja-se a Esttica Transcendental*). Portanto, a
unidade da sntese do mltiplo, fora de ns ou em ns, e, assim, uma
combinao com a qual tudo que deve ser representado como
determinado no espao e tempo deve concordar, est ela prpria j
dada simultaneamente a essas intuies (e no nelas). Mas essa
unidade sinttica no pode ser outra seno a da combinao do
mltiplo de uma intuio em geral dada em uma conscincia original,
segundo as categorias, s que aplicada nossa intuio sensvel.
(B160-161)
28
De acordo com a passagem principal do texto em B154-155, a sntese transcendental da imaginao no

apenas fundamenta a cincia da geometria (em termos do traado de uma linha reta e de um crculo), mas
tambm o conceito de sucesso e aquilo que Kant denomina a doutrina geral do movimento (B48-49).
Cf. B291-292: Como pode ser possvel que um estado oposto siga-se a um dado estado de uma mesma
coisa no apenas inconcebvel a qualquer razo, sem um exemplo, mas no sequer compreensvel sem
uma intuio e essa intuio o movimento de um ponto no espao cuja existncia em diferentes lugares
(enquanto sucesso de determinaes opostas) unicamente o que, em primeiro lugar, torna essa alterao
intuitiva para ns. Pois, para que possamos posteriormente tornar pensveis mesmo as alteraes internas,
devemos tornar o tempo, enquanto forma do sentido interno, inteligvel figurativamente como uma linha, e
a alterao interna pelo traado dessa linha (movimento), e, desse modo, a existncia sucessiva de ns
mesmos em diferentes estados por uma intuio externa. Assim, a sntese transcendental da imaginao
explica tambm a possibilidade da fsica matemtica: para discusses adicionais veja-se Friedman (2003)
(nota 26 acima).
22
Michael Friedman
Kant quer mostrar aqui que todos os objetos possveis de nossa intuio espao-temporal
esto necessariamente subordinados unificao transcendental de todas as
representaes em uma conscincia segundo as categorias, e ele o faz apelando unidade
do espao e do tempo eles prprios, como j estabelecida na Esttica. Qual , ento,
precisamente a conexo, devemos agora perguntar, entre a unidade do espao e tempo
eles prprios e as atividades de sntese do entendimento (via a sntese transcendental da
imaginao)?
Kant explica em uma nota de rodap a esta passagem, que extraordinariamente
difcil at mesmo para os padres kantianos:
*O espao representado como um objeto (como efetivamente se requer
em geometria) contm mais que a mera forma da intuio a saber,
[ele contm] o [ato de] agregar [Zusammenfassung] o mltiplo, dado
segundo a forma da sensibilidade, em uma representao intuitiva, de
tal modo que a forma da intuio fornece meramente um mltiplo,
mas a intuio formal fornece [tambm] a unidade da representao.
Na Esttica, tomei essa unidade [como pertencendo] sensibilidade,
apenas a fim de observar que ela precede todos os conceitos, embora
de fato pressuponha uma sntese que no pertence aos sentidos, mas
atravs da qual todos os conceitos de espao e tempo se tornam em
primeiro lugar possveis. Pois, dado que atravs dela (na medida em
que o entendimento determina a sensibilidade) o espao e tempo so
primeiramente dados, a unidade dessa intuio a priori pertence ao
espao e tempo, e no ao conceito do entendimento (24).
Dois pontos so especialmente misteriosos aqui. De um lado, tarefa do terceiro

argumento da Exposio Metafsica do Espao (na segunda edio) mostrar que a
unidade caracterstica do espao no pode ser uma unidade conceitual. 29 Pareceria,
29
Veja-se A24/B39: O espao no um conceito discursivo, ou, como se diz, um conceito universal de
relaes de coisas em geral, mas uma intuio pura. Pois, em primeiro lugar, s podemos nos representar
um espao singular [einigen], e, se falamos de muitos espaos, entendemos com isso apenas as partes de
um nico e mesmo [alleinigen] espao. Essas partes no podem preceder o espao nico que tudo abrange
[einigen allbefassenden], como se fossem seus constituintes (a partir dos quais sua composio seria
possvel); mas s podem ser pensadas nele. Ele essencialmente singular [einig]; o mltiplo nele, e o
conceito geral de espaos enquanto tal, baseia-se apenas em limitaes. Disso se segue que uma intuio a
priori (que no emprica) subjaz a todos os conceitos de espao. Assim, o espao no uma
representao conceitual porque, em primeiro lugar, s h necessariamente um nico indivduo particular
caindo sob ele, e, em segundo lugar, as partes do espao diferentemente das partes (marcas) de um
conceito no so constituintes (a partir dos quais sua composio seria possvel). Uma assimetria
relacionada entre a estrutura todo-parte de conceitos e de intuies subjaz ao quarto argumento que se
segue imediatamente: veja-se a nota 13 acima, juntamente com o pargrafo ao qual est anexada.
23
Michael Friedman
portanto, que essa unidade deve ser intuitiva, ao invs de intelectual mas ento, como
pode essa unidade distintamente intuitiva ilustrar as atividades de sntese do
entendimento? Por outro lado, se a sntese responsvel pela unidade do espao (e do
tempo) pertence ao entendimento, por que ela precede todos os conceitos? E por que,
em particular, a unidade em questo pertence ao espao e tempo, e no ao conceito do
entendimento?
A interpretao acima da distino entre espao metafsico (isto , perspectivo) e
espao geomtrico, tal como articulada na controvrsia com Eberhard, ajuda-nos a
responder essas questes. O espao metafsico o espao de nossa forma pura da
intuio sensvel externa consiste na totalidade de perspectivas possveis a partir das
quais o sujeito pode ser afetado por objetos externos. O que unifica essa totalidade em um
espao nico que tudo abrange, portanto, a unidade transcendental da apercepo,
que implica que qualquer objeto externo possvel em princpio perceptvel pelo mesmo
sujeito mediante uma sequncia apropriada de translaes e rotaes a partir de uma
perspectiva inicial particular qualquer. 30 Esse espao singular infinito e oniabrangente
fundamenta, ento, a possibilidade de construes geomtricas baseadas, como vimos,
em nossa capacidade de desenhar, na intuio pura, uma linha pela translao de um
ponto, e de girar essa linha (em um plano) em torno de um de seus extremos. 31 O
exerccio dessa capacidade, por sua vez, uma expresso da sntese transcendental da
imaginao, que uma ao do entendimento sobre a sensibilidade, e sua primeira
aplicao (sendo ao mesmo tempo fundamento de todas as demais) a objetos da intuio
que possvel para ns (B152). Assim, a sntese responsvel pela unidade e
singularidade caractersticas do espao (enquanto forma pura da intuio sensvel
30 assim que interpreto o terceiro argumento da Exposio Metafsica (nota 28 acima). E ao explicar a
unidade e singularidade caractersticas do espao em termos do que chamo espao perspectivo, e, portanto
(no final das contas), em termos da unidade transcendental da apercepo, que minha posio difere das
explicaes dessa unidade caracterstica oferecidas por Parsons e Carson (veja-se a nota 19 acima). Em
particular, no tomo essa unidade que tudo abrange como um fato quase perceptvel, mas fundamento-a
na condio anterior de que todos os objetos externos possveis sejam perceptveis, em princpio, pelo
mesmo sujeito que percebe. Para uma discusso adicional, veja-se Friedman (2000).
31
Ver as notas 23, 24 e 25, juntamente com os pargrafos aos quais esto anexadas. Que as limitaes
mencionadas na penltima sentena da passagem em A24/B39 citada acima (nota 29) envolvem
construes geomtricas sugerido pela sua continuao imediata (ibid.): Assim, tambm, todos os
princpios geomtricos, p. ex., que em um tringulo dois lados em conjunto so sempre maiores que o
terceiro, nunca se derivam dos conceitos universais de linha e tringulo, mas sim da intuio, e, de fato,
[derivam-se dela] a priori com certeza apodtica. Como vimos (no pargrafo ao qual est anexada a nota 3
acima), Kant est se referindo aqui Proposio I.20 de Euclides.
24
Michael Friedman
externa) pertence de fato ao entendimento. No se segue, contudo, que a unidade em

questo seja uma unidade conceitual.
Pois, em primeiro lugar, essa ao do entendimento sobre a sensibilidade precede
todas as construes geomtricas particulares, e, com isso, todos os espaos particulares
(regies espaciais) dado que estes so construdos dentro do espao singular,
oniabrangente e infinito da intuio pura por uma sequncia indefinidamente extensvel
(mas sempre finita) de atos particulares da imaginao produtiva pura. Em segundo lugar,
portanto, a sntese transcendental original da imaginao responsvel pela unidade e
singularidade caractersticas do espao tambm precede todos os conceitos geomtricos
(de tringulo, crculo, etc.), dado que esses conceitos so gerados por construes
geomtricas particulares de acordo com seus esquemas. 32 Em terceiro lugar, por fim, a
mesma sntese original precede todas as categorias (esquematizadas) ou conceitos puros
do entendimento, e precede, portanto, todos os conceitos esquematizados, quaisquer que
sejam, dado que cada um deles tem seu prprio esquema particular na intuio pura
(enquanto uma particular determinao transcendental do tempo) nenhum dos quais
so idnticos ao do entendimento sobre a sensibilidade que primeiramente fornece
ao espao e tempo sua unidade e singularidade caractersticas. 33 A sntese original
32
Sou grato, aqui, a uma iluminadora conversa com Vincenzo de Risi. Que construes geomtricas
geram o conceito construdo est explicitamente afirmado em A234/B287 (cf. notas 10 e 25 acima).
Veja-se tambm a passagem da controvrsia com Eberhard citada no pargrafo ao qual est anexada a nota
18 acima. Kant afirma ali, em primeiro lugar, que o espao metafsico (por ser singular) no pode ser
subsumido a nenhum conceito capaz de construo, mas contm, ainda assim, o fundamento da construo
de todos os conceitos geomtricos possveis, e, em segundo lugar, que nessa forma de intuio, enquanto
representao singular, a possibilidade de todos os espaos, que procede ao infinito, est dada. Assim,
Kant explicita, aqui, a relao entre a singularidade do espao como forma pura (oniabrangente) da intuio
externa, a pluralidade de suas partes (regies espaciais confinadas), e a construo geomtrica relaes
que esto apenas implcitas no terceiro argumento da Exposio Metafsica (cf. nota 30 acima). Ele
esclarece, portanto, o sentido em que a unidade caracterstica do espao metafsico precede todos os
conceitos geomtricos.
33
Kant introduz a noo do esquema de um conceito puro do entendimento do seguinte modo (A138139/B177-178): O conceito do entendimento contm a unidade sinttica pura do mltiplo em geral. O
tempo, enquanto condio formal do mltiplo do sentido interno, e, assim, da conexo de todas as
representaes, contm um mltiplo a priori na intuio pura. Ora, uma determinao transcendental do
tempo homognea categoria (que constitui a unidade dessa determinao) na medida em que
universal e baseia-se em uma regra. Mas, por outro lado, ela homognea ao aparecimento, na medida em
que o tempo est contido em toda representao emprica do mltiplo. Portanto, uma aplicao da categoria
a aparecimentos torna-se possvel por meio da determinao transcendental do tempo, que, como esquema
do conceito do entendimento, medeia a subsuno deste ltimo ao primeiro. Dado que esta passagem
caracteriza o tempo como uma condio formal, e ressalta que, enquanto tal, ele contm um mltiplo a
priori na intuio pura, uma comparao com o crucial argumento em B160-161 citado acima (no
pargrafo seguinte ao que remete nota 27) sugere que o tempo em questo no meramente a forma da
intuio (interna), mas tambm a prpria intuio (singular) intuio formal , representada com a
25
Michael Friedman
responsvel por essa unidade no expressa o esquema de nenhuma categoria particular,

mas antes o que poderamos chamar o esquema da prpria unidade transcendental da
apercepo. 34 Portanto, embora represente uma determinao da sensibilidade pelo
entendimento, a unidade dessa intuio a priori de fato pertence ao espao e tempo, e
no ao conceito do entendimento (meu itlico). A unidade em questo efetivamente
intelectual, mas , no obstante, caracterstica de uma representao intuitiva, e no
conceitual. 35
determinao da unidade desse mltiplo. Essa explicao do esquema de um conceito puro do
entendimento parece, portanto, pressupor que j ocorreu a unificao determinada do tempo pela sntese
transcendental da imaginao. (Note-se, contudo, que o que algumas vezes se chama as categorias puras
ou no esquematizadas diferentemente de conceitos sensveis puros ainda tm um significado
independentemente de sua esquematizao, embora esse significado no tenha nenhum uso na cognio dos
fenmenos: s as categorias esquematizadas tm o que Kant chama, em A238-249/B297-299, um uso
emprico.)
34 Cf. a discusso de Kant do esquema da categoria (ou categorias) de quantidade ou grandeza em A142143/B182: A pura imagem de todas as grandezas (quantorum) para o sentido externo o espao; a de
todos os objetos dos sentidos em geral, contudo, o tempo. Mas o puro esquema de grandeza (quantitatis),
enquanto um conceito do entendimento, o nmero, que uma representao que abrange a sucessiva
adio um a um ([dos elementos] do homogneo). Portanto, o nmero nada mais que a unidade da sntese
do mltiplo de uma intuio homognea em geral, na medida em que eu gero o prprio tempo na apreenso
da intuio. A partir dessa passagem, vemos que o esquema (regra para a determinao do tempo)
associado categoria (ou categorias) de quantidade ou grandeza no a representao de um espao ou
tempo singulares, mas a representao de nmero. Vemos tambm que as representaes de espao e tempo
singulares so imagens (em oposio a esquemas) que correspondem categoria (ou categorias) em
questo. Como Kant tambm diz que o esquema de um conceito puro do entendimento algo que no se
pode reduzir a nenhuma imagem (A142/B181), essas imagens no podem ser o produto do esquema de
nenhuma categoria, mas so, antes, os produtos da sntese transcendental original da imaginao que
resulta no espao dado ou apresentado como aquilo que denominei espao perspectivo, e no tempo dado ou
apresentado sob a imagem de uma linha, na medida em que a traamos, um modo de apresentao sem o
qual no poderamos de modo algum conhecer a unidade de sua medida ou dimenso [Einheit ihrer
Abmessung] (B156). Para uma discusso perspicaz e iluminadora da difcil passagem em A142-143/B182
(a qual, entretanto, no estou seguindo inteiramente aqui), veja-se Sutherland, D. The Role of Magnitude
in Kants Critical Philosophy, Canadian Journal of Philosophy 34 (2004): 411-442, III.
35
Em particular, as assimetrias que Kant ressalta entre representao intuitiva e representao conceitual
no terceiro e quarto argumentos da Exposio Metafsica do Espao (veja-se novamente a nota 28 acima)
esto todas mantidas. E, com base nisso, posso agora indicar onde a presente explicao ultrapassa e
corrige minhas discusses anteriores em Friedman (2000) e Friedman (2003) (veja-se nota 26 acima). Com
respeito ao primeiro texto (op. cit., p. 198-199), crucial distinguir (como vimos) entre a afirmao de que
a unidade (singular) caracterstica do espao e tempo , ou envolve, uma unidade intelectual (na medida em
que resulta de uma ao do entendimento sobre a sensibilidade) e a afirmao de que ela ou envolve
uma unidade conceitual (que depende da unidade ou generalidade caracterstica de um conceito). Que a
unidade intuitiva em questo depende diretamente da unidade de conscincia no implica que ela seja
uma unidade conceitual (contrariamente ao que digo na p. 198). Com respeito ao segundo texto (op. cit.,
p. 39-41), simplesmente um erro afirmar (contrariamente ao que est na p. 40) que a referncia Esttica
Transcendental em B160-161 s exposies transcendentais e no s exposies metafsicas do espao e
tempo. Ao contrrio, a referncia de fato, principalmente, s exposies metafsicas (especialmente ao
terceiro argumento, no caso do espao); e o conhecimento sinttico a priori cuja possibilidade explicada
nas exposies transcendentais (a geometria e a doutrina geral do movimento, respectivamente) funda-se
26
Michael Friedman
Seja como for, precisamente o argumento da Deduo Transcendental (tal como

apresentado no 26 da edio B) que permite agora a Kant afirmar que a geometria
matemtica pura necessariamente aplicvel a todos os possveis objetos da percepo
emprica de modo que [a] sntese de espaos e tempos, enquanto forma essencial de
toda intuio, o que, ao mesmo tempo, torna possvel a apreenso do aparecimento, e,
com isso, toda experincia externa, [e], portanto, toda cognio de seus objetos; e o que a
matemtica em seu emprego puro demonstra em relao primeira vale necessariamente
tambm para esta ltima (A165-166/B206). E precisamente esse argumento que subjaz
explicao que Kant oferece mais frente para essa mesma afirmao (A224/B272):
[Q]ue o o espao seja uma condio formal a priori de experincias externas; que
precisamente a mesma sntese formadora de imagens [bildende] pela qual construmos
um tringulo na imaginao seja completamente idntica quela que exercemos na
apreenso de um aparecimento para fazermo-nos um conceito emprico deste apenas
isto que conecta esse conceito [de um tringulo] com a possibilidade [real] de tal
coisa. 36
A necessidade urgente de estabelecer esse resultado situa Kant em um ambiente
intelectual completamente diferente do das antigas escolas gregas de Plato e Aristteles,
que formavam o contexto em que foram formulados os Elementos de Euclides. Pois
caracterstico da nova concepo da matemtica que surge no sculo XVII que a
geometria matemtica pura passa a ser tomada como o fundamento de todo conhecimento
da realidade fsica. Comeando com Descartes, a geometria matemtica pura entendida
como descrevendo, em princpio, as propriedades e interaes mais fundamentais da
matria; e, nesse sentido, o espao fsico e o espao geomtrico (isto , o espao
euclidiano) passam a ser considerados idnticos. A prpria compreenso de Kant dessa
ideia, como sugeri, est moldada pela controvrsia entre Newton e Leibniz na qual
ambos tomaram a geometrizao da natureza como um fato consumado, embora
reagissem a isso de maneiras radicalmente diferentes. Newton entendia a situao de
maneira completamente literal: o espao e o tempo matemticos espao e tempo
verdadeiros ou absolutos constituem a estrutura ontolgica fundamental de toda a
realidade. At mesmo Deus, ele prprio, necessariamente espacial e temporal (existindo
ou se explica precisamente pelas estruturas prvias (singulares e unitrias) do espao e tempo articuladas
nas exposies metafsicas. Isto aproxima minha posio ainda mais da defendida em Carson (1997),
embora ainda seja essencialmente diferente dela (ver nota 29 acima).
36
Veja-se a nota 16 acima, juntamente com o pargrafo qual est anexada.
27
Michael Friedman
sempre e em toda parte), e todos os objetos fsicos ou materiais so ento criados e

movidos, nas palavras de Newton, no interior do sensrio uniforme e infinito de
Deus. 37
Para Leibniz, ao contrrio, o inteiro mundo fsico descrito pela nova cincia
matemtica (incluindo-se o espao no qual os corpos se movem) um aparecimento
secundrio ou um fenmeno de uma realidade metafsica subjacente constituda de
substncias simples ou mnadas substncias que, nesse nvel, no so de modo algum
espaciais, mas tm apenas propriedades puramente internas e nenhuma relao externa. E
este ponto, por sua vez, conecta-se estreitamente ao fato de que Leibniz adere
conscientemente ideia de que o conhecimento puramente intelectual essencialmente
lgico. Pois, embora Leibniz parea ter vislumbrado algum tipo de extenso da lgica
aristotlica capaz de englobar os novos mtodos algbricos de seu clculo, no h dvida
de que a tradicional estrutura de sujeito-predicado dessa lgica permeia sua metafsica
mondica: precisamente porque a realidade metafsica ltima essencialmente
intelectual no sentido lgico que o inteiro mundo sensvel, incluindo-se o espao, uma
realidade meramente secundria, ou fenmeno. 38 Assim, embora Leibniz, como todos os
demais poca, sustente que h leis matemticas governando o mundo sensvel e
material (o mundo fenomnico), ele reintroduz um novo tipo de lacuna necessria um
37
A famosa discusso de Newton sobre o espao e tempo absolutos, verdadeiros e matemticos

ocorre no Esclio s Definies dos Principia. Este, juntamente com outros textos relevantes, pode ser
encontrado em Janiak, A. (org.), Isaac Newton: Philosophical Writings (Cambridge: Cambridge University
Press, 2004). Em particular, Newton desenvolve sua concepo metafsica de espao e a relao deste com
Deus de maneira mais completa no manuscrito De Gravitatione, onde, sob influncia do platonismo
cambridgeano de Henry More, diz que o espao no nem uma substncia nem um acidente, mas antes
um efeito emanativo de Deus e uma afeco de todo tipo de existncia (Janiak, op. cit., p. 21). No
Esclio Geral aos Principia, Newton escreve (p. 91): [Deus] persiste sempre e est presente em toda parte,
e por existir sempre e em toda parte ele constitui a durao e o espao. E, na Questo 31 da ptica,
Newton argumenta (p. 138): [Estes fenmenos naturais] no podem ser o efeito de nada seno da
Sabedoria e Habilidade de uma Agente poderoso e eternamente vivo, que, estando em todos os Lugares,
mais capaz de mover os Corpos pela sua Vontade no interior de seu Sensrio infinito e uniforme, e com
isso formar e reformar as Partes do Universo, do que somos capazes, pela nossa Vontade, de mover as
Partes de nossos prprios Corpos. Para uma discusso adicional da metafsica newtoniana do espao, em
relao a Descartes, Leibniz e Kant, veja-se meu Newton and Kant on Absolute Space: From Theology to
Transcendental Philosophy, in Bitbol, M., Kerszberg, P. e Petitot, J. (orgs.), Constituting Objectivity:
Transcendental Perspectives on Modern Physics (Berlim: Springer, 2009), p. 35-50.
38
Uma substncia simples individual, para Leibniz, caracteriza-se por um conceito completo que consiste
de uma conjuno infinita de todas as marcas ou conceitos parciais que so (alguma vez) verdadeiros dela,
e a metafsica leibniziana de substncias simples ltimas est assim intimamente ligada a seu compromisso
com a lgica tradicional dos conceitos. Precisamente porque rejeita a possibilidade de um tal conceito
completo (para seres humanos pensantes finitos), Kant, como vimos, argumenta que a representao do
espao no pode ser um conceito (cf. nota 13 acima, juntamente com o pargrafo ao qual est anexada).
28
Michael Friedman
novo tipo de lacuna platnica entre a realidade tal como conhecida pelo intelecto
(realidade numenal) e este mundo sensvel.
A filosofia do idealismo transcendental de Kant tambm se baseia em uma
dicotomia fundamental entre a realidade enquanto pensada apenas pelo entendimento
puro (realidade numenal) e o mundo fenomnico no espao e no tempo dado a nossos
sentidos. Mas Kant difere categoricamente de Leibniz em dois aspectos cruciais. Em
primeiro lugar, o conhecimento matemtico, para Kant, sensvel, ao invs de puramente
intelectual: de fato, a matemtica o prprio paradigma do conhecimento sensvel
racional e objetivo, resultante do esquematismo de conceitos especificamente
matemticos no interior de nossas formas puras da intuio sensvel. Em segundo lugar, e
como consequncia, s podemos ter conhecimento terico, para Kant, precisamente desse
mundo sensvel (fenomnico): a realidade numenal pensada apenas pelo entendimento
puro permanece para sempre incognoscvel de um ponto de vista terico, e s podemos
ter um conhecimento puramente prtico de seus habitantes (Deus e a alma) atravs da
experincia moral. 39 De fato, precisamente essa necessria limitao de todo
conhecimento terico ao mundo sensvel ou fenomnico que resulta em ltima instncia
da doutrina kantiana do esquematismo dos conceitos puros do entendimento limitao
que, do ponto de vista de Kant, passou inteiramente despercebida a Leibniz. 40
A filosofia da geometria de Kant vista no contexto mais geral de seu idealismo
transcendental combina importantes insights tanto de Leibniz como de Newton. Pois,
em primeiro lugar, o grande peso que Kant atribui aos aspectos perceptivos e intuitivos
39
Para uma discusso complementar desse aspecto da perspectiva kantiana, veja-se novamente Friedman
(2009) (nota 37 acima), bem como meu Kant on Science and Experience, in Mercer C. e ONeill, E.
(orgs.) Early Modern Philosophy: Mind, Matter, and Metaphysics (Oxford: Oxford University Press,
2005), p. 262-275.
40
Cf. A145-147/B185-187: Assim, os esquemas dos conceitos puros do entendimento so as nicas e

verdadeiras condies que conferem a estes ltimos uma relao com objetos e, desse modo, um
significado; e as categorias, portanto, no final das contas, no servem seno para um uso emprico possvel,
na medida em que servem meramente para submeter os aparecimentos a regras universais de sntese e
torn-los, com isso, apropriados a uma conexo universal em uma experincia. Categorias sem os
esquemas, portanto, representam apenas funes do entendimento para conceitos, mas no representam
nenhum objeto. Esse significado lhes advm apenas da sensibilidade, que realiza o entendimento ao mesmo
tempo em que o restringe. Kant est aqui discutindo os esquemas dos conceitos puros do entendimento,
no os dos conceitos matemticos (conceitos puros sensveis). No obstante, a anlise acima apresentada do
argumento central da Deduo Transcendental B implica que os esquemas dos conceitos matemticos
tambm esto envolvidos no esquematismo das categorias, dado que a sntese transcendental original da
imaginao responsvel pela unidade e singularidade caractersticas do espao e do tempo funda com isso a
possibilidade tanto da cincia da geometria como da doutrina geral do movimento (ver notas 28 e 35
acima).
29
Michael Friedman
da geometria (e, de maneira mais geral, da matemtica) corresponde abordagem de

Newton, em oposio abordagem lgico-algbrica de Leibniz. E, em segundo lugar, a
ntida distino kantiana entre as faculdades do intelecto e da sensibilidade, juntamente
com sua distino paralela igualmente ntida entre o raciocnio lgico ou discursivo e o
raciocnio matemtico ou intuitivo, surgem precisamente no contexto da concepo
leibniziana do intelecto puro, e tm como alvo, mais especificamente, a doutrina de
Leibniz de que a matemtica pura (incluindo a geometria) , no sentido kantiano,
analtica , isto , dependente apenas de relaes de incluso conceitual no quadro da
tradicional lgica de conceitos. No obstante, Kant aceita a caracterizao leibniziana do
intelecto puro em termos dessa mesma lgica tradicional, e seu conflito com Leibniz
acerca da matemtica pura simplesmente que o intelecto puro, caracterizado dessa
maneira, no se mostra, no fim das contas, altura da tarefa. 41 precisamente por essa
razo, na perspectiva de Kant, que o entendimento puro deve ser aplicado a ou
esquematizado em termos de uma segunda faculdade racional que tome como modelo o
espao absoluto newtoniano no mais concebido em termos do sensrio divino de
Newton, mas, antes, enquanto uma forma pura de nossa faculdade humana da
sensibilidade. 42
Assim, a maneira caracterstica pela qual Kant concebe a geometria e a intuio
espacial responde s preocupaes intelectuais fundamentais de Leibniz e de Newton, ao
mesmo tempo em que rejeita as ambies metafsicas e teolgicas de ambos os autores.
Kant rejeita a perspectiva teolgica de Leibniz ao recusar sua concepo de um conceito
completo (infinitrio) como inacessvel nossa cognio humana (necessariamente
finita); e precisamente por essa razo, na perspectiva de Kant, que o espao deve ser
41
O argumento de Kant para isto, como vimos, depende de sua rejeio da possibilidade de conceitos
leibnizianos completos (para seres pensantes humanos finitos), e, portanto, depende em ltima anlise do
fato de que Kant entende a tradicional lgica de conceitos de um modo muito mais limitado do que o
prprio Leibniz (cf. nota 38 acima).
42
Para Newton, Deus, por sua onipresena imediata atravs de todo o espao, faz com que toda matria
obedea s leis do movimento por um ato criativo de sua vontade. Para Kant, nosso entendimento
humano (no o entendimento divino) que se autoinjeta em nossas formas puras da sensibilidade (no nas de
Deus), e, ao mesmo tempo, faz com que (precisamente pelo esquematismo das categorias) as substncias
materiais ou fenomnicas obedeam necessariamente s leis newtonianas do movimento. Para uma
discusso adicional, veja-se novamente Friedman (2009). Isto ocorre porque o esquematismo das
categorias, como dissemos, est intimamente ligado tanto cincia matemtica da geometria quanto nova
fsica matemtica (newtoniana) (veja-se novamente as notas 28 e 40 acima). E este ponto, por sua vez, ligase ao fato de que os esquemas das categorias so determinaes do tempo (nota 33 acima), e que o tempo,
enquanto uma imagem pura, intuitivamente apresentado pelo movimento de um ponto no espao no
traado de uma linha reta (notas 28 e 34 acima).
30
Michael Friedman
uma forma pura da intuio sensvel e no algum tipo de representao conceitual (cf.
nota 38 acima). Somente assim, pensa Kant, nosso conhecimento a priori da estrutura
geomtrica do espao pode tornar-se inteligvel. Do mesmo modo, Kant rejeita a
perspectiva teolgica de Newton ao insistir que a estrutura matemtica da natureza devese em ltima anlise ao de nosso intelecto puro (e no do intelecto divino) sobre
nossas formas puras da intuio sensvel. A concepo newtoniana de espao como
sensrio divino, para Kant, completamente impossvel. 43
Portanto, em uma passagem famosa da Esttica Transcendental, Kant descreve sua
concepo do espao e do tempo enquanto formas puras de nossa intuio sensvel como
combinando as vantagens das concepes de Leibniz e Newton, ao mesmo tempo em que
evita suas respectivas desvantagens:
Os [newtonianos] ganham ao abrir para as asseres matemticas o
campo dos aparecimentos. Por outro lado, precisamente essas
condies trazem-lhes muita confuso quando o entendimento
pretende estender-se para alm desse campo. Os [leibnizianos] ganham
muito nesse ltimo aspecto, a saber, as representaes de espao e
tempo no se intrometem quando eles querem fazer juzos sobre
objetos, no enquanto aparecimentos, mas meramente em relao ao
entendimento; contudo, eles no podem fornecer nem uma explicao
da possibilidade de cognies matemticas a priori (na medida em que
no dispem de uma intuio a priori verdadeira e objetivamente
vlida) nem colocar as proposies empricas em um acordo
necessrio com essas asseres [matemticas]. Em nossa teoria da
verdadeira constituio dessas duas formas originais da sensibilidade,
ambas as dificuldades so remediadas. (A40-41/B57-58)
43
Kant est particularmente interessado, na Esttica Transcendental da segunda edio, em dar destaque ao
fato de que sua concepo do espao e tempo como formas puras da sensibilidade a nica alternativa real
(teologicamente impossvel) perspectiva newtoniana (B71-72): Na teologia natural, onde se pensa um
objeto que no apenas no nenhum objeto da intuio sensvel para ns, mas no pode sequer ser um
objeto da intuio sensvel para si prprio, toma-se o cuidado de remover as condies do espao e tempo
de toda sua intuio (pois toda sua cognio deve ser intuio e no pensamento, que sempre uma
manifestao de limitaes). Mas com que direito pode-se fazer isso se se tiver previamente tomado ambos
como formas das coisas em si mesmas e, de fato, formas que, enquanto condies a priori da existncia
das coisas, permanecem mesmo quando as prprias coisas so aniquiladas? (Pois, enquanto condies de
toda existncia em geral, eles devem ser tambm condies da existncia de Deus.) No h, pois,
alternativa, caso no se pretenda fazer deles formas objetivas de todas as coisas, exceto tom-los como
formas subjetivas de nosso modo externo e interno de intuio. [Esse tipo de intuio] chamada sensvel,
porque no original isto , no tal que a prpria existncia dos objetos da intuio seja dada por meio
dela (o que, tanto quanto podemos compreender, s pode pertencer ao ser primordial), mas depende da
existncia dos objetos e s possvel, portanto, na medida em que a faculdade representativa do sujeito
por eles afetada.
31
Michael Friedman
Kant evita com isso os absurdos gmeos de, por um lado, tomar o espao e o tempo como
sendo duas no-entidades [Undinge] eternas e infinitas subsistindo em si mesmas, que
existem (sem que sejam algo real) apenas para conter em si toda a realidade, ou, de
outro lado, relaes de aparecimentos (um ao lado do outro, ou um aps o outro)
abstradas da experincia, embora confusamente representadas nessa abstrao
(A39/B56). A passagem citada acima representa, assim, a culminao do argumento
principal da Esttica Transcendental. 44
Estamos agora em condies de entender mais plenamente por que as interpretaes
diagramticas dos Elementos de Euclides oferecidas por Manders e Shabel no so
adequadas como interpretaes da concepo kantiana da geometria e da intuio
espacial. Como vimos, embora um diagrama fsico real empiricamente desenhado (ainda
que mal desenhado) possa funcionar como uma intuio pura kantiana no contexto de
uma prova geomtrica efetivamente realizada, isso s pode ocorrer, para Kant, se o
diagrama emprico em questo for desenhado de acordo com uma construo prvia na
intuio pura pela imaginao produtiva pura (cf. nota 16 acima). A razo mais
fundamental para isso, como vemos agora, que Kant tem uma agenda filosfica muito
mais ambiciosa do que simplesmente prover uma explicao satisfatria do procedimento
euclidiano de prova. Em particular, as atividades construtivas caractersticas da
imaginao produtiva pura so invocadas no apenas para explicar o que Kant considera
como o paradigma da geometria matemtica pura (a saber, os Elementos), mas tambm
para explicar como mediante a sntese transcendental original da imaginao que
fundamenta a realidade objetiva das categorias tanto o prprio espao como a natureza
fsica no espao necessariamente adquirem sua estrutura matemtica objetiva.
As interpretaes diagramticas dos Elementos de Euclides derivadas de Manders,
ao contrrio, tm objetivos explanatrios mais modestos. Elas pretendem explicar como o
raciocnio por meio de diagramas fsicos individuais, efetivamente traados no quadro44
A Esttica comea (na discusso do espao) indicando trs alternativas (A23/B37-38): Ora, o que so o
espao e o tempo? So eles seres reais? So apenas determinaes ou mesmo relaes de coisas, mas de
modo tal que pertenceriam a estas mesmo tomadas em si mesmas, mesmo se no fossem intudas? Ou so
tais que se ligam unicamente forma da intuio, e, assim, constituio subjetiva de nossa mente, sem o
que esses predicados no podem ser atribudos a coisa alguma? Estas trs alternativas newtoniana,
leibniziana e kantiana formam o quadro de referncia para o argumento principal que se segue,
culminando na passagem citada acima. Aps essa passagem, Kant acrescenta um conjunto de Observaes
Gerais Esttica Transcendental que resumem e comentam o argumento principal. H, na segunda edio,
quatro comentrios desse tipo, dos quais o primeiro comum a ambas as edies e os trs ltimos foram
acrescentados apenas na segunda. O comentrio sobre a teologia natural, citado na nota 42 acima, a
ltima dessas observaes.
32
Michael Friedman
negro ou no papel, podem assegurar a generalidade e necessidade da geometria de

Euclides apesar do bvio fato de que esses diagramas so, no apenas particulares,
como tambm imprecisos. A explicao procede em termos da distino fundamental
introduzida por Manders entre aspectos exatos e co-exatos de diagramas
efetivamente desenhados (grosso modo, entre seus aspectos mtricos e topolgicos), e
no h absolutamente nenhuma necessidade de afirmar que os planos sobre os quais
esses diagramas so realizados sejam planos euclidianos precisos e menos ainda que o
espao fsico tridimensional em que ns vivemos, movemo-nos e temos nossa existncia
seja, ele prprio, precisamente euclidiano. 45 Assim, a descoberta de que, segundo a teoria
da relatividade geral, o espao fsico nossa volta apenas aproximadamente euclidiano,
no representa nenhuma ameaa ao programa de Manders. Contudo, como vimos, a
teoria de Kant da construo na intuio pura visa explicar como sabemos e sabemos a
priori que o espao fsico precisamente euclidiano; e visa explicar isso, como tambm
vimos, exatamente pela mesma atividade de construo na intuio pura que assegura a
generalidade e necessidade dos Elementos de Euclides. Esse o sentido, como afirmei
no incio, em que as interpretaes diagramticas dos Elementos no estilo de Manders
podem, na melhor das hipteses, capturar apenas uma parte do que est envolvido na
concepo de Kant da geometria.46
45 Como Manders explica em Diagram-Based Geometric Practice, op. cit., p. 70-71, h hoje duas
abordagens para reconstruir o raciocnio diagramtico euclidiano baseadas na distino entre aspectos
exatos e co-exatos dos diagramas: a abordagem original de Manders, que toma os diagramas em questo
como objetos fsicos efetivamente desenhados (e usa o que Manders chama teoria de controle de
diagramas apelando a nossas capacidades e prticas humanas para explicar como possvel a
considerao idealizada desses diagramas), e uma segunda abordagem, exemplificada no recente trabalho
de Nathaniel Miller e John Mumma, que envolve a construo de rigorosos sistemas formais de raciocnio
diagramtico nos quais os diagramas aparecem como elementos formais abstratos no interior do sistema
(configuraes topolgicas ou combinatrias) ao lado do texto discursivo (frmulas lingusticas). Embora
Kant no admita objetos matemticos abstratos em sua concepo (na qual os nicos objetos,
estritamente falando, so objetos ou aparecimentos espaotemporais), acredito que esta segunda
abordagem do raciocnio diagramtico est mais prxima em esprito de Kant (para quem, como vimos,
intuies puras j idealizadas precedem toda percepo de aparecimentos). Espero ter a oportunidade de
tratar mais deste assunto em um trabalho futuro.
46
Como indiquei na nota 15 acima, embora no haja dvida de que Shabel, em sua dissertao, desenvolva
uma interpretao da construo kantiana na intuio pura que est bem prxima do esprito da explicao
original de Manders do raciocnio diagramtico, ela tambm visa, em seus trabalhos mais recentes,
incorporar essa explicao em uma discusso mais abrangente da teoria kantiana do espao como forma
pura da intuio na Esttica Transcendental. Mais uma vez, convido o leitor interessado a comparar (e
contrastar) a interpretao que Shabel desenvolve em seus trabalhos mais recentes com a interpretao que
desenvolvi aqui e tambm convido Shabel a explicar o lugar que ela poderia agora encontrar para o
raciocnio diagramtico no estilo de Manders em relao a essa mesma interpretao.

Geometria e Intuição Espacial em Kant

Caricato da

Informazioni sul documento

Descrizione originale:

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Geometria e Intuição Espacial em Kant

Caricato da

Copyright:

Formati disponibili

GEOMETRIA E INTUIO ESPACIAL EM KANT *

A filosofia da geometria de Kant s pode ser adequadamente compreendida no

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

sobre o raciocnio diagramtico em Euclides inaugurados por Kenneth Manders. 1 Em

GEOMETRIA E INTUIO ESPACIAL EM KANT

na qual ela considera os conceitos in concreto no, contudo, empiricamente, mas

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

GEOMETRIA E INTUIO ESPACIAL EM KANT

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

propriedades co-exatas do diagrama estendido, provamos efetivamente uma proposio

Mancosu (2008) (ver nota 1 acima), p. 74.

Shabel, L. Mathematics in Kants Critical Philosophy: Reflections on Mathematical Practice (Routledge:

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

tanto aprioridade como universalidade sua concluso precisamente porque no depende

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

entender o esquema do conceito de tringulo como uma funo ou operao construtiva

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

so dadas por funes de Skolem para os quantificadores existenciais que empregaramos

GEOMETRIA E INTUIO ESPACIAL EM KANT

na imaginao produtiva, onde, como vimos, funes de Skolem so explicitamente

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

todos os outros objetos percebidos pelos sentidos, e , portanto, no mnimo muito

Cf. a importante passagem em A223-224/B272: Parece, certamente, que a possibilidade de um tringulo

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

apreciar o papel que a geometria pura desempenha em nossa percepo de objetos

GEOMETRIA E INTUIO ESPACIAL EM KANT

medida em que gerado [gemacht]. E esse espao geomtrico ento explicitamente

Assim, o espao metafsico o espao considerado na Exposio Metafsica do Espao

A controvrsia em questo discutida e muitos textos relevantes so traduzidos em Allison, H. E.,

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

empricas no uma representao que pudesse de alguma maneira ser abstrada de

20 Veja-se novamente o incio da Esttica Transcendental (A19-20/B33-34): De qualquer maneira e por

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

O segundo argumento prossegue afirmando que o espao uma representao

GEOMETRIA E INTUIO ESPACIAL EM KANT

Qual a relao precisa entre a estrutura a priori atribuda ao espao no primeiro

Em um contexto matemtico moderno, o conceito de um grupo de movimentos euclidianos rgidos

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

Na presente interpretao, portanto, precisamente essa relao entre o espao

GEOMETRIA E INTUIO ESPACIAL EM KANT

Assim, a sntese da imaginao produtiva pura no apenas no emprica e a priori, mas

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT

Assim, o movimento, no sentido relevante o ato puro de sntese sucessiva no espao

De acordo com a passagem principal do texto em B154-155, a sntese transcendental da imaginao no

Kant e-Prints. Campinas, Srie 2, v. 7, n. 1, p. 02-32, nmero especial, jan.-jun., 2012.

GEOMETRIA E INTUIO ESPACIAL EM KANT