INTRODUO FILOSOFIA DA MATEMTICA DE RUSSELL: ALGUNS ASPECTOS MATEMTICOS Juliana R. Junqueira* Inocncio F.

. Balieiro Filho** Depto de Matemtica, FEIS, UNESP, 15385-000, Ilha Solteira, SP E-mail: julianajun@aluno.feis.unesp.br, balieiro@mat.feis.unesp.br

RESUMO

Uma das filosofias da Matemtica surge com a escola logicista, idealizada e organizada, no Principia Mathematica, por Whitehead e Russell. Em seu planejamento filosfico, Russell props um minucioso programa logicista que havia esboado em seu The Principles of Mathematics, cuja finalidade era demonstrar que a matemtica pura trata exclusivamente de conceitos possveis de definir com um pequeno nmero de conceitos lgicos fundamentais, (...) que todas as suas proposies se podem deduzir de um nmero muito pequeno de princpios lgicos fundamentais (...) e explicar os conceitos fundamentais que se aceitam em matemtica como susceptveis de definio. Para tal intuito, Russell fundamentou-se nas concepes de lgica matemtica propostas por Peano e nas idias sugeridas por Frege. Desse modo, os objetivos do presente trabalho so analisar, discutir e formalizar conceitos matemticos introduzidos de modo informal por Russell, em sua obra Introduo Filosofia da Matemtica, com o propsito de conceituar filosoficamente nmero real, nmeros cardinais e ordinais, sries infinitas, limites e continuidades de funes. Para a elaborao deste trabalho adotou-se uma metodologia de pesquisa em Histria da Matemtica, que possibilitou um processo investigativo coerente ao pesquisar, compreender, analisar e interpretar as fontes histricas secundrias para produzir um julgamento exequvel do tema pesquisado e a apresentao desses resultados numa exposio harmnica. Para estabelecer o conceito de induo matemtica, Russell, em sua obra Introduo Filosofia da Matemtica, no captulo III, primeiramente, introduz, sem definir filosoficamente, num primeiro momento, os trs termos: 0, nmero e sucessor. Intuitivamente podemos atingir qualquer nmero especificado, por exemplo, o nmero 30.000. Primeiro definimos 1 como o sucessor de 0, depois definimos 2 como o sucessor de 1 e assim por diante. Assim, conforme Russell: No caso de um nmero especificado, tal como 30.000, a prova de que poderemos atingi-lo, procedendo passo a passo dessa maneira, pode ser feita, se tivermos a pacincia necessria, pela experincia real: podemos continuar at atingirmos realmente 30.000. Mas, conquanto o mtodo experimental seja disponvel para cada nmero natural, dele no nos podemos valer para provar a proposio geral de que todos esses nmeros podem ser atingidos dessa maneira. Haver algum outro modo pelo qual isso possa ser feito? Quais os nmeros que podem ser atingidos sendo dados os termos 0 e sucessor? Haver algum meio pelo qual possamos definir toda a classe de tais nmeros? (Russell, 1966, p.26) Neste contexto, Monteiro, descreve, respectivamente, a formulao matemtica do princpio da boa ordenao, do princpio de induo matemtica e o teorema de induo: Princpio da boa ordenao: Todo subconjunto no-vazio S IN possui um elemento mnimo. Princpio de induo matemtica: Seja S um subconjunto do conjunto IN dos inteiros positivos (S IN) que satisfaz as duas seguintes condies: 1 pertence a S (1 S); e para todo inteiro, positivo k, se k S, ento k + 1 S. Nestas condies, S o conjunto IN dos inteiros positivos: S = IN. Teorema de Induo: Seja P(n) uma proposio associada a cada inteiro positivo n e que satisfaz s duas seguintes condies: P(1) verdadeira; e para todo inteiro positivo k, se P(k) _______________________________ * Aluna de Iniciao Cientfica ** Professor Orientador

857

verdadeira, ento P(k + 1) tambm verdadeira. Nestas condies, a proposio P(n) verdadeira para todo inteiro positivo n. Ao definir ordem, Russell, no captulo IV, tece o seguinte comentrio: Devemos, agora, considerar o carter serial dos nmeros naturais na ordem 0, 1, 2, 3, ... Normalmente, pensamos nos nmeros como se apresentados nessa ordem, e constitui parte essencial do trabalho de analisar os nossos dados buscar uma definio de ordem ou srie em termos lgicos. (Russell, 1966, p.35) Frequentemente, segundo Alencar, dizemos, de dois objetos x , y , que esto relacionados de algum modo. Por exemplo, se x, y IR , poderamos ter x y . Esse um exemplo de uma sentena da forma xRy - x est na relao R com y ; mas, ao passo que podemos saber o que o exemplo especfico de R acima significa, o que entendemos em geral por uma relao R ? Refletindo, podemos dar uma definio como segue. Em princpio, saberamos tudo o que precisamos saber sobre uma relao R se conhecssemos todos os pares x , y tais que xRy . Assim, damos a seguinte definio matemtica de relao e relao de ordem: Sejam A e B dois conjuntos e seja A B o produto cartesiano de A por B . Todo subconjunto R de A B denominado relao de A em B . Diz-se que uma relao R sobre um conjunto A uma relao de ordem quando as condies esto verificadas para todo x A , tem-se xRx ; quaisquer que sejam x e y em A , se xRy e se yRx , ento x y ; quaisquer que sejam x , y e z em A , se xRy e se yRz , ento xRz . Em seguida, Russell, enuncia os trs tipos de relaes ordenadoras: 1) Se x precede y, y no deve tambm preceder x. Uma relao que tenha essa primeira propriedade chamada assimtrica. 2) Se x precede y e y precede z, x deve preceder z. Uma relao que tenha a nossa segunda propriedade chamada transitiva. 3) Dados quaisquer dois termos da classe a ser ordenada, deve haver um que precede e outro que sucede. Uma relao que tenha essa terceira propriedade chamada conexa. (Russell, 1966, p.37) Por fim, esboamos as seguintes definies matemticas das trs relaes de ordem: antisimtrica - quaisquer que sejam x e y em A , se xRy e se yRx , ento x y ; transitiva quaisquer que sejam x , y e z em A , se xRy e se yRz , ento xRz ; e, conexa - quaisquer que sejam x e y (distintos) em A , ento xRy ou yRx . Primeiramente, queremos deixar explcito que este estudo no tem por objetivo fazer uma crtica forma como foram expostos os conceitos matemticos, por Russell, em sua obra Introduo Filosofia da Matemtica. De fato, no prefcio desse tratado, Russell esclarece que seu texto destina-se aos principiantes e, por isso, ele no utiliza um formalismo puramente lgico para expressar suas idias e as questes inquietantes presentes na Filosofia da Matemtica. Apesar disso, em seu tratado Principia Mathematica, Russell e Whitehead estabeleceram como caractersticas essenciais da lgica matemtica os seguintes pressupostos: eliminao de consideraes psicolgicas, utilizao da lgica em si mesmo e formalismo maneira de Frege e Peano. Ainda que a Matemtica seja considerada uma cincia exata, a Filosofia da Matemtica procura responder s questes relativas aos seus fundamentos, ou seja, num processo regressivo, investiga as estruturas bsicas e fundamentais que servem de alicerce para essa cincia. Com efeito, procuramos neste trabalho explicitar os conceitos e as propriedades de ordem em termos matemticos precisos e salientar a importncia desses para o estudo de questes filosficas das partes iniciais da Lgica Matemtica. Palavras Chave: Russell; Filosofia; Matemtica. Referncias Bibliogrficas [1] Alencar Filho, E. Relaes Binrias. So Paulo: Nobel, 1984. [2] Monteiro, L. H. J. Elementos de lgebra. Rio de Janeiro: Livro Tcnico, 1971. [3] Russell, B. Introduo Filosofia da Matemtica. Rio de Janeiro: Zahar Editores, 1966

858