Quantificadores e o problema de Frege

• Mendonça, Bruno Ramos ^[1]
  1. [1] Universidade Estadual de Campinas

     Universidade Estadual de Campinas

     Brasil

     
• Localización: Perspectiva Filosófica: PF, ISSN-e 2357-9986, ISSN 0104-6454, Vol. 47, Nº. Extra 2, 2020 (Ejemplar dedicado a: Número Especial sobre Filosofia da Lógica), págs. 248-263
• Idioma: portugués
• Títulos paralelos:
  • Quantifiers and Frege's problem
• Enlaces
  • Texto completo
• Resumen
  • português

    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.

  • English

    In On Sense and Reference, Frege (2009) tackles the following question (he-reafter, I refer to it simply as ‘Frege’s puzzle’): how can we often augment our knowledge by discovering the truth of identities of the form a=b? To this question, a subcase of the logical omniscience problem, Frege offers the following response in terms of a sense and reference dichotomy: an individu-al who ignores that a=b is true does not know that the senses of the proper names occurring in the sentence pick out the same reference. Although not uncontroversial, Frege’s solution is still very influential. Hence, it would be interesting to verify whether it can be generalized for other cases of the logi-cal omniscience problem. The present paper deals with this issue. I want to show that Frege’s puzzle as well as its solution in terms of a distinction between sense and reference can be applied to a broader set of cases of failu-re of logical omniscience related to our semantic competence in using quan-tifiers. Whereas Frege’s original puzzle considers cases of ignorance on the correferentiality of two proper names, the generalized version of the puzzle regards cases of ignorance on the co-extensionality of two or more quantifi-ers occurring in a formula. Drawing upon a 2-dimensionalist characterization of the concept of sense, I hold that quantifiers display an indexical feature and, consequently, are associated to character functions that, in some coun-terfactual linguistic contexts not ruled out by the imperfect epistemic situati-on of ordinary rational agents, ascribe non-extensional domains to different quantifiers occurring in the considered formula.