Você está na página 1de 1

EXISTNCIA

Preliminarmente, distinguir itens factuais como coisas concretas e seus estados, e construtos, como conceitos e proposies. Importante, porm, frisar que a distino tem carter metodolgico, no ontolgico. Quer isso dizer que admitimos, na condio de postulado, que h apenas um mundo real, composto exclusivamente de entidades factuais (materiais, concretas). Entretanto, h certas entidades especiais (e, entre elas, os seres humanos) que dispem da capa- cidade de criar construtos. Distinguir itens factuais e construtos corresponde a distinguir existncia formal (conceptual, ideal) e existncia factual (material, ou concreta). Tal distino permite dizer que os nmeros existem formalmente e que os eltrons existem materialmente. Nmeros fazem parte dos construtos; eltrons fazem parte dos objetos materiais. Acompanhando M. Bunge (Treatise on basic philosophy, Dordrecht, Reidel, v. 7,1985, p. 26s.) podemos deixar mais acentuada a diferena que se estabelece entre existncia formal e real. Nesta, aparecem como traos tpicos a independncia contextual e a mutabilidade; na existncia formal, ao contrrio, h dependncia contextual e imutabilidade. Planetas, casas, flores, crebros, sociedades existem "de modo absoluto", ou seja, no dependem do contexto. Em oposio, nmeros naturais existem (formalmente) na teoria dos nmeros e no existem, p. ex., na teoria dos reticulados. (Um reparo de interesse: propriedades das coisas e, por isso mesmo, alteraes que sofram, podem depender do contexto.) De outra parte, as coisas reais so passveis de mudanas, ao passo que construtos permanecem inalterados - pelo menos enquanto o contexto no muda. Em verdade, o imutvel s existe formalmente. Convm, ainda, distinguir construtos matemticos de outros tipos de construtos - p. ex., os mitolgicos. S aqueles, em geral, so definidos no seio de (ou por meio de) uma teoria que trate de conceitos exatbs. Deixando a matemtica, oportuno ver por outro prisma tanto o problema da existncia quanto o dos enunciados de existncia. Uma afirmao simples como "H um tal-e-tal", pode ser entendida de vrios modos. Numa interpretao ontolgica , pode significar "Algumas coisas reais tm a propriedade tal". Psicologicamente , pode significar "Num dado momento, uma pessoa pensa que certos objetos possuem a caracterstica tal". Em termos pragmticos , dir-se-ia que " possvel encontrar ou, na pior das hipteses, construir objeto com a propriedade tal". Objetos matemticos esto no mesmo nvel das criaes artsticas e mitolgicas: so fices. O sistema de nmeros inteiros no existe na realidade mais do que existem, digamos, Branca de Neve e Patinho Feio. A certeza tambm no se presta para fixar distines-. (Afinal, h vrias teorias dos conjuntos.) As diferenas entre objetos matemticos e artsticos deve ser fixada por outras vias. Em suma, objetos matemticos existem (formalmente) ou por postulao ou por demonstrao Uamais com base em decises arbitrrias). So teorias matemticas ou referentes de tais teorias (mesmo quando em fase de elaborao). Em oposio, mitos, fbulas, sonatas, poemas e pinturas tm carter no-teortico. Asseres matemticas precisam ser racionalmente justificadas; no podem depender de intuies, revelaes ou experincias. Enfim, teorias matemticas se entrelaam em sistemas coerentes - o que raramente acontece com objetos de fico.

Novo Dicionrio de Lgica (LEONIDAS HEGENBERG e MARILUZE FERREIRA DE ANDRADE E SILVA )