Início Menu
22 de Setembro de 2020   Metafísica

Objectos abstractos

Bob Hale
Tradução de Desidério Murcho

A questão filosófica central quanto aos objectos abstractos é esta: Há alguns? Uma resposta afirmativa — dada pelos platónicos ou realistas — apoia-se no facto de parecer que partes significativas do nosso discurso e pensamento dizem respeito a objectos que estão para lá do espaço e do tempo, sendo por isso incapazes de entrar em relações causais, apesar de grande parte desse discurso dizer respeito a objectos concretos (grosso modo, objectos com extensão espaciotemporal). A sugestão de que existem realmente objetos não-espaciais, atemporais e acausais, como números e conjuntos, parece muitas vezes aos oponentes nominalistas ir ao arrepio do senso comum. Mas precisamente porque o nosso discurso e pensamento aparentemente sobre abstracta abrange grande parte do que parece indispensável para as nossas melhores tentativas de dar sentido científico ao mundo — incluindo virtualmente toda a matemática —, não se pode simplesmente rejeitá-lo por ser uma algaraviada mergulhada em confusão. Por esta razão, os nominalistas têm adoptado geralmente um programa de paráfrases reducionistas, que visam eliminar toda a referência aparente a objectos abstractos, e qualquer quantificação sobre eles. Apesar dos esforços impressionantes e engenhosos, o programa parece deparar-se com obstáculos insuperáveis.

A simplicidade da nossa questão inicial é enganadora. A compreensão e o progresso são improváveis caso não se clarifique melhor as relações entre as questões ontológicas e as questões acerca da análise lógica da linguagem, assim como a distinção crucial entre objectos abstractos e concretos. Tanto encontramos afinidades, como, o que é mais importante, contrastes entre as abordagens tradicionais das questões ontológicas e as discussões mais recentes influenciadas pela obra inovadora na filosofia da linguagem iniciada por Frege. A importância da obra de Frege repousa sobretudo em duas ideias perspicazes: primeiro, que as questões sobre que tipos de entidades há não podem ser adequadamente enfrentadas independentemente da análise lógica da linguagem; e, segundo, que a questão de se considerar que certas expressões têm referência, ou não, não se pode adequadamente separar da questão de serem verdadeiras ou falsas as frases completas em que tais expressões ocorrem.

1. Categorias lógicas e ontológicas

Apesar de ser a distinção abstracto-concreto que mais precisa de explicação, a noção relevante de objecto exige também elucidação. Há um uso conhecido e quotidiano do termo “objecto”, no qual podemos falar dos objectos que se descobriu nos bolsos do acusado, por exemplo. Não há provavelmente regras muito precisas que regulem este uso, mas parece claro que ter extensão espacial e temporal é pelo menos uma condição necessária — mas provavelmente não suficiente — da sua aplicação. Se “objecto” for entendido deste modo, o termo “objecto abstracto” é claramente autocontraditório. Não devemos inferir daqui que o nominalismo ganha à partida, mas antes que outra noção mais geral e menos restritiva de objecto está em jogo nas discussões filosóficas. Nesse caso, porém, como caracterizá-la? Para evitar circularidades, poder-se-á propor que se considere um objecto seja o que for que possamos referir. É defensável, contudo, que isto vai demasiado longe na direcção contrária — bem podemos dizer que tanto referimos a aldrabice como Nero, quando asserimos que Nero aldrabava, mas devemos rejeitar que se considere a aldrabice um objecto.

Uma saída que preserva esta abordagem geral é considerar que os objectos são os referentes de expressões de uma certa classe restrita — a que se chama habitualmente “termos singulares”. Ir nesta direcção é seguir Frege, que considerava que as categorizações ontológicas de entidades dependiam de uma categorização lógica prévia de expressões. Os objectos, as propriedades e as relações, por exemplo, são essencialmente os correlatos não-linguísticos de, respectivamente, termos singulares (por exemplo, “Nero”, “este lago”, “a cúpula de S. Pedro”, e assim por diante), predicados unários (“…aldraba”, “…é profundo”), e predicados binários ou de aridade superior (“…ama…”, “…é mais alto do que…”). Um objecto, deste ponto de vista, é o referente efectivo ou possível de um termo singular.

Quando objecto é entendido deste modo, a pergunta de abertura deste artigo é, num sentido importante, distintamente moderna. Não se trata de não conseguirmos discernir preocupações significativas comuns subjacentes às discordâncias antigas quanto ao estatuto das Formas de Platão e à grande batalha medieval entre realistas e nominalistas com respeito à existência de universais, por um lado, e às disputas ontológicas modernas, por outro. As discussões tradicionais e modernas partilham uma preocupação geral com as relações entre a linguagem e o mundo. No fundo, a discordância quanto às entidades abstractas é uma discordância quanto a saber se se consegue fornecer um tratamento adequado das relações linguagem-mundo sem fazer referência a tais entidades. Mas mesmo assim é verdadeiro que se operou uma viragem fundamental na maneira como muitíssimos filósofos concebem e discutem as questões ontológicas em geral, sobretudo as que dizem respeito às entidades abstractas. As disputas antigas e medievais centravam-se na existência de universais, por oposição aos particulares, sendo os primeiros concebidos como entidades abstractas que tanto os predicados (“é vermelho”, “é sábio”) como os substantivos abstractos correspondentes (“vermelhidão”, “sabedoria”) representam. Mas na abordagem fregiana, não faz sentido supor que um só tipo de coisa é o referente comum de expressões de tipos lógicos inteiramente diferentes. Isto não quer inevitavelmente dizer que não há qualquer discordância significativa entre os realistas medievais e os nominalistas; mas quer dizer que conceberam mal a questão, ou pelo menos misturavam questões que devemos distinguir. Pois uma questão é se devemos conceber os substantivos abstractos como termos singulares genuínos, que representam objectos, e outra, muito diferente, é se os predicados correspondentes têm referência — caso em que representam propriedades (conceitos, no sentido de Frege), e não objectos.

2. A distinção abstracto-concreto

Não se pode ver nem ouvir objectos abstractos, nem saboreá-los, nem senti-los ou cheirá-los. Porém, seria insatisfatório, por várias razões, tomar a inacessibilidade à percepção sensorial como base da distinção. Além de introduzir uma indesejada relatividade às faculdades sensoriais humanas, não conseguiria traçar a distinção claramente, havendo espaço para discutir o que conta como percepcionar algo. Caso se considere que o domínio da percepção sensorial só inclui o que se pode discernir a órgão nu, digamos, a condição para ser concreto seria claramente demasiado restritiva. Poder-se-ia alargar o domínio para permitir a detecção por meio de efeitos mais ou menos remotos, mas quando se modera o critério desta maneira, a proposta cai na ideia de que a capacidade para entrar em relações causais é a marca do concreto. Esta sugestão evita as dificuldades com um critério de acesso sensorial, mas, ainda que esteja extensionalmente correcta, não vai ao coração da questão. É de esperar que as capacidades em geral tenham alguma base categórica. Por que razão os objectos concretos conseguem entrar em interacção causal, mas não os abstractos? A resposta, ao que parece, deveria dar lugar a um tratamento mais iluminante da distinção. Em parte por esta razão, um tratamento mais promissor da distinção considera que a ausência de localização no espaço ou no tempo é distintivo do abstracto — o que não pode estar em lugar algum, em tempo algum, não pode ser um factor no nexo causal.

Apesar de ser muitíssimo adoptada e de dar resultados intuitivamente correctos nos casos a que os filósofos deram atenção, esta perspectiva é inadequada. Isto porque há candidatos ao estatuto de abstracto que, apesar de carecerem inequivocamente de propriedades espaciais, não são totalmente atemporais. No sentido em que se pode dizer que dois pares de jogadores em diferentes tabuleiros se entregam ao mesmíssimo jogo, é plausível considerar que o jogo de xadrez é um objecto abstracto; mas apesar de não ter localização, nem sempre existiu, tendo ao invés sido concebido a determinado ponto. Outros exemplos são as linguagens naturais, muitas das obras de arte, se não todas, e as palavras e letras, no sentido de tipo e não de espécime (aproximadamente, o sentido em que há apenas seis letras diferentes, e não oito, na palavra “abstracto”). Assim, apesar de a distinção abstracto-concreto ter indubitavelmente muito a ver com a espacialidade e a temporalidade, não parece inequivocamente identificável com a distinção entre o que tem posição espacial ou temporal, e o que não tem uma coisa nem outra. Uma proposta alternativa de interesse considerável é que os objectos concretos são aqueles que são, em princípio, capazes de serem identificados ostensivamente, ao passo que os abstractos são aqueles que só podemos referir por meio de uma qualquer expressão funcional (Dummett 1973: cap. 14). Assim, podemos identificar uma árvore particular por meio das palavras “Aquela faia”, acompanhando talvez com um gesto as palavras proferidas; mas não podemos, por exemplo, apontar literalmente para uma certa forma ou cor — ao invés, temos de referi-las como, digamos, a forma de tal e tal jarra ou o número de ovos na caixa (Noonan 1976; Hale 1987: cap. 3).

3. Bases para acreditar em objectos abstractos

Muitos filósofos, fazendo apelo à Navalha de Ockham — o princípio de que não se deve multiplicar entidades desnecessariamente — consideram um pecado mortal acreditar em objectos abstractos, a menos que tal crença seja inevitável, mas discordam sobre se é efectivamente evitável. Os nominalistas ortodoxos esperam conseguir evitá-la, levando a cabo um programa de paráfrases redutoras. Contudo, perante a resistência de vários tipos de aparente referência a objectos abstractos, e de aparente quantificação sobre eles, à eliminação por meio de paráfrase redutora ou de reinterpretação em termos concretos, isto não parece exequível como meio completamente geral de fugir do compromisso com objectos abstractos. Isto levou alguns filósofos a concluir que a referência a domínios que incluem objectos abstractos, e a quantificação sobre esses domínios, é indispensável para um tratamento completamente adequado do mundo. Parece fortemente que isto é o que acontece com referência às entidades matemáticas — números de vários tipos, funções e, mais em geral, conjuntos. À primeira vista, as ciências da natureza, e especialmente a física, exigem um uso substancial de aritmética e de análise, e esta última, por sua vez, apoia-se fortemente na teoria de conjuntos. Este argumento — conhecido como o Argumento da Indispensabilidade de Quine-Putnam — fornece, se for aceite, uma forte razão indirecta para acreditar em números e conjuntos, pelo menos: as teorias científicas exigem a aceitação de teorias matemáticas, de modo que sejam quais forem as razões que temos para acreditar que as nossas melhores teorias são verdadeiras são razões para aceitar as teorias matemáticas, e por isso para acreditar nos objectos abstractos de que estas falam.

Este argumento tem sido vigorosamente contestado, em particular por Field (1980), que argumenta — em defesa de uma nova forma de nominalismo, nada ortodoxa — que não é preciso, ao contrário do que parece, que as teorias matemáticas sejam verdadeiras para que se justifique o seu uso na ciência. Basta que essas teorias tenham um certo tipo forte de consistência, a que ele chama “conservatividade”. Dado que um nominalista pode aceitar que as teorias matemáticas têm esta propriedade sem acreditar que são verdadeiras, não precisam de se entregar a qualquer tipo de programa de tradução redutora, do tipo mencionado — podem simplesmente usar as teorias matemáticas, ao mesmo tempo que negam que sejam literalmente verdadeiras, evitando assim o compromisso com os objectos abstractos que a sua verdade exige. Entre as dificuldades que esta abordagem enfrenta, vale a pena dar destaque a um pressuposto importante de Field. Ele considera que o argumento de Quine-Putnam oferece a única base que vale a pena levar a sério para considerar que as teorias matemáticas são verdadeiras, de modo que se ele for capaz de pô-lo em causa, deixa de haver qualquer pressão para aceitar os compromissos ontológicos que acarretam. Se a perspectiva de Field fosse correcta, as melhores bases que poderíamos ter para acreditar na matemática, e assim por diante, seriam indirectas e a posteriori. Mas esta perspectiva baseia-se no pressuposto disputável de que as únicas afirmações que podemos justificadamente aceitar noutra base que não a indirecta e a posteriori são as que são directamente verificáveis como verdadeiras por meio da observação. Talvez seja de levar a sério, ao contrário do que ele faz, a possibilidade de a crença na verdade das afirmações matemáticas e a aceitação da sua ontologia poder ter uma garantia a priori.

4. Bases para a descrença

É inquestionável que os argumentos mais importantes contra os objectos abstractos são epistemológicos. Um deles é que — dada a presumível inércia causal dos objectos abstractos — entender que as condições de verdade das afirmações de um dado tipo são constituídas por estados de coisas que envolvem essencialmente tais objectos põe essas afirmações irrevogavelmente para lá do alcance do nosso conhecimento. Grosseiramente falando, se as afirmações matemáticas tivessem condições de verdade platónicas, não poderíamos de maneira alguma saber que são verdadeiras; dado que temos de facto conhecimento matemático, o platonismo é falso. Nas suas versões mais simples e mais antigas, este argumento baseia-se numa forma muito exigente de uma teoria causal do conhecimento, que considera que uma condição invariavelmente necessária para um pensador X saber que p é que a crença verdadeira que X tem de que p deve ser causada pelo facto de que p, ou deve, alternativamente, ter uma relação causal apropriada com p. Um problema deste argumento é que apesar de essa condição forte (quão forte dependerá de quão precisamente se entende a expressão “relação causal apropriada”) poder ser satisfeita em casos comuns de conhecimento perceptivo e de memória, é muito difícil ver como poderia ser satisfeita em geral, ainda que o seu âmbito se restrinja ao conhecimento empírico comum acerca de questões perfeitamente concretas. A nossa crença de base indutiva de que todos os oricteropes têm parasitas é, ao que parece, induzida causalmente pela inspecção de um contingente vasto e adequadamente diversificado de oricteropes que têm parasitas — mas não há qualquer tipo de relação causal, por mais complicada que seja, ou atenuada, da qual se possa dizer com qualquer plausibilidade, por um lado, que se verifica entre a nossa crença geral e o facto de todos os oricteropes do passado, do presente ou do futuro terem parasitas, e, por outro, que é uma relação causal epistemicamente significativa. Se o conhecimento não exige uma ligação causal em todos os casos, o argumento contra o platonismo desmorona-se, pelo menos nesta forma.

Um argumento relacionado alega que nenhum sentido satisfatório se pode dar à ideia de que somos capazes de identificar a referência a objectos abstractos, ou o pensamento sobre eles. E, uma vez mais, o argumento na sua forma mais simples depende de um pressuposto eminentemente susceptível de ser posto em causa — neste caso, que identificar a referência ou o pensamento acerca de um objecto particular exige sempre uma ligação causal adequada entre o locutor/pensador (ou a sua elocução/pensamento) e o objecto em questão. Os oponentes do platonismo podem ter a esperança de encontrar análises causais mais sofisticadas do conhecimento e da referência que sejam suficientemente fortes para resistir a versões destas objecções, sem que ao mesmo tempo sejam tão fortes que sejam objectáveis em si, mas até agora nenhuma foi proposta.

Uma objecção epistemológica mais poderosa faz apelo à ideia de que mesmo que o conhecimento não seja analisado em termos especificamente causais, seria de esperar que conseguíssemos fornecer uma explicação naturalista da nossa tendência para acertar significativamente mais vezes do que aquelas em que não acertamos, em qualquer área na qual estejamos dispostos a atribuir-nos uma capacidade para conhecer. Na ausência de relações causais entre nós e os objectos abstractos, ou de outras relações naturais, é difícil ver como tal explicação credível poderia ser formulada para qualquer região de discurso cujas afirmações encerrem supostamente condições de verdade platónicas. O argumento baseia-se no pressuposto de que as perspectivas ontológicas só são viáveis se deixarem espaço a uma epistemologia credível. Os argumentos que passámos em revista lançam um forte desafio ao platonismo, ainda que não possam, pela sua própria natureza, contar decisivamente contra ele.

Bob Hale
Routledge Encyclopedia of Philosophy (Londres e Nova Iorque: Routledge, 1998)

Referências e leitura complementar

Copyright © 2024 criticanarede.com
ISSN 1749-8457