Rev. Cient. Fac. Lour. Filho v.5, n.

1, 2007

O mtodo indutivo
Gerardo Valdisio Rodrigues Viana Universidade Federal do Cear - Universidade Estadual do Cear Eliser Sales Pereira Faculdade Loureno Filho

Resumo:
A induo tem sido utilizada para justificar a maioria das leis e teorias cientficas. O mtodo indutivo parte da experincia de casos particulares para a generalizao ou universalizao; ou seja, as concluses so mais abrangentes que as premissas, objetivando, para os indutivistas como Bacon, uma clara ampliao do conhecimento; no entanto, esta questo no consensual, pois na investigao das chamadas verdades gerais, a partir de um nmero impreciso de casos observados, a inferncia para os demais casos pode ser ilegtima, denotando uma falibilidade do mtodo. Portanto, para os crticos do indutivismo, como Hume e Popper, as falhas conceituais inerentes ao princpio da induo no podem comprovar cientificamente uma teoria, da ter surgido o chamado problema da induo, que ser apresentado neste trabalho atravs do enfoque conceitual de toda sua fundamentao, origem e solues apresentadas por consagrados filsofos.

Palavras-chave: Raciocnio Indutivo. Reduo ao Absurdo. Probabilidade Indutiva.

Matemtica.

Induo

Introduo
Em sua fase inicial de reflexo filosfica o ser humano tinha interesse em conhecer bem a cosmologia e a cosmogonia, ou seja, ele desejava entender o funcionamento do universo, de seus fenmenos, de suas foras e de sua origem [14]. Esta busca do conhecimento estava em todas as religies e mitologias. A fase seguinte da evoluo do conhecimento humano caracterizada pelo surgimento da Teoria, onde se buscava uma unidade de compreenso racional baseada na organizao, na integrao e na dinamizao do conhecimento. Atribui-se aos gregos esta substituio do estgio mtico-religioso do conhecimento por uma explicao terica e racional; para Tales de Mileto (625548 a.C.), a origem de todas as coisas era a gua ou physis que significava tanto fonte originria como processo de surgimento e desenvolvimento [02]; Pitgoras (582500

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

a.C.) defendia que todas as coisas do universo tinham uma estrutura numrica; Parmnides (530460 a.C.) estabeleceu pela primeira vez o princpio lgico-ontolgico de identidade o que , - e no pode deixar de ser. O terceiro momento do pensamento humano atribudo a Aristteles (384322 a.C.) por ter estabelecido uma viso realista do mundo e do homem, destacando a elaborao de um mtodo de pesquisa (a lgica) e de uma forma de exposio (o tratado), estabelecendo, em definitivo, a sistematizao, o mtodo, a linguagem, a experincia e a racionalidade como base do conhecimento. A trajetria do saber se configura, ento, em duas dimenses, uma ampliativa que trouxe como conseqncia o constante crescimento do saber, tanto qualitativa como quantitativamente e outra delimitativa atravs das quais poderiam ser definidas as fronteiras e as relaes entre os diversos tipos de saber [15]. Pode-se afirmar que a partir de Scrates (470399 a.C.), Plato (427347 a.C.), e Aristteles, a aventura do conhecimento foi conduzida pela reflexo racional; quando so definidas a lgica formal aristotlica e os principais problemas de ordem gnosiolgica: realismo ou idealismo; conhecimento objetivo ou subjetivo; certeza ou conjectura; conhecimento a priori ou a posteriori; conhecimento dedutivo ou indutivo. Aristteles usou e definiu a induo como uma ascenso do particular ao universal (inverso do silogismo), admitido que o universal na induo resulte de uma enumerao adequada, dita tambm enumerao suficiente, quando fosse possvel enumerar todos os dados teria uma induo completa ou virtualmente completa, chamada cientfica. O problema da induo somente veio a ser questionado por David Hume (17111776) quando levantou, e negou atravs de exemplos, questes da validade lgica do mtodo indutivo [07], abalando a confiana dos indutivistas e causando discusses sobre o tema que persistem at hoje. As cincias empricas se caracterizam pelo fato de empregarem o pensamento indutivo [11]. Uma inferncia dita indutiva, caso ela conduza enunciados particulares, tais como descries dos resultados das observaes ou experimentos, para enunciados universais, tais como hipteses ou teorias. Karl Popper (19021994) considera que do ponto de vista lgico isto

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

no se justifica por mais numerosos que sejam os enunciados particulares; e cita independente de quantos casos de cisnes brancos possamos observar isso no justifica que todos os cisnes sejam brancos [11]. Tais discusses, juntamente com diversos conceitos sobre o mtodo indutivo descritos neste trabalho, tm por objetivo a compreenso da problemtica do raciocnio indutivo [02]. 1 RACIOCNIO INDUTIVO A lgica da induo ou da inferncia indutiva conhecida como generalizao indutiva [15]. Consiste na derivao de um juzo universal a partir de um particular. O termo particular refere-se a observaes singulares que geram um nmero igual de verdades; assim, quando se diz que um cisne branco, o predicado branco aplica-se somente ao cisne observado e no aos outros. J o termo universal, ao contrrio, extensivo; indicando que o predicado branco aplica-se a qualquer cisne existente; o que significa dizer que a partir do conhecimento de casos particulares, atravs da observao, pode-se chegar ao conhecimento do universo em estudo. A dificuldade deste enfoque reside no fato de se determinar a quantidade de experincias suficientes para a passagem de um nvel para outro, de modo que a relao particular / universal deve estar bem definida.

1.1 O Universal
O universal alguma coisa que se predica a um objeto particular. Kant fez uma revoluo na concepo dos universais; para ele o conhecimento no est nos objetos que so incognoscveis, mas sim no sujeito (cognoscente) que possui formas e categorias a priori, isto , anteriores experincia emprica, independentemente de qualquer relao com o objeto. As solues apresentadas para o problema dos universais foram o realismo e o nominalismo, porm, segundo Popper, nenhuma delas fornece fundamentao lgica para o problema da induo; pois se o realismo fosse a soluo o universal seria a designao de todos os objetos de uma mesma espcie, assim a passagem do particular para o universal exigiria o conhecimento do que existe em todos os objetos de uma mesma espcie o que no possvel. Se o nominalismo fosse uma explicao coerente dos universais estes seriam apenas nomes com

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

funo nica de predicado de um objeto particular e a passagem de um nvel para outro exigiria a predicao deste universal a cada um e a todos os objetos passveis.

1.2 Reduo ao Absurdo

Zeno de Elia (488430 a.C.), introduziu o absurdo aparente como princpio de raciocnio filosfico; ele considerado o criador da dialtica, isto , da lgica entendida como reduo ao absurdo [04]. Tal mtodo servia para demonstrar, ironicamente, a falsidade das proposies de um adversrio, atravs de dois mtodos contestatrios: a probatio per absurdum (prova pelo absurdo) e a reductio ad absurdum (reduo ao absurdo). No primeiro caso, se pretendia provar a verdade de uma proposio pela falsidade evidente de sua contraditria e no segundo caso ocorria uma inverso do significado inicial de uma proposio, provando-se a sua falsidade. A noo do absurdo esteve, assim, latente nas chamadas filosofias irracionais, ou seja, aquelas que se recusavam a encontrar uma explicao racional para a existncia. Tal noo era encontrada em muitas expresses artsticas do passado, sobretudo nas manifestaes do nonsense, do fantstico, da literatura dos sonhos e do humor negro.

1.3 A Induo Matemtica

Como j foi mencionada, a induo, usada em todas as cincias, o processo de descoberta de leis gerais pela observao e combinao de exemplos particulares. A induo matemtica usada apenas na matemtica para provar certos tipos de teoremas; aplica-se aos conjuntos enumerveis, tendo uma Base, onde se mostra que uma propriedade P verdadeira para certo elemento deste conjunto X1, uma Hiptese, onde assume que P verdadeira para o elemento Xk e um Passo Indutivo onde se mostra que P verdadeira para o elemento Xk+1. No h muita ligao lgica entre os processos da induo generalizada e da induo matemtica, no entanto, h algumas ligaes prticas. Polya [10] critica a semelhana destas designaes dizendo que esta proximidade no conveniente j que no se refere a um mesmo processo. Atravs do caso particular 13 + 23 + 33 + 43 = 102, Polya coloca a seguinte hiptese: A soma dos primeiros n cubos um quadrado. O autor tenta seguir os mesmos passos que um naturalista seguiria para provar a existncia de uma lei geral, ou seja, ele investigaria outros

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

casos especiais. Para n=2 ou 3 a certificao simples; o caso n=5 o prximo (13 + 23 + 33 + 43 + 53= 152), acrescentaria, para salvaguardar a uniformidade e completude, o caso n=1 e arranjando todos estes casos, como um gelogo arranjaria os espcimes de um certo minrio, obteria uma tabela verdade. difcil acreditar que todos estes resultados sejam verdadeiros por mero acaso; do mesmo modo, o naturalista teria poucas dvidas de que a lei geral sugerida pelos casos especiais at ento observados no fosse correta; a lei geral quase provada por induo. O matemtico se expressa com maior reserva embora fundamentalmente pense da mesma forma. Ele diria que o teorema seguinte fortemente sugerido por induo: a soma dos primeiros n cubos um quadrado. Surge aqui a diferena entre os dois processos em causa; para o naturalista a lei geral quase provada por induo; para Polya a matemtica tem uma fase experimental muito parecida com as cincias da natureza, no entanto, a observao de alguns casos particulares arranjados elegantemente apenas lhe permite dizer que o teorema fortemente sugerido, mas no permite provar a sua verdade. Poder-se-ia dizer que a induo matemtica difere da induo clssica, na medida em que contm uma demonstrao.

1.4 A Induo segundo Bacon

Francis Bacon (15611626) diz que toda cincia comea pela observao, para depois, proceder vagarosa e cautelosamente formulao de teorias [11]; e sintetiza a observao uma fonte verdadeira do conhecimento cientfico. Bacon preconizava que a experincia e a razo comporiam as pilastras de seu novo mtodo cientfico: a induo experimental [02]; ele defendia a necessidade de que o cientista se afastasse do empirismo radical e do racionalismo exagerado. De acordo com Bacon a induo exige o cumprimento das seguintes etapas: primeiro, neutralizar o mtodo da antecipao da natureza; segundo, estabelecer o conhecimento da forma (estrutura e lei que regula o seu processo); terceiro, organizar um registro do fenmeno estudado; quarto, enunciar a primeira hiptese explicativa provisria; quinto, testar a hiptese atravs das instncias prerrogativas e por ltimo confirmar ou no a hiptese; se no confirmada enunciar nova hiptese provisria e repetir o procedimento a partir da quarta etapa.

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

1.5 Probabilidade Indutiva

John Locke (16321704) distingue os argumentos em demonstrativos e provveis, dividindo-os em demonstraes, provas e probabilidades; entendendo-se por prova todo o argumento derivado da experincia que no suscita dvida ou oposio [07]. Hume diz que embora o acaso seja algo inexistente no mundo, a nossa ignorncia da causa real de qualquer acontecimento tem a mesma influncia sobre o entendimento, e produz idntica espcie de crena ou opinio [07]. Se um nmero grande de casos favorveis para um dado objeto observado mais provvel que a expectativa relativa que o mesmo resultado se repita mais firme e segura. Nessa forma de raciocnio indutivo o que interessa a probabilidade de concluso que corresponde probabilidade indutiva do argumento, por exemplo, se 90% dos estudantes de computao so criativos, e o aluno X um estudante de computao, ento X criativo. Esse mtodo aplicado nas pesquisas eleitorais; quando se observa, por exemplo, que 60% de uma amostra de 5000 eleitores, escolhidos ao acaso, dizem votar num candidato X, logo (concluso provvel) 60% de todos os eleitores votaro em X. Embora demos nossa preferncia ao que se constatou mais usual, e acreditamos que esse o efeito que vai ocorrer, no podemos negligenciar os restantes efeitos, mas temos que atribuir a cada um deles um particular peso proporcionalmente freqncia maior ou menor que se tem apresentado.

O PROBLEMA DA INDUO O problema da demonstrao indutiva est em como caminhar de dados singulares para uma concluso universal. Esta caminhada se apresenta, sobretudo, difcil para as doutrinas empiristas, que em princpio, reduzem os dados individuais sua individualidade apenas. Um dos problemas bsicos da filosofia do conhecimento diz respeito justificao das leis e teorias cientficas; para saber se so verdadeiras utilizam-se a deduo e a induo, ou a combinao destes dois processos. Relativamente deduo no h controvrsias, uma vez que os processos lgico-dedutivos esto bem definidos. O problema do raciocnio indutivo

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

est no fato de que, contrariamente deduo, a verdade das premissas no garante a verdade da concluso.
A observao cientfica no simples observao de fatos: a cincia no parte da observao dos fenmenos, mas da formulao de problemas. Observado ou analisado o fenmeno, o cientista passa formulao de uma hiptese que o explique; essa hiptese, embora se relacione com os dados da observao, no deriva diretamente deles; no entanto, a induo est na base de muitas hipteses. A partir dos casos observados pode-se formular uma hiptese que explique no apenas esses casos, mas todos os da mesma espcie. Hume criticou esse salto no desconhecido (a passagem da anlise de casos particulares para o carter geral da hiptese) indicando que formulada a hiptese, deve-se deduzir as conseqncias que no puderam ser diretamente verificadas; a seguir, faz-se a constatao experimental das conseqncias da hiptese. Se estas forem confirmadas, a hiptese est verificada; caso contrrio, ser rejeitada (e, eventualmente, formulada uma outra). O mtodo cientfico no exclusivamente indutivo; o indutivismo experimental (e uma viso inteiramente mecanicista da Natureza) foi posto em questo pelo princpio de indeterminao de Werner Heisenberg (1901-1976) [11]. A relao entre a hiptese e a experincia o aspecto mais decisivo da cincia. Nas palavras de Ian Hacking [03], que reproduz uma comunicao sua sobre fatos e hipteses, "as pessoas propem hipteses, mas os fatos da natureza determinam quais as hipteses que so aceitveis e quais as erradas". No entanto, a experincia cientfica seletiva (em relao aos aspectos considerados relevantes) e, portanto de certo modo, criativa.

1.6 As inferncias indutivas de acordo com Karl Popper

Popper diz que, para justificar as inferncias indutivas deve-se, antes de tudo, determinar um princpio da induo capaz de auxiliar a ordenar estas inferncias de forma logicamente aceitvel, porm, para aceit-lo teramos que recorrer a outras inferncias indutivas e para justificar estas teramos de admitir um princpio indutivo mais elevado e assim por diante, de modo que a tentativa de alicerar tal princpio conduz a uma regresso infinita. Popper recusa o carter indutivo da cincia; ele defende que a cincia parte da teoria e no da observao e que o erro fator dinmico do progresso, citando que: s tem carter cientfico

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

a teoria que for refutvel, e acrescenta no se pode demonstrar a verdade de nenhuma teoria cientfica, mas apenas a sua falsidade [12]. Assim entendidas, as teorias so conjecturais e provisrias, acentuando-se deste modo o carter aproximativo e probabilstico da cincia. Popper acha que a induo tornar-se-ia um procedimento vlido se a pretenso clssica, de se chegar a um enunciado verdadeiro ou uma lei natural, for substituda por um objetivo mais modesto, qual seja o de se chegar a um enunciado da probabilidade [13]. Outra tese levantada por Popper que a induo validada pela sua prpria prtica e se apia na premissa de que os usos factuais estabelecem padres. A polmica reside na distino entre questes de validade e questes de fato. A questo da validade a ser feita a seguinte: existem razes para confiar que a induo conduz a proposies, leis ou teorias verdadeiras?. Popper acha que no. As questes de fato so formuladas de outro modo: as pessoas confiam na induo?, as pessoas usam procedimentos indutivos?, algum afirma que chegou a uma determinada teoria atravs da induo?. Popper acha que as respostas positivas a estas perguntas no seriam suficientes para validar a induo, pois a epistemologia [03] no se preocupa com os procedimentos psicolgicos utilizados pelas pessoas na gerao de suas idias e sim com a validade do processo de demonstrao da verdade das proposies. A soluo de Popper que, em vez de provar que as teorias, hipteses ou conjecturas so verdadeiras, demonstrar que elas so falsas, ou seja, em vez de demonstrar sua verificabilidade, demonstrar sua falseabilidade. , portanto, a falseabilidade o critrio que separa o conhecimento cientfico dos outros saberes: o mundo da incerteza do mundo da certeza [12]. Para Popper testar uma teoria cientfica significa: i) que desta teoria possam ser deduzidas hipteses que sejam formuladas atravs de sentenas singulares e existenciais; ii) que estas sentenas sejam formuladas de tal maneira que possibilitem a demonstrao de sua falsidade atravs de experincias particulares; por exemplo, a sentena singular e existencial para o caso universal todos os cisnes so brancos seria existe algum cisne no branco ?.Este enunciado permite que a sentena universal possa ser falseada (o que de fato aconteceu quando se encontrou um cisne negro na Austrlia) [02]. A soluo apresentada por Popper para o problema do conhecimento cientfico e da induo seria o cientista responder a trs perguntas bsicas: dadas teorias em competio: i)

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

qual a mais fcil de ser rejeitada, isto , qual a mais falsevel ? ii) qual a mais verossmil, isto , qual a que mais se aproxima da verdade ou qual a que mais vem resistindo a crticas severas e testes? iii) qual a mais corroborada, isto , qual apresenta razes mais fortes, oriundas das crticas e dos testes a que foram submetidas, para que se acredite estar mais prxima da verdade? As respostas a estas perguntas indicaro a melhor opo a ser feita pelo cientista. Esta proposta chamada de mtodo dedutivo de confirmao.

1.7 A Soluo de Stuart Mill

A soluo de Stuart Mill para o problema da induo tem sua base terica no princpio da causalidade, cujas solues, embora no exatamente iguais, so bastantes prximas uma das outras nos seus processos operacionais. Mill apresenta seu Sistema da Lgica onde define que a induo um procedimento por inferncia que vai do conhecido para o desconhecido ou como uma operao de descobrir e provar proposies gerais [09]. Este procedimento consiste em inferir, de alguns casos particulares em que um fenmeno observado, que ocorrer em todos os casos de uma determinada classe que se assemelham aos primeiros. Para Mill no existe uma uniformidade, mas uniformidades, isto , a regularidade geral resulta de regularidades parciais. Para ele a lei da causalidade universal e co-extensiva a todo o campo dos fenmenos sucessivos, sendo todos e quaisquer casos de sucesso exemplos dela. Esta soluo do problema da induo baseada na uniformidade e na causalidade sofre ainda muitas crticas. Questionam-se seus fundamentos: existe mesmo tal uniformidade? A definio de causalidade no foi feita, arrumada, desenhada para fundamentar a crena anterior na induo? O prprio Stuart Mill se indaga: por que um nico exemplo, em alguns casos, suficiente para uma induo completa, enquanto que em outros com exemplos coincidentes, sem uma nica exceo conhecida ou presumida, caminham to pouco para o estabelecimento de uma proposio universal?. No sabido que ele respondeu a sua prpria pergunta.

1.8 A Soluo de Hans Reichenbach

Na soluo do problema da induo, proposta por Reichenbach, alguns pontos devem ser destacados. Em primeiro lugar, para ele, a induo no um mtodo de descoberta, muito menos uma receita que automaticamente transforma fatos em teorias [02]. Ele inverte a conceituao clssica da induo; no se parte mais do particular para o universal; comea-se

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

10

com uma generalizao e procura-se nas observaes particulares alguma evidncia emprica que possa justificar a crena nessa generalizao; para ele uma lei cientfica deve poder ser verificada falsa ou verdadeira em casos particulares, concordando com Popper. O segundo ponto a ser considerado o abandono da lgica tradicional onde, dada uma proposio, esta seria necessariamente falsa ou verdadeira. Reichenbach passa a utilizar uma lgica de valores mltiplos, baseado na teoria das probabilidades; nesse caso a uma proposio p, por hiptese verdadeira seria atribudo um valor de verdade igual a 1, denotando-se P(p)=1; se uma proposio q fosse falsa ento P(q)=0. Entre estes dois valores extremos, haveria proposies com valores verdadeiros que sero dados pelos valores das probabilidades que a elas se puder atribuir; construindo uma lgica de valores mltiplos numa escala contnua de 0 a 1. Assim, para Reichenbach, o uso da teoria das probabilidades a soluo do problema da induo e conclui todas as inferncias indutivas que no tem a forma da induo por enumerao devem ser construdas com base nos teoremas do clculo das probabilidades. A maneira proposta por Reichenbach para a determinao do valor de verdade de uma proposio compreende os seguintes passos; i) observa-se para n casos o nmero de vezes m em que uma proposio p se mostra verdadeira; a seguir obtm-se uma freqncia relativa fn = m/n; ii) fazendo n variar sucessivamente a partir de 1 e repetindo-se o procedimento i seriam obtidas as freqncias relativas f1, f2, f3, . . ., fn; iii) determina-se o limite desta seqncia que ser o valor verdade da proposio p. Porm, este processo seria simples se a seqncia de freqncias relativas pudesse ter uma definio matemtica, ou seja, tivessem um termo geral, entretanto, isso nem sempre ocorre, alm do mais, no se pode garantir a existncia de um limite para a seqncia construda. Uma sada para este problema seria estabelecer provisoriamente fn como a probabilidade da proposio considerada e a medida que novas observaes fossem feitas este valor seria corrigido; a este processo Reichenbach chamou de mtodo da correo ou mtodo da aproximao.

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

11

1.9 A Soluo de Rudolf Carnap

A preocupao principal de Carnap justificar a induo como um processo lgico; ele cita, o processo indutivo no um procedimento mecnico regido por regras fixas... Para o cientista uma questo de engenhosidade e sorte encontrar uma hiptese adequada; e se encontrar uma, nunca se pode garantir que no existir outra hiptese melhor que se adeque aos fatos antes mesmo que novas observaes sejam feitas [02]. Outro ponto importante na abordagem de Carnap que o conceito da confirmao est diretamente ligado soluo do problema da induo, ou seja, os dois problemas centrais da teoria do conhecimento so, a questo do significado e a questo da verificao. Dada uma hiptese h que se proponha a explicar um determinado aspecto da realidade emprica, compete ao cientista organizar as observaes relevantes num relatrio r; a anlise das relaes lgicas entre h e r determinar o grau de confirmao de h fornecido por r. Por fim, Carnap conclui que o problema da induo a respeito de uma hiptese, no necessariamente universal, essencialmente o mesmo problema da relao lgica entre uma hiptese e alguma evidncia que a confirma. Para ele, a lgica indutiva a teoria baseada naquilo que pode ser chamado de grau de indutibilidade ou grau de confirmao. Para isso, ele introduziu dois conceitos de probabilidade, onde um definido em termos de freqncia (concordando com Reichenbach) e aplicado empiricamente; e o outro um conceito lgico que a mesma coisa que grau de confirmao, sendo possvel atribuir ou estimar um valor numrico para este grau.

1.10 A Soluo de David Hume

A idia central da teoria de Hume a da repetio baseada na similaridade, como resultado de uma resposta que envolve interpretaes, antecipaes e expectativas. Ele acha que a induo se baseia na repetio revestida de explicaes psicolgicas e afirma que a inferncia no intuitiva nem demonstrativa e sim experimental [07]. Assim, conclui-se que a base da filosofia de Hume o empirismo. Hume admite que a razo humana capaz de se dedicar ao estudo e investigao das relaes de idias ou construo de relaes lgicas, porm, nada se pode afirmar sobre sua

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

12

verdade ou falsidade. Ele diz que o fundamento de todos os nossos raciocnios est baseado na relao de causa e efeito. Para Hume a noo de causa-efeito construda pelo homem a partir de sua experincia quando observa que a ocorrncia de um fato sempre seguida pela ocorrncia de outro fato , e cita um exemplo, a presena de uma chama junto ao corpo de uma pessoa seguida pela presena da sensao de calor. Essa sucesso hoc post hoc ocorrida nos casos observados no passado a primeira contribuio da experincia para a explicao do problema de causa e efeito, e para ele, tambm a nica e ocorre por semelhana. Hume diz [07] o costume , pois o grande guia da vida humana; baseado nele, e apoiado no hbito, que se criam expectativas sobre ocorrncias futuras, animado nas experincias do passado. Portanto, a induo, processo pelo qual a partir de observaes particulares, constri-se uma afirmao geral no tem base racional; fruto das expectativas que o homem criou sobre a realidade que o cerca; como ele se acostumou a ver dois fatos ocorrerem contgua e sucessivamente no passado espera-se que o mesmo acontea no futuro, e conclui que hbito e crena so os fundamentos da induo humana. O empirismo de Hume conduz a um verdadeiro ceticismo; ele se torna, ento, o pai do ceticismo moderno e todos os filsofos que lhe sucederem tero que considerar suas objees sobre a possibilidade de se justificar racionalmente as inferncias indutivas.

1.11 A Soluo de Bertrand Russel

A primeira observao sobre a posio de Russel em relao a induo, refere-se distino entre inferncia dedutiva e indutiva. O que ele pretendia afirmar era a necessidade da induo como instrumento do crescimento do conhecimento; enquanto que a deduo tem a funo de verificar se o que foi descoberto pela induo vlido e coerente com as teorias j confirmadas e com a realidade emprica; ou seja, a descoberta se faz pela induo e confirmada, ou no, pela deduo. Para Russel a humanidade sempre utilizou e utilizar a induo como fonte do conhecimento; as pessoas utilizam o senso comum para orientar suas vidas e tomar decises existenciais da maior relevncia fundamentadas no processo indutivo. Para ele as teorias da induo so o que Freud (18561939) chama de racionalizao, isto , consistem de razes

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

13

inventadas posteriormente para provar que o que fizemos foi uma coisa sensata, mesmo que no sejamos capazes de provar que foi. Russel tenta responder pergunta de Hume sobre se possvel, a partir de coisas experimentadas, conhecer coisas das quais ainda no se tem experincia. Ele procura mostrar que existem fatos lgicos que esto alm da experincia; e cita, atravs de um exemplo: sabe-se que a seqncia de nmeros primos no tem mximo; e acrescenta que este conhecimento no vem da experincia uma vez que qualquer que seja o nmero primo que se possa pensar, haver sempre um maior que ele no qual no se tinha pensado antes. A induo aceita por Russel como um procedimento que, se no pode ser demonstrado logicamente vlido, tambm no pode ser provado invlido; sua posio , pois pragmtica e merecem destaque em trs pontos [02]: i) a induo foi e praticada por todas as pessoas no seu dia-a-dia; ii) a induo se fundamenta numa crena a priori na validade de seu princpio, sendo, pois, por analogia, um tipo de conhecimento sinttico a priori; iii) no havendo como provar a validade lgica da induo, pode-se, entretanto, atribuir s concluses obtidas certo grau de probabilidade.

Concluso
A lgica do pensamento indutivo um assunto bastante discutido, sendo um vasto objeto de pesquisa. A induo, como mtodo de raciocnio, apresenta-se sob diversas formas e pode ser estudada sob diversos pontos de vista [01]; conseqentemente, vrios mtodos e tcnicas indutivas tm sido empregados com sucesso em sistemas de computao. Observa-se tambm que o conhecimento cientfico possui um componente emprico que pode ser submetido a testes rigorosamente planejados com a finalidade de confirm-lo (Carnap), justific-lo (Reichenbach) ou corrobor-lo (Popper); e possui um carter racional, ou seja, pode resistir a uma anlise crtica de seus fundamentos e mtodos. Pde-se ainda constatar que as concluses podem ser atingidas por meio de elementos racionais, embora existam fatores emocionais e intuitivos, tais como, associao de idias,

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

14

imaginao e recursos, cujos resultados podem ser desde crena e opinies at sentenas cientficas.

A study on the induction

Abstract:
Traditionally, the induction has been used to justify scientific laws and theories. An inductive method starts of the experience of particular cases for the generalization or universalization; that is, the conclusions are more including than the premises, objectifying, for the inductivist as Bacon, a clear enlargement of the knowledge; however, this matter is not consensual, therefore in the investigation of the calls "general truths", from an inexact number of observed cases, the inference for the too much cases can be illegitimate, denoting a fallibity of the method. Therefore, for the critics of the inductivism, as Hume and Popper, the conceptual failures to the principle of the induction cannot prove a scientific theory, from there to have appeared the call "problem of the induction" that we will present in this article through the conceptual approach of all its basement, origin and solutions presented for consecrated philosophers.

Keywords: Problem and Principle of the Induction. Inductive reasoning. Reduction to the
nonsense. Inductive Probability. Mathematical induction. Bacons inductivism. Poppers antiinductivism.

Referncias
ARANHA, Maria Lcia de A.; MARTINS, Maria Helena P. Filosofando. 3. ed. So Paulo: Moderna, 2003. BARRETO, Jos Anchieta E.; MOREIRA Rui Verlaine O. O problema da Induo 03. ______O Cisne Negro Existe. Fortaleza: Autores Faced/UFC, 1993. DICIONRIO de Filosofia. Disponvel em: <http://ocanto.webcindario.com/lexf.htm>. Acesso em: Junho/2005. ESCHER, Maurits C. A arte do absurdo. Disponvel em : Acesso em: Junho/2005. FILONET, O seu Website de Filosofia. Junho/2005. Disponvel em:
http://madmix.fateback.com/minimalog>.

<http://www.filonet.pro.br/logica/terceira.htm>. Acesso em:

GIL, Fernando et al. A cincia tal qual se faz. Lisboa: Joo S da Costa, 1999.

Rev. Cient. Fac. Lour. Filho v.5, n.1, 2007

15

HUME, David. Investigao sobre o entendimento humano. Lisboa: Imprensa Nacional Casa da Moeda, 2002. MARIAS, Julian. Histria da Filosofia. 8. ed. Lisboa: Porto: Sousa e Almeida, s.d. MILL, John Stuart. Princpio da lgica dedutiva e indutiva. Coleo Os Pensadores. So Paulo: Abril Cultural, 1979. POLYA, George. A arte de resolver problemas. Rio de Janeiro: Intercincia, 1978. POPPER, Karl Raimund. A Lgica da Pesquisa Cientfica. So Paulo: Cultrix, 1972. _________. Conjecturas e Refutaes. 3. ed. Braslia: UnB, 1981. _________. O realismo e o objetivo da cincia. Lisboa: Publicaes Dom Quixote, 1987, v.1. SELVAGGI, Filippo. Filosofia do Mundo. Belo Horizonte: Loyola, 1988. SILVESTRE, Ricardo. Induction and Plausibility: A Formal Approach from the standpoint of Artificial Intelligence. Ph.D. dissertation, University of Montreal, Montreal, 2005. Prof. Gerardo Valdisio Rodrigues Viana Doutorando em Cincia da Computao - UFC/2005Mestre em Cincia da computao - UFC/1995-1996 Professor adjunto - UFC/UECE/FLF reas de interesse: Otimizao combinatria, Programao matemtica, Algoritmos, Metaheuristica e Bioinformtica. e-mail: valdisio@ufc.br

Prof. M. Sc. Eliser Sales Pereira Professor de Metodologia Cientfica e Monografia da Faculdade Loureno Filho. Especialista em Mtodos e Tcnicas de Ensino Superior, UFC. Mestre em Qumica Inorgnica, USP. Rua Baro do Rio Branco, 2101 Centro Fortaleza Ce. CEP: 60025-062. e-mail: eliesersp@terra.com.br Fone: 4009 6054.