Você está na página 1de 31

LEANDRO VAZ DE AZEVEDO

FILOSOFIA MATEMTICA DE IMMANUEL KANT

Trabalho de Concluso de Curso apresentado como


requisito parcial para obteno do ttulo de
licenciado em Matemtica, pelo Curso de
Licenciatura em Matemtica da Faculdade Integrado
de Cincias Humanas e Educao de Guarulhos.

Orientador: Prof. Dr. Rogrio Fonseca

GUARULHOS

2009
Dedico esse trabalho, especialmente memria de
meu pai, que at hoje me lembro de nunca ter
aprendido o conceito de raiz quadrada, pai pelo
menos isso eu consegui.
Existem situaes na vida que fundamental contar com a ajuda de algumas pessoas.

A minha esposa, Cristiane Flix, que foi minha fortaleza;

A minha me, Maria Regina pelo incentivo;

Ao meu orientador Prof. Dr. Rogrio Fonseca;

A todos os professores pelos conhecimentos adquiridos durante essa jornada;


O homem s pode ser homem mediante a
educao

(Immanuel Kant 1724 a 1804)


Resumo

A problemtica a ser desenvolvida consiste: Como possvel a Matemtica


Pura, segundo Kant?

Como um estudante se baseia numa cincia com a Matemtica sem ao menos


conhecer os critrios que a validem como cincia.

A inteno do trabalho no dizer se Kant est correto em suas definies, mas


sim expor as ideias Matemticas desse filsofo que revolucionou o pensamento.

O trabalho apresenta a Histria da Filosofia Matemtica, passando por


Racionalismo, Empirismo, Construtivismo, entre outras correntes.

Palavras Chaves: Kant, Filosofia da Matemtica, Epistemologia, Histria da


Matemtica.
Abstract

The problem to be developed consists: How is the Pure Mathematics possible,


according to Kant? As a student bases on a science with the Mathematics without at least
to know the criteria that validate her/it as science. The intention of the work is not Kant to
say it is correct in their definitions, but to expose that philosopher's Mathematical ideas
that it revolutionized the thought. The work presents the History of the Mathematical
Philosophy, going by Rationalism, Empiricism, Constructivism, among other currents.
.
Key words: Kant, Philosophy of the Mathematics, Epistemology, History of the
Mathematics
Sumrio

INTRODUO ..................................................................................................... 9

1 CORRENTES FILOSFICAS ..................................................................... 10

1.1 Pitgoras ............................................................................................ 10

1.2 Plato ................................................................................................. 11

1.3 Aristteles .......................................................................................... 11

1.4 Leibniz ............................................................................................... 12

1.5 Logicismo........................................................................................... 13

1.5.1 Frege ............................................................................................... 13

1.5.2 Russel .............................................................................................. 13

1.6 Construtivismo .................................................................................. 13

1.7 Intucionismo ...................................................................................... 13

1.8 Predicatismo de Poincar.................................................................. 14

1.9 Formalismo........................................................................................ 14

1.10 Teorema de Gdel ........................................................................... 14

2 - Biografia ......................................................................................................... 15

3 - Epistemologia Kantiana ................................................................................. 16

3.1 Distino entre conhecimento puro e emprico ....................... 16

3.2 Distino entre Juzos Analticos e Sintticos ......................... 18

4 - Esttica Transcendental ................................................................................. 20

4.1 Espao....................................................................................... 21

4.2 Tempo ....................................................................................... 21


5 - GEOMETRIA ................................................................................................ 21

5.1 Geometria como conhecimento a priori ................................... 22

5.2 Geometria como conhecimento Sinttico ................................ 22

6 - KANT E O MTODO ANLISE SNTESE.............................................. 24

6.1 Descartes ................................................................................ 25

6.2 Newton ................................................................................... 25

6.3 Kant ........................................................................................ 25

7 ARITMTICA ............................................................................................... 27

7.1 Nmero ..................................................................................... 28

8 LGEBRA ..................................................................................................... 28

CONCLUSO ..................................................................................................... 29

REFRENCIAS BIBLIOGRFICAS................................................................ 30
INTRODUO

Os motivos que levam a explicitar as ideias de Kant no s na matemtica, mas


tambm na epistemologia a grande influncia que esse filsofo causou e ainda causa
no pensamento contemporneo.

Kant est para filosofia assim como Coprnico est para Astronomia, portanto
no se trata de que o sujeito gravita em torno das coisas em si, como tambm, com a
novidade da astronomia de Coprnico, no se trata mais de que todo o corpo de astros
gira em torno de ns espectadores (geocentrismo). As coisas, como fenmenos, se
orientando em funo de nosso modo de relacionamento com elas so agora os objetos
que se conformam e que se moldam, segundo a forma da nossa subjetividade.

As ideias de Kant em relao matemtica so citadas por outros filsofos,


mesmo esses, no concordando com ele. Isso prova a necessidade de explicitar sua
filosofia matemtica.

A problemtica a ser desenvolvida consiste na seguinte questo: Como so


possveis os conhecimentos matemticos, segundo Kant?

A inteno deste trabalho, aqui apresentado, no dizer se Kant est correto em


suas definies, mas sim explicitar as ideias matemticas desse filsofo que
revolucionou o pensamento.

O mtodo utilizado foi na pesquisa terica baseada em referncia bibliogrfica.

At mesmo pelo tema do trabalho, o leitor pode se perguntar: Qual a relao da


matemtica com a filosofia?

A Filosofia da Matemtica (em especial a de Kant) tem como objetivo responder


questes relacionadas a problemas sobre a matemtica e no de matemtica.

Como possvel a Matemtica Pura?

Qual a definio de Nmeros?

Que tipo de conhecimento a Matemtica est ancorada?

Que raciocnios matemticos podem ser considerados Pensamentos Sintticos


Priori?
A Matemtica apresenta peculiaridades para qualquer epistemologia, dentre as
quais se destacam algumas correntes filosficas.

1. CORRENTES FILOSFICAS

Em princpio, a matemtica surgiu na cultura como sendo uma tcnica de fazer


clculos aritmticos e geomtricos.

Historicamente, os Egpcios destacaram-se com uma matemtica mais


desenvolvida, mas a histria mostra que os Babilnios foram melhores.

Certamente, os Babilnios tinham conhecimento sobre o Teorema de Pitgoras,


mas tinha uma pendncia: necessitava de uma demonstrao mais detalhada.

O que marca o incio da Matemtica Grega pode ser remetido aos tempos de
Tales de Mileto, a quem foi admitido primeira demonstrao. Tales, tambm,
considerado como o primeiro filsofo.

Os gregos viam, na matemtica, o acesso prpria estrutura ntima dos cosmos.

Pitgoras e Plato so considerados como os grandes matemticos gregos.

1.1 Pitgoras

Pitgoras nasceu em Samos vivendo por volta do final do sculo VI a.C.

Pitgoras, juntamente com seus discpulos, criou uma espcie de seita mstica,
na qual predominava o racionalismo grego e alguns elementos que consideravam
mgicos e que foram utilizados pelos povos do leste e do sul da Grcia.

Para Pitgoras a Arch era os nmeros.

Pouco sabe-se da vida de Pitgoras. Uma das descobertas dos pitagricos


consistia nos intervalos musicais que correspondiam s razes numricas simples (a

oitava a , mas o pice dos pitagricos foi descoberta das


grandezas incomensurveis.

O pinculo da Matemtica Grega deu-se com Plato e Aristteles.


1.2 Plato

A filosofia matemtica de Plato marcada pela seguinte definio: Os objetos


matemticos, como os nmeros e as figuras geomtricas, existem independentes de
qualquer sujeito e objeto e para conhecer esses objetos, apenas ser possvel, por meio
do intelecto (entendimento).

Para Plato, o Entendimento era ascender ao reino dos objetos matemticos.

Os objetos so ideias que existem fora do tempo e do espao.

A geometria considerada por Plato como a atividade essencial para filosofia.


A quem diga que no prtico que ficava na entrada de sua Academia tinha os seguintes
dizeres: No adentrasse quem no conhecesse geometria.

Segundo Plato, o conhecimento matemtico puramente intelectual e no


requeria a participao dos sentidos.

A matemtica, segundo Plato, aplica-se ao mundo real, porque esse mundo


participa das formas ideais.

1.3 Aristteles

J para Aristteles, a matemtica seguia um outro caminho, mesmo ele sendo o


maior discpulo de Plato.

Para Aristteles, os objetos matemticos de carter quantitativo e geomtrico do


mundo real existem independentes de um sujeito, mas no de objetos reais.

Alguns objetos existem apenas como possibilidades, ou fices, se pudessem ser


construdos.

Por exemplo, o miragono (polgono de dez mil lados), para Aristteles, ele
existe, pois pode ser construdo por figuras como crculos e segmentos de retas, ou
seja, algo que existe.

Para Aristteles, existe uma matemtica de cenrios possveis, pronta para uma
realidade que poderia existir.
Como Plato, Aristteles acreditava que o conhecimento matemtico era
intelectual, mas a discrepncia entre ele e Plato era que Aristteles acreditava que
precisava de uma certa medida dos sentidos.

Para eles, sem os sentidos, no teria como ter acesso aos objetos matemticos.

Aristteles defendia a matemtica como sendo uma cincia racional com


abstrao do mundo emprico.

O que percebe-se ao longo da Histria ou at mesmo da Filosofia da Matemtica


era a incessante discusso entre o conhecimento matemtico: se ele era racional ou
emprico.

A partir do sculo XVII essa dicotomia fica mais explcita.

Grandes mudanas ocorreram no sculo XVII. Surgia a Filosofia Moderna de


Descartes.

H a criao do clculo infinitesimal por Leibniz e Newton.

1.4 Leibniz

Para Leibniz, existem dois tipos de verdades: as verdades de fato, as quais se


podem negar a infrao da lgica e as verdades da razo, cujas negaes so
contradies lgicas.

A matemtica enquadra-se nas verdades da razo, segundo Leibniz. No


obstante, as verdades da razo so necessariamente verdadeiras e se fossem falsas no
poderiam conhecer com as ferramentas da Lgica.

Portanto, as verdades matemticas eram, segundo Leibniz, necessrias e a priori.

As verdades matemtica encontram-se dormentes na mente humana e para


conhec-las, segundo Leibniz, migrada por vontade divina j, que Deus a conhece
com toda distino.

Para Leibniz, as noes matemticas de nmeros e as de figuras so


simultaneamente sensveis e inteligveis, por serem universalmente aplicadas, s
podem ser racionais, mesmo que, para compreend-las, precise de auxilio dos
sentidos.
1.5 Logicismo

1.5.1 Frege

Gottlob Frege (1848 1925) era filsofo e matemtico alemo, que tinha como
inteno reduzir a Aritmtica Lgica.

Frege criou uma lgica moderna diferente daquela criada por Aristteles.

Para Frege, os conhecimentos aritmticos eram analticos, ou seja, eram pura


lgica.

J na Geometria, Frege concordava com Kant, para ele os conhecimentos da


Geometria eram sintticos a priori.

1.5.2 Russel

Bertrand Russell (1872 1970) foi filsofo e matemtico britnico e para ele, o
problema no estava to ancorado no sistema lgico de Frege.

Segundo Russell, a origem do problema pertence a uma classe que foi definida
como totalidade de conjuntos SILVA (2007, p.134) o conjunto de todos os
conjuntos que no pertencem a si prprios.

O sistema de Russell envolve apenas expresses do tipo y satisfaz O

Onde y representa um objeto indeterminado e O uma constante determinada.

1.6 Construtivismo

A ideia central do construtivismo era que todo e qualquer conhecimento deveria


partir da intuio.

1.7 Intuicionismo

O fundamento da Filosofia Intuicionista era de que as entidades abstratas


existiam somente quando eram construdas pela mente humana, ou seja, o que no
iniciasse da intuio no era matemtica.

Um dos principais representantes foi Luitzen E. J. Brower.


1.8 Predicatismo de Poincar

Henri Poincar, considerado como o maior matemtico nos fins do sculo XIX,
concordava com Kant, com relao a Aritmtica em sua filosofia matemtica.

Na Geometria, para SILVA (2007, p.169) :

Uma Geometria nada mais era que o estudo das invariantes de um


grupo de transformao.

Um grupo de transformaes um conjunto de funes definidas num


domnio de objetos que podem ser compostas e que obedecem a certas
propriedades.

Os invariantes de um grupo so as propriedades dos objetos sobre os


quais essas transformaes agem que no se perdem por ao delas.

1.9 Formalismo

O principal objetivo do formalismo provar que as ideias matemticas no


apresentam contradies.

O pensamento central que as entidades matemticas no existem nem como


objeto real nem como objeto mental.

O principal cone da filosofia formalista foi David Hilbert.

A inteno de Hilbert era estabelecer uma linguagem formal, com


demonstraes livrando a matemtica da contradio. Para completar SILVA (2007, p.
204) Todo problema matemtico bem posto Admitiria uma soluo.

1.10 Teorema de Gdel

Em 1931, um jovem austraco, de 25 anos, pe em questo o formalismo de


Hilbert.

Esse jovem chamava-se Kurt Gdel. Gdel apresentava nesse mesmo ano seu
artigo intitulado de Sobre proposies formalmente indecidveis do Principia
Mathematica e sistemas relacionados I.

Segundo SILVA (2007, p. 204 e 205):


Gdel desferia dois golpes quase fatais no programa formalista
de Hilbert. O primeiro: ele demonstrava que a aritmtica formal, e por
extenso a maior parte das teorias matemticas interessantes, era
incompleta (e, pior, incompletvel).

Ainda em SILVA (2007, p. 205):

Gdel constri uma assero A que diz que ela prpria no


demonstrvel. Se essa assero fosse falsa, seria demonstrvel; logo,
verdadeira (pois tudo que se pode demonstrar verdadeiro). Logo,
como se supe que a teoria consistente, ela verdadeira, sendo,
portanto, indemonstrvel. Ou seja, h uma assero aritmtica (a
traduo de A na aritmtica via o processo inventado por Gdel em
que asseres meta-tericas so traduzidas mecanicamente em
asseres aritmtica) verdadeira, mas no demonstrvel na aritmtica
formal.

Afinal, essas foram as principais correntes da Filosofia da Matemtica, a


inteno foi expor alguns pensamentos em relao Filosofia da Matemtica. Sendo
assim ser explicitado o objetivo do trabalho que a Filosofia Matemtica de
Immanuel Kant.

2. BIOGRAFIA

Immanuel Kant nasceu em Knisberg, uma cidade da antiga Prssia, que hoje se
situa na Polnia, em 22 de abril de 1724. Filho de pais pobres, tem sua formao
escolar e universitria financiada por um telogo amigo da famlia. Em 1740,
matricula-se na Universidade de Knisberg, no curso de teologia, mas logo seu
interesse se concentra na Matemtica e nas Cincias Naturais, em especial a Fsica
Newtoniana. Torna-se livre docente nessa mesma universidade em 1755 e passa a se
dedicar ao estudo da filosofia racionalista de Leibniz (1646 1716) e Wolff (1679
1754).

A partir de 1770, ano em que se faz professor catedrtico, ministra cursos nas
mais diversas reas de interesse acadmico. Preparava uma de suas mais importantes
obras, a Crtica da Razo Pura, que aparece s em 1781.
Em 1788, publicada a segunda Crtica, a Crtica da Razo Prtica, e, em 1790,
a terceira, Crtica da Faculdade do Juzo.

Na dcada de 1790, Kant publica importantes obras sobre religio, direito,


antropologia e filosofia da histria.

Em 1796, o filsofo encerra sua atividade na Universidade de Knisberg e falece


em 12 de fevereiro de 1804.

A Filosofia Moderna marcada pelo conflito entre duas correntes filosficas: o


Racionalismo e o Empirismo.

Tanto os racionalistas como os empiristas concordavam que as proposies da


matemtica so analticas.

Kant pode ser considerado o sintetizador desses dois pensamentos. Da mesma


maneira que Coprnico revolucionou a Astronomia, Kant a Filosofia.

3. EPISTEMOLOGIA KANTIANA

3.1 Distino entre conhecimento puro e emprico

Antes de comear a falar da filosofia matemtica de Kant mister distinguir os


tipos de conhecimento.

Todo conhecimento comea com a experincia, pois do contrrio, de que forma


a faculdade do conhecimento deveria ser despertada para o exerccio seno por meio
de objetos que tocam nossos sentidos.

Embora, todo conhecimento comece com a experincia, nem por isso todo
conhecimento origina-se da experincia.

Na Crtica da Razo Pura, Kant distingue dois tipos de conhecimento: o


emprico ou a posteriori; e o puro ou a priori.

O conhecimento emprico ou a posteriori reduz aos dados fornecidos pela


experincia, j o conhecimento puro ou a priori no depende de nenhuma experincia
sensvel. importante salientar a definio de conhecimento para Kant.
Segundo Kant, o conhecimento (cognitio) define-se como percepo objetiva ou
representao objetiva sem conscincia. Por conscincia, entende-se a representao
que forma a condio universal de todo conhecimento geral.

Existem conhecimentos que derivam de fontes de experincia, costuma-se dizer


que somos participantes dele a priori, porque o derivamos no imediatamente da
experincia.

Por exemplo, se algum tirar as colunas de um prdio, ele pode saber a priori
que o prdio pode vir a desmoronar-se, mesmo sem a experincia de seu
desmoronamento, mas no podia sab-lo inteiramente a priori, pois o fato dos corpos
serem pesados e caem quando suas colunas so retiradas, tinha antes que ser
conhecidos pela experincia.

Para um conhecimento ser a priori, ele no pode ser independente da


experincia, ele deve ser absolutamente independente da experincia.

A experincia nos ensina que algo constitudo deste ou daquele modo, mas no
que possa ser diferente.

Se uma proposio pensada concomitante a sua necessidade, ento ela um


juzo a priori. Juzo fornece a matriz de toda filosofia de Kant.

A definio de juzo pode se enquadrar como a faculdade de julgar, mas para


Kant existem trs tipos de Juzo:

Os Juzos Tericos contm um ou um no e so encontrados na Crtica da


Razo Pura;
Os Juzos Prticos contm um deve, a necessidade de por que a razo, algo
acontece para este ou aquele fim, encontrado na Crtica da Razo Prtica;
Juzos Estticos do Gosto contm uma referncia aos sentimentos do prazer ou
desprazer, encontrados na Crtica da Faculdade do Juzo.

No mago da Crtica da Razo Pura est a afirmao de que todos os juzos so


funes da unidade de nossas representaes.

A experincia jamais d aos seus juzos, universalidade verdadeira ou rigorosa,


mas somente suposta e compativa (induo).
Se um juzo pensado com universalidade rigorosa, isto , de modo a no ser
permitida nenhuma exceo como possvel, ento no derivado da experincia.

3.2 Distino entre Juzos Analticos e Sintticos

Os Juzos Analticos so aqueles quando a conexo do predicado com o sujeito,


for pensada por identidade, ou seja, aqueles que nada acrescentam ao sujeito.
Exemplo: O tringulo um polgono de trs lados. Esse Juzo tambm pode ser
chamado de Juzo de Elucidao.

Os Juzos Analticos so a priori, independem da experincia, serve apenas para


tornar mais claro aquilo que se conhece, universal e necessrio, pois mesmo assim
so poucos teis a cincia por no conduzirem a novos conhecimentos.

Os Juzos Sintticos so aqueles quando a conexo do predicado com o sujeito,


no for pensada com identidade, ou seja, so aqueles que acrescentam algo ao sujeito.
Exemplo: Todos os corpos so pesados. Esse Juzo pode ser chamado de Juzo de
Ampliao.

Os Juzos Sintticos so classificados em dois tipos: Juzos Sintticos a


posteriori e Juzos Sintticos a priori.

Juzos Sintticos a posteriori quando o predicado no est contido na ideia do


sujeito, mas atribudo por meio da experincia e por serem particulares e incertos
no tm valor nenhum cincia.

Juzos Sintticos a priori, so sintticos quando acrescentam algo ao sujeito e a


priori por serem universais e necessrios. Segundo Kant, esse tipo de Juzo
encontrado na Matemtica e na Fsica. Como so possveis esses juzos na
matemtica?

4. ESTTICA TRANSCENDENTAL

Pode at parecer confuso falar de conhecimento referindo-se a Esttica, mas o


sentido de Esttica para Kant, nesse contexto, est relacionado Sensibilidade que
vem do grego asthsis e j a palavra Transcendental vem do vocabulrio medieval
que significa, aquilo que torna possvel alguma coisa, a condio necessria de
possibilidade de existncia e do sentido de alguma coisa.

Portanto, segundo Kant, a Esttica Transcendental uma cincia de todos os


princpios da sensibilidade a priori.

A definio de sensibilidade para Kant a faculdade das intuies, e por


intuio entende-se a viso direta e imediata de um objeto, no obstante, a
capacidade que o esprito possui de ser afetado por objetos.

importante salientar, que o sentido da palavra esprito na filosofia definido


pelo conjunto total das faculdades intelectuais. Segundo Kant, Sejam quais forem a
maneira e os meios pelos quais um conhecimento possa relacionar-se com objetos, o
modo pelo qual o conhecimento se relaciona imediatamente a ele, e ao qual todo
pensamento visa a um meio (para atingi-lo), intuio.

O primeiro passo para o conhecimento a sensao, que a produo de um


objeto na sensibilidade. Nesse caso, a intuio que se relaciona com objeto chamada
por Kant de intuio emprica e o objeto dessa intuio fenmeno.

Por exemplo, ao se deparar com um tringulo, a viso imediata chamar intuio


emprica e o tringulo fenmeno.

No obstante, a sensao do fenmeno chamada de matria. A ordenao


mltipla do fenmeno, Kant denomina forma.

Usando como exemplo o tringulo, seus lados, vrtices e ngulos so o contedo


da sensao, ou seja, a matria, e a maneira que esses elementos se ordenam a forma.

Se a matria dada pela sensao, a posteriori, logo a forma dada a priori.

Mas no s no entendimento que se encontram as formas, elas podem ser


encontradas na Sensibilidade.

Segundo Kant, quando na representao de um corpo, se abstra do que ele pensa


o entendimento, como substncia, a fora, a divisibilidade, bem como daquilo que
pertence sensao, como a impenetrabilidade, a dureza, a cor, resta-se ainda alguma
coisa dessa intuio emprica, a saber, a extenso e a figura.
Nessa citao de Kant, ele diz que mesmo abstraindo a matria e a forma, ainda
resta a extenso e a figura que so denominadas intuies puras, por no pertencerem
as formas do entendimento, nem da sensao.

O que restam so princpios do conhecimento a priori, espao e tempo.

Kant define espao sendo a forma do sentido exterior, ou seja, a representao


do objeto fora de ns. J em relao ao tempo, Kant define como forma do sentido
interior, ou seja, de perceber estados internos.

Tudo aquilo que se situa fora de ns, situa-se no Espao e todas as


determinaes de ns mesmos situa-se no Tempo.

4.1 Espao

Segundo Newton, so seres reais ou realidades absolutas.

J para Leibniz, so relativos, sendo o espao a ordem das coexistncias e o


tempo a ordem das sucesses.

Kant afirma que o espao no pode ser um conceito formado a partir da


experincia exterior, visto como, ao contrrio, toda experincia exterior supe o
espao.

Segundo PASCAL (2005, p. 52 - 53):

O espao no um conceito emprico derivado de experincias


exteriores. Com efeito, parta que certas sensaes possam ser referidas
a alguma coisa fora de mim (isto , a uma coisa situada em outro lugar
do espao, diferente daquele que me encontro) e, da mesma forma,
para que eu possa representar-me as coisas como fora e ao lado umas
das outras e, por conseguinte, como sendo diferentes, mas situadas em
lugares diferentes, preciso que a representao do espao esteja
posta como fundamento.
O espao a priori, porque a sua representao a prpria condio da
possibilidade dos fenmenos. Pode se ter um espao sem nenhum objeto, mas no se
pode perceber objeto fora do espao.

O espao no conceitual, pois um conceito constitudo de elementos mais


simples do que ele, e uma parte do espao no so mais simples que o espao visto
como um todo.
O espao s pode ser uma intuio.

4.2 Tempo

Assim como o espao, o tempo uma intuio pura.

Segundo PASCAL (2005, p.57) a condio de todo vir-a-ser; a mecnica e a


fsica repousam nessa intuio a priori, assim como a Geometria repousa na intuio
do a priori espao.

O tempo no pode originar-se da experincia, pois se percebe as relaes


temporais de simultaneidade ou de sucesso por termos.

Para PASCAL (2005, p. 58) O tempo a condio formal a priori de todos os


fenmenos em geral..

Pelo que foi apresentado at ento, a Esttica Transcendental responde a


pergunta Como possvel a Matemtica Pura?, ou seja, pela anlise das formas a
priori da sensibilidade, do espao e tempo.

A sensibilidade apenas uma das duas fontes do conhecimento, a outra o


entendimento.

Segundo PASCAL, (2005, p. 62):

Intuio e conceitos constituem, pois, os elementos de todo nosso conhecimento;


de sorte que nem os conceitos sem uma intuio de algum modo lhe correspondam,
nem uma intuio sem conceitos pode fornecer um conhecimento.

5. GEOMETRIA

Segundo Kant, a Geometria se baseia na intuio pura do espao, e assim que


se explica a certeza a priori de seus princpios.

Segundo PASCAL (2005, p. 54):

A Geometria uma cincia que determina sinteticamente e,


contudo, a priori as propriedades do espao, para que tal
conhecimento dele se torne possvel? Ele deve ser originalmente, uma
intuio; pois de um simples conceito impossvel tirar proposies
que ultrapassem o conceito, o que, entretanto, ocorre em Geometria
(Introduo V).

5.1 Geometria como conhecimento a priori

Como devem ser encarados os postulados de Euclides e que posio deve


assumir emprico ou a priori?

Segundo Plato, os conhecimentos geomtricos no podiam ser a posteriori,


pois nunca se podem ver pontos, o que se v so manchas, nunca se pode ver linhas o
que se v so linhas com alguma espessura. Em relao s figuras, nunca se v um
crculo ou um tringulo genuno, por isso o conhecimento geomtrico no pode ser
emprico, logo a priori.

Obviamente o argumento de Plato no conclusivo.

Na Critica da Razo Pura, Kant d um novo argumento para a Geometria em


relao ao tipo de conhecimento que ela est ancorada.

Para Kant, os postulados de ponto, linha e reta, no podem ser a posteriori. Para
ele, a soma dos ngulos internos de um tringulo igual a dois ngulos retos, se fosse
emprica no seriam todos os tringulos, mesmo que o observador tivesse contato com
inmeros tringulos, ou seja, no apresentaria universalidade, no obstante, sabe que
necessrio que a soma dos ngulos internos de um tringulo seja igual a dois ngulos
retos.

5.2 Geometria como conhecimento Sinttico

At o sculo XIX, acreditavam que os postulados de Euclides eram dedutveis,


ou seja, constituam verdades a priori. Isso tornaria os princpios sintticos e no
analticos.

Qual seria a demonstrao de verossimilhana da Geometria como


conhecimento sinttico?

Segundo Kant, as leis so simples verdades verbais como encontradas na Lgica.


bvio que alguns enunciados so analticos, exemplo do crculo, que uma figura,
logo isso decorre da definio do crculo. Um crculo uma figura plana contida por
uma linha, tal que, todas as linhas retas que a ela conduzem, de um ponto existente no
interior da figura, so iguais.

Assim sendo sintticos, os postulados da Geometria, como possuir esse


conhecimento?

Segundo o pensamento de Kant, a absoro das verdades geomtricas no est


ligada a nada exterior, e sim interior ou em melhores palavras, s formas da
Sensibilidade.

Para Kant, a Geometria uma cincia que determina sinteticamente e, contudo, a


priori as propriedades do espao. Segundo PASCAL (2005, p. 54):

O que deve ser ento a representao do espao, para que tal conhecimento dele
se torne possvel? Ele deve ser originariamente, uma intuio; pois de um simples
conceito impossvel tirar proposies que ultrapassam o conceito, o que, entretanto,
ocorre em geometria, mas essa intuio deve encontrar-se em ns a priori, isto ,
anteriormente a toda percepo de um objeto; por conseguinte, deve ser uma intuio
pura, e no emprica. Pois as proposies Geomtricas so todas apodticas, isto ,
implicam a conscincia de sua necessidade.

Reforando os conhecimentos geomtricos como sintticos a priori, segundo


SILVA (2007 p.99-100).

Consideremos o teorema angular de Tales, ele nos garante que a soma dos
ngulos internos de um tringulo qualquer igual a dois retos.

Usa-se a intuio para chegar at essa verdade.

Traa-se na imaginao, um tringulo qualquer, o que se precisa apenas do


espao (intuio pura), que dado pela sensibilidade. Agora, por um dos vrtices do
tringulo imaginrio, traa-se uma reta paralela ao lado oposto a esse vrtice,
percebe-se que, os trs ngulos formados pelos dois lados do tringulo adjacentes ao
vrtice, por onde passa a reta, somam dois retos.

Segundo SILVA (2007, p. 101) Essa construo mostra que o teorema de


Tales vlido para qualquer tringulo que se possa conceber.
Ainda em SILVA (2007, p.101-102) Vemos, assim, como as intuies puras do
espao e do tempo e a imaginao pura nos fornecem um substituto dos sentidos e da
experincia emprica esse nos fornecem conhecimentos sinttico a posteriori, aqueles
nos do um conhecimento sinttico a priori.

6. KANT E O MTODO ANLISE SNTESE

Antes de iniciar a trajetria de Kant em relao aos gemetras gregos,


fundamental definir alguns conceitos.

Kant combina dois sentidos de anlise em sua obra: a primeira tramita


lematicamente e parte do pressuposto de que uma proposio verdadeira e procura-se
outra verdade conhecida, da qual essa proposio pode ser reduzida. A segunda
decompe totalidades complexas em seus elementos.

Na sntese, aquilo que antes era antecedente, e ligando-se uns aos outros se
chega ao final construo daquilo que procurado.

H dois tipos de Anlise: a Terica que procura a verdade e a Problemtica que


serve para executar o que se deseja fazer.

No livro Logic, Language Games and Information, de Hintikka, foi a primeira


possibilidade dos pensamentos de Kant relacionados com a Geometria Grega.

O mtodo analtico consiste num determinado procedimento dos antigos


gemetras gregos no sentido de descobrir a prova de teoremas ou construo de
figuras geomtricas requeridas. Esse mtodo era composto de um duplo movimento
Anlise e Sntese:

Anlise: buscavam os antecedentes dos teoremas a serem provados ou as


condies que tornassem possveis a construo de figuras geomtricas;
Sntese: por meio da anlise, apresentava a prova dos teoremas ou construo
de figuras geomtricas.

Antes de se aprofundar no mtodo anlise-sntese em Kant, interessante citar


alguns filsofos em relao ao mesmo mtodo.
6.1 Descartes

Em Descartes, o mtodo Analtico foi a base para suas consideraes


metodolgicas gerais.

Segundo Descartes, a anlise mostra o verdadeiro caminho pelo qual uma coisa
foi metodicamente descoberta e revela como os efeitos dependem de suas causas.

A sntese, ao contrrio, mostra claramente o que est contido em suas concluses


e serve-se de uma longa srie de definies.

Descartes disse que os gemetras s apresentavam a parte sinttica em seus


inscritos. Os matemticos tinham ocultado intencionalmente os mtodos analticos,
que para Descartes eram vitais.

Por sua vez, nos Elementos de Euclides, as demonstraes j comeam com


certas condies, cujo trmite heurstico no exibido. Ainda em Descartes, o
racionalista optava pelo mtodo analtico no qual parece ser o mais prprio ao
ensino e onde se mostra toda estrutura heurstica.

6.2 Newton

J para Newton, em seu livro Opticks, influenciado por Descartes, disse que os
mtodos analticos revelam como os efeitos dependem de suas causas, ou seja, uma
sequncia de passos que vai dos efeitos at suas causas.

Ressalta Newton que a anlise consiste em fazer experimentos e observaes e


deles tirar concluses por induo, no admitindo quaisquer objees contra tais
concluses.

Newton d nfase, associando seu mtodo de investigao anlise geomtrica


grega.

6.3 Kant

Como no houve uma teoria geral do mtodo utilizado na filosofia de Kant, os


mtodos dos antigos gemetras encontram-se espalhados por diversas de suas obras.

Podem ser destacados os Prolegmenos e a Critica da Razo Pura.


Nos Prolegmenos, Kant diz que o mtodo analtico, na medida em que oposto
ao sinttico, algo muito diferente do que um agregado de proposies analticas.

Isso quer dizer que, se comea do que est sendo buscado como j se fosse dado,
e sobem-se as condies sob as quais possvel.

Nos Prolegmenos, Kant usou o mtodo analtico, pois se trata de adotar um


procedimento regressivo at as fontes que no se conhece.

J na Crtica da Razo Pura, Kant utilizou o mtodo sinttico, pois Kant procede
progressivamente da prpria razo e dos elementos de seu uso puro at a exposio
do conhecimento pretendido, o sistema Transcendental.

Kant reconheceu junto aos gemetras, que o primeiro movimento do mtodo


anlise-sntese um mtodo heurstico, pois mostra o que tem que fazer para trazer
realidade uma cincia, j o segundo movimento, serve para expor a cincia descoberta
na anlise.

Quando Kant cita a palavra construo existem vrios sentidos dentre os quais
todos inspirados naqueles da Matemtica.

Para Kant, quando se quer construir um tringulo, restringe-se a sua instanciao


na intuio pura, tem um trmite intrinsecamente matemtico.

Os gregos antigos, para provar um teorema (proposio), eram instanciados por


intermdio da exibio de uma figura e essas instanciaes so empregadas na
descoberta e na prova de incgnitas objetivas.

Kant exemplifica da seguinte maneira:

Suponha-se que, um gemetra se depare com o problema de descobrir como a


soma dos ngulos internos de um tringulo se relaciona com um ngulo reto. O
mtodo de anlise-sntese o instrui a supor o problema como resolvido e comear a
construir um tringulo.

Em seguida, j na anlise estrita ou transformao, o gemetra amplifica o


tringulo construdo prolongando um de seus lados a fim de obter dois ngulos
adjacentes que somam o mesmo que dois retos e dividindo o ngulo externo com uma
linha paralela ao lado oposto do tringulo.
Na resoluo, ele demonstra a legitimidade das construes auxiliares recm-
descobertas, recorrendo entre outras coisas, proposio que afirma que, a soma de
dois ngulos retos perfaz exatamente tanto quanto a soma de todos os ngulos
adjacentes traveis, a partir de um ponto pertencente a uma linha reta.

Finalmente, na sntese, o gemetra constri efetivamente o tringulo suposto e,


mediante uma cadeia de inferncias, chega soluo totalmente elucidativa e
concomitante universal do problema.

7. ARITMTICA

A filosofia de Kant em relao Aritmtica gira em torno da proposio


, na qual Kant insiste que uma verdade sinttica a priori.

Kant afirma que as proposies aritmticas, denominadas por ele de frmulas de


igualdade numricas, so indemonstrveis.

Os axiomas so proposies que devem ser universais, porm sintticas.

As noes comuns de Euclides ou as idnticas de Leibniz so consideradas por


Kant de frmulas numricas.

Voltando proposio , essa proposio no pode ser analtica, pois


no se pensa no nmero 12 sendo uma representao de sete mais cinco.

O conceito de sete representado intuitivamente por uma sequncia temporal de


sete instantes, do mesmo modo representa-se o nmero cinco, que adicionado a primeira
parcela resulta doze.

Kant sugeriu o auxilio dos dedos das mos.

Para Kant, a regra para obteno de exemplos de conceitos numricos na intuio


temporal consiste na representao de sequncias temporais de unidades homogneas
indiferenciadas.
7.1 Nmero

Segundo ABBAGNANO (1998, p. 733):

Kant s fazia expressar o mesmo conceito geral ao afirmar que o


nmero um esquema mais precisamente que ele a representao
que compreende a sucessiva adio de um a um. A novidade do
conceito kantiano que o nmero uma operao emprica, efetuada
em material sensvel, mas uma operao puramente intelectual, que
atua sobre a multiplicidade dada pela intuio pura (do tempo), que
ento emprico; mas o nmero continua sendo uma operao do
sujeito.

O nmero o esquema correspondente s categorias das quantidades: unidade,


pluralidade e totalidade.

Ainda em Kant, o esquema a representao de um procedimento universal da


capacidade da imaginao, tendo como incumbncia proporcionar a um conceito sua
imagem. Por exemplo: colocam-se cinco pontos um aps o outro, isto uma imagem do
nmero cinco.

Se pensar s num nmero, por exemplo, 666, o pensamento ser s um mtodo de


representar uma quantidade.

Enumerar segundo Kant, uma sntese segundo conceitos, pois ocorre segundo
um fundamento comum da unidade.

Kant afirma que somente objetos de uma possvel intuio sensvel podem estar
sujeito a uma avaliao numrica ou quantitativa, ou seja, a Matemtica s pode ser
aplicada a objetos sensveis.

8. LGEBRA

Na poca de Kant, a lgebra era vista como uma cincia matemtica que consistia
num conjunto de tcnicas para resoluo de equaes denominadas algbricas.

Assim como a Geometria e a Aritmtica, proposies algbricas eram


consideradas por Kant como sintticas a priori, pelo fato de incgnitas e variveis
representar nmeros.
Os Nmeros Irracionais no podem ser representados pela intuio pura temporal,
mas segundo Kant, por exemplo: pode ser representado pela diagonal de um
quadrado de lado de medida 1.

Os nmeros imaginrios, segundo Kant, so denominados conceitos vazios, pois


no podem ser representas nem pela intuio pura espacial nem temporal, e ainda
acrescenta, deveria ser banido da matemtica.

Em relao Geometria no euclidiana, Kant dizia ter uma estrutura


intrinsecamente euclidiana.

Concluso

A inteno do trabalho foi explicitar, parcialmente, as ideias de Kant, em relao


Matemtica, mostrando possibilidade dos conhecimentos matemticos, a definio de
nmero, a distino entre conhecimento analtico e sinttico e por fim, as correntes
filosficas que influenciaram Kant e foram influenciadas por ele.

interessante salientar que, muitos pensadores concordavam com Kant e outros


discordavam, mas em suas teses citaram esse filsofo.

O objetivo no foi julgar se Kant estava certo ou no, mas sim, mostrar que esse
Coprnico da Filosofia influenciou e ainda influencia muitos pensadores.

E usando a ltima palavra que Kant disse antes de morrer, se encerra esse
trabalho:

Basta!
Referncias Bibliogrficas

ABBAGNANO, Nicola. Dicionrio de Filosofia: Ed. Martins Fontes. So


Paulo. 1998

BOYER, Carl. Histria da Matemtica. Trad. Elza F. Gomide 2 Ed, So


Paulo: Ed. Edgar Blnger, 1996.

CAYGILL, Howard. Dicionrio Kant. Trad. lvaro Cabral Rio de Janeiro:


Ed. Jorge Zahar. 2000.

CHAUI, Marilena. Convite Filosofia So Paulo: Ed. tica, 2002.

DOURADO, Pedro Antnio de Rezende. A crise nos fundamentos da Matemtica


e a Teoria da Computao, UNB, 1999.

ENGELMANN, Jaqueline. Uma Recepo da Teoria Kantiana dos Conceitos,


2004.

FENGLER, Dayane. Conhecimento Simblico na Filosofia Kantiana da


Aritmtica, Dissertao de Mestrado, UFSM. 2005.

FERRATER, Jos Mora. Dicionrio de Filosofia: Ed. Dom Quixote Lisboa.


1978.

FRANGIOTTI, Marco Antnio. Kant e a Anlise da Geometria Grega.


UNICAMP, 1988.

GILLES, Deleuze. A Filosofia Crtica de Kant, 1963: Ed Edies 70.

GIUSTI, Ernesto Maria. Signo e Sentido interno na Filosofia da Matemtica pr-


crtica. Universidade So Judas Tadeu.

GODOY, Evandro. Uma aproximao das concepes de Lgica de Kant e Frege


2002, UFSM.

JOS, Jairo da Silva. Filosofias da Matemtica, So Paulo: Ed. UNESP, 2007.

KANT, Immanuel. Crtica da Razo Pura. Trad. Valrio Rohden e Udo Baldur
Moosburger 2 ed. so Paulo: Abril Cultural, 1983.
____, Immanuel. Lgica [Excertos da] Introduo, Disponvel:
www.lusosofia.net.

LANG, Fernando da Silveira. A Teoria do conhecimento de Kant: o Idealismo


Transcendental, Caderno Brasileiro de Fsica, Florianpolis, v.19, nmero especial:
p.28-51, jan.2002.

LIMA, Roberto de Souza. Sobre o Problema da interpretao do


Mtodo de Anlise da Concepo tradicional Viso de Hintikka e Remes. UNICAMP.
1985.

MACHADO, Rosa Maria. Nmeros: A Filosofia dos Gregos que ainda


sobrevive. UNICAMP. 1993.

MANDINI, Fabiane. O Logicismo, o Formalismo e o Intucionismo e seus


diferentes modos de pensar a Matemtica. UNESP, 2005.

PASCAL, Georges. Compreender Kant. Trad. Raimundo Vier. Petrpolis, Rio


de Janeiro: Ed. Vozes, 2005.

RUSSEL, Bertrand. Introduo Filosofia da Matemtica. Trad. Maria Luiz X.


de A. Borges, Rio de Janeiro: Jorge Zahar Ed.,2007.

VASCONCELOS, Sergio de Lena. Planejamento de Pesquisa. Uma


Introduo: Ed. PUC SP Educ., 2002.