You are on page 1of 4

GODEL, KUHN, POPPER E FEYERABEND

A cidade de Viena, no perodo entre guerras, abrigava uma quantidade


impressionante de acadmicos (msicos, poetas, cientistas, filsofos, etc). Era a capital
cultural e intelectual do mundo. Havia na cidade diversos crculos intelectuais, dentre
eles o Crculo de Viena, que defendia a tese do empirismo lgico.

O empirismo lgico pregava que o conhecimento cientfico verdadeiro na


medida em que se relaciona, em alguma dimenso, experincia, a uma vinculao
emprica. No entanto, tambm no se podia abandonar a lgica e a matemtica, pois
estas so determinantes para a busca e a determinao das condies em que o
conhecimento se processa.

J Gdel tinha uma concepo realista: acreditava que os conceitos so realidade


independentes de nossas criaes e no produtos derivados da linguagem. Assim, os
objetos matemticos no so criados, mas descobertos.

Gdel se interessa pelo Programa de Hilbert que propunha reformular as bases


da matemtica de forma rigorosa, partindo da aritmtica.

Em outras palavras, seria uma espcie de Teoria de Tudo com a finalidade de


estabelecer a base para explicar toda a matemtica at ento.

A crena era de que toda matemtica poderia ser reduzida a um nmero finito
de axiomas consistentes, de modo que qualquer proposio da matemtica poderia
ser provada dentro desse sistema (e o sistema seria dito completo).

Um sistema consistente um em que um par de proposies P e ~P no podem


ter o mesmo valor (V ou F). Ou seja, se uma afirmativa verdadeira, necessariamente
sua negativa falsa e vice-versa.

O que Hilbert almejava era um sistema consistente que possusse correo e


completude.

Correo quando o sistema s retorna informaes verdadeiras. Colocando em


termos leigos: no se corre o risco de realizar uma operao e obter um resultado
falso, como na aritmtica de Radiohead em que 2 + 2 = 5.

J completude diz respeito demonstrabilidade dos teoremas de um sistema.


Um sistema completo aquele em que todos os seus teoremas podem ser
demonstrados verdadeiros.
Gdel ento demonstrou que num sistema de linguagem formal complexo o
suficiente para ser interessante (ou seja, que contenha a linguagem aritmtica), se ele
for consistente e tiver correo, ele no ter completude. Por isso o nome: Teorema
da Incompletude de Gdel.

Ou seja, Gdel provou que h sempre mais coisas verdadeiras do que se pode
provar internamente num sistema. H teoremas que devem ser aceitos como verdade
independentemente de prova. Alm disso, ele jogou terra nessa Teoria de Tudo, que
jamais poder ser realizada.

Uma das implicaes curiosas do Teorema de Gdel a de que f e razo no so


necessariamente inimigas, j que a incompletude implica em teoremas verdadeiros,
porm indecidveis. Assim, devem ser aceitos como verdadeiros independentemente
de prova.

Exemplo?: Todo quadrado perfeito a soma de dois nmeros primos.

Reparem que o Teorema de Gdel no pode ser aplicado a torto e a direito como
costumam fazer. Ele requer: a) linguagem formal; b) lgica consistente; c) correo; d)
sistema complexo o suficiente para ser interessante (conter aritmtica).

Todavia, o autor prope que a questo da linguagem formal pode ser superada
pois toda linguagem no formal pode ser formalizada. No entanto, no apresenta
nenhuma prova dessa afirmao.

Agora vamos a Popper e Kuhn. No vou falar muito de ambos porque outras
apresentaes j tm esse foco. Vou me ater aos pontos levantados pelo autor.

Para Kuhn, a cincia ocorria pela sucesso de perodos de cincia normal, cada
qual determinado por um paradigma. Quando este paradigma no mais adequado,
ocorre uma "revoluo cientfica", havendo a sucesso de paradigmas e teorias
aceitadas pela comunidade cientfica.

Kuhn define paradigmas como "realizaes cientficas universalmente


reconhecidas que, durante algum tempo, fornecem problemas e solues modelares
para uma comunidade de praticantes de uma cincia". Ele fornece homogeneidade aos
fundamentos ontolgicos, metodolgicos e epistmicos de um dado ramo/teoria.

Alm disso, Kuhn usa a ideia de incomensurabilidade para defender que no


possvel linguagem neutra (ou de outro tipo) para comparar duas teorias sem que haja
perda de contedo entre elas. Seria como tentar traduzir uma palavra que no possui
traduo em outra lngua.
J Popper conhecido pelo seu falsificacionismo. Sua viso de cincia que as
teorias esto sempre se modificando atravs de tentativas de falsificao que
encontram falhas a serem corrigidas, de modo que esto sempre se aproximando de
uma verdade, embora nunca cheguem a ela. Para Popper no h fase de cincia
normal, apenas de revoluo cientfica, que ocorreria de pouco em pouco, mas o
tempo todo.

J Kuhn acredita que a cincia no necessariamente se aproxima da verdade. A


sucesso de paradigmas apenas d direo ao trabalho cientfico, possuindo, portanto,
uma viso mais subjetiva de cincia, enquanto Popper era mais objetivo.

O autor ento pretende usar o Teorema de Gdel para aproximar Popper de


Kuhn. Para isso ele prope um par de teorias T1 e T2, tendo T2 sucedido T1 numa
revoluo cientfica. Ambas contm aritmtica, so consistentes e com correo,
satisfazendo os requisitos para o Teorema de Gdel.

Cria-se uma teoria T que contem T1 e T2 para tecer comparaes entre elas e
da se tirar concluses. Essas comparaes envolvem o uso de dedues. Se T tambm
incompleta, no h garantias que todas essas dedues podero se provar
verdadeiras, de modo que no haveria comparao total entre as teorias, caindo no
que Kuhn chama de incomensurabilidade local, nesse caso uma consequncia lgica do
Teorema da Incompletude de Gdel.

Isso tambm implica que no h definio completa de verdade, pelo que seria
impossvel dizer que uma teoria T2 que sucede T1 estaria mais prxima da verdade.
Por isso, na viso do autor, Popper + Gdel = Kuhn.

Quanto a Feyerabend, ele acredita que o conhecimento anterior teoria, de


modo que o racionalismo no condio necessria para o conhecimento. Essa
teorizao limitaria e excluiria aquilo que "conhecimento real" do que no seria.

Ele prope um pluralismo metodolgico e um anarquismo epistemolgico.

Ele argumenta que no possvel uma descrio do mtodo cientfico completa


e correta, o que parece correto dado o Teorema da Incompletude, mas no porque
no seria possvel DESCREVER um tipo especfico de mtodo cientfico que um mtodo
cientfico seria inexistente.

O autor prope uma busca da verdade objetiva atravs de decises de tribunais e


rgos legislativos, a partir de consenso na literatura de revistas cientficas com
reviso. Se no houver consenso, o legislativo e os tribunais devem concluir que no h
evidncias suficientes para decidir a matria cientificamente.
A ideia se assemelha noo de Popper de que a determinao da verdade no
absoluta e imutvel, mas depende do contexto.

Em suma, o autor acredita que quando a cincia envolve polticas pblicas ou


julgamentos por tribunais e rgos legislativos que melhor podemos falar em
realidade objetiva da cincia.