RESENHAS REVIEWS

KRAUSE, Dcio

Introduo aos Fundamentos Axiamaticos da Cincia

So Paulo EPU, 2002 Este um livro sobre metodo axiomanco, conceito de estrutura, fun damentos da teoria dos conjuntos e fundamentos da cincia O autor entende a axiomanzao de uma teoria cientfica ao modo de Patrick Suppes, isto e, como a apresentao de um predicado conjunnsta, dito predicado de Suppes, para essa teona Um predicado de Suppes para uma teoria cientfica caracteriza uma famlia de estruturas, que so ditas os modelos da teoria em questo Dai a viso de Patrick Suppes, segundo a qual apresentar uma teoria especificar a classe de seus modelos Para lidar com estruturas o autor adota uma verso simplificada da noo de espcies de estruturas no sentido de Bourbaki e examina diversas teorris de conjuntos em que as estruturas necessrias a diferentes projetos de axiomanzao podem ser construdas Feitas essas consideraes preliminares, passo a comentar, um a um, ainda que muito brevemente, os seis capitulos que compem o texto 1 Aspectos do Metodo Anomatico As sees 1 1 a 1 4 constituem uma introduo ao mtodo axiomatico So acessiveis e estimulantes, preparando adequadamente o terreno para o estudo do restante do texto Para o autor, os axiomas de uma teoria qualquer sempre compreendem os axiomas de alguma teoria de conj untos, ZFC por exemplo Na verdade, teorias cientficas axiomanzadas necessitam, de um ponto de vista lgico, apenas de uma pequena parte dos recursos que uma teoria de con juntos pode oferecer, mas, na pratica, muito conveniente poder contar com a totalidade desses recursos Por exemplo, as necessidades logicas da C) Principia, 6(2) (2002), pp 315-19 Pubhshed by NEL Eptstemology and Logic Research Group, Federal University of Santa Catarirn (UFSC), Brazil

316

Reviews

mecnica quntica, tal como axiomatizada por George Mackey em seu livro The Mathemaucal Foundatzons of Quantum Mechanics, no excedem os limites da hierarquia de Borel, mbito modestissimo se comparado a nca ontologia conjuntista Entretanto, ter essa ontologia a disposio poupa muito trabalho, por isso e sensato inclui-la na axiomanza'o da mecnica quntica E o que faz Mackey ao utilizar livremente noes conjuntistas A seo 1 5 trata de espcies de estruturas no sentido de Bourbaki e de predicados de Suppes E uma seo unlissuna, pois esses dois topicos so bem menos conhecidos do que devenam A seo 1 6 contm cnticas feitas a abordagem estrutural e conjuntista e a 1 7 procura refutar essas crticas, sendo, a meu ver, bem sucedida 2 Estruturas em Cincia A seo 2 1 apresenta a abordagem semntica de teonas, destacando as posies de Patrick Suppes e Bas van Fraassen Os temas centrais so a viso de uma teoria como a classe de seus modelos e o papel dos teoremas de representao nas mensuraes em cincia, isto e, na "aplicao de nmeros as coisas" A idia de teorema de representao e ilustrada pelo teorema de Cayley A separao, defendida por van Fraassen, entre modelos e linguagem e analisada O autor sustenta, corretamente, em minha opinio, que modelos so mode los de alguma coisa e que essa alguma coisa deve ser expressa por predicados conjuntistas, mas o faz sem reduzir a fora da concepo de uma teona como a classe de seus modelos Sua ideia usar uma hierarquia de linguagens cada vez mais gerais Estratgia, alias, sen sata, uma vez que o confinamento a certas linguagens especficas cria obstaculos intransponveis a ammatizao de determinadas classes de estruturas Por exemplo, um resultado da teona dos modelos nos diz que se T um conjunto consistente de sentenas de uma linguagem de primeira ordem L, ento o ultraproduto de qualquer famlia de modelos de T e tambem um modelo de T Assim, se K e uma classe axiomanzavel de estruturas para L, isto e, se K a classe dos modelos de algum conjunto T de sentenas de L, ento K e fechada por ultraprodutos Ora, ha classes importantes de estruturas que no so fechadas por ultraprodutos (um exemplo e a classe dos corpos que no so algebncamente fechados) Tais classes, portanto, no

Resenhas

317

so axiomatizveis A seo 2 2 traz a ammatizao da mecnica de partculas por McKinsey, Sugar e Suppes A seo seguinte mostra as crticas de Clifford Truesdell a essa anomatizao A seo 2 4 apresenta um predicado de Suppes para a teoria sintenca da evoluo e a 2 5 faz o mesmo para a mecnica quntica, usando, principalmente, espaos de Fock A abordagem por espaos de Fock permite, entre outras coisas, um estudo, feito no texto, de fenmenos de criao e de aniquilao (algo invivel no tratamento usual em que o numero de particulas presentes determina o numero de variveis na funo de onda) 3 Onde tudo acontece a Teoria de Conjuntos A seo 3 1 apresenta o contexto de surgimento da teoria de conjuntos e a 3 2 quatro pressupostos dessa teona, a saber o pnncpio da compreenso, o princpio da extensionandade, o conceito de identidade para os elementos de um conjunto e a concepo iterativa de conjunto Em conexo com o conceito de identidade para elementos de um conjunto discutido o Principio da Identidade dos Indiscernveis de Leibmz A seo 3 3 uma rapida digresso sobre indivi duos de Quine, isto , conjuntos x tais que x = {x} e a seo 3 4 da uma viso intuitiva da hierarquia cumulatwa A seo 3 5 examina paradoxos da teoria intuitiva de conjuntos, especialmente o de Russell, um "candidato" a paradoxo de Hilbert e o chamado paradoxo de Curry, interessante por no envolver negao A seo 3 6 en cena o captulo abordando rapidamente alternativas para contornar os paradoxos 4 A Anomatizao da Teoria de Conjuntos Este capitulo trata do incio da axiomatizao da teona de conjuntos So analisados o sistema de Zermelo e algumas das contribuies de Skolem e Fraenkel Tambem so discutidos, sucintamente, conjuntos que violam o axioma do fundamento e, alem disso, o axioma da escolha examinado, incluindo tal exame um esboo da prova de Fraenkel da consistncia da negao desse axioma em uma teoria de conjuntos com ato? os

318

Reanews

5 As Principais Teorias de Conjuntos

Neste captulo so apresentadas as seguintes teonas de conjuntos Zermelo-Fraenkel, Zermelo-Fraenkel com Atomos, von NeumannBernays-Godel, Kelley-Morse, NF de Quine-Rosser e ML de QuineWang Tambm e discutida a teoria de tipos O axioma da esco lha e novamente estudado e so apresentadas algumas proposies a ele equivalentes, sendo uma delas o teorema da boa ordem Ha duas digresses muito interessantes A pnmeira, sobre conjuntos no bem fundados, rnereologta e fsica, aponta para possiveis aplicaes a fisica quntica A segunda, sobre Urelemente e finca, apresenta os elementos de uma axiomatizao mereolgica, feita por Clifford Truesdell, da mecnica racional O captulo contem, ainda uma subseo sobre matematicas no cantonanas, na qual esto os enunciados do teorema, de Goedel, da consistncia da hipotese generalizada do continuo e do teorema, de Cohen, da consistncia da negao da htpotese do continuo alem de algumas observaes sobre a chamada matematiza de Solovay Os captulos terceiro, quarto e quinto constituem um curso de teoria dos conjuntos que, ao contrario dos cursos habituais, aborda vanos sistemas e indica aplicaes no tnviais fsica e filosofia Combinados, esses captulos so, pela variedade de informaes que trazem, um ()timo complemento aos cursos tradicionais de logica e teoria dos conjuntos

6 A Cincia do Objeto Qualquer

Aqui e tratado o problema dos objetos mdiscemveis Uma verso desse problema a seguinte existem dois objetos indiscernveis ? Isto e, existem objetos a e b tais que {a, b} tenha cardinal dois e a seja indiscernivel de b? De um ponto de vista intuitivo, objetos indiscern eis so aqueles que possuem as mesmas propriedades A quantifi cao sobre propriedades implicita nessa caracterizao e, claro, pro blemnca Se adotarmos a viso extensional da teoria de conjuntos, uma propriedade de objetos simplesmente uma classe de objetos Assim, por exemplo, a propnedade de ser numero mpar e o conjunto dos nmeros impares e a propnedade de ser ordinal a classe dos ordinais Nessa viso, ter uma propriedade P e pertencer a classe P

Resenhas

319

Desse modo, se objetos possuem as mesmas propriedades, eles per tencem as mesmas classes Isso, combinado com a possibilidade de formar o conjunto unitano de qualquer objeto admitido pela teoria, implica identidade Portanto, na teoria de conjuntos e na maternatica nela fundada vale o Principio da Identidade dos Inchscerniveis de Leibmz, e a pergunta formulada acima e respondida negativamente Isso, entretanto, esta longe de resolver os problemas fundacionais en volvendo a noo de indiscernibilidade No resolve, por exemplo, o problema das particulas mdiscerniveis, importante nos fundamentos da mecnica quntica Objetos qunticos poderiam ser indiscermveis sem serem idnticos O autor discorre sobre essa possibilidade e faz alguns breves comentanos acerca da chamada teoria de quaseconjuntos, desenvolvida, em grande medida, por ele propno e que permite tratar a mdiscernibilidade dos objetos qunticos sem o uso de recursos, digamos artificiais, como a imposio de certas condies de simetria Ha, ainda, na ultima seo, consideraes sucintas sobre o pluralismo terico e o perspeenvismo em filosofia da cincia As conexes com epistemologia e metafisica tornam este captulo muito interessante Finalmente, resta dizer que o livro de Dcio Krause, por seu texto claro, agradavel e pela variedade e relevncia dos topicos que aborda, e especialmente adequado tanto para o estudo individual como para o uso em cursos de lgica, teoria dos conjuntos, epistemologia, filo sofia da cincia e filosofia da matemtica Trata-se, enfim, de uma excelente contribuio a literatura sobre os fundamentos da cincia
Antnio M N Coelho
Departamento de Filosofia UFSC