Featured image of post Se tem a mesma aparência e propriedades, mas química diferente, deixa de ser 'água'? O experimento mental da Terra Gêmea e o externalismo semântico

Se tem a mesma aparência e propriedades, mas química diferente, deixa de ser 'água'? O experimento mental da Terra Gêmea e o externalismo semântico

Uma análise filosófica profunda desde o sentido e a referência de Frege e as descrições definidas de Russell até os designadores rígidos de Kripke, a Terra Gêmea de Putnam (H2O vs. XYZ), o externalismo social de Burge e o problema do ancoramento de símbolos nos Grandes Modelos de Linguagem (LLMs).

1. Introdução: Onde reside o “significado” de uma palavra?

Quando pronunciamos palavras cotidianas como “água”, “ouro” ou “Aristóteles”, como esses sons ou marcas de tinta conseguem ultrapassar as fronteiras da nossa mente para se referir com precisão a substâncias químicas ou indivíduos históricos no universo físico?

Desde a tese de John Locke no século XVII de que as palavras são sinais das “ideias na mente de quem as usa”, até a filosofia analítica de Gottlob Frege, Bertrand Russell, Rudolf Carnap e John Searle no século XX, a filosofia da linguagem foi dominada por uma ortodoxia profundamente intuitiva: o internalismo semântico e o descritivismo. Segundo essa visão, compreender o significado (a intensão) de um termo consiste simplesmente em possuir dentro da própria cabeça (cérebro ou consciência) um conceito ou uma lista de descrições identificadoras; e esse estado mental interno determina por si só quais objetos do mundo exterior constituem a referência (a extensão) da palavra.

No entanto, no início da década de 1970, duas obras revolucionárias derrubaram esse edifício clássico: as conferências de Saul Kripke O Nomear e a Necessidade (Naming and Necessity, 1972/1980) e o célebre ensaio de Hilary Putnam “O significado de ‘significado’” (The Meaning of “Meaning”, 1975).

Por meio de seu famoso experimento mental da Terra Gêmea (Twin Earth: \(\text{H}_2\text{O}\) vs. \(\text{XYZ}\)), Putnam demonstrou um paradoxo impressionante: no ano de 1750 (antes do surgimento da química moderna), um falante na Terra (Oscar) e seu duplicado molécula por molécula na Terra Gêmea (Oscar Gêmeo) podem estar em estados psicológicos e neurofisiológicos estritos 100% idênticos e, ainda assim, sua palavra “água” refere-se a substâncias químicas completamente diferentes (\(\text{H}_2\text{O}\) vs. \(\text{XYZ}\)), possuindo portanto significados diferentes! Como Putnam concluiu em sua famosa frase:

“Corte a torta como quiser, os ‘significados’ simplesmente não estão na cabeça! (Cut the pie any way you like, ‘meanings’ just ain’t in the head!)"

Neste artigo, examinamos a transição do descritivismo clássico (Frege, Russell, Searle) para os designadores rígidos e as verdades necessárias a posteriori de Kripke, a Terra Gêmea e a divisão do trabalho linguístico de Putnam, o externalismo social de Tyler Burge (o experimento da artrite) e suas implicações contemporâneas para os Grandes Modelos de Linguagem (LLMs) e o problema do ancoramento de símbolos (Symbol Grounding Problem).


2. A tradição internalista e descritivista clássica: Frege, Russell e Searle

2.1 O quebra-cabeça de Frege e “Sobre o Sentido e a Referência” (1892)

Em 1892, Gottlob Frege abriu seu ensaio clássico “Über Sinn und Bedeutung” propondo um enigma sobre enunciados de identidade (o quebra-cabeça de Frege). Compare estas duas sentenças:

  1. \(a = a\): “Héspero é Héspero” (“A Estrela Vespertina é a Estrela Vespertina”).
  2. \(a = b\): “Héspero é Fósforo” (“A Estrela Vespertina é a Estrela Matutina”).

Astronomicamente, tanto "Héspero" quanto "Fósforo" designam exatamente o mesmo corpo celeste: o planeta Vênus:

\[\llbracket \text{Héspero} \rrbracket = \llbracket \text{Fósforo} \rrbracket = \text{Vênus}\]

Se o significado de um nome se esgotasse em sua referência / extensão (Bedeutung), então \(a = b\) teria o mesmo valor cognitivo que a tautologia trivial \(a = a\). Contudo, \(a = a\) é uma verdade analítica cognoscível a priori, ao passo que \(a = b\) foi uma descoberta astronômica empírica a posteriori de imenso valor informativo.

Para resolver esse paradoxo, Frege dividiu o conteúdo semântico em dois níveis:

  • Referência / Extensão (Bedeutung): o objeto concreto no mundo físico (o planeta Vênus).
  • Sentido / Intensão (Sinn): o “modo de apresentação” (Art des Gegebenseins) do objeto, isto é, o critério conceitual apreendido pela mente do falante (o astro mais brilhante ao entardecer no oeste vs. o astro mais brilhante ao amanhecer no leste).

Segundo Frege, o falante compreende um termo ao apreender mentalmente seu sentido (Sinn), e o sentido determina de forma única a referência (Bedeutung).

  flowchart TD
    subgraph SpeakerMind["Mente do falante / Esfera conceitual (Intension / Sinn)"]
        S1["Sentido (Sinn) de 'Héspero'<br/>'O astro vespertino no céu ocidental'"]
        S2["Sentido (Sinn) de 'Fósforo'<br/>'O astro matutino no céu oriental'"]
    end
    subgraph ExternalWorld["Mundo físico externo (Extension / Bedeutung)"]
        Ref["Referência (Bedeutung)<br/>O planeta Vênus"]
    end
    S1 -->|"O sentido determina a referência"| Ref
    S2 -->|"O sentido determina a referência"| Ref

2.2 A teoria das descrições definidas de Russell (1905) e o descritivismo de feixe de Searle (1958)

Em “On Denoting” (1905), Bertrand Russell analisou as descrições definidas da forma “o \(F\) é \(G\)” (\(\iota x\, F(x)\)) mediante quantificação existencial e unicidade na lógica de primeira ordem:

\[\text{O } F \text{ é } G \iff \exists x \Big( F(x) \land \forall y \big(F(y) \to y = x\big) \land G(x) \Big)\]

Russell sustentou que nomes próprios comuns (“Aristóteles”) e termos de espécies naturais (“água”, “ouro”) são na verdade descrições definidas disfarçadas ou abreviadas. Posteriormente, John Searle (1958) propôs o descritivismo de feixe (Cluster Descriptivism): um nome está associado a um feixe ponderado de descrições \(\{D_1, D_2, \dots, D_n\}\) na mente do falante e refere-se ao objeto \(x\) que satisfaz uma maioria ponderada suficiente dessas propriedades:

\[\llbracket N \rrbracket = \iota x \left( \sum_{i=1}^{n} w_i \cdot \mathbb{I}\big[D_i(x)\big] \ge \theta \right)\]

2.3 Os dois dogmas fundamentais da semântica tradicional: (A1) e (A2)

Hilary Putnam sintetizou toda essa tradição clássica em dois pressupostos fundamentais:

  • Pressuposto (A1) Solipsismo metodológico: Conhecer o significado (a intensão \(I(t)\)) de um termo \(t\) consiste inteiramente em estar em um estado psicológico estrito (\(\psi \in \mathcal{S}_{\text{narrow}}\)) dentro da cabeça do falante (sem pressupor nada sobre o mundo exterior).
  • Pressuposto (A2) A intensão determina a extensão: A intensão mental \(I(t)\) fixa de maneira única a extensão \(E(t)\) no mundo:
\[\psi(S_1, t) = \psi(S_2, t) \stackrel{\text{(A1)}}{\implies} I_1(t) = I_2(t) \stackrel{\text{(A2)}}{\implies} E_1(t) = E_2(t)\]

3. Saul Kripke e O Nomear e a Necessidade: Designadores rígidos e teoria causal

3.1 O experimento mental Gödel / Schmidt e a refutação do descritivismo

Saul Kripke demoliu o descritivismo por meio de três argumentos decisivos:

  1. O argumento modal: Se “Aristóteles” significasse “o mestre de Alexandre, o Grande”, então em um mundo possível contrafactual \(w'\) onde Aristóteles nunca ensinou Alexandre, o enunciado verdadeiro \(\Diamond(\neg \text{Taught}(\text{Aristotle}, \text{Alexander}))\) seria contraditório.
  2. O argumento epistêmico e semântico — O caso Gödel / Schmidt: Suponhamos que a única descrição que um falante comum associa a “Kurt Gödel” seja \(D_{\text{Gödel}} =\) “o descobridor do teorema da incompletude da aritmética”. Imaginemos que, na realidade, um matemático vienense chamado Schmidt provou o teorema, mas morreu misteriosamente antes de publicá-lo, e Gödel roubou o manuscrito e o publicou sob seu próprio nome. Segundo o descritivismo, como Schmidt é o único indivíduo que satisfaz \(D_{\text{Gödel}}\) (\(\iota x\, D_{\text{Gödel}}(x) = \text{Schmidt}\)), quando dizemos “Gödel” estaríamos nos referindo a Schmidt! Kripke aponta o absurdo disso: ao dizer “Gödel”, referimo-nos sem dúvida ao próprio Gödel (e diríamos: “Gödel não provou o teorema, ele o roubou de Schmidt!”). Descrições na cabeça não determinam a referência.

3.2 Designadores rígidos e a teoria causal-histórica da referência

Na semântica de mundos possíveis \(\mathcal{M} = \langle \mathcal{W}, \mathcal{D}, w_0, \mathcal{I} \rangle\), Kripke define:

  • Designador não rígido (acidental): Uma descrição definida como “o inventor das lentes bifocais” designa diferentes indivíduos em diferentes mundos possíveis (Benjamin Franklin em \(w_0\), Thomas Edison em \(w_1\)).
  • Designador rígido (Rigid Designator): Um designador \(d_{\text{rigid}}\) é rígido se e somente se designa exatamente o mesmo objeto \(o_{\text{actual}}\) em todos os mundos possíveis \(w \in \mathcal{W}\) nos quais esse objeto existe: \(\forall w \in \mathcal{W}, \quad \llbracket d_{\text{rigid}} \rrbracket_w = \llbracket d_{\text{rigid}} \rrbracket_{w_0} = o_{\text{actual}}\)

Nomes próprios (“Aristóteles”, “Héspero”) e termos de espécies naturais (“água”, “ouro”, “tigre”) são designadores rígidos. Sua referência é fixada por (1) um batismo inicial (Initial Baptism) por ostensão direta e (2) uma cadeia causal-histórica de comunicação (\(S_0 \to S_1 \to \dots \to S_n\)) através da comunidade linguística.

3.3 O fim do dogma kantiano: Verdades necessárias a posteriori

Dado que “Héspero” e “Fósforo”, assim como “Água” e “\(\text{H}_2\text{O}\)”, são designadores rígidos, sua identidade descoberta empiricamente no mundo atual \(w_0\) mantém-se necessariamente em todos os mundos possíveis:

\[(\text{Água} = \text{H}_2\text{O}) \implies \Box(\text{Água} = \text{H}_2\text{O}), \quad (\text{Héspero} = \text{Fósforo}) \implies \Box(\text{Héspero} = \text{Fósforo})\]

Kripke separa assim a necessidade metafísica (\(\Box\)) da aprioridade epistêmica, demonstrando a existência de verdades necessárias a posteriori.


4. O experimento mental da Terra Gêmea de Hilary Putnam (1975)

4.1 A Terra e a Terra Gêmea em 1750: \(\text{H}_2\text{O}\) vs. \(\text{XYZ}\)

Em “O significado de ‘significado’” (1975), Putnam concebeu o famoso cenário da Terra Gêmea (Twin Earth):

  1. Identidade macroscópica e psicológica: A Terra Gêmea é macroscopicamente idêntica à Terra. Cada habitante terrestre como Oscar-Terra (\(\text{Oscar}_E\)) tem um duplicado exato Oscar-Gêmeo (\(\text{Oscar}_{TE}\)) com idênticos estados cerebrais e experiências subjetivas.
  2. A única diferença química microscópica: Na Terra, o líquido incolor, inodoro e potável chamado "water" que enche rios e oceanos tem a estrutura química \(\text{H}_2\text{O}\). Na Terra Gêmea, o líquido macroscopicamente indistinguível chamado "water" não é \(\text{H}_2\text{O}\), mas um composto químico diferente abreviado como \(\text{XYZ}\)!
  3. O ano de 1750: Antes de Lavoisier e Dalton, ninguém na Terra nem na Terra Gêmea sabe nada sobre \(\text{H}_2\text{O}\) ou \(\text{XYZ}\). Em 1750, \(\text{Oscar}_E\) e \(\text{Oscar}_{TE}\) encontram-se em estados psicológicos estritos 100% idênticos:
\[\text{State}_{\text{narrow}}\big(\text{Oscar}_E, 1750\big) \equiv \text{State}_{\text{narrow}}\big(\text{Oscar}_{TE}, 1750\big)\]

4.2 Por que \(\text{XYZ}\) é “água dos tolos” e o colapso de (A1) e (A2)

Em 1750, a palavra "water" tem a mesma extensão na boca de \(\text{Oscar}_E\) e de \(\text{Oscar}_{TE}\)? Absolutamente não! O termo de espécie natural "water" possui um componente indexical implícito: designa toda substância que mantenha a relação \(\text{same}_L\) (mesma microestrutura líquida) com esta amostra local de nosso ambiente:

\[\forall x, \quad x \in \llbracket \text{water} \rrbracket_{\text{Terra}} \iff \text{same}_L\big(x, \text{sample}_{\text{Terra}}\big) \iff \text{Microstructure}(x) = \text{H}_2\text{O}\]\[\forall x, \quad x \in \llbracket \text{water} \rrbracket_{\text{TerraGemea}} \iff \text{same}_L\big(x, \text{sample}_{\text{TerraGemea}}\big) \iff \text{Microstructure}(x) = \text{XYZ}\]

Assim como a pirita de ferro (\(\text{FeS}_2\), “ouro dos tolos”) jamais foi ouro (\(\text{Au}\)) nem mesmo na Antiguidade, o \(\text{XYZ}\) da Terra Gêmea não é água, mas “água dos tolos” (Fool’s Water).

  flowchart TD
    subgraph Year1750["Ano 1750: Era pré-química (Estados cerebrais internos 100% idênticos)"]
        OE["Oscar-Terra (Oscar_E)<br/>Estado psicológico estrito ψ:<br/>'Líquido claro, inodoro e potável'"]
        OTE["Oscar-Gêmeo (Oscar_TE)<br/>Estado psicológico estrito ψ:<br/>'Líquido claro, inodoro e potável'"]
        OE <-->|"ψ(Oscar_E) = ψ(Oscar_TE)<br/>Mentes exatamente idênticas"| OTE
    end
    subgraph EnvE["Ambiente físico da Terra"]
        H2O["Ancoramento causal: Amostras locais<br/>Microestrutura: H2O<br/>Extensão E_Earth = {H2O}"]
    end
    subgraph EnvTE["Ambiente físico da Terra Gêmea"]
        XYZ["Ancoramento causal: Amostras locais<br/>Microestrutura: XYZ<br/>Extensão E_TwinEarth = {XYZ}"]
    end
    OE -->|"A palavra 'water' refere-se a"| H2O
    OTE -->|"A palavra 'water' refere-se a"| XYZ

Dado que \(\psi(\text{Oscar}_E) = \psi(\text{Oscar}_{TE})\), mas suas extensões diferem (\(\{\text{H}_2\text{O}\} \neq \{\text{XYZ}\}\)), (A1) e (A2) não podem ser ambos verdadeiros: os significados não estão na cabeça!


5. Divisão do trabalho linguístico, externalismo social de Burge e IA (LLMs)

5.1 A divisão do trabalho linguístico (Olmos vs. Faias) e o vetor de significado

Putnam confessa não saber distinguir um olmo (Ulmus) de uma faia (Fagus): seus conceitos internos de "elm" e "beech" são idênticos (\(\psi(\text{Putnam}, \text{``elm''}) = \psi(\text{Putnam}, \text{``beech''})\)). Contudo, sua palavra "elm" refere-se exclusivamente aos olmos graças à divisão do trabalho linguístico: falantes leigos delegam a fixação exata da extensão aos especialistas (botânicos, químicos) de sua comunidade.

Putnam representa o significado mediante um vetor de significado de quatro componentes:

\[\vec{M}(\text{``water''}) = \big\langle \text{Marcadores sintáticos},\, \text{Marcadores semânticos},\, \text{Estereótipo},\, \text{Extensão} \big\rangle\]

5.2 O externalismo social de Tyler Burge (1979): O experimento da “artrite”

Em “Individualism and the Mental” (1979), Tyler Burge demonstrou que até mesmo o conteúdo de nossas crenças mentais é externo:

  • Bert (mundo real) acredita: “Minha artrite espalhou-se para a minha coxa”. Como a artrite é definida medicamente apenas como inflamação das articulações, Bert tem uma crença falsa sobre a artrite.
  • Bert Gêmeo (mundo contrafactual) tem exatamente a mesma história física e estados cerebrais, mas em sua comunidade os médicos usam "arthritis" (conceito tharthritis) para incluir dores reumáticas nos músculos da coxa. A crença de Bert Gêmeo é verdadeira!
  • Duas crenças com valores de verdade opostos não podem ter o mesmo conteúdo proposicional: nossos próprios pensamentos são individuados pelo ambiente social!

5.3 Implicações para os Grandes Modelos de Linguagem (LLMs) e o ancoramento de símbolos

Os LLMs treinados apenas com texto via predição do próximo token \(P_\theta(w_t \mid w_{1:t-1})\) dominam com perfeição os estereótipos (componente 3 de Putnam). Como mostram o teste do polvo de Bender e Koller (2020) e os cérebros numa cuba de Putnam (1981), a referência não reside intrinsecamente nos pesos \(\Theta\) da rede. Entretanto, como os corpora de treinamento foram escritos por seres humanos em interação causal com o \(\text{H}_2\text{O}\) real e o mundo físico, os LLMs integram-se na cadeia causal-histórica e na divisão do trabalho linguístico humana, adquirindo assim uma referência derivada ou parasitária.

DimensãoInternalismo clássico e Descritivismo (Frege, Russell, Searle)Externalismo semântico e social (Kripke, Putnam, Burge)
Tese centralO significado (intensão) é uma descrição mental na cabeça e determina a extensão.“Os significados não estão na cabeça." A referência e o pensamento dependem do ambiente físico e social.
Nomes próprios e espécies naturaisDescrições definidas abreviadas ou feixes (designadores não rígidos).Designadores rígidos (\(\forall w \in \mathcal{W}, \llbracket d \rrbracket_w = o_{\text{actual}}\)) que designam a mesma essência em todo mundo possível.
Caso Gödel / SchmidtPrediz erroneamente que “Gödel” refere-se a Schmidt.Refere-se corretamente a Gödel mediante a cadeia causal-histórica.
Terra Gêmea em 1750Estados cerebrais idênticos \(\implies\) mesmo significado e extensão.Apesar de cérebros idênticos, "water" designa \(\text{H}_2\text{O}\) na Terra e \(\text{XYZ}\) na Terra Gêmea.
Modalidade e EpistemologiaNecessário \(\iff\) a priori; “Água \(=\text{H}_2\text{O}\)” é tido como contingente.Estabelece verdades necessárias a posteriori: \(\Box(\text{Água} = \text{H}_2\text{O})\), \(\Box(\text{Héspero} = \text{Fósforo})\).
comments powered by Disqus