Você está na página 1de 89

Aula 1 - Cincia: Natureza e Objetivo (1a parte)

CINCIA: NATUREZA E OBJETIVO (I PARTE) Ernest Nagel* (MATERIAL DA 1 SEMANA) Geralmente, o Homem no d ateno s tcnicas de que se vale para solucionar problemas, a no ser que os mtodos habituais venham a revelar-se insatisfatrios face a questes novas. Na histria da Cincia, pelo menos, a preocupao maior com problemas de ordem metodolgica emerge, freqentemente, do fato de formas costumeiras de anlise mostrarem-se inadequadas ou de apresentarem imperfeies nos modos tradicionais de apreciar a evidncia e de interpretar as concluses da investigao. Nos dias atuais, to fortemente marcados pelas comoes sociais, no surpreende, portanto, que os cientistas e filsofos profissionais estejam obrigados a dar grande ateno lgica da Cincia e ao significado amplo das conquistas cientficas. A literatura contempornea acerca da filosofia da Cincia , basicamente, uma resposta crtica a algumas das dificuldades intelectuais criadas pelos recentes desenvolvimentos cientficos. H, em verdade, trs aspectos da Cincia atual que nos convidam a sria reflexo e nos auxiliam a definir-lhe a natureza e os objetivos; tenciono abordar superficialmente cada um desses aspectos, embora reconhecendo que as limitaes de espao tornam impossvel tratar adequadamente ainda que de um s. 1. Talvez o trao mais saliente da Cincia - e, por certo, o que mais comumente se reala seja o de que permite controle prtico da Natureza. Tornar-se-ia enfadonho realar as grandes contribuies da investigao cientfica em prol do bem-estar humano ou mesmo aludir aos ramos principais da Tecnologia, como, por exemplo, a Medicina, que tiraram proveito dos avanos da pesquisa fundamental, terica e experimental. Basta assinalar que a Cincia aplicada transformou a face da Terra e traou os contornos da civilizao ocidental contempornea. Pergunta 1: Qual a diferena entre Cincia e Tecnologia ? Sendo esses frutos tecnolgicos da investigao cientfica os que os homens sem treino cientfico ou interesses tericos podem mais facilmente apreciar, o domnio sobre a Natureza, que muitas vezes decorre da pesquisa fundamental, a justificao ltima da Cincia para a maioria das pessoas. Como a realizao de investigaes cientficas demanda, hoje em dia, grandes investimentos, que dependem, largamente, de fundos pblicos, muitos pesquisadores, quando descrevem a natureza da Cincia a auditrios de leigos, aos quais caber, afinal, custear a maior

parte dos gastos necessrios, tendem a acentuar, quase que exclusivamente, os benefcios prticos a esperar de estudos bsicos. Embora, eu, nem por um momento, subestime a importncia da Cincia como fonte de recursos tecnolgicos que, aperfeioados e disseminados, contribuem para a melhoria da vida humana, creio, no obstante, que a concepo da Cincia como algo que produz, incessantemente, novos meios de dominar a Natureza, tem sido sublinhada com demasiada nfase, levando a esquecer outros de seus aspectos. De modo algum se d que a conquista de bens e vantagens de carter prtico seja o nico ou o principal motivo que incentiva o homem a entregar-se investigao cientfica; e quando esse motivo se torna o principal, surge um quadro fortemente distorcido tanto dos objetivos complexos da Cincia como de sua prpria histria. Alm disso, aquela nfase pode levar a sociedade a encarar de maneira perigosamente errnea o cientista, vendo-o como homem miraculoso, capaz de resposta infalvel para todas as mazelas humanas. No se deve esquecer tambm a generalizada tendncia de considerar a Cincia como responsvel pela maneira brbara porque, s vezes, so utilizadas as suas conquistas imputao indubitavelmente injusta, que pode levar a desprez-la, mas que se torna plausvel quando ela identificada s suas conseqncias tecnolgicas. 2. A Cincia assume outro aspecto quando concebida como algo que se prope atingir conhecimento sistemtico e seguro, de sorte que seus resultados possam ser tomados como concluses certas a propsito de condies mais ou menos amplas e uniformes sob as quais ocorrem os vrios tipos de acontecimentos. Em verdade, segundo frmula antiga e ainda aceitvel, o objetivo da Cincia "preservar os fenmenos" - isto , apresentar acontecimentos e processos como especificaes de leis e teorias gerais que enunciam padres invariveis de relaes entre coisas. Perseguindo esse objetivo, a Cincia busca tornar inteligvel* o mundo; e sempre que o alcana, em alguma rea de investigao, satisfaz o anseio de saber e compreender que , talvez, o impulso mais poderoso a levar o homem a empenhar-se em estudos metdicos. Sabe-se que por ter observado, de maneira usualmente bem sucedida, seus fins, que a atividade iniciada na antiguidade grega e atualmente chamada "Cincia" tem-se mostrado fator importante no desenvolvimento da civilizao liberal: serviu para eliminar crenas e prticas supersticiosas, para afastar temores brotados da ignorncia e para fornecer base intelectual de avaliao de costumes herdados e de normas tradicionais de conduta. Pergunta 2: Qual o principal objetivo da Cincia ? 2

Seria, naturalmente, afrontar a evidncia, negar que muito antes do incio da pesquisa sistemtica os homens dispunham de conhecimentos razoavelmente aceitveis acerca de muitas das caractersticas do ambiente fsico, biolgico e social. Em verdade, ainda hoje, boa parte das informaes de que necessitamos para orientao normal de nossas vidas no produto de investigao cientfica sistemtica, mas o que normalmente se chama conhecimento nascido do "bom senso"*. No obstante, esse tipo de conhecimento est sujeito a numerosas limitaes srias, algumas das quais devem ser apontadas. Assim, as crenas baseadas no bom senso so, em geral, imprecisas, e, freqentes vezes, aproximam coisas e processos que diferem de maneira essencial; no raro, so incoerentes de modo que a preferncia por uma de duas crenas incompatveis, como base para a ao, arbitrria; tendem a ser fragmentrias, em conseqncia do que as relaes lgicas e substantivas entre enunciados independentes so, de hbito, ignoradas; so geralmente aceitas com reduzida conscincia do alcance de sua legtima aplicao; so, via de regra, miopemente utilitaristas, preocupadas, em boa poro, com assuntos diretamente relacionados com interesses prticos imediatos e normalmente aplicveis apenas a reas de experincia rotineira; por fim, e acima de tudo, as crenas baseadas no bom senso desprezam possibilidades outras para enfrentar problemas concretos, mantendo vigncia por fora da autoridade conferida por um costume que no se critica e que, portanto, no pode ser prontamente modificado de modo a tornar as crenas guias seguros para enfrentar situaes novas. Pergunta 3: Cite trs limitaes das crenas do senso comum que so superadas pela atividade cientfica ? Embora no se possa traar linha ntida entre as asseres baseadas no bom senso e as concluses da pesquisa cientfica - pois certo que toda investigao cientfica parte de crenas e distines oriundas do bom senso e, ao fim, a ele refere as suas descobertas - a Cincia tem como sinal distintivo o de tentar deliberadamente alcanar resultados total ou parcialmente livres das limitaes do senso comum. Conquanto a amplitude com que se alcanam tais concluses varie nos diferentes ramos da Cincia, e conquanto seja indubitavelmente maior nas cincias naturais, nenhum campo de investigao sistemtica foi inteiramente mal sucedido nessa tentativa. Em geral, as concluses da investigao cientfica so apoiadas por evidncia mais adequada e apresentam melhores razes para serem consideradas conhecimento certo do que as crenas baseadas no bom senso. Adiante direi alguma coisa a esse respeito. De momento, contudo, desejo tornar claro que embora as descobertas cientficas sejam, costumeiramente, dignas de crdito, no so, em princpio, infalivelmente verdadeiras nem insuscetveis de emenda os relatrios cientficos acerca de 3

especficas questes de fato ou as leis e teorias elaboradas para indicar as condies invariveis sob as quais os fenmenos ocorrem. Houve tempo em que se admitiu que para ser genuinamente cientfica, uma proposio deveria ser reconhecida como inquestionavelmente certa e absolutamente necessria. Tomando a Geometria como paradigma*, esse modo de ver sustentava que Cincia no basta simplesmente atestar quais so os fatos, cabendo-lhe demonstrar que os fatos devem ser como so e no poderiam ocorrer de outra maneira; mas, uma vez que, para estabelecer demonstrativamente um enunciado, so necessrias premissas que no podem ser demonstradas, essa corrente entendia que as premissas bsicas de uma Cincia devem ser suscetveis de apreenso como auto-evidentes e necessariamente verdadeiras. Essa concepo da natureza da Cincia era plausvel, enquanto a geometria euclidiana constitua o nico exemplo de conhecimento sistematizado; continua a ser defendida por muitos pensadores contemporneos que admitem que o universo racional e, assim, no pode haver resduo de fatos irracionais (isto , contingentemente* verdadeiros) no conjunto da Cincia. Todavia, luz da histria da Cincia, tal concepo insustentvel. Com efeito, no h Cincia alguma cujos pressupostos bsicos relativos a questes de fato sejam realmente auto-evidentes e o progresso da investigao, em todos os ramos da Cincia, revelou que princpios tidos como basilares em certa poca tiveram de ser modificados ou substitudos para manter adequao a fatos revelados por novas descobertas. A tese de que os chamados primeiros princpios da Cincia so passveis de alterao claramente ilustrada por desenvolvimentos atuais da Fsica, onde se tem procedido a revises radicais em pressupostos tericos que haviam sido considerados indubitveis. No sucede, porm, que essas revises de pressupostos bsicos possam ser corretamente interpretadas como sinais de falncia da Cincia moderna tal como tem freqentemente caracterizado pensadores presos errnea noo do racionalismo clssico*, segundo a qual a Cincia que no pode garantir serem suas concluses indiscutivelmente certas falhou em seu objetivo de conduzir a conhecimento genuno. E, mais ainda, essas revises no justificam um ceticismo global* com relao possibilidade de obter conhecimento seguro acerca do mundo por meio da pesquisa cientfica ceticismo que, por sua vez, surge a partir da insustentvel hiptese de que, sendo todas as concluses da pesquisa cientfica passveis, em tese, de correo, nenhuma concluso , verdadeiramente, um acrscimo estvel ao corpo do conhecimento. Seja-me permitido citar um exemplo que desmente essa ltima hiptese e que, ao mesmo tempo, mostra que, fornecendo explicaes bem fundadas para os fenmenos observados, a Cincia atende ao perene anseio de conhecimento e compreenso sistemticos. 4

Galileu* assinalou que, aparentemente, h um limite superior para o tamanho de animais tais como o homem e levantou a questo de saber se, a despeito do que se possa julgar, houve tempo em que homens de propores gigantescas pisassem a face da Terra. Ele mostrou, atravs de cuidadoso experimento, que a resistncia de uma estrutura varia de acordo com sua seco transversal e admitiu, com fundadas razes, que a capacidade dos ossos suportarem foras de presso tambm varia proporcionalmente rea de suas seces transversais. Por outro lado, o peso de um animal terrestre (que deve ser suportado pelos membros) proporcional ao volume do mesmo animal. Em consonncia com isso, cabe dizer que a resistncia dos ossos animais proporcional ao quadrado das dimenses lineares do animal, enquanto o peso que esses ossos devem suportar proporcional ao cubo das dimenses lineares. Em conseqncia, h limites definidos para o tamanho dos animais terrestres e, assim, gigantes com membros proporcionais aos dos homens comuns no poderiam existir, pois tais criaturas sucumbiriam sob o prprio peso. Investigaes levadas a efeito nos trs sculos seguintes refinaram e tornaram mais precisa a concluso de Galileu, e as presunes em que ele se baseou, mas no chegaram a modifica-la substancialmente. O exemplo sustenta, pois, a tese de que, embora sejam passveis de correo as descobertas cientficas, o contedo da Cincia no um fluxo instvel de opinies, mas, ao contrrio, a Cincia pode alcanar xito no seu propsito de fornecer explicaes dignas de confiana, bem fundadas e sistemticas para numerosos fenmenos. FINAL DA PRIMEIRA PARTE

Aula 1 - Material de Consulta


MATERIAL DE CONSULTA - 1 Texto: CINCIA: NATUREZA E OBJETIVO (I Parte) Os termos e nomes abaixo se encontram em ordem de apario no texto: E. Nagel (1901-1985): filosofo de origem tcheca que ensinou muitos anos na Universidade de Columbia (EUA). Seu principal livro A Estrutura da Cincia (1961).

Inteligvel: aquilo que pode ser compreendido ou acessvel ao entendimento humano.

Bom senso: faculdade da razo que natural e comum a todos os homens nos tornando capaz de julgar e distinguir o verdadeiro do falso, o certo do errado.

Paradigma: modelos, amplamente aceitos, que fundamenta um modo de entender o mundo.

Contingente: um acontecimento possvel, mas incerto.

Racionalismo clssico: doutrina que privilegia a razo dentre todas as demais faculdades humanas, considerando-a como fundamento do conhecimento.

Ceticismo global: concepo que questiona os limites da razo e da cincia por duvidar da possibilidade de alcanarmos um conhecimento verdadeiro da realidade.

Galileu (1564-1642): nasceu em Pisa, na Itlia e considerado um dos criadores da cincia moderna. Sua atuao foi predominante na fsica e astronomia. Suas principais obras so: Dilogo Sobre os Dois Principais Sistemas do Mundo (1632) e Discurso Sobre as Duas Novas Cincias (1638). 6

Aula 2 - Cincia: Natureza e Objetivo (2a parte)


CINCIA: NATUREZA E OBJETIVO (II PARTE) Ernest Nagel* (MATERIAL DA 2 SEMANA)

3. tempo de considerar o terceiro aspecto que a Cincia apresenta: seu mtodo de investigao. Aspecto muitas vezes mal interpretado e sempre difcil de descrever com brevidade, mas que , talvez, seu trao mais permanente e garantia ltima do crdito que merecem as concluses da investigao cientfica. Afirmao freqente subscrita, s vezes, por eminentes cientistas, a de que no h, como tal, um mtodo cientfico, mas apenas a utilizao livre e ampla da inteligncia. Essa afirmao ter procedncia, caso a expresso mtodo cientfico seja considerada como equivalente a um conjunto de regras fixas, aceitas de maneira geral e orientadas a proporcionar a descoberta de solues para qualquer problema. No h dvida de que a anlise histrica do mtodo cientfico leva a colocar nfase considervel, se no exclusiva, na tarefa de formular preceitos* para desvendar as causas* e efeitos dos fenmenos e para elaborar leis e teorias a partir dos resultados da observao. Entretanto, nenhuma das regras propostas para orientar descobertas atinge o propsito visado; e a maioria dos estudiosos do assunto concorda em que pretender estabelecer tais regras empreendimento sem esperana. Que , ento, mtodo cientfico? Devo esclarecer, preliminarmente, que o vocbulo mtodo no sinnimo do vocbulo tcnica. A tcnica de mensurao de comprimentos de ondas luminosas por meio de espectroscpio patentemente diversa da tcnica de mensurao da velocidade de um impulso nervoso e ambas diferem das tcnicas empregadas para determinao dos efeitos de um tipo de organizao empresarial sobre a produtividade. As tcnicas, via de regra, variam de acordo com o assunto de que se trata e podem alterar-se rapidamente com o progresso tecnolgico. De outro lado, todas as cincias empregam um mtodo comum em suas investigaes, na medida em que utilizam os mesmo princpios de avaliao da evidncia; os mesmos cnones para julgar da adequao das explicaes propostas; e os mesmos critrios para selecionar uma dentre vrias hipteses. Em suma, mtodo cientfico a lgica geral, tcita ou explicitamente empregada para apreciar os mritos de uma pesquisa. Convm, portanto, imaginar o mtodo da Cincia como um conjunto de normas-padro que devem ser satisfeitas, caso se deseje que a pesquisa seja tida por adequadamente conduzida e capaz de levar a concluses merecedoras de adeso racional. Pretendo, agora, examinar, ligeiramente, alguns elementos do mtodo cientfico assim entendido. Pergunta 1: O que o mtodo cientfico?

Comecemos lembrando que a Cincia uma instituio social e que o cientista membro de uma comunidade intelectual dedicada perseguio da verdade, segundo padres que evolveram e se mostraram satisfatrios, ao longo de um contnuo processo de crtica. Muitos pensadores imaginaram que a objetividade das concluses alcanadas pela Cincia estaria assegurada, se os cientistas deliberassem no aceitar qualquer proposio a respeito da qual pairasse sombra de dvida ou que no fosse transparentemente verdadeira. Os homens, raramente se do conta de que h muito de hipottico no que tem por indubitvel e, muitas vezes, acreditam-se livres de compromissos intelectuais de qualquer espcie, quando, na verdade, esto endossando tacitamente muito de falso. Embora a deliberao de adotar atitude crtica relativamente s presunes possa ter certo valor, a objetividade da Cincia no conseqncia dela. Ao contrrio, a objetividade deve-se a uma comunidade de pensadores, cada qual deles a criticar severamente as afirmaes dos demais. Nenhum cientista infalvel e todos apresentam suas peculiares deformaes intelectuais ou emocionais. As deformaes raramente so as mesmas; e as idias que sobrevivem s crticas de numerosos espritos independentes revelam maior probabilidade de serem legtimas do que as concepes tidas por vlidas simplesmente pelo fato de parecerem auto-evidentes a um pensador isolado. Seja-me permitido, a seguir, discorrer sobre a maneira popular, algumas vezes endossada por cientistas, de imaginar que a pesquisa cientfica deve principiar com a coleta de dados; os dados assim reunidos passariam por um crivo lgico, da resultando formulao univocamente determinada de certa regularidade entre os acontecimentos estudados. A improcedncia dessa verso torna-se evidente quando constatamos que no fcil precisar quais os fatos a coletar para resolver dado problema, nem fcil saber se realmente fato aquilo que apresentado como tal. Para exemplificar, quais os fatos que deveriam ser reunidos para pesquisa das causas da leucemia? a lua maior quando est prxima do horizonte do que quando se encontra no znite*? O nmero de fatos que se poderia reunir enorme e seria impossvel examin-los todos; e o que se tem como fato pode no passar de uma iluso. Faz-se claro, portanto, que os fatos devem ser selecionados segundo pressupostos que indiquem os relevantes para a soluo de um dado problema; e as observaes devem ser realizadas segundo condies que se presuma exclurem a possibilidade de que relatrios do que se alega ter sido observado incidam em erro grosseiro. Assim, qualquer significativa coleta de fatos para fins de pesquisa controlada por pressupostos de vrios tipos, dependentes do cientista e no do assunto investigado. Como os fatos no so relevantes ou irrelevantes por si mesmos, o cientista est obrigado a adotar algumas hipteses preliminares acerca de quais os fatos de interesse para o problema que enfrenta a determinar, por exemplo, quais dentre os numerosos fatores que podem estar presentes, ligam-se casualmente ao fenmeno em exame e at que essas hipteses sejam alteradas so elas que orientam a investigao. Ausentes essas hipteses, a pesquisa cega e sem objetivo. No h, porm, regras para fazer surgirem hipteses frutferas; como Albert Einstein* observou repetidamente, as hipteses que constituem as modernas teorias da Fsica so livres criaes da mente, cuja inveno e elaborao requerem dotes imaginativos anlogos aos que permitem a criao artstica. No obstante, ainda que se deva admitir que a imaginao criadora tem um papel a desempenhar no campo da investigao cientfica, a Cincia no poesia nem especulao; as hipteses levantadas durante a pesquisa, assim como outras explicaes propostas para certa classe de fenmenos, devem ser submetidas a teste. Em geral, este teste requer que se examine a 8

compatibilidade de uma hiptese (ou de suas conseqncias lgicas*) simultaneamente com estados de coisas observveis e com outras hipteses cuja concordncia com fatos observados j tenha sido assentada. No cabe aqui uma pormenorizada anlise da lgica empregada para submeter a teste as hipteses; mas cabe referncia, ainda que breve, noo de investigao controlada que , talvez, de todos os elementos de uma lgica desse tipo, o mais importante. Um exemplo simples deve ser bastante para indicar a maneira como se caracterizam tais investigaes. A crena outrora muito comum de que banhos com gua fria e salgada eram benficos para os pacientes atacados de febres altas parece ter-se baseado em repetidas observaes de que melhoras resultavam desse tratamento. Entretanto, independentemente de indagar se a crena ou no legtima e na verdade no o a evidncia em que se baseava insuficiente para sustent-la. Aparentemente, no ocorreu aos que aceitavam essa crena indagar aos pacientes no submetidos ao mesmo tratamento poderiam mostrar melhoria semelhante. Em suma, a crena no era o resultado de uma investigao controlada ou seja, o curso da molstia em pacientes submetidos ao tratamento no era comparado ao seu curso num grupo de controle, constitudo por pacientes que no o recebiam, de modo que no havia base racional para decidir se o tratamento produzia algum efeito. De maneira mais geral, uma investigao controlada somente se, criando alguma espcie de processo de eliminao torna possvel determinar os efeitos diferenciais de um fator que se considera relevante para a ocorrncia de dado fenmeno. So esses processos de eliminao, algumas vezes, mas no necessariamente, experimentalmente viveis; em muitos setores e em sua maioria, no o so, de modo que recursos analticos sutis e complicados devem ser, freqentemente, empregados para que se extraia da evidncia existente a informao que se faz necessria e que tornar possvel uma tomada de posio racional acerca dos mritos de uma hiptese. De uma forma ou de outra, a noo de controle elemento essencial da lgica do mtodo cientfico pois, via de regra, a confiana merecida pelos resultados cientficos funo da multiplicidade e do rigor dos controles a que foram submetidos. Gostaria, por fim, de fazer ligeiro comentrio acerca do papel das distines quantitativas e da mensurao no ampliar os objetivos da Cincia e no aumentar o grau de confiana a depositar nas concluses por ela alcanadas. Embora haja importantes diferenas estruturais entre as vrias determinaes quantitativas, todos os tipos de mensurao desempenham funo tripla. A primeira a de aumentar a preciso, reduzindo assim a fluidez, com que os fatos produzidos e as explicaes para eles propostas podem ser apresentados, de maneira que a forma de apresentao seja, mais facilmente, submetida a teste. A segunda a de tornar possveis discriminaes mais minuciosas dos traos dos vrios assuntos, de modo que enunciados a respeito deles tenham condio de ser submetidos a controles mais rigorosos. A terceira a de permitir comparaes mais gerais entre os diversos acontecimentos a fim de possibilitar que sejam formuladas, sistemtica e acuradamente, as relaes entre as entre as coisas. , portanto, errneo sustentar, como ocorre muitas vezes, que as chamadas cincias quantitativas, fazendo amplo uso da mensurao, ignoram, por isso mesmo, os aspectos qualitativos da realidade. Quo despida de base essa posio, ser evidenciado por um exemplo simples. Os seres humanos esto capacitados a distinguir certo nmero de diferenas na temperatura dos objetos e termos tais como quente, tpido, frio e gelado correspondem a distines reconhecidas. Mas essas diferenas no foram ignoradas ou negadas quando, no sculo XVII, se inventou o termmetro; ao contrrio, a inveno desse instrumento traduziu o fato de que as variaes de temperatura que eram experimentadas, em relao a muitas substncias, estavam ligadas a alteraes dos volumes relativos dessas substncias. Em conseqncia, variaes de volume podem ser utilizadas para indicar alteraes no estado fsico de um corpo, alteraes que, em alguns casos, correspondem a diferenas de temperatura sentidas pelo homem. A par disso, 9

possvel assinalar diferenas menores nas variaes de volume do que nas alteraes de temperatura, diretamente percebidas; e h extremos de calor e frio alm da capacidade de discriminao dos seres humanos, embora, nesses extremos, possam ser ainda apontadas as alteraes de volume. Por isso mesmo, cabe dizer que, usando uma escala termomtrica, no somos levados a ignorar diferenas de qualidade que, de outra forma, nos passariam despercebidas, habilitando-nos, ao mesmo tempo, a ordenar essas qualidades de maneira clara e uniforme. Concluirei com um sumrio. A fora bsica, geradora da Cincia, o desejo de obter explanaes simultaneamente sistemticas e controlveis pela evidncia fatual. O fim especfico da Cincia , portanto, a descoberta e a formulao, em termos gerais, das condies sob as quais ocorrem os diversos tipos de acontecimento, servindo os enunciados generalizados dessas condies determinantes como explicaes dos fatos correspondentes. Esse objetivo s pode ser atingido identificando ou isolando certas propriedades do assunto estudado e estabelecendo quais os reiterados padres de dependncia que governam a inter-relao daquelas propriedades. Em razo disso, quando uma investigao alcana xito, proposies que, at ento, pareciam independentes, surgem como ligadas umas s outras de maneira determinada, em funo do lugar que vem a ocupar num sistema de explicaes. de importncia primordial, entretanto, encarar esses sistemas explicativos no como corpo de concluses fixas e indubitveis, mas como resultados no definitivos de um contnuo processo de investigao que envolve incessante uso de um particular mtodo intelectual de crtica. Esse mtodo lgico a glria especfica da Cincia moderna e o alicerce espiritual de toda civilizao genuinamente liberal. Nada pode substitu-lo na tarefa de atingir concluses fundadas acerca do mundo em que os homens vivem e do lugar que nele ocupam. Pergunta 2: Qual a finalidade da Cincia?

Aula 2 - Material de Consulta


MATERIAL DE CONSULTA - 2 Texto: CINCIA: NATUREZA E OBJETIVO (II Parte) Os termos e nomes abaixo se encontram em ordem de apario no texto:

E. Nagel (1901-1985): filsofo de origem tcheca que ensinou muitos anos na Universidade de Columbia (EUA). Seu principal livro A Estrutura da Cincia (1961).

10

Preceito: regra, modelo ou ordem que estabelece um padro para o fenmeno em observao.

Causalidade: considerada uma lei natural, de carter necessrio, segundo a qual os fenmenos podem ser explicados. Um fenmeno anterior (causa) produz um posterior (efeito). As mudanas na natureza so decorrentes dessa relao entre causa e efeito.

Znite: auge, apogeu, ponto culminante.

Albert Einstein (1879-1955): fsico alemo que descobriu a teoria da relatividade. A partir de 1905 publicou os artigos sobre o efeito fotoeltrico, movimento browniano e a teoria da relatividade restrita que consolidaram sua reputao. Em 1916 publicou a teoria da relatividade geral. Foi para os Estados Unidos em 1933 lecionar no Instituto de Estudos Avanados (MIT) at o final da sua vida.

Consequncia lgica: proposio que se segue necessariamente de outra e que, uma vez admitidas, no podemos negar a sua relao sem entrar em contradio.

11

Aula 3 - O Problema da Verdade (1a parte)


O PROBLEMA DA VERDADE (I Parte) ARNO A. VIERO* (MATERIAL DA 3 SEMANA) O objetivo tanto da cincia, como da filosofia obter uma compreenso sistemtica da realidade. A diferena de abordagem entre elas reside na perspectiva adotada para executar tal tarefa. A cincia preocupa-se em estudar as propriedades e estabelecer as leis relativas a um domnio particular de objetos. Assim, por exemplo, a tica um ramo da fsica que estuda a natureza da luz, bem como as transformaes sofridas por ela durante a sua propagao. Fenmenos tais como a refrao so estudados atravs de mtodos quantitativos precisos, e a partir da, leis so estabelecidas, de forma rigorosa, e verificadas empiricamente*. No caso da filosofia o que muda, basicamente, a abordagem de enfoque. Em vez de estudar um aspecto particular da realidade, a filosofia preocupa-se em examinar problemas gerais que so comuns a vrios, se no a todos os domnios de investigao da cincia. Surge, assim, a preocupao em torno de conceitos tais como tempo, espao, causalidade, conhecimento, identidade, existncia, verdade etc. Desta forma, cincia e filosofia possuem um papel complementar quando a tarefa tornar mais compreensvel o mundo em que vivemos. Pergunta 1: Compare a abordagem filosfica e a cientfica da realidade. A questo da verdade tem sido, desde a antigidade clssica, um problema central para a filosofia; no entanto, ainda no possvel afirmar que uma soluo completamente satisfatria tenha sido obtida em relao aos vrios problemas colocados por este conceito. Este um fato que no depe, de forma alguma, contra a filosofia, mas antes, indica o grau de dificuldade dos problemas que constituem o seu domnio de investigao. No caso especfico da verdade o que surpreende o fato de ela ser uma noo extremamente familiar e, no entanto, quando comeamos analis-la vrios problemas, extremamente difceis, surgem de uma forma quase imediata. O primeiro deles que tal noo to bsica que parece no existir conceito algum anterior a ela que possa ser usado na sua prpria definio. O que fazer neste caso? O primeiro passo reconhecer que a definio no a nica ferramenta de esclarecimento conceitual que o filsofo pode utilizar. Existe, por exemplo, um expediente denominado elucidao atravs do qual possvel esclarecer as relaes de um determinado conceito com vrios outros sem, com isso, obter uma definio no sentido estrito do termo. O passo seguinte aplicar tal procedimento e ver se, atravs de sua utilizao, possvel obter um melhor entendimento da noo examinada. O ponto de partida para a obteno de uma soluo satisfatria de tal problema o reconhecimento de que a verdade um atributo de sentenas ou enunciados; isto significa que no 12

faz sentido algum, do ponto de vista lgico, atribuir o predicado* verdadeiro a uma palavra tomada isoladamente. O prximo passo determinar que caractersticas um dado enunciado deve possuir para que possamos atribuir a ele a propriedade de ser verdadeiro. Consideremos os seguintes casos: (1) Paris uma cidade francesa (2) Barcelona a capital da Espanha Qualquer pessoa com um mnimo de conhecimento ir perceber que o primeiro enunciado verdadeiro e o segundo falso. A pergunta que se coloca : por qu? Pela simples razo de que (1) est de acordo com os fatos ao passo que (2) no. Agora, o que significa dizer que um enunciado est de acordo com os fatos? Consideremos o caso do primeiro enunciado. O que ele afirma que o objeto denotado pelo nome Paris possui a propriedade de ser uma cidade francesa. Se formos examinar os fatos relevantes iremos constatar que Paris possui a caracterstica de ser uma cidade francesa, isto , ela pertence ao territrio francs. Desta forma, aquilo que foi afirmado em (1) verdadeiro porque, de alguma forma, corresponde quilo que acontece no mundo. No caso de (2) a situao completamente diferente. um fato amplamente conhecido que a capital da Espanha Madri e no Barcelona e que, portanto, (2) no corresponde aos fatos e um enunciado falso. claro que possvel obter: (3) Barcelona no a capital da Espanha que, por sua vez, a negao de (2) e se constitui em um enunciado verdadeiro. Aqui j possvel detectar um dos primeiros princpios que governa a noo de verdade: a negao de um enunciado verdadeiro um enunciado falso e vice-versa. Como veremos a seguir, este princpio fundamental para que possamos expressar algumas das regras mais bsicas que determinam a utilizao da noo de verdade. A concepo esboada acima denominada de teoria correspondencial da verdade ou teoria clssica porque concebe a verdade como uma espcie de relao entre a linguagem e o mundo. importante salientar que esta no a nica concepo de verdade, mas, sem dvida alguma, a mais antiga e todas as demais tiveram sua origem a partir dela. importante perceber uma diferena fundamental que envolve a distino entre a elucidao do conceito de verdade, de um lado, e a obteno de um critrio de verdade, de outro. A elucidao uma tentativa de obter o esclarecimento de um determinado conceito fazendo uso de outros conceitos em relao aos quais possumos um entendimento satisfatrio. Obter o critrio de aplicao de um conceito uma tarefa completamente diferente, determinar, em casos particulares, se o conceito se aplica ou no. A conseqncia mais importante de tal distino o reconhecimento do fato de que nem sempre o esclarecimento de um conceito garantia de que a sua aplicao poder receber uma resposta satisfatria. Na matemtica, este tipo de situao bastante freqente. Consideremos o caso da conjectura de Goldbach: at hoje no foi possvel determinar se tal enunciado verdadeiro ou falso, ou seja, a existncia da teoria correspondencial no garante a soluo para o problema especfico de saber se tal enunciado verdadeiro ou no. A aplicao da propriedade de ser verdadeiro somente poder ser realizada no momento em que obtivermos uma prova* de tal enunciado. Como at o momento tal prova no existe, no possvel saber se, neste caso especfico, a propriedade em questo se aplica ou no. No entanto, apesar de no sabermos se a conjectura de Goldbach verdadeira ou no, existem duas coisas que podem ser afirmadas a seu respeito: (a) ela no pode ser simultaneamente verdadeira e falsa; e, (b) ela verdadeira ou ela falsa. A primeira destas caractersticas um caso particular do chamado (I) princpio de nocontradio*: dada uma sentena p, qualquer enunciado que afirma a conjuno de p e de sua 13

negao sempre falso. O item (b), por sua vez, um caso particular do (II) princpio do terceiro excludo* que afirma que a sentena p ou no-p sempre verdadeira. Estes so os dois princpios mais bsicos que existem em relao noo de verdade, os quais desempenham um papel central no estudo da lgica. No difcil perceber que a conseqncia imediata da adoo destes dois princpios o fato de que todo enunciado possui um e somente um valor de verdade. Pergunta 2: Qual a diferena entre critrio de verdade e elucidao do conceito de verdade? Afinal de contas, por que se preocupar com este tipo de problema? possvel fornecer vrios tipos de respostas a esta questo e todas elas indicam de forma inequvoca a importncia do conceito de verdade nos mais diversos aspectos de nossas vidas. A nossa aptido em tratar com a propriedade ser verdadeiro importante na medida em que atravs dela adquirimos mais e mais conhecimentos em relao ao mundo e a ns mesmos. Alm disso, os vrios princpios relativos verdade desempenham um papel central na nossa prtica argumentativa que , de alguma forma, o trao mais caracterstico da racionalidade humana. Quem de ns, em alguma discusso, no ficou embaraado ao ser acusado de estar se contradizendo? Por que a contradio algo que deve ser evitado? A resposta a essa pergunta simples: pelas leis anteriormente citadas possvel mostrar que toda a pessoa que se contradiz est afirmando pelos menos um enunciado falso. No caso das teorias cientficas, os princpios (I) e (II) desempenham um papel igualmente fundamental. possvel mostrar que toda teoria contraditria trivial, ou seja, que a partir de seus enunciados bsicos possvel estabelecer qualquer resultado. Ora, tal caracterstica indesejvel na medida em que: se a partir de uma teoria possvel estabelecer qualquer coisa, perdemos o que h de mais importante nela, a saber, a sua capacidade de distinguir enunciados verdadeiros de enunciados falsos. Na matemtica, em particular, a utilizao de tais princpios proporciona um dos mtodos de provas mais eficiente, a saber, as provas por reduo ao absurdo*. Muitas vezes difcil, ou impossvel, obter a demonstrao de um enunciado p a partir de outros enunciados. Neste caso, o que o matemtico faz assumir como premissa de sua prova no-p. O passo seguinte a partir de no-p, e de outras premissas adicionais, obter uma contradio. Desta forma, baseado em certas leis envolvendo a noo de conseqncia lgica, ele pode afirmar que no-p um enunciado falso. Ora, como pelo princpio (II) um enunciado ou sua negao verdadeiro, ele estabelece que p verdadeiro obtendo, assim, a concluso desejada. Pergunta 3: Relacione o princpio de no-contradio e o princpio do terceiro excludo com a prova por reduo ao absurdo. claro que seria possvel prolongar quase que indefinidamente os benefcios retirados por ns do estudo dos princpios que regem a noo de verdade, contudo, neste momento, seria interessante examinar, com um pouco mais de cuidado, alguns problemas que envolvem tal noo. Isto ir mostrar, de uma forma bastante clara, que um conceito pode ser utilizado por ns e nem sempre termos uma soluo para todos os problemas que o envolvem. O primeiro deles diz respeito noo de correspondncia. Como foi visto anteriormente, quando aquilo que afirmamos corresponde ao que est no mundo dizemos algo verdadeiro, caso 14

contrrio dizemos algo falso. A questo que surge aqui que nem sempre possvel aplicar tal concepo de forma no problemtica. Tomemos o seguinte enunciado, (4) Paris no uma cidade inglesa bvio que tal enunciado verdadeiro, no entanto, segundo a teoria correspondencial, no nada claro a que estado de coisas ele estaria se referindo. Este problema surge devido ao fato da situao que, aparentemente, torna (4) verdadeiro no existir; mas, se ela no existe, qual o sentido de se afirmar que a este enunciado corresponde algo no mundo?
FIM DA PRIMEIRA PARTE

o enunciado que afirma que todo nmero par maior que 3 pode ser expresso como a soma de dois nmeros primos. Assim, 8 = 5 + 3, 10 = 7 + 3, etc. (nmero primo aquele que s divisvel por si mesmo e pela unidade, p. ex. 3, 5, 7, 11, etc.). Valor de verdade o termo que se usa em lgica para se referir ao fato de uma proposio ser verdadeira ou falsa. qualquer enunciado do tipo p e no-p. Evidentemente que, pelo princpio de no contradio, toda contradio falsa. Esta uma noo central para a lgica. A propriedade aqui referida a de que se um conjunto de enunciados tem como conseqncia lgica uma contradio, ento pelo menos um dos seus enunciados falso.

Aula 3 - Material de Consulta


MATERIAL DE CONSULTA - 3 Texto: O PROBLEMA DA VERDADE (I Parte) Os termos e nomes abaixo se encontram em ordem de apario no texto:

Arno Viero (1960-2005): filsofo gacho atuante na rea de lgica, filosofia da lgica e da matemtica. Doutor em filosofia pela Pontifcia Universidade Catlica do Rio de Janeiro (PUC-Rio) e professor da Universidade Federal Fluminense (UFF). Dentre os vrios trabalhos publicados destacam-se a sua dissertao de mestrado - Sistemas Axiomticos Formalizados: A Questo da Desinterpretao e Formalizao da Axiomtica e, a sua tese de doutorado - A Axiomatizao da Teoria de Conjuntos.

Empirismo: doutrina segundo a qual todo o conhecimento humano deriva da experincia sensvel, ou seja, sua verdade s pode ser verificada pelo uso dos sentidos. Oposto do racionalismo (Ver Material de Consulta - 1) 15

Predicado: termo lgico que indica a qualidade, atributo ou propriedade de algo.

Prova: verificao da verdade de uma hiptese em relao aos fatos a que se refere. Em um sentido lgico, trata-se da demonstrao da validade de uma proposio de acordo com determinados princpios lgicos e regras dedutivas.

Princpio de no-contradio: princpio lgico que aponta a impossibilidade de afirmarmos e negarmos algo ao mesmo tempo. Por isso, a contradio desqualifica qualquer teoria porque ao detect-la em um conjunto de proposies, conseqentemente, uma delas falsa. Este princpio foi formulado pela promeira vez pelo filsofo grego Aristteles (384-322 a.C) na Metafsica, livro IV.

Princpio do terceiro excludo: princpio lgico que afirma de forma direta que cada proposio s pode ser verdadeira ou falsa, portanto, exclui casos intermedirio, tais como proposies meio certas ou mais ou menos certas. Este princpio tambm foi formulado pela promeira vez pelo filsofo grego Aristteles (384-322 a.C) na Metafsica, livro X.

Reduo ao absurdo: forma de argumentao que visa refutar uma tese contrria mostrando que possvel derivarem-se dela conseqncias absurdas do ponto de vista lgico. Na matemtica, muitas vezes, chamada de demonstrao indireta.

16

Aula 4 - O Problema da Verdade (2a parte)


O PROBLEMA DA VERDADE (II Parte) ARNO A. VIERO* (MATERIAL DA 4 SEMANA) Outro problema bastante desconcertante envolvendo a verdade diz respeito a enunciados nos quais ocorrem nomes vcuos*. Consideremos o seguinte exemplo examinado por Bertrand Russell* em seu artigo Da Denotao: (5) O atual rei da Frana careca A questo que se coloca em relao a este enunciado que, de acordo com o princpio do terceiro excludo, ou o rei da Frana careca ou o rei da Frana no careca. Ora, se fizermos duas listas de objetos no mundo, uma com todas as coisas que so carecas, e outra com todas as coisas que no so carecas iremos perceber que o atual rei da Frana no est em nenhuma delas. Se pensarmos um pouco no ser difcil encontrar a resposta para este enigma: o rei da Frana no est em nenhuma das duas listas simplesmente porque ele no existe! Aqui o problema achar uma soluo para tal situao que preserva ao mximo os princpios lgicos anteriormente discutidos. Russell tentou fazer isto elaborando a sua teoria das descries* segunda a qual (5) seria um enunciado falso. No entanto, importante ressaltar que tal soluo no foi unanimemente aceita e, ainda hoje, existem vrias teorias rivais que tentam achar uma soluo satisfatria para esta questo. Existem outros tipos de enunciados extremamente problemticos quando a tarefa determinar o seu valor de verdade. Tomemos o seguinte exemplo, (6) O enunciado de nmero seis falso Afinal, este enunciado verdadeiro ou falso? Se ele verdadeiro, ento ele falso e se ele falso, ento ele verdadeiro, fato este, que, evidentemente, contraria o princpio de no contradio. Aqui a soluo igualmente complexa e ainda hoje existem vrias concepes distintas que pretendem fornecer a soluo mais adequada. Talvez em relao a esta questo a maior contribuio tenha sido dada pelo lgico e matemtico polons Alfred. Tarski* ao mostrar que devemos restringir, de alguma forma, a aplicao do predicado ser verdadeiro. Pergunta 1: Por que devemos restringir a aplicao do predicado ser verdadeiro em alguns casos ? Alm dessa, existe uma outra classe de problemas envolvendo a noo de verdade que tem se mostrado particularmente difcil para a anlise filosfica. Esta questo tem sido tratada desde a antiguidade clssica e diz respeito aplicao do principio do terceiro excludo a enunciados que se referem ao futuro. Consideremos o seguinte enunciado, (7) Amanh ir ocorrer um assalto no Banco Central 17

Qual o valor de verdade deste enunciado? A resposta simples: no sabemos, porque as condies objetivas segundo as quais poderamos verificar se ele verdadeiro ou no ainda no ocorreram; no entanto, de acordo com o princpio do terceiro excludo ele deve ser ou verdadeiro ou falso. As conseqncias deste fato so enormes e no nada difcil perceber por que: se for verdade, hoje, que amanh ir ocorrer um assalto no Banco Central no adianta tomarmos nenhuma atitude para prevenir tal acontecimento. Parece que a aplicao do princpio do terceiro excludo a eventos futuros acarreta a adoo de uma postura determinista, ou seja, os fatos que iro ocorrer esto determinados de tal forma que a nossa ao em relao a eles completamente irrelevante. Este fato tem implicaes ticas srias. Como culpar algum por ter cometido um ato ilcito que no entanto estava desde o incio dos tempos determinado? Como fica a questo da liberdade humana? At que ponto somos responsveis pelos nossos atos? Estas so algumas questes que tocam de perto a todos ns enquanto sujeitos morais e que decorrem diretamente de uma investigao abstrata e aparentemente remota envolvendo o conceito de verdade. Este problema conhecido, na literatura filosfica, sob o nome de problema dos futuros contingentes. Pergunta 2: Qual a relao entre o princpio do terceiro excludo com o determinismo? Alis, existe uma pequena histria que narrada no clssico Don Quixote de la Mancha escrito por Miguel de Cervantes, no sculo XVII, que mostra as conseqncias que podem surgir a partir da considerao do problema acima referido. Conta a lenda que havia uma cidade em que todo o viajante que a cruzasse era obrigado a proferir um enunciado: se o enunciado fosse verdadeiro o viajante seria enforcado, se o enunciado fosse falso o viajante seria esfaqueado. claro que durante anos ningum conseguiu sair vivo da cidade at que um dia prenderam um aldeo que proferiu o seguinte enunciado: serei esfaqueado. Ora, se o que ele afirma verdadeiro ento ele ser enforcado mas, neste caso, o enunciado proferido por ele era falso e ele deveria ter sido esfaqueado. Se, por outro lado, o enunciado falso, ele deve ser esfaqueado mas neste caso ele havia dito a verdade e, portanto, deveria ter sido enforcado! Estes so apenas alguns dos problemas que, ainda hoje, desafiam os filsofos na tentativa de obter uma compreenso adequada da noo de verdade. Alguns dos exemplos acima podem ser considerados divertidos ou exticos e, no entanto, so problemas srios, de difcil soluo e que envolvem outras disciplinas alm da filosofia, como a lgica e a matemtica. Alis, uma das contribuies mais importantes realizadas no sculo XX em relao a este problema partiu justamente de Alfred Tarski que, na dcada de trinta, obteve uma definio rigorosa de verdade para vrias teorias matemticas. A sua idia foi a de obter uma soluo matematicamente satisfatria que incorporasse as intuies bsicas da teoria clssica e que, ao mesmo tempo, evitasse problemas como aqueles surgidos em relao ao enunciado (6), discutido anteriormente. Ainda hoje parte da obra de Tarski fonte de vrios debates, sendo que um dos principais desafios ligados a ela entender o significado filosfico de certos resultados matemticos. Aqui ficam evidenciados os benefcios e os limites da interao entre a filosofia e a cincia. A investigao cientfica desempenha um papel muito importante no avano do entendimento de vrios conceitos importantes, do ponto de vista filosfico; no entanto, no possvel resolver cientificamente um problema filosfico, pela simples razo de que, uma vez estabelecido o resultado cientfico, necessrio explorar as suas conseqncias conceituais; ou seja: neste momento, regressamos, novamente, ao domnio da especulao filosfica. Desta forma possvel perceber qual a funo da filosofia e a sua relao com uma noo que ocupa um papel central nas mais diversas reas da atividade humana. difcil encontrar alguma atividade na qual o conceito de verdade no esteja envolvido de alguma forma. Alis, sem alguma 18

idia, pelo menos rudimentar, de verdade, a vida seria impossvel e, no entanto, como foi mostrado atravs dos vrios problemas examinados anteriormente, assim que comeamos a pensar nesta noo to familiar nos vemos envoltos em dificuldades conceituais quase intransponveis. No final das contas a situao aquela descrita com muita clareza por Santo Agostinho*:

Falamos do tempo e mais do tempo, dos tempos e ainda dos tempos. Andamos constantemente com o tempo na boca: por quanto tempo falou este homem?; quanto tempo demorou a fazer isto?; h quanto tempo no via aquilo?; esta slaba longa tem o dobro de tempo daquela slaba breve. Dizemos e ouvimos semelhantes expresses. Os outros compreendem-nos e ns compreendemo-los. So palavras muito claras e muito vulgares, mas ao mesmo tempo bastante obscuras. Exigem por isso, uma nova anlise (p. 311).
FIM DO TEXTO

Ver B. Russell (1978). Este um dos textos mais importantes do sculo XX. No entanto, um texto muito difcil, cuja leitura recomendvel somente queles que j tenham alguma formao filosfica.

Ver A. Tarski (1952).

Confisses, p. 311.

Aula 4 - Material de Consulta


MATERIAL DE CONSULTA - 4 Texto: O PROBLEMA DA VERDADE (II Parte) Os termos e nomes abaixo se encontram em ordem de apario no texto:

Arno Viero (1960-2005): filsofo gacho atuante na rea de lgica, filosofia da lgica e da matemtica. Doutor em filosofia pela Pontifcia Universidade Catlica do Rio de Janeiro (PUC-Rio) e professor da Universidade Federal Fluminense (UFF). Dentre os vrios trabalhos publicados destacam-se a sua dissertao de mestrado - Sistemas Axiomticos Formalizados: A Questo da Desinterpretao e Formalizao da Axiomtica e, a sua tese de doutorado - A Axiomatizao da Teoria de Conjuntos.

19

Nome vcuo: trata-se de um termo vazio que no se refere ou descreve nenhum objeto.

Bertrand Russell (1872-1970): filsofo e matemtico ingls, professor da Universidade de Cambridge. Sua atuao foi bastante ampla em lgica, filosofia da matemtica e da linguagem, assim como, no ativismo poltico em favor de causas liberais e projetos educacionais. Recebeu o Prmio Nobel de Literatura em 1950. Suas principais obras so: Exposio Crtica da Filosofia de Leibniz (1900); Os Princpios da Matemtica (1903) escrito com Alfred North Whitehead (1861-1947); Principia Mathematica (1910-1913); O Atomismo Lgico (1918-1919); dentre outros.

Teoria das descries: apresentada em no artigo On Denoting (1905) de Russell. Esta teoria se dedica ao estudo de descries definidas, ou seja, uma descrio de um objeto como o nico portador de uma propriedade, como por exemplo: o menor nmero inteiro positivo ou a pessoa mais rica do mundo.

Alfred Tarski (1901-1983): matemtico e lgico de origem polonesa radicado nos Estados Unidos onde lecionou na Universidade de Berkley a partir de 1942. Sua principais obras so: O Conceito de Verdade nas Linguagens Formais (1935); Introduo Lgica Matemtica (1936) e; Lgica, Semntica e Metamatemtica (1956).

Santo Agostinho (354-430): filsofo de origem argelina e um dos mais importantes da filosofia medieval responsvel pela sntese do pensamento filosfico clssico (grecoromano) e o cristianismo. Suas principais obras so: As Confisses (400), de carter autobiogrfico e; A Cidade de Deus (412-427).

20

Aula 5 - Platonismo, Formalismo e Construtivismo


ORIENTAO TEXTO 5 Texto: PLATONISMO, FORMALISMO, CONSTRUTIVISMO (MATERIAL DA 6 SEMANA) O objetivo do texto abaixo apresentar a matemtica em um contexto mais amplo ao introduzir algumas interpretaes filosficas possveis a seu respeito. O ttulo do texto j nos familiariza com as trs noes filosficas mais gerais acerca da matemtica: o platonismo, o formalismo e o construtivismo. Esses modos de pensar a matemtica so tentativas de integr-la a diferentes concepes de mundo concebidas em diferentes momentos da histria do pensamento. Assim, a filosofia vem tentando entend-la de uma maneira mais abrangente desde coisas cotidianas como lidar com dinheiro, dizer as horas at coisas mais complexas como a noo de nmero, de espao e de tempo. Essa misteriosa natureza da matemtica pode ser exemplificada atravs da seqncia de Fibonacci (1170-1250). Esse matemtico italiano obtm uma seqncia mgica ao resolver um problema hipottico acerca da reproduo de coelhos. Se algum isolasse um casal de coelhos quantos pares de coelhos teriam sido originados a partir desse casal, supondo que durante todos os meses cada novo casal reproduziria um novo casal que a partir do seu segundo ms de vida j seria frtil? O resultado gerou a seguinte seqncia: 1,1,2,3,5,8,13,21..., na qual cada nmero a soma dos dois que o antecedem. Essa seqncia se aplica a diversos campos da matemtica, mas o mais espantoso que diversas formas e aspectos da natureza encontram-se dispostos como os nmeros de Fibonacci. O miolo de flores como o girassol, a margarida, a distribuio das folhas nos galhos das rvores, as camadas de uma cebola, as espirais de um pinho e, assim por diante. E a pergunta que fica a seguinte: Qual a relao entre a matemtica e o mundo? ________________________ PLATONISMO, FORMALISMO, CONSTRUTIVISMO Philip J. Davis e Reuben Hersh* (MATERIAL DA 6 SEMANA) Se voc faz matemtica todos os dias, ela lhe parece a coisa mais natural do mundo. Se voc pra e pensa sobre o que est fazendo e o que isso significa, ela lhe parece uma das coisas mais misteriosas. Como podemos falar de coisas que ningum jamais viu, e compreend-las mais do que os objetivos da vida diria? Por que a geometria euclidiana ainda correta, enquanto que a fsica de Aristteles* j morreu h muito tempo? O que sabemos na matemtica, e como o sabemos? Em qualquer discusso sobre os fundamentos da matemtica so apresentados trs dogmaspadro: o platonismo*, o formalismo* e o construtivismo*.

21

Segundo o platonismo, os objetos matemticos so reais. Sua existncia um fato objetivo, totalmente independente de nosso conhecimento sobre eles. Conjuntos infinitos, conjuntos infinitos no-enumerveis, variedades de dimenso infinita, curvas que enchem o espao - todos os membros do zoolgico matemtico so objetos definidos, com propriedades definidas, algumas conhecidas, muitas desconhecidas. Esses objetos no so, naturalmente, fsicos ou materiais. Existem fora do espao e do tempo da experincia fsica. So imutveis - no foram criados, e no mudaro ou desaparecero. Qualquer pergunta significativa sobre um objeto matemtico tem uma resposta definida, quer sejamos capazes ou no de determin-la. Segundo o platonismo, um matemtico um cientista emprico*, como um gelogo; no pode inventar nada, pois tudo j existe. O que pode fazer descobrir coisas. Ren Thom* e Kurt Gdel* so dois adeptos do platonismo. Thom escreve (1971) Levando tudo em conta, os matemticos deveriam ter a coragem de suas convices mais profundas e afirmar assim que as formas matemticas tm, com efeito, uma existncia independente da mente que as contempla (...). No entanto, a qualquer tempo, os matemticos tm somente uma viso incompleta e fragmentria deste mundo das idias*. E Gdel Malgrado seu distanciamento da experincia dos sentidos, temos algo como que uma percepo tambm dos objetos da teoria dos conjuntos*, como se depreende do fato de que os axiomas se impem a ns como verdadeiros. No vejo nenhuma razo por que deveramos ter menos confiana neste tipo de percepo, isto , na intuio matemtica, do que na percepo dos sentidos (...). Esses objetos podem tambm representar um aspecto da realidade objetiva. O mundo das idias de Thom geomtrico, enquanto que o de Gdel o universo da teoria de conjuntos. De outro lado, temos Abraham Robinson* No consigo imaginar que voltarei jamais ao credo do verdadeiro platonista, que percebe o mundo do infinito real estendido a seus ps, e que pode compreender o incompreensvel. (1969) Segundo o formalismo, por outro lado, no h objetos matemticos. A matemtica consiste somente em axiomas, definies e teoremas - em outras palavras, frmulas. Em uma verso extrema, existem regras por meio das quais se deduz uma frmula da outra, mas as frmulas no so sobre alguma coisa: so somente cadeias de smbolos. Naturalmente o formalismo sabe que, por vezes, as frmulas matemticas so aplicadas a problemas fsicos. Quando dada uma interpretao fsica a uma frmula, ela adquire um significado, e pode ser verdadeira ou falsa. Mas esta verdade* ou falsidade tem a ver com a prpria interpretao fsica. Como uma frmula puramente matemtica, ela no tem significado nem de uma verdade. Um exemplo que demonstra a diferena entre o formalista e o platonista aparece na hiptese do contnuo* de Cantor*. Cantor conjeturou que no existe cardinal infinito* que seja maior do que 0 (a cardinalidade dos inteiros*) e menos do que c (a cardinalidade dos nmeros reais*). K Gdel e P.J. Cohen mostraram que, baseando-se nos axiomas da teoria formal dos conjuntos, a hiptese do contnuo no pode ser demonstrada (Gdel, 1937) nem negada (Cohen*, 1964). Para um platonista, isso significa que nossos axiomas so incompletos como uma descrio do conjunto de nmeros reais. No so suficientemente fortes para nos contar toda a verdade. A hiptese do contnuo ou verdadeira ou falsa, mas no compreendemos suficientemente bem o conjunto dos nmeros reais para descobrir a resposta.

22

Para o formalista, por outro lado, a interpretao platnica no faz sentido, pois no h sistema dos nmeros reais, a no ser da forma que escolhemos cri-lo, estabelecendo os axiomas para descrev-lo. Naturalmente temos liberdade de modificar este sistema de axiomas se desejarmos faz-lo. Uma tal modificao pode ser por convenincia ou por utilidade ou algum outro critrio que resolvemos introduzir; no pode tratar-se de uma melhor correspondncia com a realidade, pois a no h realidade. Os formalistas e platonistas esto em extremos opostos do problema da existncia e da realidade; mas no discutem sobre que princpios de raciocnio deveriam ser admissveis na prtica matemtica. Opostos a ambos esto os construtivistas. Os construtivistas consideram matemtica genuna somente o que pode ser obtido por uma construo finita. O conjunto de nmeros reais, ou qualquer outro conjunto infinito, no pode ser obtido desta maneira. Conseqentemente, o construtivista considera a hiptese de Cantor palavras sem sentido. Qualquer resposta seria pura perda de tempo. Pergunta 1: Relacione as idias bsicas do platonismo, formalismo e construtivismo.

Aula 5 - Material de Consulta


MATERIAL DE CONSULTA - 5
Texto: PLATONISMO, FORMALISMO, CONSTRUTIVISMO

Os termos e nomes abaixo se encontram em ordem de apario no texto:

Philip J. Davis (1923-): matemtico americano com doutorado em Harvard e, atualmente, professor de matemtica aplicada na Universidade Brown nos Estados Unidos. Recebeu diversos prmios por sua obra, dentre eles, o Chauvenet da Associao Americana de Matemtica.

Reuben Hersh (1927-): matemtico americano com doutorado no Instituto Courant da Universidade de Nova Iorque e, atualmente, professor de matemtica na Universidade do Novo Mxico nos Estados Unidos. Em sua vida profissional bastante diversificada tem trabalhado, alm da matemtica, como escritor, editor e mecnico. Tambm recebeu diversos prmios por sua obra, dentre eles, o Chauvenet da Associao Americana de Matemtica. Equaes diferenciais parciais e reas afins da Anlise Matemtica so seus principais interesses

23

Aristteles (3384-322 a.C): um dos filsofos gregos mais influentes, ao lado de Plato, na tradio filosfica. Ingressou na Academia como aluno de Plato e, mais tarde, fundou a sua prpria escola, o Liceu. Sua obra rene diversas reas de conhecimento: estudos de lgica agrupados no rganon; estudos de fsica: a Fsica, Do Cu e, Da Gerao e da Corrupo; estudos de psicologia e histria natural: Da Alma, Das Partes, Dos Movimentos e Da Gerao dos Animais; estudos de tica: tica a Nicmaco, tica a Eudemo, Magna Moralia, Poltica, Retrica e a Potica e; finalmente, sua obra mais famosa que trata de investigaes gerais sobre o mundo, a Metafsica.

Platonismo: doutrina baseada nas idias do filsofo grego Plato (c.427-348 a.C). A concepo central desse autor a de que existem dois mundos distintos o mundo sensvel ou das aparncias que o qual temos acesso na vida cotidiana e, o mundo das idias, no qual, se encontra a verdadeira realidade considerada absoluta e eterna. Segundo Plato, s podemos atingir o conhecimento verdadeiro se nos elevarmos por etapas do mundo sensvel ao mundo das idias, ou seja, deixando para trs as simples aparncias dos objetos para seguirmos em direo s idias abstratas, ou seja, o conhecimento verdadeiro da realidade. As idias ou entidades abstratas so seres reais e independem da nossa percepo. Estas noes foram formuladas sob o nome de mito ou alegoria da caverna descrita na Repblica, uma das obras mais importantes de Plato. Esta a principal concepo em torno dos platonistas que trabalham questes ligadas filosofia da lgica e da matemtica, na medida em que consideram os objetos matemticos (nmeros, figuras geomtricas, etc.) como entidades reais, abstratas e eternas por existirem independentemente do nosso pensamento e, sobretudo, do nosso conhecimento sobre eles.

Formalismo: doutrina, segundo a qual, as verdades matemticas so puramente formais, ou seja, seu carter considerado puramente abstrato sem relao com o real. Portanto, para os formalistas a matemtica um conjunto de convenes e smbolos.

Construtivismo: teoria que considera os objetos da lgica e matemtica reais, na medida, que so construdos, ou seja, caso seja possvel provar a sua existncia. Portanto, uma proposio s pode ser verdadeira se for possvel efetivamente construir uma prova de sua verdade.

Empirismo: ver Material de Consulta n 3.

Ren Thom (1923-2002): matemtico francs que se tornou famoso pela criao da teoria da catstrofe que se dedica estrutura de aes contnuas que produzem resultados discontnuos. Sua teoria visa descrever a impossibilidade de se utilizar clculo diferencial para situaes que sofrem mudanas abruptas, catastrficas. Esse seu trabalho teve uma grande repercusso e aplicao na fsica, biologia e cincias sociais. Recebeu diversos prmios, dentre eles, o mais importante foi a Medalha Fields em 1958.

24

Kurt Gdel (1906-1978): matemtico e lgico de origem tcheca que trabalhou desde 1938 em Princeton nos Estados Unidos. Destacou-se por seus teoremas sobre os limites dos sistemas formais e, assim, influenciando o desenvolvimento da lgica e da matemtica no sculo XX. Em 1931 publicou o conhecido teorema de Gdel ou teorema de incompletude que prova a existncia de sentenas indecidveis em qualquer sistema formal da aritmtica. Ou seja, sentenas que no so nem verdadeiras e nem falsas. Como deduo desse teorema foi obtido um segundo teorema estabelecendo que a consistncia de um sistema formal de aritmtica no pode ser formalmente demonstrado no prprio sistema, ou seja, nenhum sistema formal contm em si a prova da sua consistncia. A partir dos seus teoremas que demonstraram as limitaes internas dos sistemas formais surgiram importantes discusses sobre os fundamentos da matemtica acarretando uma reviso dos projetos em filosofia da cincia que pretendiam encontrar na lgica matemtica a linguagem perfeita para a cincia.

Mundo das idias: tambm conhecido como mito ou alegoria da caverna apresentado no captulo VII da Repblica, considerado um dos mais importantes e influentes dilogos de Plato, escrito entre 389 e 369 a.C. Ver o verbete Platonismo.

Teoria de conjuntos: Segundo Cantor, se dois conjuntos so equipotentes, necessariamente, ambos tm o mesmo nmero cardinal. Os nmeros cardinais dos conjuntos finitos podem ser identificados com os nmeros naturais. Os nmeros cardinais dos conjuntos infinitos so nomeados de nmeros transfinitos. H pelo menos dois tipos distintos de conjuntos infinitos: o primeiro dos nmeros naturais ou, qualquer conjunto infinito que lhe seja equivalente, que so considerados enumerveis e denotados pela cardinalidade 0 (aleph letra do alfabeto hebreu com sub-ndice zero); o segundo tipo o representado pela cardinalidade dos nmeros reais ou por um segmento de reta que, por ter um comprimento arbitrrio a sua cardinalidade representada por um c minsculo para simbolizar contnuo, portanto, considerado noenumervel.

Abraham Robinson (1918-1974): matemtico judeu-alemo com doutorado na Universidade Hebraica de Jerusalm e que terminou sua vida como professor da Universidade de Yale nos Estados Unidos. Contribuiu de forma brilhante para diversas reas da matemtica desde lgica matemtica at aerodinmica, assunto que dominou de forma extraordinria ao se tornar oficial cientfico durante a II Guerra Mundial. Seus trabalhos mais importantes esto relacionados ao estudo das propriedades dos modelos de completude (1956), o tratado sobre a teoria de modelos e a lgebra da meta matemtica (1963) e, principalmente, a criao da anlise non-standard (1961).

Verdade: consultar, em especial, a I parte do texto O Problema da Verdade do professor Arno Viero, no qual, este tema amplamente discutido.

Hiptese do contnuo: hiptese proposta por Georg Cantor a partir do desenvolvimento da sua teoria de conjuntos que consiste na seguinte questo: existe sobre um segmento de reta um 25

conjunto infinito de pontos que no equivalente a todo segmento e, que tambm no equivalente ao conjunto dos nmeros naturais? Ou seja, existe um conjunto com cardinalidade entre 0 e c? Cantor conclui ao conjecturar essa pergunta que no existe tal conjunto. Com as solues de Gdel em 1940 e Cohen em 1963 ficou demonstrado que essa hiptese independente dos postulados da teoria de conjuntos, portanto, no pode ser deduzida a partir dela. Ou seja, a hiptese do contnuo no verdadeira e nem falsa.

Georg Cantor (1845-1918): matemtico alemo que fundamentou a teoria de conjuntos e introduziu o conceito de nmeros transfinitos. Seu trabalho se concentrou, principalmente, numa maneira moderna de abordar o sistema dos nmeros reais e tambm em um modo possvel de tratar questes relacionadas ao infinito. O desenvolvimento inicial de sua teoria foi publicado a partir de 1874 em diversas revistas alems especializadas. Antes dos trabalhos de Cantor os matemticos s aceitavam um tipo de infinito que era denotado por algum smbolo como (mega), o qual era empregado indiscriminadamente para indicar a infinitude de elementos dos conjuntos dos nmeros naturais e reais. Portanto, Cantor introduziu, entre outras coisas, uma aritmtica e uma escala para as infinidades. Ao inovar a concepo de continuidade e de infinito na matemtica e obteve grande repercusso junto filosofia e lgica.

Cardinal infinito: ver o verbete Teoria de conjuntos.

Cardinalidade dos inteiros: ver os verbetes Teoria de conjuntos e Hiptese do contnuo.

Cardinalidade dos reais: o verbete Hiptese do contnuo.

Paul Joseph Cohen (1934-): matemtico norte-americano e professor da Universidade de Stanford nos Estados Unidos. Recebeu diversos prmios, dentre eles, o mais importante foi a Medalha Fields, em 1966, pelo seu trabalho sobre os fundamentos da teoria de conjuntos. Ele tambm trabalhou com equaes diferenciais e anlise harmnica.

26

Aula 6 - Demonstraes
DEMONSTRAES
Philip J. Davis e Reuben Hersh* (MATERIAL DA 7 SEMANA) J se fez a afirmativa de que a matemtica fica caracterizada, de maneira nica, por algo conhecido, como "demonstraes"*. Diz-se que a primeira demonstrao na histria da matemtica foi dada por Tales de Mileto* (600 a.C.). Ele demonstrou que o dimetro de um crculo o divide em duas partes iguais. Ora, isso uma afirmativa to simples que parece evidente por si prpria. A genialidade, neste caso, foi perceber que uma demonstrao possvel e necessria. O que torna uma demonstrao mais do que simples pedantismo so suas aplicaes a situaes onde as afirmativas so muito menos transparentes. Na opinio de alguns, o nome do jogo da matemtica demonstrao; sem demonstraes, nada de matemtica. Na opinio de outros, isso bobagem; h muitos jogos na matemtica. Para discutir o que uma demonstrao, como ela funciona, para que serve, necessitamos de um exemplo concreto de alguma complexidade, perante ns; e nada melhor do que dar uma olhada no mais famoso teorema da histria da matemtica, da maneira como ele est exposto no mais famoso livro dessa histria. Estamos nos referindo ao teorema de Pitgora*s, como ocorre na Proposio 47, Livro I dos Elementos de Euclides* (300 a.C.). Ns o citaremos em sua verso dada por Sir Thomas Heath*. Os nmeros que constam do texto, direita, so referncias e resultados previamente estabelecidos ou s "noes comuns". Proposio 47. (clique no trecho assinalado ao lado para visualizar a imagem) Nos tringulos retngulos, o quadrado sobre o lado que subentende o ngulo reto igual aos quadrados sobre os lados que contm o ngulo reto. Seja ABC um tringulo retngulo que tem o ngulo BAC reto; Afirmo que o quadrado sobre BC igual aos quadrados ", sobre BA, AC. Pois tracemos sobre BC o quadrado BDEC, e sobre BA, AC, os quadrados GB, HC; [1,46] por A, seja AL paralela a BD ou CE e unamos AD, FC. Ento, como cada um dos ngulos BAC, BAG reto, segue-se que as retas AC, AG, passando por A, e de lados distintos de BA, formam com BA ngulos iguais a retos, e, portanto, esto em linha reta, isto , CA est em linha reta com AG [1,46]. Pela mesma razo BA est tambm em linha reta com AH. E como o ngulo DBC igual ao ngulo FBA, pois cada um deles reto: seja o ngulo ABC adicionado a cada um; portanto, todo o ngulo DBA igual ao ngulo FBC. [N.C. 2]

27

E, como DB igual a BC, e FB a BA, os dois lados AB, BD so iguais aos dois lados FB, BC respectivamente, e o ngulo ABD igual ao ngulo FBC: portanto, a base AD igual base FC, e o tringulo ABD igual ao tringulo FBC. [1,4] Ora, o paralelogramo BL o dobro do tringulo ABD, pois tm a mesma base BD e esto sobre as mesmas paralelas BD, AL. [1,41]. E o quadrado GB o dobro do tringulo FBC, pois mais uma vez tm a mesma base FB e esto sobre as mesmas paralelas FB, GC. [1,41] [Mas os dobros de iguais so iguais entre si.] Portanto, o paralelogramo BL tambm igual ao quadrado GB. Semelhantemente, se AE, BK foram unidos, pode-se tambm demonstrar que o paralelogramo CL igual ao quadrado HC; portanto, todo o quadrado BDEC igual aos dois quadrados GB, HC. [N.C. 2]. E o quadrado BDEC est descrito sobre BC, e os quadrados GB, HC sobre BA, AC. Portanto, o quadrado sobre o lado BC igual aos quadrados sobre os lados BA, AC. Portanto etc. Q.E.D. Agora, supondo que temos Euclides at a Proposio 47, e supondo que somos intelectualmente capazes de percorrer este material, o que devemos julgar de tudo isso? Talvez a mais bela impresso registrada seja a atribuda a Thomas Hobbes* (1588- 1679) por John Aubrey* em seu livro "Vidas Curtas":
Ele tinha 40 anos antes de descobrir a geometria; o que aconteceu acidentalmente. Estando na Biblioteca de um Cavalheiro, os Elementos de Euclides estavam abertos, exatamente no Teorema 47, Libri I. Ele leu o teorema. Por Deus, disse (de vez em quando ele praguejava um pouco, para enfatizar suas afirmaes) isso impossvel! Assim, ele leu a demonstrao do teorema, que o remeteu a uma outra Proposio; e ele leu esta Proposio. Esta ltima o remeteu a uma outra, que ele tambm leu. Et sic deinceps (e assim sucessivamente) de maneira que, no fim, ele estava demonstradamente convicto daquela verdade. Isso o fez apaixonar-se pela Geometria.

O que parece inicialmente no intuitivo, dbio e algo misterioso termina, aps um certo tipo de processo mental, gloriosamente verdadeiro. Euclides, gostaramos de pensar, teria tido orgulho de Hobbes; e o usaria como a testemunha principal, para justificar seu longo trabalho de compilar os Elementos. Eis o processo de demonstrao, descoberto e sancionado pelos matemticos gregos, ao servio da confirmao e certificao. Uma vez que uma afirmativa foi demonstrada, devemos entender que a afirmativa verdadeira sem nenhuma sombra de dvida. A referncia a proposies anteriores, mencionada por Hobbes, caracterstica do mtodo de demonstrao e, como sabemos, no pode prosseguir indefinidamente. Cessa nos chamados axiomas* e definies. Enquanto que as ltimas so simplesmente convenes lingsticas, os primeiros representam o solo firme dos fatos evidentes por si prprios, sobre os quais repousa toda a estrutura, mantida unida pelos parafusos da lgica*. Tambm caracterstico do mtodo o grau considervel de abstrao* que ocorreu no refinamento de tais conceitos como tringulos, ngulo reto etc. A prpria figura comparece aqui com uma adjuno muito necessria verbalizao. Na apresentao de Euclides, no podemos 28

seguir totalmente a argumentao sem a figura, e a menos que fssemos suficientemente fortes para reproduzir a figura mentalmente, teramos que traar nossa prpria figura, se o autor no o tivesse feito por ns. Observe tambm que a linguagem da demonstrao tem uma qualidade formal e severamente restritiva. Isso no a linguagem da Histria, nem do drama, nem da vida diria; isso a linguagem que tem sido aguada e refinada de maneira a servir s necessidades precisas de um objetivo intelectual preciso, mas limitado. Uma reao a este material foi registrada pela poeta Edna Millay*, em seu verso "Euclid alone has Iooked on Beauty bare (Euclides foi o nico a contemplar a beleza nua.) Podemos mesmo sentir um arrepio, se acreditarmos que, com algumas linhas mgicas de uma demonstrao, obrigamos todos os tringulos retngulos do universo a comportar-se de maneira pitagrica*, regular. Abstrao, formalizao*, axiomatizao*, deduo* - eis os ingredientes de uma demonstrao. E as demonstraes da matemtica moderna, embora possam lidar com uma matriaprima diferente ou estarem situadas em um nvel mais profundo, do exatamente a mesma sensao ao estudante ou ao pesquisador, que o exemplo citado acima. Uma leitura mais extensa de Euclides trar tona pontos adicionais. Observe que na figura certas retas, por exemplo, BK, AL, parecem suprfluas a uma figura mnima que seja uma expresso do prprio teorema. Tal figura est ilustrada nesta pgina: (clique no trecho assinalado ao lado para visualizar a imagem) um tringulo retngulo com quadrados traados sobre cada um de seus lados. Estas linhas adicionais, que na escola elementar so freqentemente chamadas "linhas de construo", complicam a figura, mas formam uma parte essencial do processo dedutivo. Elas reorganizam a figura em sub-figuras e o processo de raciocnio se efetua exatamente neste subnvel. Ora, como sabemos onde traar estas retas, de maneira a poder raciocinar com elas? Pareceria que estas retas so relaes fortuitas. Em um certo sentido, isto verdadeiro e constitui a genialidade ou o truque da demonstrao. Achar as retas parte de encontrar uma demonstrao, e isso pode estar longe de ser fcil. A experincia traz percepo e habilidade ao processo de achar as retas de construo mais apropriadas. Uma pessoa pode ser mais habilidosa nisso do que outra. No h maneira garantida de chegar-se a uma demonstrao. Esta triste verdade igualmente irritante para crianas em idade escolar e para profissionais habilidosos. A matemtica, como um todo, pode ser encarada como uma sistematizao exatamente daqueles problemas que foram atacados com sucesso. Ento, a matemtica o assunto em que h demonstraes. Tradicionalmente, as demonstraes foram encontradas primeiramente em Euclides; e milhes de horas tm sido gastas, em sala de aula aps sala de aula, em pas aps pas, em gerao aps gerao, demonstrando e demonstrando novamente os teoremas de Euclides. Aps a introduo da "matemtica moderna" nos meados dos anos cinqenta, as demonstraes se espalharam por outros campos da matemtica da escola elementar, tais como a lgebra, e assuntos como a teoria dos conjuntos* foram deliberadamente introduzidos de maneira a formar um veculo para o mtodo axiomtico e para as demonstraes. Na universidade, uma aula tpica de matemtica avanada, especialmente uma aula dada por um professor com interesses "puros" consiste inteiramente em definio, teorema, demonstrao, definio, teorema, demonstrao, numa concatenao solene e sem interrupes. Por que isso? Se, como afirmado, uma demonstrao confirmao e certificao, ento poderamos pensar que, uma vez que uma demonstrao tivesse sido aceita por um grupo competente de estudiosos, o restante deles acreditaria em sua palavra, e prosseguiria com suas atividades. Por que os matemticos e seus alunos acham que vale a pena demonstrar repetidamente o teorema de Pitgoras ou os teoremas de Lebesgue*, ou Wiener*, ou Kolmogoroff*? 29

As demonstraes preenchem simultaneamente vrios fins. Ao serem expostas ao exame e julgamento de uma nova audincia, as demonstraes esto sujeitas a um processo constante de criticismo e revalidao. Erros, ambigidades e incompreenses so dissipados devido exposio constante. Uma demonstrao significa respeitabilidade. Uma demonstrao o sinete da autoridade. Uma demonstrao, no melhor dos casos, aumenta o entendimento, mostrando o que essencial no assunto. As demonstraes sugerem matemtica nova. O principiante que estuda demonstraes se aproxima mais da criao de matemtica nova. Uma demonstrao potncia matemtica, a voltagem eltrica do assunto, que vitaliza as afirmativas estticas dos teoremas. Finalmente, as demonstraes so um ritual, e uma celebrao do poder da razo pura*. Tal exerccio de reafirmao pode ser muito necessrio, levando em conta todas as confuses em que o pensamento claro claramente nos remete. Pergunta 1: O que uma demonstrao ?

Aula 6 - Material de Consulta


MATERIAL DE CONSULTA - 6 Texto: DEMONSTRAES Os termos e nomes abaixo se encontram em ordem de apario no texto:

Philip J. Davis (1923-): ver Material de Consulta n 5.

Reuben Hersh (1927-): ver Material de Consulta n 5.

Demonstrao: operao que parte de proposies consideradas conhecidas pela sua evidncia (axioma) ou por j terem sido demonstradas, que nos permite estabelecer a verdade ou falsidade da concluso obtida a partir delas. Ou seja, trata-se de um raciocnio que nos autoriza passar de proposies admitidas para uma proposio que , necessariamente, resultante delas.

Tales de Mileto (640-c. 548 a.C): importante filsofo grego considerado o fundador, segundo Aristteles, da filosofia concebida a partir dos princpios da natureza. Foi legislador da cidade de Mileto, gemetra, matemtico e fsico. 30

Pitgoras (sc. VI a.C): filsofo e matemtico grego conhecido por sua concepo mstica de nmeros. Os nmeros, para ele, so verdades eternas. Estudou os astros e atribui a essncia de cada um deles um nmero e, a partir dessa harmonia numrica entre os planetas, obteve a escala das notas musicais. Foi o primeiro filsofo a elaborar um sistema com a inteno de explicar o universo, no qual, os nmeros so considerados como representaes da realidade que, essencialmente, seria matemtica. Portanto, o pitagorismo, em linhas gerais, toda concepo que atribui um papel central matemtica no conhecimento do mundo natural e do universo. Por exemplo, muitos consideravam Galileu (1564-1642) um pitagrico devido sua afirmao no livro Dilogo sobre os dois principais sistemas do mundo (1623): o livro da natureza escrito em linguagem matemtica.

Euclides (c.300 a.C): gemetra grego considerado um dos maiores matemticos. Sua obra principal foi a coleo Os Elementos, composto por treze livros: seis sobre a geometria dos planos, trs sobre a teoria dos nmeros, um sobre os irracionais e, trs sobre a geometria dos slidos. A geometria euclidiana o melhor exemplo do mtodo axiomtico, pois a partir de um pequeno nmero de axiomas, postulados e definies deduziu teoremas sobre vrias figuras geomtricas. Por isso, exerceu uma importante influncia filosfica, ao ser considerado como paradigma da certeza racional. As geometrias conhecidas como no-euclidianas surgiram a partir do sculo XIX, quando o quinto axioma do sistema de Euclides, segundo o qual, as linhas paralelas nunca se encontram foi negado por Riemann (1826-1866), matemtico alemo autor da geometria esfrica.

Thomas Heath (1861-1940): nascido na Inglaterra e considerado um dos maiores historiadores da matemtica e tendo como especialidade o perodo grego. Contribuiu com diversos artigos nesta rea para a Enciclopdia Britnica e tornou-se famoso ao traduzir, para a lngua inglesa, Os Elementos de Euclides

Thomas Hobbes (1588-1679): filsofo ingls empirista que ficou conhecido como pensador poltico. Em 1621, viajou para a Frana e a Itlia, onde foi apresentado cincia de Galileu e passou a estudar os clssicos se apaixonando pela obra de Euclides. Durante sua estada na Frana entrou em contato com o Padre Mersenne, religioso francs que promovia uma exaustiva correspondncia com vrios pensadores importantes da poca, atravs dele, Hobbes entrou em contato com Descartes. Mais tarde, suas cartas com objees ao livro Meditaes Metafsicas foram publicadas como um apndice desta obra. Seus temas centrais tratam da relao entre os homens na sociedade, a natureza do Estado social, o papel do soberano, dentre outros. Sua principal obra o livro Leviathan (1651) que analisa a relao entre o poder soberano sobre seus sditos.

John Aubrey (1626-1697): escritor e antiqurio ingls famoso pela coleo de pequenos contos biogrficos intitulado de Vidas Curtas. Foi professor de gramtica do filsofo Thomas Hobbes e, anos mais tarde escreveu a biografia desse famoso aluno.

31

Axioma: trata-se de uma proposio evidente em si mesma e indemonstrvel. Em um sistema ocupa o papel de pressuposto, premissa ou ponto de partida para demonstrao de algo. O mtodo axiomtico consiste em definir um conjunto de axiomas associados a mtodos de demonstrao ou regras de inferncia para derivar teoremas.

Lgica: estudo da estrutura e princpios da argumentao vlida, sobretudo, da inferncia dedutiva e dos mtodos de prova e demonstrao. A lgica matemtica surgiu no final do sculo XIX a partir de Frege (1848-1925) e Russell (1872-1970) e consiste na construo de um sistema formal, dedutivo, axiomtico, aplicando essencialmente os princpios da linguagem algbrica lgica, tornando-a mais rigorosa e precisa com o uso do simbolismo matemtico.

Abstrao: operao mediante a qual algo escolhido como objeto de observao e isolado das outras coisas com as quais tem qualquer relao. Esse processo de isolamento nos permite conhecer de forma mais adequada o objeto em questo. Trata-se de uma reduo ao conhecimento intelectual visando a formulao do conceito desse objeto ao investigar suas propriedades essenciais e particulares.

Edna Millay (1892-1950): poeta americana famosa por seu estilo jovial e livre de escrever. Seu livro de poesia A Balada da Harpa (1922) foi premiado com o Pullitzer, o maior prmio literrio dos Estados Unidos.

Pitagorismo: ver verbete Pitgoras.

Formalizao: construo de um sistema que reduz o conhecimento de contedo emprico ou intuitivo s estruturas formais e considerada uma tarefa fundamental na lgica. A linguagem das estruturas formais tem uma sintaxe (disposio e relao lgica entre proposies), mas no tem uma semntica (significado das palavras). Tornou-se um instrumento de anlise e formulao que utiliza apenas convenes e smbolos descartando os contedos da linguagem ordinria. Trata-se, atualmente, de um sistema indispensvel para matemticos, lingistas, filsofos, dentre outros.

Axiomatizao: ver verbete Axioma.

Deduo: raciocnio ou operao lgica que nos permite concluir a partir de uma ou vrias premissas, admitidas como verdadeiras, uma ou vrias concluses que se seguem necessariamente. Na matemtica, a deduo sinnimo de demonstrao. Nas cincias 32

empricas, o mtodo hipottico-dedutivo parte de uma ou vrias premissas consideradas como hipteses para obter, a partir delas, conhecimentos necessrios que devero ser, em seguida, verificados ou validados.

Teoria de conjuntos: ver Material de Consulta n 5.

Henri Lebesgue (1875-1941): matemtico francs e professor do Collge de France a partir de 1921 at o final de sua vida. Em 1901, ele formulou a teoria de medida em seu artigo Sobre a generalizao da integral definida, no qual, definiu a integral Lebesgue que generalizou a noo da integral de Riemann (1826-1866). Essa generalizao revolucionou o clculo integral, pois at o final do sculo XIX, a anlise estava limitada s funes contnuas baseadas, em grande parte, no mtodo de integrao de Riemann. Lebesgue foi eleito para a academia de cincias de diversos pases, alm de ter recebido vrios prmios por sua obra.

Norbert Wiener (1894-1964): matemtico e filsofo da matemtica americano formado em Harvard nos Estados Unidos. Trabalhou em diversos lugares fora da Universidade durante a Primeira Guerra Mundial. Dentre eles, na empresa General Eletric, como escritor da Enciclopdia Americana e, em seguida, foi convidado para empenhar-se em estudos de balstica para a empresa Aberdeen. No final da guerra foi contratato pelo famoso Instituto de Tecnologia de Massachussets (MIT), onde examinou o movimento browniano e, a partir disso, se envolveu com teoria da probabilidade que, por sua vez, o levou a se interessar pela anlise das formas harmnicas. Todos esses conceitos se associaram a preocupaes na rea de engenharia de seus colegas do MIT, assim, seu trabalho avanou na direo da teoria da comunicao, ciberntica (termo cunhado por Wiener), etc. Recebeu diversos prmios, principalmente, por suas contribuies aos estudos sobre a anlise harmnica geral, movimento browniano e os teoremas de Tauber (Alfred Tauber, 1866-1942, matemtico hngaro).

Andrey Kolmogoroff (1903-1987): matemtico russo formado e admitido como professor pela Universidade de Moscou. Seu trabalho sobre teoria da probabilidade, publicado em 1933, se baseou em uma axiomtica to rigorosa que chegou a ser comparado com o trabalho de geometria de Euclides. Seus interesses eram variados, entre 1934 e 1936, ele fez importantes contribuies para a topologia, em seguida, entre 1941 e 1954 se dedicou ao estudo da movimentao dos planetas, do fluxo de turbulncia de ar e motores a jato. Mas, suas maiores colaboraes esto relacionadas famosa lista de problemas de David Hilbert (1862-1943, matemtico de origem prussiana), ao resolver parcialmente o sexto, em 1933, atravs dos seus conhecimentos na rea de probabilidade e, solucionar o dcimo terceiro, em 1957, ao demonstrar que esse problema estava errado ao questionar uma possvel prova para a existncia de funes contnuas de trs variveis que no poderiam ser representadas por funes contnuas de duas variveis. Kolmogoroff foi eleito para a academia de cincias de diversos pases, alm de ter recebido vrios prmios por sua obra.

Razo pura: ver o verbete Racionalismo clssico no Material de Consulta n 1. 33

Aula 7 - Por que eu deveria acreditar em computador?


POR QUE EU DEVERIA ACREDITAR EM COMPUTADOR?
Philip J. Davis e Reuben Hersh* (MATERIAL DA 10 SEMANA) Em 1976, ocorreu algo raro. Uma notcia da demonstrao* de um teorema de matemtica pura conseguiu realmente chegar s colunas de notcias do New York Times. O motivo disso foi a demonstrao, por Kenneth Appel* e Wolfgang Haken*, da Conjectura das Quatro Cores*. A ocasio merecia ser noticiada por duas razes. Para comear, o problema tratado era famoso. A conjectura das quatro cores havia sido estudada durante mais de cem anos. Houveram muitos ataques fracassados e agora enfim demonstrada. Mas o mtodo de demonstrao em si mesmo merecia notcia. Isto porque uma parte essencial da demonstrao consistia em clculos de computador. Ou seja, a demonstrao publicada continha programas de computador e o resultado de clculos efetuados segundo os programas. Os passos intermedirios atravs dos quais os programas haviam sido executados no foram naturalmente publicados; nesse sentido, as demonstraes publicadas eram permanentemente e em princpio incompletas.

O teorema das quatro cores serve, naturalmente, para demonstrar que qualquer mapa sobre uma superfcie plana ou uma esfera pode ser colorido sem que se usem mais de quatro cores diferentes. A nica exigncia que no haja dois pases com uma fronteira comum que tenham a mesma cor. Se dois pases se encontram somente em um ponto nico (como acontece, por exemplo, com os Estados brasileiros do Acre e Rondnia), ento eles no podem ser coloridos com a mesma cor. Os pases podem ter qualquer forma, mas cada pas deve consistir em um nico pedao unido.

Deve ter sido observado h muito tempo que quatro cores so suficientes; isso foi enunciado pela primeira vez como uma conjectura matemtica em 1852 por Francis Guthrie*. Em 1878, o eminente matemtico britnico Cayley* props tal conjectura como um problema Sociedade Matemtica Londrina e, no prazo de um ano, Alfred Bray Kempe*, um advogado londrino e membro dessa sociedade publicou um trabalho no qual afirmava t-la demonstrado.

Kempe tentou usar o mtodo de reduo ao absurdo*. Para explicar seu raciocnio suficiente considerar somente mapas normais. Um mapa normal aquele em que no mais de trs regies se encontram em qualquer ponto e, nenhuma regio envolve completamente uma outra. Cada mapa pode ser associado a um mapa normal que exige, pelo menos, o mesmo nmero de cores e, suficiente demonstrar a conjectura das quatro cores para os mapas normais.

34

Kempe demonstrou, corretamente, que em qualquer mapa normal h pelo menos uma regio com cinco ou menos vizinhos. Isso significa que uma destas quatro configuraes (clique ao lado para visualizar a figura) deve aparecer em qualquer mapa normal:

Estes quatro diagramas representam os quatro casos possveis de uma regio com dois, trs, quatro ou cinco vizinhos. O fato de que pelo menos um destes quatro casos deve ocorrer descrito dizendo-se que este conjunto de configuraes inevitvel. Kempe tentou mostrar como, em cada caso, pode-se construir um novo mapa, com menos pases, que poderia mais uma vez ser colorido com cinco cores. Se esta construo pode ser efetuada, diz-se que a configurao dada redutvel. Assim, a idia da demonstrao de Kempe exibir um conjunto inevitvel de configuraes redutveis. Se isso pode ser feito a reduo ao absurdo imediata. Com efeito, poderamos ento concluir que, dado qualquer mapa que necessitasse de cinco cores, poderamos construir a partir dele um outro mapa que necessitasse de cinco cores com menos regies. Em um nmero finito de passos, obteramos um mapa que necessitaria de cinco cores com menos de cinco regies, o que certamente um absurdo.

Infelizmente o raciocnio de Kempe para a redutibilidade estava incorreto no caso de uma regio com cinco vizinhos. O erro foi observado em 1890 por P. J. Heawood*. De 1890 at 1976, a conjectura das quatro cores foi um dos notveis problemas matemticos sem soluo.

Aps todos estes anos, a demonstrao de Appel e Haken voltou a usar a mesma idia de exibir um conjunto inevitvel de configuraes redutveis. Mas em vez de quatro configuraes simples da demonstrao de Kempe, o conjunto inevitvel continha milhares de configuraes e, em sua maior parte, to complicadas que s foi possvel demonstrar a redutibilidade atravs do uso de um computador de alta velocidade.

O uso de computador neste caso , em princpio, bem diferente dos usos em matemtica aplicada e em teoria dos nmeros. Na matemtica aplicada, o computador serve para calcular uma resposta aproximada quando a teoria no consegue nos dar uma resposta exata. Podemos tentar usar nossa teoria para demonstrar que a resposta computada est em algum sentido prxima da resposta exata. Mas a teoria no depende de maneira nenhuma do computador para suas concluses, em vez disso, os dois mtodos terico e mecnico so como duas vises independentes do mesmo objeto e o problema coorden-las.

No estudo da distribuio dos nmeros primos ou em problemas semelhantes de teoria dos nmeros, o computador serve para gerar informaes. Estudando estes dados, o matemtico pode ser capaz de formar uma conjectura como o teorema dos nmeros primos. Naturalmente, ele gostaria de demonstrar a conjectura, mas no conseguindo faz-lo, pode pelo menos, verific-la por

35

meio de um segundo uso do computador examinando uma outra amostra do sistema dos nmeros naturais para ver se o resultado previsto por sua conjectura se confirma. Em ambos os casos, a matemtica rigorosa da demonstrao permanece imune mquina. No caso da matemtica aplicada, a mquina fica em segundo lugar como um substituto para ser usado na rea que a teoria for incapaz de atingir. E, no caso da teoria dos nmeros a mquina um auxiliar heurstico* que pode nos ajudar a decidir no que acreditar e, at mesmo o quo fortemente acreditar nisso, mas ainda assim no afeta o que demonstrado.

Pergunta 1: Quais so os usos possveis do computador na matemtica?

No teorema das quatro cores de Haken-Apel a situao totalmente diferente. Eles apresentam seu trabalho como uma demonstrao definitiva, completa e rigorosa. Por esta razo, a reao complexa e controvertida que receberam fornece uma percepo pouco usual do que os filsofos e matemticos imaginam ser o significado de demonstrao rigorosa.

No Journal of Philosophy de fevereiro de 1979, Thomas Tymoczko* refletiu sobre as ramificaes filosficas do trabalho de Haken-Apel:

Se aceitamos o teorema das quatro cores como um teorema, ento, somos obrigados a m mudar o significado de teorema, ou, mais exatamente, a mudar o significado do conceito subjacente de demonstrao.

Do ponto de vista filosfico, o uso de um computador como parte essencial da demonstrao envolve um enfraquecimento dos padres da demonstrao matemtica. Introduz razes para o ceticismo e, assim, muda de maneira essencial a situao que, se supunha previamente envolver concluses indubitveis e nenhuma razo para o ceticismo em qualquer estgio.

Appel e Hakken escrevem:

Algum poderia verificar cuidadosamente a parte do processo de descarga que envolve clculos de redutibilidade em um ou dois meses, mas no parece possvel verificar os prprios clculos de redutibilidade manualmente. Com efeito, os rbitros do resultado de nosso trabalho usaram nossas anotaes para verificar o processo de descarga, mas usaram um programa de computador independente a fim de verificar a correo dos clculos da redutibilidade.

36

Assim, no h como negar que a aceitao do teorema de Haken-Appel envolve um certo ato de f. Mesmo se eu ler e verificar cada linha que eles escreveram tenho ainda que acreditar que clculos de computador realmente efetuam o que se supe que efetuam. Ento, minha crena na demonstrao do teorema das quatro cores no depende somente da confiana em minha prpria habilidade em compreender e verificar raciocnios matemticos, mas tambm da minha crena de que computadores funcionam e fazem o que se espera que faam. Isso uma crena de um tipo totalmente diferente. No tenho mais razes para tal crena do que para qualquer outra sobre factualidade ou confiabilidade do conhecimento comum* coisas que todos sabem e em que eu acredito porque aceito o que todo o mundo sabe.

Desta maneira, o conhecimento matemtico reduzido ao nvel do conhecimento comum. Mas o conhecimento comum no afirma estar baseado em demonstraes rigorosas ou ter a certeza do raciocnio dedutivo para justific-lo. Assim, a confiana em um computador na demonstrao de Haken-Appel envolve o sacrifcio de um aspecto essencial da certeza matemtica, degradando-a ao nvel de conhecimento ordinrio que est sujeito a um certo ceticismo possvel do qual o conhecimento matemtico sempre esteve livre. esta a crtica do filsofo Thomas Tymoczko.

No entanto, para o matemtico o assunto visto sob uma luz totalmente diferente. Se ele pertence quela pequena proporo dos matemticos que so simpticos aos computadores, que se interessam por ele, que podem apreciar a arte exigida para encarar o problema das quatro cores e, coloc-lo em uma mquina para este, o teorema de Haken-Appel ser uma inspirao e uma vingana. Mas, a resposta bem diferente para a maioria dos matemticos. Quando soube que o teorema das quatro cores tinha sido demonstrado, minha primeira reao foi Maravilhoso! Como que eles conseguiram? Eu esperava alguma nova percepo brilhante, uma demonstrao que tivesse em seu ncleo uma idia cuja beleza transformaria meu dia. Mas, quando recebia resposta Eles conseguiram decompondo-o em milhares de casos e, testando-os em um computador caso a caso, senti-me desencorajado. Minha reao ento foi Isso mostra que realmente no se tratava de um bom problema.

Essa reao realmente uma questo de gosto. Neste assunto, meu gosto provavelmente de uma poca que est passando. Uma gerao futura de matemticos poder muito bem encontrar prazer esttico em demonstraes computadorizadas como aquela seguida primeiramente por D. H. Lehmer* e agora alada a novas alturas por Haken e Appel. Mas este tipo de questo tem a ver com o fato de saber se gostamos de tais demonstraes, se obtemos atravs dela a compreenso, o prazer ou o quer que seja que achemos que uma boa demonstrao devesse dar.

A objeo do filsofo bem diferente. Parece-lhe que h uma degradao no grau de certeza que viola a natureza da matemtica de acordo como ele a compreende. O matemtico considera esta objeo estranhamente ingnua e idealista, no sentido de que imatura e crdula.

37

Na verdade, segundo uma entrevista de jornal o professor Haken negou que o uso do computador por ele e por Appel envolvesse qualquer mudana no conceito de uma demonstrao matemtica

Qualquer um, em qualquer ponto da demonstrao pode completar os detalhes e verific-los. O fato de que o computador pode verificar mais detalhes em algumas horas do que um ser humano jamais poderia esperar fazer em uma vida no muda o conceito bsico de demonstrao matemtica. O que mudou no foi a teoria, mas a prtica da matemtica.

Um filsofo* considera que uma demonstrao que dependa da confiabilidade de uma mquina difere acentuadamente da que depende apenas da razo humana. Para o matemtico, a falibilidade da razo um fato to comum da vida que ele acolhe o computador como um calculador mais confivel do que ele prprio jamais tenha esperana de ser.

Em um artigo que expe seu trabalho, Appel e Haken escreveram:

A maior parte dos matemticos que foram educados anteriormente ao desenvolvimento dos computadores rpidos tende a considerar o computador como uma ferramenta de rotina para ser usada conjugadamente com outras mais antigas e mais tericas para fazer progredir o conhecimento matemtico. Assim, eles sentem intuitivamente que se um raciocnio contm partes que no so verificveis por clculos manuais esto em solo bem inseguro. H uma tendncia a sentir que uma verificao de resultados de computadores por programas de computao independentes no ser possivelmente to correta quanto verificao manual independente da demonstrao de teoremas comprovados da maneira padro. Este ponto de vista razovel para os teoremas cujas demonstraes sejam de comprimentos moderados e altamente tericas. Quando elas so longas e altamente computacionais pode-se discutir que, mesmo quando a verificao manual possvel, a probabilidade de erros humanos consideravelmente maior do que a de erros de mquina.

A probabilidade de erros humanos existe mesmo antes de introduzirmos o computador! Tudo o que podemos tentar fazer minimiz-la. Se uma demonstrao suficientemente longa e complicada h sempre um lugar para a dvida quanto a sua correo. Usar um computador no elimina os erros humanos, pois o prprio computador um objeto feito pelo homem.

Em um trabalho publicado na revista Acta Mathematica em 1971 e, citado no texto de Yu I. Manin*, Introduo Lgica Matemtica, H.P.F. Swinnerton-Dyer* usou um computador para 38

calcular os valores de um certo determinante que surge no estudo de forma lineares homogneas. Swinnerton-Dyer fez os seguintes comentrios:

Quando um teorema foi demonstrado com a ajuda de um computador possvel dar uma exposio da demonstrao que satisfaa o teste tradicional que um leitor suficientemente paciente seria capaz de percorrer a demonstrao e verificar que est correta. Mesmo se fosse possvel imprimir todos os programas e todos os conjuntos de dados usados (o que, neste caso, ocuparia umas quarentas pginas muito aborrecidas), no poderia haver certeza de que uma fita de dados no tivesse sido perfurada ou lida erroneamente. Alm disso, todo computador moderno possui defeitos obscuros em seu software e hardware- os quais ocasionam erros to raramente que passam despercebidos por anos bem como todo computador est sujeito a erros transitrios. Tais defeitos so raros, mas alguns deles ocorreram provavelmente durante os clculos aqui mencionados.

Isso significa que os resultados dos clculos deveriam ser rejeitados? De maneira nenhuma, ele continua

No entanto, o clculo consiste, em verdade, na procura de um nmero razoavelmente pequeno de agulhas em um monte de feno de seis dimenses: quase todos os clculos tratam de partes do monte de feno que de fato no contm agulhas e, um erro nestas partes dos clculos no ter nenhum efeito sobre os resultados finais. Apesar das possibilidades de erro, acho, portanto, que quase certo que a lista dos 17 permissveis esteja completa e; inimaginvel que uma infinidade de 17 permissveis tenha passado despercebida.

Sua concluso:

No entanto, a nica maneira de verificar estes resultados (se achssemos conveniente faz-lo) o problema ser atacado de maneira bem independente por uma mquina diferente. Isso corresponde exatamente situao na maioria das cincias experimentais.

Pergunta 2: Compare o ponto de vista filosfico e o matemtico acerca do uso do computador na metodologia cientfica.

39

_____________________________________

Aula 7 - Material de Consulta


MATERIAL DE CONSULTA - 7 Texto: POR QUE EU DEVERIA ACREDITAR EM COMPUTADOR? Os termos e nomes abaixo se encontram em ordem de apario no texto:

Philip J. Davis (1923-): ver Material de Consulta n 5.

Reuben Hersh (1927-): ver Material de Consulta n 5.

Demonstrao: ver Material de Consulta n 6.

Kenneth Appel (1932-): matemtico americano famoso pela soluo do teorema ou conjectura das quatro cores junto com seu colega Wolfgang Haken, em 1976, ma Universidade de Illinois (EUA). Teve a colaborao dos seus trs filhos Laurel Appel, Peter Appel e Andrew Appel para checar mais de mil casos topolgicos que fizeram parte do desenvolvimento da sua prova. A controvrsia em torno da sua prova devido a forte dependncia do computador fez com que ele declarasse diversas vezes imprensa que estava ciente de que seu trabalho no oferecia nada inovador e lhe faltava elegncia. Entre os anos de 1993 a 2003 chefiou o departamento de matemtica da Universidade de New Hampshire (EUA).

Wolfgang Haken (1928-): matemtico americano especializado em topologia e bastante influente na rea de topologia algortmica. Sua principal contribuio para esta rea foi a criao de um algoritmo aplicado teoria dos ns. Alm disso, ficou famoso pela soluo do teorema ou conjectura das quatro cores junto com Kenneth Appel.

Conjectura das Quatro Cores: essa conjectura ou teorema determina que todo e qualquer mapa de regies plano ou esfrico pode ser colorido com at quatro cores respeitando a condio de que pases vizinhos, com uma fronteira em comum, tenham cores diferentes. Esse problema foi levantado por Francis Guthrie em 1852 e interessou a diversos matemticos. A soluo definitiva desse problema s foi encontrada em 1976 pelos americanos Kenneth Appel e 40

Wolfgang Haken com o auxlio de um computador. A controvrsia em torno dessa prova se deve ao fato do papel fundamental do computador para trabalhar o enorme nmero de possibilidades que envolvido nesse problema. Ainda no h uma demonstrao desse teorema sem o uso de computadores.

Francis Guthrie (1834-1862): matemtico ingls que formulou em 1852 a conjectura das quatro cores. Ao colorir um mapa dos condados ingleses com a preocupao de usar cores diferentes para os pases vizinhos observou que precisava de apenas quatro cores. Em seguida, experimentou com sucesso colorir outros mapas com apenas quatro cores. A partir disso, tentou demonstrar que isso poderia ser feito com todo e qualquer mapa, mas encontrou uma srie de dificuldades encaminhando o problema a diversos matemticos.

Arthur Cayley (1821-1895): matemtico ingls e presidente da Sociedade Matemtica de Londres que divulgou o problema das quatro cores, em 1878, despertando o interesse de toda comunidade matemtica britnica. Recebeu diversos prmios e ttulos devido ao seu importante trabalho dedicado s matrizes e geometria no-euclidiana.

Alfred Bray Kempe (1849-1922): advogado ingls, tesoureiro real e membro da Sociedade Matemtica de Londres. Publicou um artigo com a soluo do teorema das quatro cores um ano aps a divulgao de Arthur Cayle. Sua prova se baseava no princpio de reduo ao absurdo e foi refutada onze anos mais tarde por Heawood (ver verbete abaixo). Porm, vale ressaltar que sua prova datada de 1879 serviu de base para o trabalho de Appel e Haken em 1976, quase cem anos mais tarde.

Reduo ao Absurdo: ver Material de Consulta n 3.

Percy John Heawood (1861-1955): matemtico ingls e professor da Universidade de Durham. Fez importantes contribuies para o problema das quatro cores ao publicar em um mesmo artigo um erro na prova de Kempe e a demonstrao da necessidade de cinco cores para colorir qualquer mapa. Sua prova foi derrubada no estava correta, por isso, continuou a trabalhar com o problema das quatro cores e a sua dedicao perdurou sessenta anos.

Heurstica: conjunto de regras e mtodos que nos conduz descoberta, inveno e resoluo de problemas. Esse termo tem origem greco-latina e significa a arte de encontrar ou descobrir, da a clebre expresso de Arquimedes - Eureca (Eu descobri).

Thomas Tymoczko (1943-1991): filsofo americano especializado em lgica e filosofia da matemtica. Publicou diversos artigos filosficos como O Problema das Quatro Cores e 41

Significado Filosfico para discutir os efeitos do crescente uso do computador nas provas matemticas. Seu trabalho de filosofia da matemtica foi fortemente influenciado pelo matemtico hngaro Imre Lakatos (1922-1974), segundo o qual, o desenvolvimento matemtico no se d atravs do acmulo de verdades eternas. Trata-se de um processo de conjecturas acompanhado de tentativas de prov-las ou reduz-las a outras conjecturas e, por fim, se segue a fase crtica na qual se busca contra-exemplos tanto para a teoria conjecturada como para as vrias etapas das provas.

Ceticismo: ver verbete Ceticismo global no Material de Consulta n 1.

Conhecimento Comum: ver verbete Bom senso no Material de Consulta n 1.

Filsofo: vale ressaltar que neste artigo h uma generalizao do ponto de vista filosfico, considerando diversas correntes, especialmente a filosofia da mente, que trabalham e valorizam a computao ou inteligncia artificial.

Derrick Henry Lehmer (1905-1991): fsico e matemtico americano que se dedicou no incio da sua carreira aos projetos de seu pai Derrick Norman Lehmer voltados para teoria dos nmeros e mecnica computacional. Dentre seus diversos trabalhos dedicados a fraes contnuas, nmeros de Bernoulli, teoria analtica de nmeros, ele se destacou ao integrar o Solo de Teste de Aberdeen (Aberdeen Proving Ground) entre 1945-1946. Trata-se de um centro de teste de munio de guerra que analisava diversos tipos de plvora, projtil, bomba, dentre outros, alm de se dedicar a estudos de balstica. Lehmer fazia parte do Laboratrio de Balstica e uma das suas funes era desenvolver e operar o computador ENIAC (Eletronic Numerical Integrator and Calculator). Ele computava trajetrias para problemas de balstica no ENIAC, mas nos finais de semana usava o computador para resolver alguns problemas de teoria dos nmeros, assim, fornecendo provas computacionais para problemas tericos.

Henry Peter Francis Swinnerton-Dyer (1927-): matemtico ingls da Universidade de Cambridge especializado em teoria dos nmeros. Seu trabalho de maior destaque a conhecida Conjectura Swinnerton-Dyer que relaciona teoria dos nmeros (l-functions) a curvas elpticas. Esta conjectura foi desenvolvida em parceria com Brian Birch na dcada de sessenta com o uso de computador.

Yu I. Manin (Yuri Ivanovich Manin) (1937-): matemtico russo com uma extensa obra que abrange diversas reas da matemtica, filosofia da cincia, literatura, histria da cultura, dentre outros. Uma das suas preocupaes centrais analisar a relao entre os diversos ramos da cincia, atualmente, tem se dedicado particularmente a ligao entre a lgebra e a fsica.

42

Aula 8 - Explicao Cientfica (1a parte)


EXPLICAO CIENTFICA (I Parte) CARL HEMPEL*

(MATERIAL DA 11 SEMANA) Entre os muitos fatores que estimularam e sustentaram a investigao cientfica ao longo de sua larga histria, figuram duas preocupaes permanentes, que se constituram nos motivos mais importantes para que o homem se desse a esforos no campo da Cincia. Um deles de carter prtico: o Homem procura, constantemente, melhorar a posio estratgica em que se situa face ao mundo onde vive e, para tanto, busca encontrar meios eficazes de prever o curso dos acontecimentos que tm lugar sua volta e, sempre que possvel, tenta control-los para disso retirar proveito. Quo bem sucedida haja sido a pesquisa na perseguio desse objetivo evidenciado pelo campo vasto e continuamente crescente das aplicaes tecnolgicas, tanto construtivas como destrutivas, que imprimiram seu selo caracterstico em todos os aspectos da civilizao contempornea. A segunda motivao bsica para a investigao cientfica em que o homem se empenha no envolve preocupaes de ordem prtica: reside simplesmente em sua curiosidade intelectual, em seu desejo profundo e persistente de chegar a conhecer e compreender o mundo que habita. To forte essa necessidade de conhecimento e compreenso que, na ausncia de informao factual adequada, mitos so freqentemente invocados para responder perguntas acerca do que e do porque dos fenmenos empricos. Gradualmente, entretanto, esses mitos cedem lugar a conceitos e teorias que surgem como frutos da pesquisa cientfica no campo das cincias naturais, assim como no da psicologia e no das disciplinas histricas e sociolgicas. Qual a natureza das explicaes que a cincia emprica, nesse sentido amplo, pode nos oferecer e que espcie de compreenso do mundo fornecem elas?
Explicao Dedutiva a Partir de Leis Abrangentes

43

Uma explicao, no sentido que nos interessa aqui, , basicamente, uma resposta pergunta sobre como certo acontecimento se deu ou sobre o porque de certo estado de coisas. Perguntas dessa espcie so respondidas, freqentemente, em termos causais. Pode-se, dessa maneira, explicar que a dilatao de um fio de cobre foi causada pela elevao de sua temperatura; ou que o sbito desvio de ponteiro de uma bssola foi causado pela mudana de corrente eltrica em circuito prximo; ou que a Lua mantm seu movimento orbital em torno da Terra por causa da atrao gravitacional que a Terra e a Lua exercem uma sobre a outra. Mas, como Hume* ensinou, a afirmao de que um acontecimento da espcie determinada C causa acontecimento de uma certa espcie E implica na afirmativa de que qualquer ocorrncia de C regularmente acompanhada por uma ocorrncia de E; implica, por exemplo, em dizer que sempre que se eleve a temperatura de um fio de cobre ele ter seu comprimento aumentado; dessa forma, a explicao causal pressupe leis gerais da natureza que ligam a causa indicada ao efeito a ser explicado. Para o caso das explicaes que mencionamos, a Cincia pode oferecer as leis a que se deve dar considerao; governam a expanso trmica dos metais, os efeitos magnticos das correntes eltricas e o movimento relativo de dois corpos sujeitos a mtua atrao gravitacional. Caso as leis relevantes sejam explicitamente formuladas, a explicao resultante pode ser apresentada sob forma de um argumento dedutivo, no qual, a ocorrncia do evento em questo inferida a partir de um conjunto de premissas que especificam (1) as leis relevantes e (2) as circunstncias antecedentes particulares que, em termos comuns, se diz terem sido a causa do acontecimento. Nossa explicao da dilatao do fio de cobre, por exemplo, assumiria a forma de um argumento com duas premissas: (1) a lei geral segundo a qual todo fio de cobre torna-se mais longo quando sua temperatura se eleva e (2) o enunciado de que dado fio era feito de cobre e de que sua temperatura sofreu elevao. Dessas premissas decorre, dedutivamente, a concluso de que o fio estendeu-se em comprimento, que o fato a ser explicado. Assim, o enunciado explicativo de que a dilatao do fio foi causada pela elevao da temperatura substitudo por um argumento onde no aparece mais a palavra "causa" ou seus cognatos. Nesse argumento se diz, resumidamente, que dado fio de cobre foi aquecido e que todos os fios de cobre, quando aquecidos, se dilatam; e que, portanto, o dado fio de cobre se dilatou. Pode-se dizer, de maneira geral, que o vocabulrio tcnico atravs do qual se expressam as hipteses e teorias cientficas no inclui palavras como "causa" e "fator causal"* e que uma verso em termos de causa s aceitvel como explicao cientfica explcita na medida em que a atribuio causal por ela feita possa ser comprovada e substituda por enunciados de leis correspondentes. Essas leis revestiro, normalmente, uma forma quantitativa precisa. o que se d, 44

por exemplo, com as leis de expanso trmica dos metais que, por isso mesmo, tornam possvel explicar no apenas o fato, mas ainda a extenso da alterao de comprimento que se d em correspondncia com as alteraes de temperatura. Deve-se notar que, na linguagem no-tcnica ordinria, uma explicao , freqentemente, expressa elipticamente por meio de um simples por que? - enunciado que alude apenas a um ou a poucos dos muitos itens que deveriam ser especificados se a explicao se formulasse como argumento cientfico explicativo. Tome-se, por exemplo, o enunciado segundo o qual a Lua mantm seu movimento em torno da Terra por causa da atrao gravitacional mtua entre os dois corpos: numa reapresentao explcita dessa verso imprecisa as premissas explicativas poderiam incluir as leis da gravitao e do movimento, formuladas por Newton*, bem como enunciados particulares acerca das massas de dois corpos e suas posies e velocidades relativas em certo instante. E a deduo das concluses desejadas, a partir dessas premissas, requer no apenas raciocnio silogstico* simples, mas ainda poderosas tcnicas matemticas de clculo. Pergunta 1: O que caracteriza uma explicao cientfica? Explicaes da espcie que mencionada podem ser chamadas explicaes por subsuno* dedutiva a leis abrangentes, ou, resumidamente, explicaes dedutivas. Explicao dedutiva de certo acontecimento evidencia que ele resultou de circunstncias particulares especificadas e de conformidade com certas leis gerais; nos habilitando, assim, a compreender o acontecimento nos dando conscincia de que vista daquelas leis e das circunstncias particulares, sua ocorrncia era de se esperar. At aqui, temos considerado explicaes dedutivas que, em linguagem no-tcnica, seriam formuladas como enunciados causais. Mas o poder de explicao da subsuno dedutiva a leis gerais estende-se para muito alm de casos dessa espcie. Suponha-se, por exemplo, a verificao de que um pndulo simples perfaz em dois segundos um movimento completo. Podemos explicar esse fato fazendo notar que o pendulo tem 100cm de comprimento e invocando a lei segundo a qual

o perodo de movimento de um pndulo simples qualquer, de comprimento L igual a 2

onde g a acelerao constante da queda livre; essa lei, aplicada a nosso pndulo, indicaria que seu perodo de aproximadamente dois segundos. Embora essa explicao seja dedutiva, no corresponde a uma verso causal: no diramos que o fato de o pndulo requerer dois segundos para um movimento completo causado pelo fato de que tem 100 cm de comprimento. 45

Pergunta 2: Diferencie explicao dedutiva e explicao causal? Todos os exemplos at agora propostos se referiam explicao de acontecimentos particulares. Mas a cincia busca responder indagao por que? no apenas em relao a esta ou quela ocorrncia, mas tambm em relao s uniformidades e regularidades expressas por leis gerais. Assim, no caso do pndulo, poderamos prosseguir indagando: Por que todo pndulo simples se conforma lei segundo a qual seu perodo igual a 2 ? Analogamente, poderamos perguntar por que em toda queda livre a velocidade proporcional ao tempo da queda, tal como assevera a lei de Galileu*; ou por que todos os movimentos planetrios ocorrem segundo as surpreendentes regularidades expressas pelas leis de Kepler*. Para muitas dessas perguntas, a cincia prope uma resposta que tem de novo, curiosamente, o carter de uma explicao dedutiva. Uma uniformidade expressa por lei emprica , ento, explicada mostrando-se que ela vigora em virtude de, ou mais precisamente, como conseqncia de outras leis mais gerais ou de princpios tericos mais fundamentais e amplos. A lei do pndulo simples, por exemplo, bem como as leis de Galileu e Kepler podem ser apresentadas como conseqncias especiais de leis bsicas da mecnica e da gravitao; de maneira semelhante, as leis ticas de reflexo e refrao e de formao de sombra podem ser todas derivadas de princpios bsicos da teoria ondulatria eletromagntica da luz. Desenvolver teorias que explicaro dessa maneira as regularidades expressas por leis empricas um dos principais empenhos do trabalho cientfico; e muitos cientistas sustentaro que s se atinge a compreenso cientfica genuna quando se torna possvel elaborar teorias explicativas. De qualquer forma, uma explicao cientfica adequada no apenas alarga, mas tambm aprofunda nosso entendimento a respeito de determinado campo de investigao. A teoria do movimento e da gravitao, por exemplo, ampliou o campo da compreenso cientfica, por aplicar-se a uma gama de fenmenos imensamente mais vasta do que a compreendida por leis anteriores, que essa teoria explica. E a teoria aprofundou nossa compreenso no apenas no sentido de reduzir todas essas outras leis a um sistema comum de princpios bsicos fundamentais, mas tambm por evidenciar que as leis empricas anteriormente aceitas, tais como as de Galileu e de Kepler no tm valor estrito, mas somente aproximado. Os princpios de Newton, por exemplo, implicam em que, por estarem todos os planetas sujeitos a impulso gravitacional provindo no apenas do Sol, mas tambm dos outros planetas, seus movimentos no se faro estritamente de acordo com as leis de Kepler, mas evidenciaro certas perturbaes; e a teoria de Newton implica igualmente em que a acelerao da queda livre prxima

46

a Terra no , estritamente, uma constante, como afirmado pela lei de Galileu, mas se altera de acordo com a distncia a que o corpo que cai se situe do centro de gravidade da Terra.
Explicao Probabilstica por Meio de Leis Abrangentes

Todas as leis explicativas e princpios tericos mencionados at esta altura apresentam em comum uma importante caracterstica lgica: so de forma estritamente universal, ou seja, asseveram a existncia, sem exceo, de certas conexes uniformes; por exemplo, entre o volume, a presso e a temperatura de um gs; ou entre a temperatura e o comprimento de um fio de cobre. Leis de forma estritamente universal diferem fundamentalmente de leis de um outro tipo, s quais, nos ltimos cem anos, tem sido atribuda crescente importncia cientfica - as leis de forma probabilstica. Muito resumidamente, a diferena entre as duas a seguinte: uma lei de forma universal assevera que, em todos os casos, sem exceo, quando se do as condies de certa espcie C, ocorre um fenmeno de certa espcie E; uma lei probabilstica afirma que, sob as condies C, h uma probabilidade estatstica r de que ocorra E; dessa forma, a longo alcance, a proporo de casos de C que resultam em E ser r. As leis que se referem vida mdia das substncias radioativas so dessa espcie; dizer, por exemplo, que a vida mdia do polnio de trs minutos equivale a dizer que a probabilidade de que um tomo de polnio sofra transformao radioativa em qualquer dado intervalo de trs minutos de 0,5. Essa lei pode ser utilizada para explicar por que, dada certa quantidade inicial de polnio, s resta a metade aps trs minutos e s um quarto aps seis minutos e, assim por diante. Os princpios bsicos da teoria quntica* proporcionam outro exemplo de lei probabilstica; e o mesmo se d com certas leis da gentica, tais como as de que nos valemos para explicar as propores das plantas que tero flores brancas, vermelhas ou cor de rosa, quando cruzamos plantas de flores brancas puras e de flores vermelhas puras. As explicaes baseadas em leis probabilsticas sero chamadas de explicaes probabilsticas. Em razo do carter estatstico das leis que invoca, a explicao probabilstica limita-se a mostrar que, vista das leis especificadas e das especiais circunstncias, era de esperar, com maior ou menor probabilidade, que viesse a ocorrer o fenmeno a ser explicado; uma explicao dedutiva, por outro lado, afirma que, dada a verdade de uma informao explicativa, segue-se, com certeza dedutiva, a ocorrncia do fenmeno em questo. A explicao dedutiva e a probabilstica apresentam, em comum, a caracterstica de buscarem essencial apoio em leis abrangentes; ambas explicam um fenmeno esclarecendo que ele 47

ocorre em conformidade com tais leis. Creio que essa , na verdade, uma caracterstica de todas as explicaes cientficas; e, mais especificamente, que todas as explicaes cientficas de fenmenos empricos so, basicamente, explicaes aliceradas em leis abrangentes, de tipo dedutivo ou probabilstico. Tentarei, na continuao, desenvolver e justificar essa idia. FINAL DA PRIMEIRA PARTE

Aula 8 - Material de Consulta


MATERIAL DE CONSULTA - 8

Texto: EXPLICAO CIENTFICA Os termos e nomes abaixo se encontram em ordem de apario no texto: Carl Hempel (1905-1997): considerado um filsofo da cincia. Nascido na Alemanha, onde estudou fsica, matemtica e filosofia e teve como professores importantes nomes da cincia tais como David Hilbert, Edmund Landau, Max Plank, von Neumann e Carnap. Este ltimo exerceu uma grande influncia na sua atividade filosfica e o conduziu ao famoso Crculo de Viena, um grupo de pensadores de diversos campos da cincia que elaboraram a doutrina filosfica conhecida como Positivismo Lgico. Na qual, a linguagem da fsica seria um paradigma para as cincias naturais e humanas, sobretudo a psicologia, estabelecendo a possibilidade de uma cincia unificada a partir da eliminao de conceitos considerados vazios de contedo (pseudoproblemas) da metafsica e da utilizao do princpio de verificabilidade. Este princpio ocupa um papel central nesta doutrina, pois atravs dele que se torna possvel a distino entre cincia, dotada de proposies verificveis, e metafsica, dotada de proposies inverificveis. Ou seja, os positivistas lgicos do Crculo de Viena consideravam apenas as proposies obtidas pela experincia, pelo fato delas serem verificveis, pois as proposies metafsicas so a priori, ou seja, logicamente anteriores experincia e independente dela, portanto, impossveis de serem verificadas e, por isso, consideradas sem sentido.

David Hume (1711-1776): filsofo empirista e historiador escocs que tambm foi considerado um ctico por reduzir os princpios racionais a relaes de idias fortificadas pelo hbito e considerar o sujeito como uma coleo de estados de conscincia. A partir dessas concepes conclui que impossvel atingirmos uma teoria geral acerca da realidade, pois todos os nossos conhecimentos so obtidos apenas pelos sentidos, disso se segue que a cincia alcana apenas certezas morais, tendo em vista, que suas verdades so da ordem da probabilidade, portanto, devemos substituir a certeza pela probabilidade e, alm disso, no h causalidade objetiva, pois nem sempre as mesmas causas produzem os mesmos efeitos.

Causalidade: princpio fundamental da razo aplicada realidade que determina que todo fenmeno tem uma causa, por isso, podemos explic-los atravs da interao dos objetos. Um fenmeno anterior (causa) produz consequentemente um fenmeno posterior (efeito), a partir 48

disso se segue, que todas as mudanas ou transformaes que observamos na Natureza ocorrem segundo a relao de causa e efeito. David Hume ficou conhecido pela sua crtica a esta concepo clssica de causalidade ao afirmar que ela apenas reflete a nossa maneira de perceber os fenmenos e, portanto, no se encontra de fato na Natureza. Ou seja, a relao causal no expressa uma lei natural de carter necessrio e, sim, uma projeo da nossa forma de perceber a realidade sobre a Natureza.

Isaac Newton (1642-1727): matemtico e fsico ingls considerado o fundador da fsica moderna devido sua formalizao da mecnica de Galileu (1564-1642), formalizao da lei da gravidade e seus estudos sobre tica e natureza da luz. Lecionou na Universidade de Cambridge durante grande parte da sua vida. A formalizao matemtica da fsica newtoniana foi fundamental para a concepo da cincia moderna inaugurada por Francis Bacon (15611626), Galileu e Descartes (1596-1650).

Silogismo: mtodo de deduo de uma concluso a partir de duas premissas por conseqncia lgica formulado pelo filsofo grego Aristteles (384-322 a.C) em sua obra Primeiros Analticos. Ou seja, o silogismo um tipo de argumento, segundo o qual, a concluso se segue necessariamente das duas premissas antecedentes.

Subsuno: ato de submir ou considerar um fato como aplicao de uma lei, conceber um indivduo compreendido em uma espcie ou uma espcie compreendida em um gnero. Em linhas gerais, trata-se da reduo de algo a uma categoria.

Galileu (1564-1642): ver Material de Consulta n 1.

Kepler (1571-1630): telogo e astrnomo alemo considerado um dos grandes nomes da Renascena e da fundamentao da cincia moderna. Responsvel pelo descobrimento das leis bsicas da movimentao planetria. Trabalhou como matemtico do Imprio Romano junto com outro grande astrnomo dinamarqus da poca Tycho Brahe que atravs do seu observatrio forneceu a Kepler dados sobre suas observaes do movimento de diversos planetas. Com isso, ele pode concluir que o movimento dos planetas ao redor do Sol era elptico e no poderia ser circular, conforme a concepo aristotlica da poca, pois assim no estaria de acordo com as observaes de Brahe. As famosas trs leis de Kepler tratam da relao de distncia, velocidade de rotao e posicionamento entre os planetas e o Sol.

Fsica quntica: questiona os principais pressupostos da fsica newtoniana e suscita importantes problemas relacionados com o realismo e construtivismo (Ver texto: Platonismo, Formalismo, Construtivismo), noes de tempo e espao, verdade e verificao, matria e forma, dentre outros. Esse questionamento tambm promoveu uma discusso em torno do estatuto epistemolgico das cincias humanas que adotaram a fsica clssica como modelo de todas as cincias em geral.

49

Aula 9 - Explicao Cientfica (2a parte)


EXPLICAO CIENTFICA (II Parte) CARL HEMPEL* (MATERIAL DA 12 SEMANA)

A Explicao Como Reduo ao Conhecido

Afirma-se, algumas vezes, que o papel de uma explicao o de tornar compreensvel um fato novo ou no conhecido, por meio de processo que o assimile ou reduza a fatos que j nos so familiares. Contudo, no h dvida de que essa idia no caracteriza adequadamente a explicao cientfica. Sem cogitarmos a fluidez e subjetividade da noo de familiaridade aqui invocada, diremos que essa concepo sugere, antes de tudo, que os fatos familiares no requerem explicao. Entretanto, se em nossa vida cotidiana podemos admitir essa maneira de ver, o mesmo no pode ocorrer no campo da cincia. Na verdade, a cincia tem realizado grandes esforos para explicar a variao das mars, as tempestades, o arco-ris, o azul do cu, as semelhanas entre pais e filhos, os lapsos no falar e no escrever, as lacunas de memrias e muitas outras coisas "familiares". O ponto ilustrado, de maneira marcante, pelo paradoxo de Olbers. Em 1826, o astrnomo alemo Heinrich Olbers* notou que, como conseqncia de umas poucas presunes simples e extremamente plausveis, inclusive algumas leis da tica e a hiptese de que as estrelas se distribuem uniformemente por todo o universo, o cu deveria se mostrar muito brilhante em todas as direes, dia e noite. Dessa forma, o fato da noite ser escura, fato que nos to familiar, foi visto como fonte de srio problema, para o qual se reclamava uma explicao. A resposta foi recentemente sugerida com base na teoria cosmolgica de um universo em expanso: pode ser demonstrado, na verdade, que a extino de remotas fontes de luz responde pelo fato da escurido dominar a noite. Eis, pois, um fato muito conhecido que vem a ser explicado em termos de uma teoria onde se renem idias pouco familiares e, para dizer tudo, muito estranhas.

Esse exemplo ilustra ainda um segundo ponto, ou seja, o de que, por vezes, a cincia no reduz o desconhecido ao conhecido, mas atua de maneira exatamente oposta: explica fatos conhecidos recorrendo a princpios tericos amplos, que nos surpreendem por serem no-familiares e no-intuitivos, mas que explicam larga variedade de fenmenos e encontram bom apoio nos resultados de comprovaes cuidadosas.

50

A opinio de que explicar reduzir o desconhecido ao conhecido pode, ainda sob outro aspecto, se revelar insatisfatrio. Consideremos, por exemplo, a explicao do trovo em termos da ira de um deus ofendido ou a verso vitalista* de algum processo biolgico auto-regulvel em termos de entelquia* ou fora vital. Essas tentativas de explicao podem proporcionar um sentimento de proximidade, de familiaridade com os fenmenos em causa, mas no trazem compreenso genuna a respeito deles. Verses vitalistas, por exemplo, no nos esclarecem sobre as condies em que a fora vital se manifesta, sobre a forma especfica de sua manifestao ou sobre a proporo em que ela compensar influncias perturbadoras suportadas por um organismo. Tais verses no indicam, portanto, as ocorrncias a esperar frente a esta ou quela situao; conseqentemente, no podem constituir base de qualquer explicao cientfica. Em contrapartida, a explicao do movimento planetrio em termos de teoria newtoniana nos esclarece acerca das foras gravitacionais exercida sobre certo planeta, os demais e o Sol bastando serem conhecidas suas massas e as distncias que os separam; e nos diz ainda, que espcie de movimento de esperar, como conseqncia da atuao dessas foras. Assim, embora ambas as verses faam referncia a certos fatores que no podem ser diretamente observados - as foras gravitacionais tm um poder explicativo que as foras vitais so desprovidas. Tal se d exatamente porque as foras gravitacionais se conformam a leis especificamente enunciadas, ao passo que as doutrinas vitalistas no se referem a leis que governem as foras vitais. Pergunta 1: Por que as noes de familiaridade e de aproximao ou reduo a fatos conhecidos no so caractersticas adequadas da explicao cientfica? Dessa forma, as leis so essenciais para uma explicao e no a familiaridade das imagens e associaes que as expresses 'fora gravitacional' e 'fora vital' possam despertar em nosso esprito. As leis invocadas para explicar um fenmeno tm tambm implicao pressuposta. Servem para prever, antes de tudo, ocorrncias semelhantes em circunstncias semelhantes; por exemplo, o movimento kepleriano dos planetas e outras estrelas. E as leis podem tambm permitir a previso de fenmenos "novos", muito diversos daqueles para cuja explicao surgiu em princpio. As leis newtonianas, por exemplo, aduzidas para explicar as uniformidades keplerianas do movimento planetrio, predisseram tambm, que dado o achatamento da Terra, a acelerao da queda livre maior nos plos do que no Equador. Na verdade, essas previses propiciam meios de apreciar o acerto de uma explicao; e uma explicao, cujas leis abrangentes ou princpios tericos falhem a este propsito, deve ser abandonada; esse foi o destino, por exemplo, da teoria do flogstico* como explicadora da combusto. Tal destino jamais poder atingir explicaes dadas em termos de mitos metforas ou foras vitais; como nada nos dizem acerca do que esperar em condies empricas, nenhuma verificao 51

emprica poder jamais desacredit-las. Essa imunidade absoluta refutao no , entretanto, uma vantagem, mas uma desvantagem fatal, quando julgada luz dos objetivos da cincia. Com efeito, o que a cincia procura estabelecer um corpo de conhecimentos factuais objetivamente verificveis e bem alicerados empiricamente. Uma verso em termos de mitos ou metforas, por mais satisfatria que possa parecer intuitivamente, no tem implicaes relativas a fatos empricos e no tem, portanto, lgica a relao com eles: trata-se de uma pseudo-explicao*, apenas aparente.
Explicao por Meio de Razes

Sugeri, anteriormente, que a explicao de qualquer fenmeno emprico envolve sua subsuno dedutiva ou probabilstica a leis ou teorias abrangentes. Ora, sustenta-se amplamente que, embora possa ser esse o caso tpico no campo das cincias naturais, no o , certamente, em outros campos da pesquisa, especialmente no que diz respeito ao estudo psicolgico, sociolgico e histrico do pensamento e agir humanos. De acordo com essa maneira de ver, a explicao adequada de uma ao requer no uma especificao de causas ou indicao de leis gerais, mas a indicao de razes; entre estas se incluiro, em primeiro lugar, os objetivos que o agente pretendia alcanar e, a seguir, suas crenas a propsito de assuntos empricos relevantes como, por exemplo, a propsito das vias de ao alternativas que surgiram diante dele e, a propsito das conseqncias possveis de seguir por uma ou por outra. Segundo a recente verso dessa maneira de ver, que tem razes na obra de Colingwood*, a explicao de uma ao determinada deve mostrar que a ao "tem sentido" em vista das razes do agente; ou, mais precisamente, que era o que havia de apropriado ou razovel a fazer naquela circunstncia, onde se incluem, de maneira especial, os objetivos e crenas do agente. Mas, deixando de lado parte dos problemas acerca dos padres de adequao, a informao explicativa segundo a qual uma dada ao x era o mais apropriado a fazer diante das circunstncias enfrentadas no nos habilita, como seria de esperar que uma explicao habilitasse, a concluir que, em conseqncia disso, era de esperar que o agente praticasse a ao x. Para justificar aquela concluso impe-se claramente o acrscimo de uma presuno explicativa que, em termos gerais, a de que o agente pertence quela classe de pessoas que, normalmente, praticar a ao aconselhada pela situao em que se encontre. Mas, uma presuno explicativa dessa espcie envolve claramente uma afirmao de ordem ampla e, assim, desempenha o papel de uma lei abrangente, embora essa lei assuma feio que , at certo ponto peculiar: diz respeito maneira como um agente particular normalmente atuar, frente a uma variedade de circunstncias. Gilbert Ryle*,

52

filsofo de Oxford, que se ocupou, com alguma profundidade, do uso dessas generalizaes para efeito explicativo, as nomeou como sentenas semelhantes-a-leis. certo que psiclogos e historiadores, bem como pessoas comuns, no trato dirio, invocam razes para explicar as aes humanas, mas isso no quer dizer que as explicaes assim oferecidas no pressuponham leis gerais ou, pelo menos, enunciados semelhantes-a-leis. Permita-me reapresentar a razo, brevemente e em termos mais gerais. Sempre que, em um esforo para explicar as aes de algum, ns lhe atribumos certas crenas, intenes, padres morais, traos de carter ou algo semelhante, estamos asseverando, por implicao, certas generalizaes tipo-lei, acerca de como o agente se comportar, regularmente ou provavelmente, em diversas circunstncias, e nessas generalizaes que a explicao se apia. Em conseqncia, mesmo a explicao do comportamento humano atravs de referncia a caractersticas psicolgicas e a razes , fundamentalmente, uma explicao por subsuno a leis abrangentes. Pergunta 2: De que maneira a explicao cientfica pode ser aplicada ao estudo das cincias humanas? Essa concluso e os argumentos que a ela nos conduziram no implicam, naturalmente, uma viso estreitamente mecanicista* do homem e de suas aes. O que nossas consideraes sugerem o seguinte: as explicaes, em todas as reas da investigao cientfica tm certas caractersticas fundamentais comuns; e subsuno dedutiva e probabilstica a leis abrangentes constitui modos de explicao que se estendem muito para alm dos limites de uma explicao causal e mecnica. Particularizando: a subsuno a generalizaes abrangentes encontra-se tambm, implicitamente, naquelas verses explicativas que buscam evidenciar a influncia de motivos conscientes e inconscientes e de idias e ideais na formulao das aes e decises humanas e, por isso mesmo, no curso da histria do Homem. _____________________________________

Aula 9 - Material de Consulta


MATERIAL DE CONSULTA - 9
Texto: EXPLICAO CIENTFICA

Os termos e nomes abaixo se encontram em ordem de apario no texto: Carl Hempel (1923-1997): ver Material de Consulta n 8. 53

Heinrich Olbers (1758-1840): mdico e astrnomo amador alemo. Localizou diversos asterides e cometas e, a partir dessas descobertas, criou o primeiro mtodo para calcular a rbita desses ltimos. Ficou conhecido, principalmente, pelo chamado paradoxo de Olbers, segundo o qual, se pergunta por que o cu fica escuro noite se existem milhes de estrelas que poderiam ilumin-lo como se fosse dia? A soluo desse problema surgiu anos mais tarde quando se descobriu que o universo observvel tem uma extenso limitada, prxima de um raio de vinte milhes de anos luz.

Vitalismo: doutrina de origem grega que considera a existncia de um princpio vital em cada ser vivo, algo semelhante alma, que gera a vida atravs de uma energia prpria. Este princpio rege toda a Natureza e responsvel pela origem da vida em todas as suas formas. Na epistemologia contempornea, esta concepo se ope ao materialismo e ao mecanicismo por acreditar que estas duas concepes no so capazes de dimensionar ou harmonizar os fenmenos na ordem relativa aos seres vivos, em especial.

Entelquia: termo que designa aquilo que perfeito. Em Aristteles (384-322 a.C), significa o mesmo que ato por se tratar do movimento do ser em direo a sua perfeio. Leibniz (16461716), filsofo moderno, cunha o termo mnada como sinnimo de entelquia para designar aquilo que basta a si mesmo e que possui em si a fonte para a realizao das suas aes.

Flogstico: fludo (flogisto) imaginado pelos qumicos do sculo XVIII para explicar a combusto de um corpo.

Robin Collingwood (1889-1943): filsofo e historiador ingls que devido a sua ltima atividade se interessou em analisar a compreenso e interpretao do passado. Seu livro mais conhecido Ensaios sobre Metafsica (1940), no qual defende uma total identificao da metafsica com a histria.

Pseudo-explicao: ver o verbete Carl Hempel no material de consulta n 7.

Gilbert Ryle (1900-1976): filsofo ingls que defendia a concepo de que os problemas filosficos deveriam ser analisados atravs da linguagem. Sua obra mais famosa O Conceito de Mente (1949), na qual, critica o dualismo corpo-mente de Descartes e seus diversos artigos foram reunidos em uma coletnea publicada em 1971.

- Mecanicismo: doutrina que afirma que determinado conjunto de fenmenos, ou mesmo toda a Natureza, se reduz a um sistema de determinaes mecnicas. Ou seja, o movimento concebido 54

como algo determinado por uma lei causal rigorosa e, nega qualquer tipo de finalismo (tendncia ou intencionalidade natural).

55

Aula 10 - Observao e Interpretao (1a parte)


OBSERVAO E INTERPRETAO (I Parte) NORWOOD RUSSELL HANSON*

(MATERIAL DA 14 SEMANA) I. Os filsofos combinam, muito freqentemente, os termos "observao" e "interpretao". De fato, os dois andam juntos, como "presunto e ovos", "queijo e goiabada", "morango e chantilly". Essas combinaes, porm, diferem da que se estabelece entre observao e interpretao. Com efeito, ns podemos falar em queijo sem falar em goiabada; em morango, antes de adicionar-lhe o creme; em presunto, sem confundi-lo com os ovos. Mas a observao o que ela antes da interpretao? O que que poderia ser uma observao independente de interpretaes? possvel separar as duas coisas? II. Sustento que observaes e interpretaes so inseparveis - no apenas no sentido de que nunca se manifestam separadamente, mas no sentido de que inconcebvel se manifestar qualquer das partes sem a outra. Na verdade, associaes mais adequadas, preferveis s que se colocam entre presunto e ovos ou entre queijo e goiabada, seriam as que vigoram entre "urdidura (trama de fios) e tecido", "tela e pintura" - "matria e forma". Podem surgir argumentos para separar, conceitualmente, a urdidura do tecido num produto manufaturado, a pintura da tela em um quadro ou a matria da forma em uma esttua. No obstante, um argumento ser indispensvel em qualquer desses casos. Coloco "observao e interpretao" nessa categoria de pares conceituais. Separar a urdidura do tecido destri o produto; separar a pintura da tela destri o quadro; separar matria e forma numa esttua torna-a ininteligvel. Assim tambm, separar os sinais-de-apreenso-de-sensaes da apreciao-do-significado desses sinais destruiria o que entendemos por observao cientfica... A concepo de observao proposta pelos neopositivistas* - por meio da qual o registro de dados sensoriais e nossas elaboraes intelectuais relativas a eles se mantm apartados - um golpe analtico* equivalente ao de um aougueiro

56

lgico. Resulta na morte da cincia natural, cujo pulsar uma luta por observaes mais inteligentemente buscadas, racionalmente compreendidas e teoricamente apreciadas. III. Muitos filsofos j tero, a esta altura, deixado de concordar comigo. Suas preocupaes se concentram "nos dados" da observao cientfica e em seu "valor". Onde as pessoas erram nas suas observaes? Erram, habitualmente, ao exagerarem as descries do que encontraram e no por haverem recebido do mundo exterior sinais-sensoriais errados. As pessoas diro estar vendo gua - quando, em verdade, se trata de um cido fraco, onde a madeira mergulhada se destri. Diro estar vendo gelo - quando, na verdade, se trata de deutrio congelado, porque no flutua na gua. Diro estar vendo atravs de culos comuns - quando se trata de um vidro polaride, pois, girandoo 90, se torna opaco. As descries-de-observaes estavam erradas, no se devendo o erro ao fato dos rgos dos sentidos falharem na captao dos sinais que incidiam sobre eles. O erro surgia em virtude de um salto que ia alm de meras observaes para atingir o nvel das especulaes, ultrapassando em muito o que os dados bsicos asseguram. A base estritamente emprica de uma observao somente poderia ser destacada do correspondente contexto terico se os observadores se restringissem s manchas coloridas que vem, aos sons e rudos que ouvem, ao spero e ao suave das superfcies que tocam e ao doce ou amargo do que provam. Somente assim as propriedades da natureza poderiam ser distinguidas das propriedades inerentes s teorias que os observadores elaboram acerca da Natureza. Pergunta 1: Por que a observao no pode se manifestar separadamente da interpretao? Uma viso positivista dessa espcie compatvel com a aceitao das chamadas "observaes", na Cincia contempornea so, realmente, intrincadas misturas de componentes empricos e precipitados tericos: o que se chama observao cientfica segundo essa viso em grau muito limitado, observao genuna. Deixando de lado esse fato, as filosofias da cincia correriam o risco de acolher a hiptese aparentemente absurda de que dois observadores dignos de confiana podem defrontar-se com o mesmo fenmeno fsico e, no obstante, registrar observaes diferentes. Acolheriam, entretanto, a hiptese de que duas cmeras fotogrficas focalizando o mesmo fenmeno colheriam o mesmo retrato. Acolheriam ainda a hiptese de que dois gravadores registrariam os mesmos sons. Segundo a maneira de ver positivista*, dois observadores cientficos "ideais" fariam as mesmas observaes; como procederiam depois outro assunto - j muito discutido pelos filsofos. Dois observadores, especialmente quando suas convices tericas so 57

muito diferentes, s podem registrar as mesmas observaes na medida em que os fenmenos com que se defrontam forem descritos em termos fenomenalsticos, ou seja, em termos dos dados sensoriais. As diferenas entre eles se manifestam apenas depois da colheita de dados. Observar Para Depois Teorizar IV. Em defesa de uma filosofia da cincia mais realista, passarei a acentuar o ponto de vista contrrio. Opondo-me ao que parece bvio ao fenomenalista, sustentarei que dois observadores igualmente bem equipados podem defrontar-se com o mesmo fenmeno e, no obstante, fazer observaes muito diversas. Isso porque esto OBSERVANDO e no porque estejam impingindo teorias diferentes a dados "puros": OBSERVAR X V-LO COMO ISTO OU AQUILO. Observar fazer uma experincia. Uma reao visual, olfativa ou tctil apenas um estado fsico - excitao fotoqumica ou devida a contacto. Os fisiologistas nem sempre distinguiram experincias e estados fsicos. So as pessoas que vem e no seus olhos. Cmeras fotogrficas e globos oculares so cegos. Tentativas de localizar nos rgos da viso (ou nos retculos neurolgicos localizados atrs dos olhos) algo que pudesse ser chamado "ver" ou "observar" podem ser sumariamente abandonadas. No ver existe algo mais do que aquilo que nos chega aos olhos. E h mais na observao cientfica do que o simples estar alerta, com os rgos dos sentidos "em estado de prontido". Tomemos um cubo de Necker* - to familiar aos psiclogos. Na pgina que se examina, esto as doze linhas que formam "um cubo". Vemos todos a mesma coisa? Alguns vero um cubo de gelo, olhado de baixo; outros o vero, olhado de cima; outros ainda o vero como uma jia lapidada; alguns vero apenas certas linhas que se cruzam em um plano; outros vero um aqurio ou uma rede de fios; e muitas outras coisas. Vemos, ento, todos a mesma coisa? Se vemos, como explicar essas diferenas? Aqui volta a "frmula" fenomenalista: "Estas so diferentes interpretaes daquilo que visto igualmente por observadores normais". Reaes visuais ao cubo de Necker so, virtualmente, idnticas e o mesmo acontece com os nossos dados sensoriais da viso, j que nossos desenhos, retratando o que vemos tm o mesmo contedo e podem mesmo ser congruentes. O cubo de Necker desenhado observado ora como cubo visto de baixo, ora como cubo visto de cima; no que primeiro se forme um padro tico para, a seguir, lhe prestar uma interpretao.

58

"Mas", replica o fenomenalista, "ver um cubo de Necker como caixa olhada por baixo ou como cubo olhado de cima implica interpretar diferentemente as linhas em cada caso". Segue-se que dois observadores interpretaro diferentemente um cubo de Necker somente quando observam coisas diferentes. Isso no significa ver exatamente a mesma coisa e interpret-la diferentemente. Acresce que a palavra "interpretao" til e ocasionalmente a empregamos. Sabemos quando empreg-la e quando no. Herdoto* apresentou os fatos objetivamente; Tucdides* conferiu a eles uma interpretao. O vocbulo no se aplica sempre - tem um significado. Podemos sempre interpretar depois de observar? s vezes, talvez, como quando um vulto se desenha na manh com nevoeiro e, com algum esforo, conseguimos identifica-lo. esta a "interpretao" que opera quando os objetos so claramente observados? Opera quando o cubo de Necker , subitamente, apresentado sob uma perspectiva nova? Houve poca em que Tucdides estava elaborando sua interpretao da o imperialismo ateniense. Pode haver um momento em que se esteja elaborando a interpretao de um cubo de Necker como um cubo visto de cima - ou outra coisa qualquer? "Mas a interpretao toma pouco tempo - instantnea". Interpretaes instantneas brotam do mesmo limbo que produziu a inferncia inconsciente, os enunciados no passveis de correo e os fatos negativos. Trata-se de noes que os filsofos atiram ao mundo para preservar uma teoria epistemolgica ou metafsica de sua preferncia. Somente contrastando-as com situaes "Eureka" (como as inverses de perspectiva em que ainda no houve tempo de interpretar os dados) compreende-se o que significa dizer que Herdoto no interpretou a histria, embora pudesse faz-lo. Saber se um historiador est ou no propondo uma interpretao um problema emprico: sabemos o que poderia ser usado como evidncia favorvel ou desfavorvel. Saber se estamos nos valendo de uma interpretao quando vemos um cubo de Necker, sob certo ngulo, no parece uma questo emprica. Que se poderia utilizar nesse caso como evidncia? Em nenhum sentido comum da palavra "interpretar" entendo diferentemente o cubo de Necker quando se altera, para mim, sua perspectiva. Se algum sentido peculiar da palavra existe, no claro qual seja e nem se pode formul-lo na linguagem comum ou na filosfica. Insistir em que diferentes reaes diante de um cubo de Necker devem estar associadas a diferentes interpretaes sobrepostas a alguma experincia visual comum simplesmente repetir (sem motivo) que observar X equivale a obter o mesmo registro sensorial por parte de todos os observadores que olham X.

59

Entretanto, ao se contestar que "Vejo a figura como uma caixa significa: "Estou tendo a experincia visual que sempre tenho " quando interpreto a figura como uma caixa ou quando olho para uma caixa...". Se fosse isso que pretendia dizer, eu deveria sab-lo diretamente. Deveria estar em condies de me referir diretamente a essa experincia, sem necessitar, indiretamente, da referncia s caixas. Isso, precisamente, o que se quer dizer quando se afirma que os dados sensoriais so "destruies lgicas a partir de objetos materiais". Verses corriqueiras das experincias associadas ao cubo de Necker no requerem que se leve o elemento visual ao intelecto; as teorias e as interpretaes "esto a", desde o incio, no observar. Tomemos todas as figuras de perspectiva cambivel que aparecem nos livros de Psicologia da Gestalt*: a bandeja, a escada e o tnel. Cada uma delas pode ser vista como figura cncava, convexa ou plana. Observo coisas diferentes de cada vez ou simplesmente interpreto o que vejo de maneiras diferentes? Interpretar pensar e fazer alguma coisa moda de Tucdides; observar ter uma experincia. Os diferentes modos por que so vistas essas figuras da Gestalt no se devem a diferentes pensamentos posteriores s reaes visuais. Se reaes como essas no so espontneas, o que poderia significar "espontneo"? No se pensa em alguma coisa especial; pode-se mesmo no pensar. Tambm no se interpreta. Simplesmente observa-se - ora uma escada vista de cima, ora uma escada vista de baixo. Existem ainda outras figuras variveis: as chamadas "figuras de aspecto varivel"*. A mais famosa a "copo-e-faces" (ver ilustrao 3 do verbete Gestalt), de Khler*: pode-se ver uma taa veneziana centrada em fundo negro ou dois perfis separados por fundo branco. De novo, "fazemos" configurao do mesmo quadro retino-crtico-sensorial; os desenhos que fizssemos em papel quadriculado poderiam se confundir. O que no impede que eu veja um ornato e voc duas faces voltadas uma para a outra. Vemos a mesma coisa? Sim - em algum sentido elementar. Observamos a mesma coisa? Talvez no. Desenho um copo e voc diz - " exatamente o que eu vi: dois homens que se encaram. Que deve ser feito para lev-lo a ver o que eu vejo? Quando a ateno se desloca da taa para as faces, altera-se o quadro visual? Como? O que se altera? O que pode se alterar? Nada de tico ou sensvel se modifica e, contudo, se observam coisas diferentes. Alterou-se a estrutura daquilo que se observa. V. Imagine, agora, um instrumento de vidro e metal, cheio de fios, refletores, parafusos, encaixes e botes. Imagine tal instrumento colocado diante de um fsico experimentado que, no momento, tenha ao colo seu filho de dois meses. O fsico e a criana observam a mesma coisa quando olham para o tubo de raios X? Sim e no. Sim porque tm conscincia visual do mesmo objeto. No porque o modo como tm essa conscincia profundamente diverso. Ver no apenas ter uma 60

experincia visual; tambm o modo como se tem essa experincia. Isso no quer dizer que o fsico esteja empenhado em atividades intelectuais, ausentes no caso da criana; isso pode ocorrer ou no. Ambos simplesmente vem o que est diante deles. A criana apreende precisamente os mesmos dados ticos, mas pode no estar observando coisa alguma em particular. O fsico v um instrumento de vidro e metal. Na escola, o fsico havia contemplado o instrumento diariamente. Anos depois, na indstria e na pesquisa, seus olhos brilham diante do mesmo objeto. Ele ainda v a mesma coisa? Agora ele observa o instrumento em termos de teoria de circuito eltrico, teoria termodinmica, teorias de estrutura de metal e vidro, emisso termoinica, transmisso tica, refrao, difrao, teoria atmica, teoria quntica, relatividade especial, problemas de energia atmica e de mquinas nucleares. Concedido: aprendem-se essas coisas - mas tudo aparece na interpretao que o fsico coloca no que v. Embora o leigo veja exatamente o que visto pelo fsico no pode interpret-lo da mesma forma porque no aprendeu tanto." O fsico est fazendo algo mais do que apenas ver? No, ele no faz nada que o leigo no faa, que ele no tenha feito quando estudante ou que seu filho no faa quando contempla um tubo de raios X. O que voc faz neste momento alm de ler estas palavras? Est interpretando sons que ecoam pelo ar? Ser essa a maneira natural de falar? Talvez, se sua lngua nativa no fosse a portuguesa o que inverte o mesmo ponto. Uma criana de colo ouve o que voc ouve ou quando voc ouve palavras e sentenas e ela no ouve mais que sons e rudos? No estamos fazendo nada mais do que olhar e ver quer quando nos esquivamos de automveis, quer quando avistamos um amigo ou percebemos um gato no jardim. "O fsico e o leigo vem a mesma coisa", pode-se objetar, "mas o resultado no o mesmo". O leigo nada retira dali e nem a criana. E isso no apenas uma figura de retrica. Nada posso retirar da palavra rabe que designa cubo de gelo, embora minhas impresses auditivas sejam exatamente as mesmas do rabe que nessas palavras v claramente o "cubo de gelo". Para ouvir o que ele ouve, preciso que eu aprenda rabe. O leigo deve aprender Fsica para estar em condies de observar o mesmo que o fsico. Como disse o grande astrnomo William Herschell*: "Ver ... arte que precisa ser aprendida". Pergunta 2:

61

Em que as observaes de um fsico e um leigo, de um adulto e uma criana, de um nativo e um estrangeiro, etc se diferem?
FINAL DA PRIMEIRA PARTE

Aula 10 - Material de Consulta


MATERIAL DE CONSULTA - 9

Texto: OBSERVAO E INTERPRETAO

Os termos e nomes abaixo se encontram em ordem de apario no texto:

Norwood Russell Hanson (1922-1967): filsofo americano que lecionava na Universidade de Yale. Tornou-se conhecido atravs do livro Padres de Descoberta (1958), no qual, discute a relao entre o que vemos e os estmulos captados pelos nossos sentidos. Trata-se de uma crtica ao empirismo (ver material de consulta n 3), pois Hanson acredita que no apreendemos os dados sensoriais de forma pura por interpret-los automaticamente.

Neopositivismo: movimento contemporneo que retoma a doutrina do positivismo lgico. Ver o verbete Carl Hempel no material de consulta n 7.

Analtico: termo sinnimo de positivismo lgico. Ver o verbete Carl Hempel no material de consulta n 7.

Positivismo: Ver o verbete Carl Hempel no material de consulta n 7.

Cubo de Necker: (clique no verbete para visualizar a figura) iluso tica criada em 1832 pelo cristalgrafo suo Louis Albert Necker. Trata-se do desenho de um cubo vazado (figura 1 direita) que dependendo do ngulo em que est sendo observado pode parecer estar projetado para cima ou para baixo. Na figura 1, esquerda, temos um cubo impossvel ou irracional que representa a ambigidade obtida pelo cubo de Necker. Ao lado, na figura 2, nos deparamos com um detalhe extrado da litografia Belvedere, do ilustrador holands 62

Martius Cornelius Escher (1898-1972), no qual, um rapaz observa a ambigidade do cubo de Necker. Sua obra explorou diversos aspectos de objetos impossveis e iluses ticas. Suas ilustraes foram objeto de estudo para diversos matemticos.

Herdoto (484 aC 426 aC): historiador grego considerado junto a Tucdides como um dos pais da Histria. Sua obra principal Histria est dividida em nove volumes, nos quais narra a histria da Prsia e das guerras entre os gregos e persas atravs de relatos orais e escritos. Sua abordagem se limitava a descrever o passado sem qualquer observao crtica.

Tucdides (c. 454 aC 399 aC): estrategista e historiador grego. Sua principal preocupao era utilizar seu conhecimento sobre o passado para compreender melhor o presente e, para isso, deu um grande enfoque poltico na sua interpretao dos acontecimentos histricos. A Guerra do Peloponeso a sua principal obra.

Gestalt: (clique no verbete para visualizar a figura) teoria da forma ou da percepo inaugurada por uma escola alem fundada em 1910 por Max Wertheimer, Kurt Kufka e Wolfgang Khler, segundo a qual, ao observarmos um objeto apreendemos um conjunto de elementos que constituem uma estrutura, configurao ou organizao. Ou seja, observo uma certa forma, uma certa cor, uma certa distncia dentre outros aspectos. A Gestalt caracteriza a apreenso de uma figura como algo que est muito alm da experincia por considerar que a nossa interpretao a modifica de maneira imediata e inevitvel. A percepo um fato que engloba diversos aspectos e se reduz a um agrupamento de sensaes no qual predominam as formas. Essa teoria encontra seu embasamento principalmente nas iluses ticas, tais como as figuras abaixo conhecidas como Pato-Coelho (1), Iluso de Hering (2) e Copo-e-faces (3), o cubo de Necker (ver verbete acima), dentre outros: (1) nessa figura podemos perceber tanto um pato como um coelho alternadamente. Foi criada pelo psiclogo J. Jastrow e publicada em 1900 no seu livro Fato e Fbula em Psicologia. (2) essa imagem foi criada pelo fisiologista Ewald Hering em 1861. As linhas horizontais vermelhas so retas, mas temos a impresso de que so ligeiramente curvadas devido s linhas azuis que criam uma falsa impresso de profundidade. (3) figura criada por Wolfgang Khler em 1921, na qual, constatamos alternadamente uma taa veneziana preta e dois perfis separados por um fundo preto. A iluso tica encontrada nas obras de diversos artistas tais como: M. C. Escher, Salvador Dal, Giuseppe Arcimboldo e outros.

Figura de aspecto varivel: figuras tambm conhecidas como ambguas ou bipolares por termos uma dupla percepo alternada das suas linhas e campos.

Wolfgang Khler (1887-1967): psiclogo alemo que ficou conhecido pela sua contribuio na fundamentao da Gestalt. Ver verbete acima.

63

William Herschell (1738-1822): msico e astrnomo alemo que se refugiou aos dezenove anos de idade na Inglaterra devido invaso francesa em sua cidade, Hanover. Em 1781, observou por diversas vezes um estranho cometa que aps os estudos do matemtico francs Laplace (1749-1827) foi reconhecido em 1783 como o planeta Urano. A descoberta de um planeta era um feito nico na histria naquela poca, por isso, Herschell foi contratado como astrnomo da corte inglesa.

64

Aula 11 - Observao e Interpretao (2a parte)


OBSERVAO E INTERPRETAO (II Parte) NORWOOD RUSSELL HANSON*

(MATERIAL DA 15 SEMANA)

Primeiro Aprender, Depois Observar. Quem nada aprendeu nada pode observar - isso parte do contedo semntico da palavra "observar". Como escreveu Pierre Duhem*:
Entre num Laboratrio; aproxime-se da mesa cheia de vrios aparelhos: uma clula eltrica, fio de cobre recoberto por seda, cilindros, um espelho montado sobre uma barra de ferro; o experimentador est inserindo em pequenos orifcios as extremidades metlicas de uns pinos; o ferro oscila e o espelho adere a ele e lana um feixe de luz sobre uma escala de celulide; o movimento desse feixe para frente e para trs permite ao fsico observar as variaes mnimas da barra de ferro. Mas, pergunte-lhe o que ele est fazendo. Ele ir responder: "Estou estudando as oscilaes de uma barra de ferro, que sustenta um espelho"? No, ele dir que est medindo a resistncia eltrica dos cilindros. Se voc se espantar, se lhe perguntar o que significam essas palavras, que relao tem com o fenmeno que ele esteve observando ao mesmo tempo em que voc, ele responder que sua pergunta requer uma ampla explicao e que voc deve freqentar um curso de eletricidade.

O visitante deve aprender Fsica antes de poder observar o que o fsico observa. Somente depois de aprender que o contexto colocar em evidncia os traos do fenmeno que o fsico observa e que indicam a resistncia. Isso o que ocorre em todos os casos em que a observao est em pauta. Ela dirigida pelo interesse do contexto. Raramente a ateno se dirige para o espao entre as folhas de uma rvore. E, contudo, relembre o que resultou do fato de Robinson Cruso* enxergar a impresso 65

de um p no espao que separava duas pores de areia! Nossa ateno se detm, naturalmente, em objetos e acontecimentos que, em razo de nossos interesses seletivos, dominam o campo visual. Que confuso enorme, perturbadora, arrasadora seria nossa vida visual, se nos levantssemos amanh com a ateno capaz de repousar apenas naquilo que at ento houvesse passado completamente despercebido. Na verdade, nossos hospitais psiquitricos esto repletos de pobres de esprito que, embora dotados de viso normal, so incapazes de observar qualquer coisa: disparam, sem sentido, sinais sensoriais, caleidoscpios que no correspondem a nada. Pergunta 1: Qual o papel da nossa ateno no processo de observaes? O filho do fsico e o visitante leigo que penetra no laboratrio podem ver corretamente, pois no so cegos, mas no podem ver o que visto pelo fsico; so cegos para isso. Tm olhos normais, porm no podem observar o que o fsico observa. Podemos no notar que o obo est desafinado embora isso seja dolorosamente bvio para o msico experiente. Certa maneira de pronunciar a palavra rabe gato pode fazer com que um nativo perceba que se usa um dialeto do Norte; para ns, ser um rudo inteiramente ininteligvel. (Incidentalmente, no se d que o msico oua as notas brutas do obo e, a seguir, as interprete como fora de tom, ele apenas ouve um obo desafinado. Apenas o rabe ouve a palavra como delatora de um dialeto do Norte. Ocorre apenas que ns vemos as horas apesar de no notarmos visualmente posio dos ponteiros para, em seguida, aps as sensaes percebidas, indagarmos teorias relativas medio do tempo). O mdico apenas observa a ferida a ser curada, o fsico observa apenas o superaquecimento do nodo do tubo dos raios X. Os elementos do campo visual do visitante do laboratrio, embora idnticos aos do fsico, no esto organizados como esto para o fsico. As linhas, cores e formas so apreendidas por ambos, mas no igualmente. H diversas maneiras de ver uma constelao de linhas, formas e manchas. Esclarecer por que um quadro visual visto diferentemente por pessoas diversas um problema da Psicologia experimental. Mas, importante que ele possa ser visto de diversas maneiras para qualquer exame dos conceitos de observao e interpretao. Pode-se objetar: "Todos, seja qual for o conhecimento que tenham, vero no desenho do cubo de Necker* uma caixa ou um cubo visto de cima ou de baixo". verdade, de fato, que quase todos, crianas, leigos, fsicos vero a figura como algo que, de um modo ou outro, se assemelha a uma caixa. Mas, tais observaes poderiam ser feitas por pessoas totalmente desconhecedoras de objetos semelhantes a caixas? No. Essa objeo apenas evidencia que a maioria das pessoas, 66

excluindo os cegos, as crianas e os loucos, aprendeu o suficiente para estar em condies de ver aquela figura como uma caixa tridimensional. Isso nos revela algo acerca do modo como a criana e o fsico vem a mesma coisa; e que isso realmente acontea no foi, na verdade, negado de forma absoluta. Ambos vem algo brilhante, resplandecente. Quando a criana ingressar na escola, ela e o fsico vero o tubo dos raios X como algo frgil e suscetvel de quebrar e que, se cair ficar em pedaos. O exame de como os observadores vem coisas diferentes em dado fenmeno fsico permite notar algo importante acerca de ocasies em que eles sustentam estar observando a mesma coisa. Ver coisas diferentes implica em ter um conhecimento diferente, elaborar teorias diferentes e fazer conjeturas diferentes acerca de algo, ento, ver a mesma coisa implica partilhar conhecimento, teorias e conjeturas. O fsico e seu filho de colo no partilham conhecimentos acerca do tubo dos raios X. Vem a mesma coisa apenas no sentido de que, se esto contemplando algo, ambos tm alguma experincia visual daquilo que contemplado. O fsico e o menino de escola j concordam em algo mais: vem a mesma coisa em um sentido mais profundo. Seus campos visuais esto organizados de maneira mais prxima. Nenhum deles espera, por exemplo, que o tubo dos raios X se abra num sorriso ou se divida em cubos de gelo (A criana no est visualmente "preparada", nem mesmo contra essas eventualidades). VI. Somente por meio de uma investigao como a que acabamos de fazer possvel compreender, de maneira realista, de que modo dois observadores cientficos podem se defrontar com os mesmos dados, utilizar os mesmos enunciados descritivos e, apesar disso, retirar concluses diametralmente opostas quanto ao significado do que tiveram diante de si. E, isso antecede o processo de "teorizario": permanece a pergunta - "o que so estes dados?" A frmula fenomenalista* simples sugere que eles consideraram dados idnticos e, a partir da, elaboraram teorias diferentes. Mas, podemos argumentar que se suas verses globais do observado eram to diversas, ento, em algum sentido, no partiram dos mesmos dados observados. Salientamos que o cubo de Necker no foi, afinal, inveno de um psiclogo malevolente. Ele foi criado em 1832, quando o naturalista suo Necker descreveu de que modo um certo cristal rombide seria visto ao microscpio (examinado de maneira inclinada), provocando uma mudana de perspectiva que hoje bem conhecida. No h, de fato, necessidade de um trabalho especial para concluir, mediante elaboradas perspectivas variveis e variados aspectos de figuras, que a observao e a interpretao se encontram indissoluvelmente entrelaadas. Alteraes de perspectivas e de aspecto aparecem com freqncia no trabalho cotidiano de pesquisa em Microbiologia, em Cristalografia (por meio de raios X), em cmeras especiais, etc. Qualquer 67

observao cientfica, desde que significativa, de algo que se revela como sendo isto ou aquilo. E isso requer que os dados sejam apreciados para alm daquilo que registra uma cmera fotogrfica ou o globo ocular: requer um observador cientfico. Pegaremos como exemplo um registro feito por um observador e, agindo sistematicamente, separamos as anotaes em duas listas, A e B. Em A, colocamos apenas os sinais filtrados pelo retculo ocular do observador. Em B, apenas as convices tericas que serviriam ao observador para argumentar em prol das anotaes. Nenhuma das listas, nem A e nem B, considerada isoladamente pode constituir, mesmo de modo aproximado, uma genuna observao cientfica. A primeira lista ser um rol catico de "encontros" caleidoscpios com manchas e com formas. A segunda, um rol de anotaes desligadas de contedos empricos. A primeira lista pode no ser distinguvel dos relatos das experincias internas sofridas por uma pessoa, sob o efeito de um entorpecente como a mescalina; a segunda, por sua vez, tenderia a se aproximar rapidamente de um exerccio de matemtica pura. As duas listas resultam de um ato que se assemelha ao da separao da urdidura e do tecido em um pedao de pano que nos deixa, afinal, sem pano algum, com fios horizontais e verticais. Tambm no se pode separar a tela da pintura, em um quadro, pois isso redundaria em destru-lo. A matria e a forma de uma esttua, como Aristteles* j nos ensinava, h mais de dois milnios passados, no podem, do mesmo modo, ser apartadas. Essas reflexes nos conduzem concluso de que a observao e a interpretao, por sua vez, tambm se encontram intimamente associadas. Na hiptese da cincia natural possvel, de fato, distinguir os casos em que a extrapolao da ordem terica supera a base emprica, separando-os de outros casos, nos quais, os dados parecem predominar. Mas no podemos, por uma questo de princpio lgico, passar ao limite e considerar a observao cientfica despida de "critrios de significncia" como se ela no fosse conformada por esses critrios; como tambm no podemos de outra parte, considerar as teorias como algo inteiramente alheio quilo que, na verdade, ocorre. Pergunta 2: A observao cientfica pode ser neutra? Em suma: a observao cientfica e a interpretao cientfica nem precisam ser conjugadas e nem separadas. Elas nunca se afastam uma da outra, de modo que no preciso aproxim-las. Elas no podem, em princpio, se separar e, conceitualmente, seria intil tentar a ciso. A observao e a interpretao vivem em simbiose, de modo que uma sustenta a outra, conceitualmente falando, e a separao redunda na morte de ambas. Isso no nenhuma novidade para os que praticam a Cincia, embora possa parecer uma heresia aos filsofos da Cincia (certos tipos de filsofos), para quem a Anlise* acabou equivalendo Diviso (entre a observao e a interpretao).

68

FINAL DO TEXTO

Aula 11 - Material de Consulta


MATERIAL DE CONSULTA 10
Texto: OBSERVAO E INTERPRETAO

Os termos e nomes abaixo se encontram em ordem de apario no texto:

Norwood Russell Hanson (1922-1967): Ver material de consulta n 9.

Pierre Duhem (1861-1916): matemtico francs que desenvolveu grande interesse nas reas de fsica e qumica, especialmente, nos campos da termodinmica, hidrodinmica, elasticidade, esttica, mecnica, dentre outros. Sua diversidade lhe proporcionou importantes contribuies para a filosofia e historiografia da cincia, dentre as quais, se destacam as seguintes obras: A evoluo da mecnica (1902), As teorias do calor (1905), Estudo sobre Leonardo da Vinci (1906-1913) e, a mais importante de todas O Sistema do Mundo, histrias e doutrinas cosmolgicas de Plato a Coprnico (1913-1916) que, infelizmente no foi concluda devido sua morte.

Robinson Cruso: heri do romance de mesmo nome escrito pelo ingls Daniel Dafoe em 1719. Cruso um marinheiro ingls sobrevivente de um naufrgio que a mar leva at uma ilha remota e aparentemente deserta. Desde sua chegada ele comea a transformar o seu entorno construindo casa e moblia, criando uma horta dentre outras coisas. Mais tarde ganhou a companhia de um fiel servo, salvo dos canibais por Cruso, apelidado de Sexta-feira. Depois de 28 anos de espera nosso heri resgatado da ilha. Esse personagem passou a simbolizar virtude, ingenuidade, fora e perseverana para enfrentar de forma bem-sucedida o isolamento e outros tipos de situaes adversas.

Cubo de Necker: Ver material de consulta n 9.

- Fenomenologia: termo criado no sculo XVIII pelo filsofo J. L. Lambert (1728-1777) para designar o estudo puramente descritivo dos fenmenos tal como se apresentam nossa experincia. Aristteles (384-322 aC): Ver material de consulta n 5.

69

Anlise: nesse texto esse termo refere-se analtico, sinnimo de positivismo lgico. Ver o verbete Carl Hempel no material de consulta n 7.

70

Aula 12 - Justificao da Induo


JUSTIFICAO DA INDUO MAX BLACK* (MATERIAL DA 16 SEMANA) Se um co late a cada vez que passo, espero, com certa naturalidade, que volte a latir ao me ver novamente. Este um exemplo do raciocnio indutivo*, em sua mais elementar manifestao. A partir de conhecimentos adquiridos por meio de certa amostra, constituda pelas ocasies em que o co j ladrou, eu chego a uma concluso acerca de um caso no includo nessa amostra antecipando o que acontecer em uma ocasio futura. Consideremos a seguir um exemplo um pouco mais elaborado. Levando um fsforo aceso para junto de um pedao de celofane, noto que este se queima; concluo que qualquer outro pedao de celofane tambm se queimaria em idnticas circunstncias. A inferncia, neste caso, tem por base o que sucedeu em um caso e aponta o que sucederia em qualquer caso semelhante. Um outro exemplo ainda - certo entomologista constata que todos os besouros de certa variedade, j examinados, apresentam manchas esverdeadas nas costas e conclui que todos os besouros dessa variedade tm a mesma caracterstica, Nesses exemplos corriqueiros de raciocnio indutivo h uma transio da informao recolhida em dado conjunto de objetos ou situaes para uma concluso aplicvel a um conjunto mais geral, ou mais amplo. Concordemos, ento, em entender um argumento indutivo como aquele em que a concluso se refere pelo menos uma coisa a que as premissas no se referem. As formas simples de argumentar indutivamente, em que, afinal, as mais complicadas se assentam, podem, portanto, ser representadas assim: "Tais ou quais A so B; logo, um outro A B"; ou, ainda, assim:" Alguns A (selecionados desta ou daquela maneira) so B; logo, todos os A so B". No h necessidade de considerar representaes mais adequadas, pois o problema de justificar a induo essencialmente o mesmo em todas as formas de raciocnio indutivo, sejam elas simples ou elaboradas. Pergunta 1:

71

O que raciocnio indutivo? J se sustentou muito amplamente, embora no universalmente, que o emprego de raciocnios indutivos um trao caracterstico do mtodo cientfico, indispensvel instrumento para a descoberta de generalizaes e de leis na Cincia. No raciocnio estritamente dedutivo*, nos limitamos a dispor de modo diferente as informaes contidas nas premissas, no obtendo conhecimento acerca do que deixou de ser observado; no raciocnio indutivo, porm, h o salto de "alguns" para "todos"; de um presente conhecido para um futuro previsto; de certos dados finitos observados para leis que abrangem tudo que acontecer e poderia acontecer. O chamado "salto indutivo" (de "alguns" para "qualquer", ou para "todos") parece indispensvel, tanto na Cincia, como na vida cotidiana. Com efeito, a prpria linguagem que empregamos para falar das pessoas e dos objetos revela a existncia de uma crena na durao dos objetos e na continuidade de suas propriedades, que s pode ser estabelecido no raciocnio indutivo, a partir da experincia. No possvel que os homens rejeitem o raciocnio indutivo e o julguem invlido, pois isso seria rejeitar a prpria linguagem que utilizam para falar do universo e de si mesmos e acarretaria uma espcie de mrbido ceticismo* que nem sequer cabe em palavras. No obstante, perfeitamente razovel pensar na justificao para o emprego de to poderoso mtodo de raciocnio. De fato, certas caractersticas do argumento indutivo, tal como o apresentamos, despertam, facilmente, dvidas inquietantes. A lgica nos ensinou que a transio de "alguns", nas premissas, para "todos", na concluso, transparentemente falaciosa: se alguns homens so brancos, de maneira nenhuma podemos concluir que todos o sejam; como justificar a cabal violncia que se faz a essa regra simples e elementar? Por outro lado, as indues so notoriamente falveis; o jogador que espera que se prolongue indefinidamente a seqncia de nmeros vermelhos na roleta, ficar desapontado em pouco tempo. Em nosso trato com a Natureza, estaramos em posio mais favorvel do que a do jogador afortunado que teve uma srie de lances vitoriosos? No estaramos atingindo o fim da srie de palpites felizes que fazemos acerca da Natureza? Como que podemos saber que o Sol aparecer amanh? A bem da clareza, essencial distinguir dvidas cticas atrozes das questes prticas referentes confiana que merecem os procedimentos indutivos. Perguntar se um dado procedimento indutivo suficientemente digno de confiana para certos fins uma coisa; outra, diferente e muito mais fundamental, perguntar de que modo se justificaria qualquer argumento indutivo. J dispomos de meios satisfatrios para distinguir acontecimentos aleatrios, como os que ocorrem na mesa de roleta, e acontecimentos que obedecem a leis, pois quando se trata de decises 72

prticas, seria ridculo considerar a possibilidade de que o Sol poderia no surgir amanh. E tambm existem meios de melhorar a confiana depositada num procedimento de amostragem, quando as concluses indutivas dependem de amostras que no sejam de inteiro crdito. Em tese, no h dificuldade para contornar crticas de ordem prtica, levantadas contra um dado procedimento indutivo. Em contraste com isso, a questo da justificao, levantada pelo filsofo, de extrema generalidade. Deixa-o perplexo a possibilidade de dar como aceitvel qualquer raciocnio indutivo mesmo considerando plenamente satisfatrios os padres de bom senso ou da boa prtica estatstica. Julga difcil compreender como o "salto indutivo", que parece redundar em uma indiscutvel falcia lgica, pode, alguma vez, encontrar justificativa. O problema no tem repercusses na prtica cientfica, mas de extrema importncia para avaliar as afirmaes de que a Cincia o veculo das verdades acerca do universo. Parece que se no pudermos justificar a induo, cabe dispensar, por infundada, a idia de um conhecimento cientfico, colocando a Cincia no nvel de quaisquer outras crenas desprovidas de base. Por mais atraente que uma concluso ctica desse gnero possa parecer, principalmente para aqueles a quem agradaria uma demonstrao da impotncia do homem, ela s deve merecer acolhida depois de minucioso exame. Aps as numerosas discusses que os filsofos da Cincia travaram em torno do problema, praticamente todas as respostas imaginveis j foram defendidas. 1 . A mais drstica soluo talvez seja negar que a induo desempenha, ou possa desempenhar, qualquer papel no mtodo cientfico. Esta idia foi eloqentemente defendida, nos tempos recentes, por Karl Popper* que salienta, em muitos trabalhos que escreveu, que a tarefa especfica da Cincia a de submeter s hipteses empricas a testes dedutivos. Segundo ele, no h meio racional de obter generalizaes a partir do exame de amostras - no h meio racional de dar o "salto indutivo". Obtida a generalizao, porm, no importa como, existe um meio racional de descobrir se sustenta o impacto da observao e da experimentao. As generalizaes, ou hipteses podem ser conclusivamente falsificadas*, embora nunca verificadas, jamais se revelando verdadeiras. O objetivo da Cincia emprica a falsificao, colocando diante do jri da experincia "conjeturas" ousadas acerca do mundo - no o impossvel objetivo de descobrir verdades. Embora defendida com invulgar brilho, esta concepo (a que se no faz justia em to breve relato) da "inexistncia da induo" no recebeu muitas adeses. Parece estranho entender que a Cincia deva limitar-se eliminao do erro sem ser atravs de progressiva descoberta ou aproximao verdade. E a induo parece esgueirar-se pela porta dos fundos, atravs da teoria 73

popperiana da "corroborao"*, isto , dos critrios que nos permitem avaliar a fora relativa das hipteses no tornadas falsas pelos fatos observados. 2 . Pode-se imaginar que o bom senso nos d resposta simples e satisfatria para o problema da induo. Um leigo, ante a pergunta do porqu julga merecedor de f um argumento indutivo que o leva de "alguns" para "todos", provavelmente dir que esse tipo de argumento "sempre se mostrou bem sucedido no passado". (Talvez se pudesse discutir o "sempre" de uma tal resposta - mas isso no vem ao caso). Seria tolo, podemos imaginar que o leigo sustentasse, abandonar tcnicas que se mostraram teis e que produziram to espetaculares resultados na Tecnologia e na Cincia. Pois bem, que a induo tenha "funcionado" no passado; em que isso nos assegura que funcionar no futuro? Se dissermos que a induo funcionar porque funcionou, estaremos raciocinando... indutivamente. Hume* j o mostrou h muito tempo, em famosa discusso do problema, que estamos constantemente admitindo como premissa o ponto a demonstrar (petio de princpio*). O melhor meio de que dispomos para dirimir pendncias acerca de questes empricas especficas argumentando a partir das caractersticas conhecidas de certos casos observados - nos deixa embaraados quando tentamos encontrar uma justificao geral da induo. Dar a quem duvida que a induo possa ser jamais justificada uma justificao que tem o carter indutivo, , por certo, ftil. (De outra parte, oportuno salientar que alguns pensadores recentes tm mostrado, com certo xito, que os argumentos indutivos podem ser aplicados aos prprios argumentos indutivos, com o intuito de aumentar o grau de confiana que possam merecer. O fato de que isso nos levaria a um crculo vicioso no , pelo menos, bvio. O status de argumentos indutivos chamados de autosustentao" objeto de muita controvrsia ainda. De qualquer modo, argumentos que se sustentam a si mesmos, ainda que se revelem legtimos, no tm relao direta com o problema da induo). 3. Abordagem muito apreciada, para resolver o problema da justificao, a que principia afirmando que os argumentos indutivos, na forma que assumiram em nossos exemplos, so basicamente incompletos. A transio do "alguns" para o "todos", de uma premissa que se refere a certa amostra para uma concluso que abrange a populao de que a amostra foi recolhida, assentase em pressupostos no explicitados. Antes de se ter deixado explcitos os pressupostos, a inferncia indutiva ilegtima - o "salto indutivo" no se justifica: um argumento indutivo requer premissa adicional para tornar-se vlido. preciso recorrer a um princpio como o que diz que "o futuro se assemelha ao passado" ou a um princpio ainda mais geral, como o da uniformidade da Natureza. Somente aps a introduo de um tal princpio que a respeitabilidade lgica do argumento estar assegurada. (Convm observar que esta linha de ataque ao problema admite tacitamente que apenas 74

o argumento dedutivo irrepreensvel. Por negar-se, implicitamente, a possibilidade da existncia de um argumento indutivo, com caractersticas prprias, esta posio se assemelha primeira, do "no h induo"). No nada fcil formular princpios gerais que possam, de modo plausvel, ocupar o lugar das premissas ausentes dos argumentos indutivos. Como a Natureza exibe variedade ao lado da uniformidade e irregularidade ao lado da ordem, difcil enunciar um princpio de regularidade sem incorrer no risco de formular uma ntida falsidade. Dizer, por exemplo, sempre que alguns A so B, todos os A so B, uma grotesca superestimao. Mesmo as verses sofisticadas de princpios gerais, como a de John Maynard Keynes*, com seu famoso princpio da "limitao de variedade independente"*, j foram submetidas a crticas arrasadoras. Pode-se afirmar, portanto, sem receio de errar, que, embora as tentativas fossem muitas, ningum, at agora, conseguiu apresentar um candidato, devidamente qualificado, para ocupar o posto de Princpio Bsico da Inferncia Indutiva. No oportuno discutir os difceis pontos tcnicos da tentativa de assentar a induo por intermdio de uma grande premissa adicional. Penso que toda essa linha de ataque no supera uma objeo fundamental. Imagine que o desejado princpio pudesse ser obtido; ele seria uma verdade a priori* ou uma verdade contingente*. No primeiro caso, seria uma verdade necessria, a vigorar independentemente dos fatos, como sucede com as verdades lgicas e matemticas. Mas isso lhe impediria servir de suporte para a transio de "alguns" para "todos". muito fcil verificar que se uma concluso de um argumento indutivo no decorre dedutivamente das premissas, a situao permanece inalterada com o acrscimo de uma verdade necessria s premissas. Se o princpio proposto fosse, no entanto, uma verdade contingente, ele no se aplicaria a todos os universos possveis, limitando-se a formular algo a respeito do nosso universo. Nesse caso, porm, de que modo se pensaria a sua verdade? Parece que no se poderia estabelecer a sua verdade a no ser por meio dos mtodos familiares, os melhores disponveis, que apelam para a observao e para o raciocnio indutivo. Pode-se ir mais longe at, a confiana que depositamos em particulares leis naturais, que so concluses de argumentos indutivos, maior do que a confiana que depositamos em qualquer princpio que se coloque na posio de reitor geral da uniformidade da Natureza. A evidncia que nos assegura que existe ordem no Universo provm do nosso conhecimento de certas regularidades especficas; no o oposto que acontece. A busca de grandes princpios de induo s produz, portanto, um deslocamento da questo, sem resolv-la - o problema de encontrar um princpio desse tipo exatamente o velho problema de justificar a induo com o agravante de que est colocado em termos ainda menos claros.

75

Pergunta 2: Qual o maior obstculo para a justificao da induo? 4. No me referi, at agora, s probabilidades, para no complicar ainda mais um tema que j suficientemente complicado. Mas os problemas de induo e de probabilidade esto intimamente ligados. importante notar, por exemplo, que a concluso de um argumento indutivo legtimo decorre das premissas apenas com certa probabilidade. Apresentado, para certa concluso, um bom argumento de natureza indutiva, sempre possvel conceber uma evidncia mais forte; os argumentos indutivos podem ser comparados entre si, quanto fora relativa, de um modo que seria imprprio aplicar aos argumentos dedutivos. Alguns estudiosos da teoria da induo propuseram, em vista disso, que um argumento indutivo, adequadamente expresso, deveria conter uma referncia s probabilidades, como parte da concluso. Assim, por exemplo, a concluso correta a tirar da premissa "Todos os A examinados so B" no seria, digamos, "Todos os A so B", mas talvez " mais provvel do que no, que todos os A sejam B", ou coisa parecida. Segundo esses estudiosos, a falta de uma referncia probabilidade que pode ser responsabilizada pelo insucesso das tentativas, at agora consideradas, de justificar a induo. Substituir a concluso da forma "Todos os A so B" pela da forma " mais provvel do que no, que todos os A sejam B", representa enfraquecimento da concluso. (Talvez convenha lembrar neste ponto, que o desejo daqueles que buscavam uma premissa adicional, relativa uniformidade da Natureza, era o de reforar as premissas. As duas linhas de pensamento visam fazer com que os argumentos indutivos se aproximem dos padres dedutivos). Favorecer ou no a tentativa de tornar respeitvel a induo atravs da probabilidade depende dos significados que se associam aos enunciados relevantes acerca da probabilidade. Numa das acepes, a concluso " mais provvel do que no, que todos os A sejam B" decorre estritamente da premissa "Todos os A examinados eram B" - impossvel que a premissa seja verdadeira e a concluso falsa. Segundo esse modo de ver, o argumento seria dedutivamente vlido, desaparecendo qualquer "salto indutivo", se a referncia probabilidade fosse introduzida na concluso. No obstante, essa interpretao dos argumentos indutivos intil, pois o desejo era o de compreender como se torna possvel chegar a uma concluso que vai mais longe do que as premissas, referindo-se a objetos ou situao que estas premissas no abrangem. Substituir o argumento indutivo original por algum argumento dedutivo, por mais engenhosamente construdo que seja, de nada adianta.

76

Mas h outro modo de entender probabilidade que tornaria a concluso probabilstica uma assero emprica genuna acerca daquilo que seria verdadeiro em grande parte de casos anlogos. Dizer que a concluso toma a forma " mais provvel do que no, que todos os A sejam B" seria mais ou menos equivalente a dizer "Na maioria dos casos em que os A examinados eram B suceder que todos os A sero B", Segundo este modo de ver, o argumento, com a meno explcita das probabilidades, permaneceria genuinamente indutivo. Mas, justamente por isso estamos novamente diante do "salto indutivo", A nova concluso no decorrncia estrita das premissas e no se resolve a aborrecida questo de saber como se justifica, racionalmente, o ir alm da evidncia, que o trao marcante dos argumentos indutivos. Aqueles que insistem em dizer que as concluses de argumentos indutivos deviam ser enunciados probabilsticos esto diante do mesmo dilema que derruba todas as anteriores tentativas de justificar a induo, ou o argumento fica em sua forma original e parece no ser vlido; ou substitudo por algum argumento dedutivo vlido (mediante reforo das premissas ou enfraquecimento da concluso) e deixa de ser argumento indutivo. Pergunta 3: Relacione as tentativas de justificar a induo atravs da referncia probabilidade e da premissa adicional com o mtodo dedutivo? 5. Examinemos, por fim, as chamadas justificaes "pragmticas"* da induo, tidas por muitos estudiosos como as que podem dar ao velho enigma uma soluo satisfatria. As idias bsicas desse gnero de justificativa foram lanadas, independentemente, por Charles Sanders Peirce* e por Hans Reichenbach*. Este ltimo, em especial, defendeu as idias com grande insistncia e muita habilidade. Imaginemos a seguinte situao cotidiana familiar: um mdico tem sob seus cuidados um paciente em estado grave e acredita que o nico modo de salvar o doente submet-lo a uma operao; admita-se que no existam garantias de xito para a interveno cirrgica. Se o mdico est certo de que o paciente no sobreviver, caso a operao no seja realizada, ele est plenamente justificado para operar. Em outras palavras, se uma condio necessria para salvar a vida da paciente operar, a operao est justificada, mesmo que o seu resultado no seja determinado e os riscos envolvidos sejam grandes. Este caso ilustra o que seria um "nada se perde em tentar" recorrer operao, sabidamente perigosa, pode ser a "ltima esperana", mas uma esperana justificada.

77

Os que pensam segundo estas linhas argumentam da seguinte maneira, quando pensam em justificar a induo: Hume estava certo quando afirmava que impossvel passar do presente para o futuro, do conhecido para o desconhecido. O "salto indutivo" no pode ser justificado com os recursos que filsofos e cientistas imaginaram empregar. Mas o conhecimento que extravasa as observaes imprescindvel e nada impedir a tentativa de obt-lo. Imagine que se pudesse mostrar que a nica forma de obter um conhecimento desse tipo seria o procedimento indutivo. Estaramos, ento, nas mesmas circunstncias do mdico ou do paciente, nada perdendo ao tentar. Se os procedimentos indutivos so uma condio necessria para antecipar o desconhecido, estamos autorizados, praticamente (ou "pragmaticamente", como se costuma dizer), a empregar tais procedimentos. possvel admitir como plausvel toda essa linha de pensamento e sua contribuio para a questo da justificativa da induo depender do xito alcanado pelos proponentes ao evidenciarem que algum tipo de procedimento indutivo condio necessria para chegar a generalizaes corretas acerca do no conhecido ou do no observado. O modelo usualmente empregado tem as seguintes caractersticas: imagine que ns estejamos fazendo uma srie de observaes, interessados em alguma propriedade, P. Se nas primeiras 100 observaes constatarmos que P se manifesta em 65 casos, admitimos que a proporo de casos favorveis, em contagens maiores, ser de 65/100. Continuando as observaes, poderemos encontrar, digamos, 87 casos favorveis nas primeiras 150 observaes, assim, corrigimos a estimativa inicial e passamos a esperar que a proporo de casos favorveis se aproxime de 87/150. Continuamos agindo dessa maneira; sempre que encontramos, em m observaes, k situaes favorveis, em que a propriedade P se manifesta, admitimos, em carter provisrio, que a proporo, de maneira genrica, se aproxima de k/m. Como no h garantia de que as fraes progressivamente determinadas dessa maneira sejam convergentes, admitindo um limite, a tentativa de antecipar o carter geral de toda a srie de observaes pode ser infrutfera. Mas se existe um limite (o que no podemos saber), esse procedimento de correes sucessivas acabar por nos levar para perto do verdadeiro valor desse limite. justificvel proceder assim, pois no h a perder. Se a srie de fraes sucessivamente determinadas for muito irregular, nenhum mtodo de prognosticar suas caractersticas gerais se apresenta; mas se ela tem a regularidade das sries convergentes, o mtodo adotado nos aproximar, mais cedo ou mais tarde, da desejada resposta.

78

A idia muito elaborada e complicada para que se possa, em poucas linhas, fazer uma crtica decisiva. Em outras ocasies eu j teci comentrios minuciosos, tentando mostrar porque no me parece capaz de dar resultados satisfatrios. As objees mais severas que tanto eu como vrios outros estudiosos pusemos em pauta so de carter muito tcnico. As crticas, seguindo a trilha pragmtica, se concentram na impossibilidade de preferir um mtodo de estimativa em detrimento de outros. A objeo mais sria, entretanto, a de que toda a abordagem pragmtica abre concesses demasiadas para os cticos da induo. Os que concordam com Hume, asseverando que o conhecimento do no observado , estritamente falando, impossvel, acabam de mos vazias no final de um argumento indutivo, no importa quo engenhosamente tratem de se desembaraar das dificuldades em que se colocaram. Parece que chegamos a um beco sem sada. Nenhum dos modos de justificar a induo, embora defendidos por muitos pensadores argutos e capazes, parece em condies de alcanar xito. Tentativas de justificar a induo por meio dos prprios procedimentos indutivos surgem como irremediavelmente circulares; tentativas que visam chegar a princpios que expressam alegadas uniformidades da Natureza colocam, sob formas novas, a mesma velha questo; o recurso s frases probabilsticas no ajuda significativamente e; as justificaes "pragmticas", muito em moda, nos deixam na verdade, merc das antigas objees do ceticismo. Considerando a profundidade que os estudos j alcanaram, aparentemente no resta esperana de sucesso, quando tantos e to importantes pensadores falharam. Atingida uma situao como essa, h razes para supor que a natureza do problema foi mal compreendida e que as dificuldades so insuperveis em virtude de erros de concepo. Ganha terreno a idia de que exatamente isso que acontece no caso da induo. A prpria noo de justificao pressupe um padro de justificao - justificar a induo deve ser o mesmo que mostrar que aquele tipo de raciocnio satisfaz certos critrios relevantes acerca do que se considera razovel. A longa histria do tema atesta que quase todos os que atacaram a questo tinham em mente os critrios de raciocnio dedutivo, ainda que sejam bastante diferentes as tentativas de justificar a induo, todas admitem que o nico modo respeitvel de raciocinar, o nico mtodo "estrito" aquele em que a concluso decorre das premissas com necessidade lgica. Ora, a induo, por definio, no deduo - a idia de um "salto indutivo" faz parte da nossa concepo de argumento indutivo. Tentar converter um argumento indutivo em dedutivo to ftil quanto a tentativa da criana de sustentar que o cavalo uma vaca sem os chifres. 79

Neste terreno extremamente complicado e controvertido, portanto, a sbia deciso a de reconhecer que uma justificativa geral para a induo, nos moldes em que os filsofos da Cincia a concebiam, nem possvel nem necessria. O que significa justificar uma especfica generalizao emprica demonstrar indutivamente (usando princpios que se mostraram satisfatrios na espcie de caso considerado) que a generalizao verdadeira ou, pelo menos, provvel. Quando se procura aplicar essa noo razoavelmente definida de justificao prpria induo, o que sucede que se torna imprecisa a noo de justificao. No se trata, propriamente, de ignorar como se justificaria a induo; trata-se de no poder imaginar o que caberia aceitar como justificao. Preciso, que no se alcana sem duro trabalho intelectual, deveria redundar, neste caso, no desaparecimento do "problema da induo". Se esta posio correta, como penso que seja, o "problema da induo" acabar arquivado, junto com outros famosos problemas "insolveis", tais como o da quadratura do crculo* ou o da obteno das mquinas de motoperptuo*. Tal como se deu nesses famosos exemplos, a busca do impossvel no parece, luz da histria, coisa ftil. Com efeito, os subprodutos das investigaes seriamente conduzidas podem mostrar-se muito mais importantes do que o ideal inatingvel. Se o conhecimento que acumulamos acerca do carter dos procedimentos indutivos to rico e elaborado, hoje em dia, isso se deve, em boa parte, queles que com tanto empenho se dedicaram, por muito tempo e sem xito, ao problema de justificar a induo. Pergunta 4: Por que a questo da justificao da induo permanece em aberto? _____________________________________

Aula 12 - Material de Consulta


MATERIAL DE CONSULTA 9 Texto: JUSTIFICAO DA INDUO Os termos e nomes abaixo se encontram em ordem de apario no texto: Max Black (1909-1988): filsofo russo naturalizado norte-americano em 1948. Sua fama se deve as suas diversas contribuies nas reas de filosofia da linguagem, da arte, da matemtica e da cincia, alm das suas anlises conceituais destacando seus estudos sobre Frege (1952) e 80

sobre o Tractatus de Wittgenstein (1964). Sus grande preocupao era a de oferecer uma abordagem pragmtica e prxima do senso comum aos diversos temas tericos que se dedicou.

Induo: raciocnio lgico que parte do particular para o geral. Atravs desse mtodo uma lei estabelecida atravs da observao das repeties regulares de algo em um caso particular. Embora a induo no estabelea uma verdade definitiva, ela nos fornece, no entanto, razes para a sua aceitao que se tornam cada vez mais seguras quanto maior for o nmero de observaes realizadas das suas evidncias. Ou seja, o seu grau de certeza proporcional ao nmero de casos observados. Pois, impossvel, empiricamente, examinar todos os possveis casos de um dado objeto.

Deduo: Ver material de consulta n 6.

Ceticismo: Ver material de consulta n 1.

Karl Popper (1902-1994): filsofo austraco e um dos mais influentes na filosofia da cincia contempornea. Inicialmente sofreu uma forte influncia do Crculo de Viena (ver verbete Carl Hempel no material de consulta n 7) e, mais tarde, desenvolveu uma concepo prpria da lgica e da metodologia da cincia. Sua principal contribuio consiste na formulao da noo de falsicabilidade como critrio fundamental para caracterizar as teorias cientficas, na tentativa de superar o problema da verificao (consultar o mesmo verbete mencionado acima) de hipteses atravs do mtodo indutivo. Ao falsificar uma hiptese cientfica podemos verific-la e corrig-la atravs do seu contra-exemplo. Segundo ele, no possvel determinarmos at que ponto uma hiptese confirmada pelos dados empricos, portanto, o seu grau de corroborao uma funo que estabelece o sucesso demonstrado por ela aps passar pelo processo de falsicabilidade. Vrios crticos afirmam que a corroborao uma noo vazia por no nos garantir que a hiptese cientfica ter o mesmo sucesso em uma ocasio futura. Popper acredita que o mtodo cientfico no se d atravs de uma induo mecnica, na qual as generalizaes se baseiam em dados acumulados, e sim atravs de hipteses ou conjecturas ousadas que so submetidas a testes rigorosos de falsificabilidade.

Falsificao: esse termo se refere teoria popperiana de validao de hipteses cientficas. Ver verbete Karl Popper.

Corroborao: esse termo se refere teoria popperiana de validao de hipteses cientficas. Ver verbete Karl Popper.

81

David Hume (1711-1776): para Hume logicamente impossvel verificar de maneira conclusiva uma proposio universal apenas pela experincia, ou seja, no existem meios de examinarmos empiricamente todas as possibilidades que envolvem um dado objeto. Ver material de consulta n 7.

Petio de princpio: um tipo de argumento lgico falacioso caracterizado pela sua circularidade ao pressupor em suas premissas aquilo que pretende demonstrar na concluso.

John Maynard Keynes (1883-1946): economista ingls que freqentou os crculos filosficos de Cambridge junto a grandes filsofos como Bertrand Russell (1872-1970), George Edward Moore (1873-1958) e Ludwig Wittgenstein (1889-1951). Ocupou diversos cargos pblicos no governo ingls, nos quais, exerceu grande influncia na rea econmica, social e de relaes exteriores. O seu Tratado sobre a probabilidade (1922) contribuiu para o desenvolvimento da teoria da probabilidade ao sustentar que essa noo deve ser entendida e aplicada a proposies e no a fatos ou eventos. Nesse trabalho cria o princpio de variedade independente limitada, segundo o qual, determina que os objetos passveis de generalizao tm um nmero de caractersticas finitas e, que estas por sua vez, formam grupos de conexes invariveis. Esse princpio necessrio para que o mtodo indutivo possa fornecer concluses certas em termos mais restritos. Porm, essa noo problemtica por termos que pressupor que o objeto a ser generalizado tem necessariamente um nmero de caractersticas finito, algo que no podemos verificar. Keynes estava ciente do aspecto metafsico desse princpio.

Princpio da limitao da variedade independente: esse termo se refere ao Tratado de Probabilidade. Ver o verbete John Keynes.

A priori: algo considerado anterior e independente da experincia. Trata-se de uma idia preconcebida ou anterior a qualquer verificao emprica.

Contingncia: carter daquilo que concebido como indeterminado, ou seja, podendo ser ou no ser. Por se tratar de algo acidental no possvel aplicar os critrios padres de causalidade na investigao desse tipo de acontecimento.

Pragmatismo: doutrina filosfica, segundo a qual, o mtodo para estabelecer o significado dos conceitos se d a partir dos efeitos prticos do seu uso concreto, pois considera que devemos dar mais importncia s conseqncias e fatos gerados a partir das nossas aes do que aos seus pressupostos ou princpios. Defende amplamente o empirismo (ver material de consulta n 3) e o utilitarismo (considera o que mais correto e melhor para maioria como o mais til). Se ope s correntes racionalistas (ver material de consulta n 1) e formalistas (ver material de consulta n 5). Ou seja, enfatiza as conseqncias, utilidade e sentido prtico para alcanar a verdade.

82

Charles Peirce (1839-1914): filsofo norte-americano de formao cientfica em fsica e qumica. Considerado um dos fundadores do pragmatismo contribuiu decisivamente para o desenvolvimento da lgica matemtica contempornea e para a discusso sobre a importncia da probabilidade e do mtodo indutivo na cincia. Atravs da sua concepo de pragmatismo desenvolveu uma teoria consensual de verdade, segundo a qual, uma proposio verdade mediante o acordo entre os cientistas aps examinar suas hipteses. Em seu famoso ensaio Fixao da Crena (1877), concluiu que o mtodo cientfico o nico capaz de formular hipteses e submet-las a verificaes baseadas nas suas conseqncias. Partindo desse pressuposto, identifica na cincia trs diferentes modos de raciocnio: a induo, considerada como um argumento generalizado possibilitando a formao de hbitos; a deduo, considerada como um argumento necessrio, ou seja, um raciocnio que no pode partir de premissas verdadeiras chegando a resultados falsos; e a abduo, ou seja, levantar hipteses que possibilitem o surgimento de uma teoria da qual podemos deduzir conseqncias observveis.

Hans Reichenbach (1891-1953): filsofo da cincia alemo com formao cientfica nas reas de fsica e matemtica. Estudou com nomes importantes tais como: o filsofo Ernst Cassirer (1874-1945), o matemtico David Hilbert (1862-1943) e os fsicos Max Planck (1858-1947) e Albert Einstein (1879-1955). Em 1920 publicou seu primeiro livro sobre as implicaes filosficas da teoria da relatividade A teoria da relatividade e o conhecimento a priori e, em seguida, se dedicou ao estudo do significado filosfico da teoria da relatividade A axiomatizao da teoria da relatividade (1924) e A filosofia do espao e tempo (1928). Fundou o Crculo de Berlim, uma verso alem do Crculo de Viena (ver o verbete Karl Hempel no material de consulta n 7). Devido ao incio da Segunda Guerra Mundial emigrou para a Turquia onde lecionou por cinco anos e, em seguida, se mudou para os Estados Unidos e lecionou at o final da vida na Universidade da Califrnia. Suas publicaes mais conhecidas foram importantes contribuies para a teoria da probabilidade, a lgica e os fundamentos filosficos da cincia A teoria da probabilidade (1935), Elementos da Lgica Simblica (1947) e, O Surgimento da Filosofia Cientfica (1951). Quadratura do crculo: problema clssico da geometria grega que prope a construo, usando apenas rgua e compasso, inscrever um quadrado com a mesma rea de um dado crculo. A partir do sculo XIX, houveram diversas demonstraes de que esse problema insolvel. A primeira delas foi obtida em 1801 pelo matemtico alemo Carl Friedrich Gauss (1777-1855), seguida do matemtico francs Pierre Wantzel (1814-1848) em 1837, dentre outros.

Mquina de motoperptuo: trata-se de uma mquina com moto (movimento) eternamente contnuo, ou seja, um mecanismo que seria capaz de criar sua prpria energia. Essa idia surgiu para explicar a causa primeira responsvel pelo movimento no mundo na obra de Aristteles e foi adotada por diversos filsofos da Idade Mdia. De acordo com a lei fsica de conservao de quantidade de movimento (energia), segundo a qual, a quantidade de movimento nunca criada ou destruda, essa mquina considerada impossvel pelos cientistas. Pois, quando um corpo ganha quantidade de movimento algum outro perde a mesma quantidade.

83

Aula 13 - Justificao da Induo (2a parte)


JUSTIFICAO DA INDUO (II Parte) MAX BLACK*

(MATERIAL DA 16 SEMANA)

4. No me referi, at agora, s probabilidades, para no complicar ainda mais um tema que j suficientemente complicado. Mas os problemas de induo e de probabilidade esto intimamente ligados. importante notar, por exemplo, que a concluso de um argumento indutivo legtimo decorre das premissas apenas com certa probabilidade. Apresentado, para certa concluso, um bom argumento de natureza indutiva, sempre possvel conceber uma evidncia mais forte; os argumentos indutivos podem ser comparados entre si, quanto fora relativa, de um modo que seria imprprio aplicar aos argumentos dedutivos. Alguns estudiosos da teoria da induo propuseram, em vista disso, que um argumento indutivo, adequadamente expresso, deveria conter uma referncia s probabilidades, como parte da concluso. Assim, por exemplo, a concluso correta a tirar da premissa "Todos os A examinados so B" no seria, digamos, "Todos os A so B", mas talvez " mais provvel do que no, que todos os A sejam B", ou coisa parecida. Segundo esses estudiosos, a falta de uma referncia probabilidade que pode ser responsabilizada pelo insucesso das tentativas, at agora consideradas, de justificar a induo. Substituir a concluso da forma "Todos os A so B" pela da forma " mais provvel do que no, que todos os A sejam B", representa enfraquecimento da concluso. (Talvez convenha lembrar neste ponto, que o desejo daqueles que buscavam uma premissa adicional, relativa uniformidade da Natureza, era o de reforar as premissas. As duas linhas de pensamento visam fazer com que os argumentos indutivos se aproximem dos padres dedutivos). Favorecer ou no a tentativa de tornar respeitvel a induo atravs da probabilidade depende dos significados que se associam aos enunciados relevantes acerca da probabilidade. Numa 84

das acepes, a concluso " mais provvel do que no, que todos os A sejam B" decorre estritamente da premissa "Todos os A examinados eram B" - impossvel que a premissa seja verdadeira e a concluso falsa. Segundo esse modo de ver, o argumento seria dedutivamente vlido, desaparecendo qualquer "salto indutivo", se a referncia probabilidade fosse introduzida na concluso. No obstante, essa interpretao dos argumentos indutivos intil, pois o desejo era o de compreender como se torna possvel chegar a uma concluso que vai mais longe do que as premissas, referindo-se a objetos ou situao que estas premissas no abrangem. Substituir o argumento indutivo original por algum argumento dedutivo, por mais engenhosamente construdo que seja, de nada adianta. Mas h outro modo de entender probabilidade que tornaria a concluso probabilstica uma assero emprica genuna acerca daquilo que seria verdadeiro em grande parte de casos anlogos. Dizer que a concluso toma a forma " mais provvel do que no, que todos os A sejam B" seria mais ou menos equivalente a dizer "Na maioria dos casos em que os A examinados eram B suceder que todos os A sero B", Segundo este modo de ver, o argumento, com a meno explcita das probabilidades, permaneceria genuinamente indutivo. Mas, justamente por isso estamos novamente diante do "salto indutivo", A nova concluso no decorrncia estrita das premissas e no se resolve a aborrecida questo de saber como se justifica, racionalmente, o ir alm da evidncia, que o trao marcante dos argumentos indutivos. Aqueles que insistem em dizer que as concluses de argumentos indutivos deviam ser enunciados probabilsticos esto diante do mesmo dilema que derruba todas as anteriores tentativas de justificar a induo, ou o argumento fica em sua forma original e parece no ser vlido; ou substitudo por algum argumento dedutivo vlido (mediante reforo das premissas ou enfraquecimento da concluso) e deixa de ser argumento indutivo.
Pergunta 1: Relacione as tentativas de justificar a induo atravs da referncia probabilidade e da premissa adicional com o mtodo dedutivo?

5. Examinemos, por fim, as chamadas justificaes "pragmticas"* da induo, tidas por muitos estudiosos como as que podem dar ao velho enigma uma soluo satisfatria. As idias bsicas desse gnero de justificativa foram lanadas, independentemente, por Charles Sanders Peirce* e por Hans Reichenbach*. Este ltimo, em especial, defendeu as idias com grande insistncia e muita habilidade. Imaginemos a seguinte situao cotidiana familiar: um mdico tem sob seus cuidados um paciente em estado grave e acredita que o nico modo de salvar o doente submet-lo a uma operao; admita-se que no existam garantias de xito para a interveno cirrgica. Se o mdico 85

est certo de que o paciente no sobreviver, caso a operao no seja realizada, ele est plenamente justificado para operar. Em outras palavras, se uma condio necessria para salvar a vida da paciente operar, a operao est justificada, mesmo que o seu resultado no seja determinado e os riscos envolvidos sejam grandes. Este caso ilustra o que seria um "nada se perde em tentar" recorrer operao, sabidamente perigosa, pode ser a "ltima esperana", mas uma esperana justificada. Os que pensam segundo estas linhas argumentam da seguinte maneira, quando pensam em justificar a induo: Hume estava certo quando afirmava que impossvel passar do presente para o futuro, do conhecido para o desconhecido. O "salto indutivo" no pode ser justificado com os recursos que filsofos e cientistas imaginaram empregar. Mas o conhecimento que extravasa as observaes imprescindvel e nada impedir a tentativa de obt-lo. Imagine que se pudesse mostrar que a nica forma de obter um conhecimento desse tipo seria o procedimento indutivo. Estaramos, ento, nas mesmas circunstncias do mdico ou do paciente, nada perdendo ao tentar. Se os procedimentos indutivos so uma condio necessria para antecipar o desconhecido, estamos autorizados, praticamente (ou "pragmaticamente", como se costuma dizer), a empregar tais procedimentos. possvel admitir como plausvel toda essa linha de pensamento e sua contribuio para a questo da justificativa da induo depender do xito alcanado pelos proponentes ao evidenciarem que algum tipo de procedimento indutivo condio necessria para chegar a generalizaes corretas acerca do no conhecido ou do no observado. O modelo usualmente empregado tem as seguintes caractersticas: imagine que ns estejamos fazendo uma srie de observaes, interessados em alguma propriedade, P. Se nas primeiras 100 observaes constatarmos que P se manifesta em 65 casos, admitimos que a proporo de casos favorveis, em contagens maiores, ser de 65/100. Continuando as observaes, poderemos encontrar, digamos, 87 casos favorveis nas primeiras 150 observaes, assim, corrigimos a estimativa inicial e passamos a esperar que a proporo de casos favorveis se aproxime de 87/150. Continuamos agindo dessa maneira; sempre que encontramos, em m observaes, k situaes favorveis, em que a propriedade P se manifesta, admitimos, em carter provisrio, que a proporo, de maneira genrica, se aproxima de k/m. Como no h garantia de que as fraes progressivamente determinadas dessa maneira sejam convergentes, admitindo um limite, a tentativa de antecipar o carter geral de toda a srie de observaes pode ser infrutfera. Mas se existe um limite (o que no podemos saber), esse procedimento de correes sucessivas acabar por nos levar para perto do verdadeiro valor desse limite. justificvel proceder assim, pois no h a perder. Se a srie de fraes sucessivamente determinadas for muito irregular, nenhum mtodo de prognosticar suas caractersticas gerais se 86

apresenta; mas se ela tem a regularidade das sries convergentes, o mtodo adotado nos aproximar, mais cedo ou mais tarde, da desejada resposta. A idia muito elaborada e complicada para que se possa, em poucas linhas, fazer uma crtica decisiva. Em outras ocasies eu j teci comentrios minuciosos, tentando mostrar porque no me parece capaz de dar resultados satisfatrios. As objees mais severas que tanto eu como vrios outros estudiosos pusemos em pauta so de carter muito tcnico. As crticas, seguindo a trilha pragmtica, se concentram na impossibilidade de preferir um mtodo de estimativa em detrimento de outros. A objeo mais sria, entretanto, a de que toda a abordagem pragmtica abre concesses demasiadas para os cticos da induo. Os que concordam com Hume, asseverando que o conhecimento do no observado , estritamente falando, impossvel, acabam de mos vazias no final de um argumento indutivo, no importa quo engenhosamente tratem de se desembaraar das dificuldades em que se colocaram. Parece que chegamos a um beco sem sada. Nenhum dos modos de justificar a induo, embora defendidos por muitos pensadores argutos e capazes, parece em condies de alcanar xito. Tentativas de justificar a induo por meio dos prprios procedimentos indutivos surgem como irremediavelmente circulares; tentativas que visam chegar a princpios que expressam alegadas uniformidades da Natureza colocam, sob formas novas, a mesma velha questo; o recurso s frases probabilsticas no ajuda significativamente e; as justificaes "pragmticas", muito em moda, nos deixam na verdade, merc das antigas objees do ceticismo. Considerando a profundidade que os estudos j alcanaram, aparentemente no resta esperana de sucesso, quando tantos e to importantes pensadores falharam. Atingida uma situao como essa, h razes para supor que a natureza do problema foi mal compreendida e que as dificuldades so insuperveis em virtude de erros de concepo. Ganha terreno a idia de que exatamente isso que acontece no caso da induo. A prpria noo de justificao pressupe um padro de justificao - justificar a induo deve ser o mesmo que mostrar que aquele tipo de raciocnio satisfaz certos critrios relevantes acerca do que se considera razovel. A longa histria do tema atesta que quase todos os que atacaram a questo tinham em mente os critrios de raciocnio dedutivo, ainda que sejam bastante diferentes as tentativas de justificar a induo, todas admitem que o nico modo respeitvel de raciocinar, o nico mtodo "estrito" aquele em que a concluso decorre das premissas com necessidade lgica. Ora, a induo, por definio, no deduo - a idia de um "salto indutivo" faz parte da nossa concepo de argumento indutivo. Tentar converter um argumento indutivo em dedutivo to ftil quanto a tentativa da criana de sustentar que o cavalo uma vaca sem os chifres. Neste terreno extremamente complicado e controvertido, portanto, a sbia deciso a de 87

reconhecer que uma justificativa geral para a induo, nos moldes em que os filsofos da Cincia a concebiam, nem possvel nem necessria. O que significa justificar uma especfica generalizao emprica demonstrar indutivamente (usando princpios que se mostraram satisfatrios na espcie de caso considerado) que a generalizao verdadeira ou, pelo menos, provvel. Quando se procura aplicar essa noo razoavelmente definida de justificao prpria induo, o que sucede que se torna imprecisa a noo de justificao. No se trata, propriamente, de ignorar como se justificaria a induo; trata-se de no poder imaginar o que caberia aceitar como justificao. Preciso, que no se alcana sem duro trabalho intelectual, deveria redundar, neste caso, no desaparecimento do "problema da induo". Se esta posio correta, como penso que seja, o "problema da induo" acabar arquivado, junto com outros famosos problemas "insolveis", tais como o da quadratura do crculo* ou o da obteno das mquinas de motoperptuo*. Tal como se deu nesses famosos exemplos, a busca do impossvel no parece, luz da histria, coisa ftil. Com efeito, os subprodutos das investigaes seriamente conduzidas podem mostrar-se muito mais importantes do que o ideal inatingvel. Se o conhecimento que acumulamos acerca do carter dos procedimentos indutivos to rico e elaborado, hoje em dia, isso se deve, em boa parte, queles que com tanto empenho se dedicaram, por muito tempo e sem xito, ao problema de justificar a induo.
Pergunta 2: Por que a questo da justificao da induo permanece em aberto?

Aula 13 - Material de Consulta


MATERIAL DE CONSULTA 11
Texto: JUSTIFICAO DA INDUO II Parte Os termos e nomes abaixo se encontram em ordem de apario no texto: Max Black (1909-1988): Ver material de consulta n 10. Pragmatismo: doutrina filosfica, segundo a qual, o mtodo para estabelecer o significado dos conceitos se d a partir dos efeitos prticos do seu uso concreto, pois considera que devemos dar mais importncia s conseqncias e fatos gerados a partir das nossas aes do que aos seus pressupostos ou princpios. Defende amplamente o empirismo (ver material de consulta n 3) e o utilitarismo (considera o que mais correto e melhor para maioria como o mais til). Se ope s correntes racionalistas (ver material de consulta n 1) e formalistas (ver material de consulta n 5). Ou seja, enfatiza as conseqncias, utilidade e sentido prtico para alcanar a verdade. 88

Charles Peirce (1839-1914): filsofo norte-americano de formao cientfica em fsica e qumica. Considerado um dos fundadores do pragmatismo contribuiu decisivamente para o desenvolvimento da lgica matemtica contempornea e para a discusso sobre a importncia da probabilidade e do mtodo indutivo na cincia. Atravs da sua concepo de pragmatismo desenvolveu uma teoria consensual de verdade, segundo a qual, uma proposio verdade mediante o acordo entre os cientistas aps examinar suas hipteses. Em seu famoso ensaio Fixao da Crena (1877), concluiu que o mtodo cientfico o nico capaz de formular hipteses e submet-las a verificaes baseadas nas suas conseqncias. Partindo desse pressuposto, identifica na cincia trs diferentes modos de raciocnio: a induo, considerada como um argumento generalizado possibilitando a formao de hbitos; a deduo, considerada como um argumento necessrio, ou seja, um raciocnio que no pode partir de premissas verdadeiras chegando a resultados falsos; e a abduo, ou seja, levantar hipteses que possibilitem o surgimento de uma teoria da qual podemos deduzir conseqncias observveis. Hans Reichenbach (1891-1953): filsofo da cincia alemo com formao cientfica nas reas de fsica e matemtica. Estudou com nomes importantes tais como: o filsofo Ernst Cassirer (1874-1945), o matemtico David Hilbert (1862-1943) e os fsicos Max Planck (1858-1947) e Albert Einstein (1879-1955). Em 1920 publicou seu primeiro livro sobre as implicaes filosficas da teoria da relatividade A teoria da relatividade e o conhecimento a priori e, em seguida, se dedicou ao estudo do significado filosfico da teoria da relatividade A axiomatizao da teoria da relatividade (1924) e A filosofia do espao e tempo (1928). Fundou o Crculo de Berlim, uma verso alem do Crculo de Viena (ver o verbete Karl Hempel no material de consulta n 7). Devido ao incio da Segunda Guerra Mundial emigrou para a Turquia onde lecionou por cinco anos e, em seguida, se mudou para os Estados Unidos e lecionou at o final da vida na Universidade da Califrnia. Suas publicaes mais conhecidas foram importantes contribuies para a teoria da probabilidade, a lgica e os fundamentos filosficos da cincia A teoria da probabilidade (1935), Elementos da Lgica Simblica (1947) e, O Surgimento da Filosofia Cientfica (1951). Quadratura do crculo: problema clssico da geometria grega que prope a construo, usando apenas rgua e compasso, inscrever um quadrado com a mesma rea de um dado crculo. A partir do sculo XIX, houveram diversas demonstraes de que esse problema insolvel. A primeira delas foi obtida em 1801 pelo matemtico alemo Carl Friedrich Gauss (1777-1855), seguida do matemtico francs Pierre Wantzel (1814-1848) em 1837, dentre outros. Mquina de motoperptuo: trata-se de uma mquina com moto (movimento) eternamente contnuo, ou seja, um mecanismo que seria capaz de criar sua prpria energia. Essa idia surgiu para explicar a causa primeira responsvel pelo movimento no mundo na obra de Aristteles e foi adotada por diversos filsofos da Idade Mdia. De acordo com a lei fsica de conservao de quantidade de movimento (energia), segundo a qual, a quantidade de movimento nunca criada ou destruda, essa mquina considerada impossvel pelos cientistas. Pois, quando um corpo ganha quantidade de movimento algum outro perde a mesma quantidade.

89

Você também pode gostar