Beruflich Dokumente
Kultur Dokumente
Fbio Bertato*
I.
Karl Raimund Popper nasceu em 28 de julho de 1902, em Viena. Estudou filosofia, matemtica e
fsica. Trabalhou na clnica de consulta infantil de Alfred Adler (1870 1937). Interessou-se por
msica e por sua histria. Em 1928, doutorou-se em filosofia e um ano depois se habilitou para o
ensino de matemtica e de fsica na escola secundria, escrevendo, para o exame, uma tese
sobre problemas da axiomtica em geometria (incluindo um captulo sobre geometria no-
euclidiana). Devido presena dos nazistas na ustria, Popper transfere-se para a Nova Zelndia
em 1937.
Popper publicou Logik der Forschung (Lgica da descoberta cientfica) em 1934, Poverty of
Historicism em 1944 e 1945 e os volumes de Open Society and Its Enemies em 1945.
Em 1946, Popper transferiu-se para a Inglaterra, para lecionar na London School of Economics.
Nesse perodo deu continuidade a seus estudos sobre filosofia e filosofia da cincia, resultando
em duas obras: Conjectures and Refutations (1963) e Objective Knowledge (1972). Sua
autobiografia intelectual (Unend Quest) e sua obra Replies to my Critics so de 1974.
Juntamente com John Carew Eccles (1903 1997) publicou, em 1977, o livro The Self and its
Brain. Faleceu em 17 de setembro de 1994.
II.
Podemos dizer que as teses centrais da epistemologia popperiana so constitudas pela crtica ao
princpio de induo e pelo estabelecimento de um critrio de demarcao da cincia.
O Problema da Induo (ou Problema de Hume) pode ser apresentado como a indagao sobre a
validade de sentenas (ou enunciados) universais que encontrem base emprica. De acordo com
uma viso indutivista, uma inferncia indutiva se ela conduz a enunciados universais
(hipteses e teorias) a partir de enunciados singulares ou particulares (observaes ou
experimentos). O indutivismo proclama que um cientista pode chegar a concluses objetivas e
intactas, apenas mediante registro, mensurao e descrio de seus achados, sem hipteses ou
expectativas prvias[1].
Ora, est longe de ser bvio, de um ponto de vista lgico, haver justificativa no inferir
enunciados universais de enunciados singulares, independentemente de quo numerosos sejam
estes; com efeito, qualquer concluso colhida desse modo sempre pode revelar-se falsa:
independentemente de quantos casos de cisnes brancos possamos observar, isso no justifica a
concluso de que todos os cisnes so brancos (POPPER, 1974, p. 27).
Popper contesta a viso daqueles que aceitam que as cincias empricas caracterizam-se pelo
emprego dos mtodos indutivos.
Com rejeitar o mtodo de induo, poder-se-ia dizer privo a cincia emprica daquilo que
constitui, aparentemente, sua caracterstica mais importante; isto quer dizer que afasto as
barreiras a separar a cincia da especulao metafsica. Minha resposta a tal objeo a de que
a razo principal de eu rejeitar a Lgica Indutiva consiste, precisamente, em ela no
proporcionar conveniente sinal diferenador do carter emprico, no-metafsico, de um sistema
teortico; em outras palavras, consiste em ela no proporcionar adequado critrio de
demarcao (POPPER, 1974, p. 34).
como emprico ou cientfico se ele for passvel de comprovao pela experincia. Essas
consideraes sugerem que deve ser tomado como critrio de demarcao, no a
verificabiblidade, mas a falseabilidade de um sistema. Em outras palavras, no exigirei que um
sistema cientfico seja suscetvel de ser dado como vlido, de uma vez por todas, em sentido
positivo; exigirei, porm, que sua forma lgica seja tal que se torne possvel valid-lo atravs de
recurso a provas empricas, em sentido negativo: deve ser possvel refutar, pela experincia, um
sistema cientfico emprico. (Assim, o enunciado Chover ou no amanh, no ser considerado
emprico, simplesmente porque no admite refutao, ao passo que ser emprico o enunciado
Chover aqui, amanh) (POPPER, 1974, p. 42).
I.
Popper defende a existncia de dois tipos de conhecimento, o subjetivo (que depende das
disposies dos organismos, de um sujeito que conhece) e o objetivo (que consiste do contedo
lgico de nossas teorias, conjecturas etc.). Exemplos de conhecimento objetivo so as teorias
publicadas em revistas cientficas e em livros de uma biblioteca; discusses de tais teorias;
dificuldades ou problemas conectados com tais teorias, etc.(cf. POPPER, 1972b, p. 73).
Ex. 1 Sei que a conjectura de Goldbach no foi provada, mas creio que ser provada algum dia.
Popper argumenta que na situao da Experincia 1, depois de muito sofrimento, nosso mundo
poderia continuar a seguir em frente e na situao da Experincia 2, no haveria reaparecimento
da civilizao por muitos milnios. Nossa capacidade de aprender com os livros se tornaria intil
(cf. POPPER, 1972b, p. 106-108). Popper defende que W3 um produto natural do animal
humano, amplamente autnomo e atravs de nossa interao com ele que o conhecimento
objetivo cresce. Grande parte do terceiro mundo objetivo de teorias efetivas e em potencial e de
publicaes e argumentos surge como um subproduto no pretendido das publicaes e
argumentos produzidos efetivamente. O contedo de livros, no sua forma fsica, pertence a W3
(POPPER, 2000, p. 22).
II.
A idia de autonomia central na teoria de W3, embora seja uma criao humana, este mundo
cria por sua vez seu prprio domnio de autonomia. Segundo Popper, os exemplos que mostrem
que W3 autnomo so incontveis:
O Terceiro Mundo de Popper ento objetivo, abstrato, autnomo, real e efetivo. Popper
reconhece que W3 tem muito em comum com a teoria de Formas e idias de Plato, com o
esprito objetivo de Hegel, com a teoria de um universo de proposies em si mesmas e
verdades em si mesmas de Bolzano, apesar das diferenas. Considera, porm, que W3 se
assemelha mais de perto ao universo de contedos objetivos de pensamento de Frege (cf.
POPPER, 1975, p. 108).
I.
Em sua conferncia intitulada Science and Criticism [3], realizada em 1974, Popper inicia
tratando de algumas observaes acerca do desenvolvimento da matemtica, especificamente
do logicismo, do formalismo, do intuicionismo e seus representantes. Popper afirma que,
enquanto estudante, foi fortemente influenciado pelo matemtico Hans Hahn, que por sua vez
foi muito influenciado pela Principia Mathematica de Russell e Whitehead. Com relao s
conseqncias dos teoremas de Gdel e de Tarski afirma (traduo nossa):
Mas este foi, de fato, o incio do fim o fim, isto , destas trs escolas de pensamento. Em
minha opinio, tambm anunciou o incio de uma nova filosofia da matemtica. () Muitas
teorias matemticas so, como as da fsica ou biologia, hipottico-dedutivas: logo a matemtica
pura torna-se bem mais prxima das cincias naturais, cujas hipteses so conjecturas, do que
aparentava, mesmo recentemente (POPPER, 2000, p. 56).
II.
Popper faz uma apreciao e crtica da epistemologia de Brouwer em sua obra Objective
Knowledge (cf. POPPER, 1975, p. 129, & 1972b, p. 128). Popper critica a doutrina de que a
intuio fonte infalvel de conhecimento. Segundo ele, no h fontes autorizadas de
conhecimento e nenhuma fonte particularmente digna de f e que a verdade est acima da
autoridade humana (cf. POPPER, 1963, p. 29). Entende intuio como produto de nosso
desenvolvimento cultural e de nossos esforos em pensamento discursivo.
A idia de Kant de um tipo padro de intuio pura compartilhado por todos ns (talvez no por
animais, apesar de um equipamento perceptual similar) dificilmente pode se aceita. Pois, aps
nos havermos adestrado em pensamento discursivo, nossa apreenso intuitiva torna-se
extremamente diferente do que era antes (POPPER, 1975, p. 134).
Popper afirma que Brouwer estava certo ao reagir contra a tese de que a matemtica um jogo
de linguagem formal, ou seja, de que no h objetos matemticos extralingsticos (ou
contedos de pensamento). Mas isto no significa que podemos construir a matemtica sem
linguagem, sem constante controle crtico. No pode haver crtica sem pr as construes em
forma lingstica e trat-las como objetos de W3.
Embora o terceiro mundo no seja idntico ao mundo de formas lingsticas, ele surge
juntamente com a linguagem. Isto explica por que, desde que nossas construes se tornem
problemticas, sistematizadas e axiomatizadas, a linguagem pode tornar-se tambm
problemtica, e por que a formalizao pode tornar-se um ramo da construo matemtica
(POPPER, 1975, p. 136).
Os objetos matemticos so, para Popper, conhecimentos objetivos, cidados de W3. Como
vimos, embora os contedos de pensamento sejam produtos humanos, levam consigo suas
prprias conseqncias no pretendidas (ex. inveno: nmeros naturais; descoberta: nmeros
primos). Os cidados mais frteis de W3 so os problemas e novos argumentos crticos. Surge
um novo tipo de existncia matemtica: a existncia de problemas. Tambm um novo tipo de
intuio: a intuio que nos faz ver problemas e nos faz compreender problemas antes de
resolv-los.
III.
Podemos dividir as reflexes sobre a matemtica em duas filosofias da matemtica (cf. POPPER,
2000, p. 25):
Segundo Popper, essas duas filosofias opunham-se uma outra at a teoria de W3 mostrar que
ambas podem estar certas em algum sentido. A matemtica obra nossa e adquire autonomia
e, como obra nossa, falvel.
IV.
Sobre a aplicao da matemtica realidade, Popper escreveu um ensaio intitulado Why are
the calculi of Logic and Arithmetic applicable to Reality? (POPPER, 1963, p. 201).
Por que os clculos lgicos (clculo proposicional, de primeira ordem, etc.) que podem conter
a aritmtica so aplicveis realidade?
1 Os clculos lgicos como uma regra so sistemas semnticos, isto , linguagens projetadas
com a inteno de serem utilizadas para a descrio de certos fatos. Se eles servem para tal
propsito ento no h surpresa em aplic-los realidade.
A aritmtica dos nmeros naturais (ou dos nmeros reais) serve para descrever certos fatos,
outros no (POPPER, 1963, p. 211).
3 Um clculo aplicado realidade perde o carter de clculo lgico e torna-se uma teoria
descritiva que pode ser empiricamente refutvel. Se o clculo considerado irrefutvel no
aplicvel realidade.
Se a sentena 2 + 2 = 4 serve para calcular, isto , para descrever certos fatos fsicos (e o
smbolo + representa uma manipulao fsica), ento a interpretao de 2 + 2 = 4 torna-se
uma teoria fsica e, portanto, refutvel (POPPER, 1963, p. 211).
Concluses
HELFERICH, C. (2006). Histria da Filosofia. Traduo de Luiz Srgio Repa et al. So Paulo:
Martins Fontes.
MOLINA, J. A. (2001). Lakatos como filsofo da matemtica. In: Episteme, Porto Alegre, n. 13,
p. 129 153.
POPPER, K. (1963) Conjectures and Refutations: The Growth of Scientific Knowledge. London:
Routledge and Kegan.
POPPER, K. (2000); In search of a better world: Lectures and essays from thirty years. London:
Routledge.
REALE, G. (1991). Histria da filosofia: Do Romantismo at nossos dias / Giovanni Reale, Dario
Antiseri. So Paulo: Paulus.
Notas
[1] Francis Bacon (1564-1626) foi o principal promotor do indutivismo e Liebig (1863) foi o
primeiro cientista de destaque que o criticou como mtodo cientfico (cf. POPPER, 1974, p 31, n5
e MAYR, 1998, p. 45).
[2] Popper difere dos positivistas que desejavam no tanto uma boa demarcao e sim a
derrubada total e aniquilao da Metafsica.
[3] Em comemorao pelo aniversrio do chamado Alpbach European Forum, cujo tema era o
desenvolvimento intelectual e cientfico dos trinta anos anteriores (POPPER, 2000, p. 52).
http://www.dicta.com.br/a-filosofia-da-matematica-de-popper/