Quantificadores e o problema de Frege

Resumen

Em Sobre o Sentido e a Referência, Frege (2009) propôs a seguinte questão (no que segue, chamarei essa questão de ‘problema de Frege’): como é possível que frequentemente ampliemos nosso conhecimento ao descobrir a ver-dade de identidades da forma a=b? A esse problema, um caso particular do problema da onisciência lógica, Frege dá a seguinte resposta em termos da distinção sentido-referência: alguém que ignora a validade de a=b não sabe que os sentidos de ambas as expressões denotativas envolvidas na equação identificam a mesma referência. Apesar de não ser consensual, essa solução é bastante influente. Logo, seria interessante verificar se ela poderia ser generalizada para outros casos do problema da onisciência lógica. O presente artigo aborda esse tema. Pretendo aqui mostrar que o problema de Frege e a sua solução em termos da distinção sentido-referência são generalizáveis a uma família mais ampla de casos de falha de onisciência lógica associados à nossa competência semântica no uso de quantificadores. Enquanto o problema de Frege original trata de casos de ignorância sobre a correferencialidade de dois termos singulares, a versão generalizada do problema trata de casos de ignorância sobre a co-extensionalidade de dois ou mais quantificadores ocorrendo em uma fórmula. Apelando a uma caracterização bidimensionalista do conceito de sentido, sustentarei que os quantificadores apresentam um elemento indexical e, consequentemente, estão associados a uma função caráter que, em certos contextos linguísticos tolerados pela situação epistêmica imperfeita de agentes racionais médios, atribuem domínios não co-extensionais a diferentes quantificadores ocorrendo em uma fórmula.