1. Introdução: O paradoxo de enganar com 100% da verdade literal

No ano 362 d.C., fugindo da perseguição do imperador romano Juliano, o Apóstata, santo Atanásio de Alexandria subia o rio Nilo num pequeno barco. Ao perceber que a galé imperial se aproximava rapidamente, Atanásio ordenou ao timoneiro que desse meia-volta de 180 graus e remasse diretamente na direção de seus perseguidores.

Quando as duas embarcações se cruzaram, os soldados romanos — sem jamais suspeitar que sua presa remava em direção a eles — gritaram sobre a água: «Vocês viram o traidor Atanásio? Onde ele está?» O próprio Atanásio levantou-se no barco e respondeu com voz calma: «Ele não está longe daqui (He is not far from here!)! Remem rápido e vocês o alcançarão!» Os soldados agradeceram e remaram furiosamente rio acima, enquanto Atanásio retornava em segurança para Alexandria.

Essa célebre anedota patrística coloca um enigma filosófico afiado. A frase proferida por Atanásio («Ele não está longe daqui») era 100% verdadeira em sentido literal e objetivo: como o próprio Atanásio estava naquele barco, sua distância em relação a si mesmo era zero. Ele não pronunciou nenhuma proposição falsa. Contudo, falou com a intenção explícita de levar os soldados a formar a crença falsa de que Atanásio fugia mais adiante rio acima, enganando-os perfeitamente. Santo Atanásio mentiu?

1.1 O marco da Suprema Corte dos EUA sobre perjúrio: Bronston v. United States (1973)

Que essa distinção vai muito além de um jogo escolástico fica evidente na histórica decisão unânime da Suprema Corte dos Estados Unidos sobre perjúrio em Bronston v. United States (409 U.S. 352, 1973).

O produtor de cinema Samuel Bronston foi interrogado sob juramento em uma audiência federal de falência:

Advogado (P): «O senhor tem contas bancárias em bancos suíços, Sr. Bronston?» Bronston (R): «Não, senhor.» Advogado (P): «Já teve alguma vez (Have you ever)?» Bronston (R): «A empresa teve uma conta lá por cerca de seis meses, em Zurique.»

Na realidade, a conta pessoal de Bronston já estava encerrada no dia do depoimento (tornando seu primeiro «Não» literalmente verdadeiro), e sua empresa de fato tivera uma conta em Zurique por seis meses. Mas Bronston ocultou que ele pessoalmente mantivera uma conta bancária privada em Genebra durante cinco anos, movimentando mais de 180 mil dólares!

Condenado por perjúrio nas instâncias inferiores, Bronston teve sua condenação revertida por unanimidade (9–0) pela Suprema Corte dos EUA. O Chief Justice Warren Burger decidiu que a lei federal de perjúrio não pune a testemunha que diz a verdade literal, mesmo que sua resposta seja evasiva e calculada para induzir o interrogador ao erro (intent to mislead). Cabe à perspicácia do advogado interrogador (caveat auditor) detectar a evasão e fazer perguntas complementares.

1.2 A casuística teológica: Reserva mental (Restrictio Mentalis) e equívoco (Aequivocatio)

Na teologia moral cristã, santo Agostinho (De Mendacio, 395; Contra Mendacium, 420) e são Tomás de Aquino (Summa Theologiae II-II, q. 110) condenaram toda mentira (locutio contra mentem) como intrinsecamente pecaminosa. Nos séculos XVI e XVII, porém, diante da tortura e execução de padres católicos na Inglaterra elisabetana, teólogos jesuítas como Martín de Azpilcueta (Doctor Navarrus), Francisco Suárez e Henry Garnet desenvolveram a doutrina da reserva mental (Restrictio Mentalis) e do equívoco (Aequivocatio): enquanto a reserva estritamente mental foi condenada pelo papa Inocêncio XI em 1679, a reserva mental ampla e o equívoco — nos quais o enunciado possui uma interpretação literalmente verdadeira na língua pública, deixando que o ouvinte infira por conta própria a leitura falsa — foram considerados isentos de mentira.

2. A definição formal de mentira: Lógica doxástica e «mentiras descaradas» (Bald-Faced Lies)

Na filosofia analítica da linguagem (Chisholm & Feehan 1977; Carson 2010; Saul 2012; Stokke 2018), o ato de mentir (lying) é formalizado na lógica doxástica (lógica da crença). Sejam $S$ o falante, $H$ o ouvinte e $p$ uma proposição.

A definição decepcionista clássica ($\text{Lie}_{\text{trad}}$) exige quatro condições:

1. Condição de enunciação ($\text{Says}(S, H, p)$): $S$ deve afirmar explicitamente $p$ como o que é dito (what is said). O silêncio, o disfarce não verbal ou perguntas gramaticais não são mentiras.
2. Condição de insinceridade ($\text{Bel}_S(\neg p)$) — Crença subjetiva versus falsidade objetiva: Observe que $\neg p$ (a falsidade objetiva de $p$) não aparece na fórmula! Se Alice olha para um relógio parado e diz sinceramente «São três horas» quando são quatro, ela comete um erro honesto (honest mistake), mas não mente. Por outro lado, se Alice acredita firmemente que Jorge está em casa ($\text{Bel}_S(\neg p)$) e diz a Bob «Jorge está na biblioteca» ($p$) para enganá-lo, mas por puro acaso Jorge acabou de chegar à biblioteca cinco minutos antes ($p$ é objetivamente verdadeira), Alice mentiu dizendo uma verdade objetiva!
3. Condição de garantia e terreno comum ($\text{Warrant}(S, H, p)$): No teatro, na ficção ou na ironia evidente, o falante não propõe adicionar $p$ ao terreno comum (Common Ground, Stalnaker 2002) da conversa.
4. A revolução das «mentiras descaradas» (Bald-Faced Lies — Carson 2006; Sorensen 2007; Fallis 2009): Um estudante flagrado em vídeo colando na prova que diz ao reitor «Eu não colei» apenas para evitar uma confissão formal no processo, ou uma testemunha intimidada por um chefe da máfia que declara sob juramento «Não vi nada» quando todo o tribunal sabe que ela presenciou o crime, não tem intenção de enganar ninguém ($\neg \text{Intend}_S(\text{Bel}_H(p))$), mas indiscutivelmente mente! Assim, a «Nova Ortodoxia» define a mentira sem a intenção de enganar:

3. A pragmática de H. Paul Grice: O motor das verdades enganosas

Por que nem santo Atanásio nem Bronston mentiram, embora tenham enganado com sucesso? Porque acreditavam ser verdadeira a proposição literal $p$ que enunciaram ($\text{Bel}_S(p)$), enquanto a falsidade foi gerada como implicatura conversacional ($q$) segundo a teoria formulada por H. Paul Grice (1975) em Logic and Conversation.

3.1 O Princípio de Cooperação e as quatro máximas conversacionais

Segundo Grice, os ouvintes presumem racionalmente que o falante segue o Princípio de Cooperação (Cooperative Principle) e quatro máximas de inspiração kantiana:

1. Máxima da Quantidade (Maxim of Quantity): Faça sua contribuição tão informativa quanto requerido.
   • Implicaturas escalares (Horn 1972; Levinson 2000): Se você comeu todos os 10 biscoitos ($\forall x \, (\text{Biscoito}(x) \to \text{Comeu}(S, x))$) mas diz «Comi alguns (some) biscoitos» ($p \equiv \exists x \, (\text{Biscoito}(x) \land \text{Comeu}(S, x))$), seu enunciado $p$ é 100% verdadeiro na lógica de primeira ordem (pois $\forall x \models \exists x$). Mas na escala de Horn $\langle \text{todos}, \text{a maioria}, \text{alguns} \rangle$, o ouvinte deduz pela máxima da Quantidade a implicatura falsa $q \equiv \neg \forall x$ («S não comeu todos os biscoitos»).
2. Máxima da Qualidade (Maxim of Quality): Não diga o que acredita ser falso ($\neg \text{Bel}_S(\neg p)$) nem aquilo para o qual lhe faltam provas adequadas.
3. Máxima da Relação / Relevância (Maxim of Relation): Seja relevante (Be relevant).
   • No famoso exemplo de Grice da carta de recomendação para uma vaga de filosofia, um professor escreve apenas: «O Sr. X tem excelente domínio do inglês e frequentou regularmente as tutorias.» Ao violar ostensivamente (flouting) a Quantidade e a Relevância para não violar a Qualidade, ele implica $q =$ «O Sr. X é péssimo em filosofia».
4. Máxima do Modo / Maneira (Maxim of Manner): Evite obscuridade e ambiguidade; seja ordenado.

O teste diagnóstico que separa a implicatura $q$ do que é dito $p$ é sua cancelabilidade (Cancellability) sem contradição lógica («Comi alguns biscoitos; na verdade, comi todos!»).

3.2 Pragmática bayesiana (modelo RSA) e «Paltering»

No modelo Rational Speech Act (RSA) (Frank & Goodman 2012), o ouvinte pragmático $L_1$ inverte o modelo do falante cooperativo $S_1$ via teorema de Bayes:

O engano pela verdade (Truthful Misleading / Paltering, Rogers et al. 2017) consiste em escolher no mundo real $w^*$ um enunciado literalmente verdadeiro $u^*$ ($\llbracket u^* \rrbracket(w^*) = 1$) que maximiza a probabilidade a posteriori $P_{L_1}(w_{\text{false}} \mid u^*)$ de um estado falso $w_{\text{false}} \neq w^*$:

  flowchart TD
    Start["O falante S realiza um ato de fala u"] --> Q1{"S acredita que «o que é dito» (p)<br/>é FALSO? Bel_S(¬p)"}
    Q1 -- "Sim: Bel_S(¬p)" --> Q2{"S afirmou p em um contexto<br/>que garante a verdade?"}
    Q2 -- "Sim" --> Q3{"S tem a intenção de enganar<br/>o ouvinte H sobre p?"}
    Q3 -- "Sim" --> StdLie["[Mentira enganosa padrão]<br/>Viola diretamente a máxima da Qualidade em p<br/>Ex.: «Este prato não contém amendoim»"]
    Q3 -- "Não" --> BaldLie["[Mentira descarada (Bald-Faced Lie)]<br/>¬p é conhecimento comum; sem intenção de enganar<br/>Ex.: Aluno filmado negando cola, testemunha coagida"]
    Q2 -- "Não" --> NonAssert["[Ficção, Teatro, Ironia, Piada]<br/>Sem proposta de atualizar o Terreno Comum"]
    
    Q1 -- "Não" --> Q4{"S se importa se p corresponde<br/>à verdade objetiva T?"}
    Q4 -- "Não: Indiferença epistêmica" --> Bullshit["[Bullshit de Frankfurt]<br/>Indiferença total ao valor de verdade de p<br/>Otimiza apenas impressão ou plausibilidade estatística (LLM)"]
    Q4 -- "Sim: Bel_S(p)" --> Q5{"S pretende que H infira uma<br/>implicatura conversacional q<br/>que S acredita ser FALSA? Bel_S(¬q)"}
    Q5 -- "Sim" --> Mislead["[Engano com a verdade / Paltering]<br/>Enuncia verdade literal p para implicar o falso q<br/>Ex.: Santo Atanásio, Bronston v. US, carta de Kant"]
    Q5 -- "Não: Bel_S(q)" --> Honest["[Asserção plenamente honesta]<br/>Tanto o conteúdo semântico p quanto o pragmático q são sinceros"]

4. O debate ético: O rigorismo de Kant, seu próprio estratagema e a crítica de Jennifer Saul

4.1 O «assassino à porta» de Kant versus sua promessa ao rei Frederico Guilherme II

Em seu famoso ensaio de 1797 Sobre um suposto direito de mentir por filantropia, Immanuel Kant sustentou que, mesmo que um assassino bata à sua porta perguntando pelo seu amigo inocente escondido lá dentro, fazer uma declaração falsa (Aussage / mendacium) é absolutamente proibido, pois destrói a base formal de todo contrato e a dignidade racional.

Contudo, o próprio Kant praticou magistralmente o engano estratégico pela verdade literal! Em 1794, repreendido pelo rei da Prússia Frederico Guilherme II por seus escritos sobre religião, Kant redigiu sua promessa de silêncio nestes termos:

«Como o súdito mais fiel de Vossa Majestade Real [Als Ew. Königl. Majestät getreuester Untertan], declaro solenemente que doravante me absterei completamente de todas as palestras e escritos públicos relativos à religião…»

Assim que Frederico Guilherme II morreu, em novembro de 1797, Kant publicou O conflito das faculdades (1798) e explicou com orgulho em nota de rodapé que escolhera a expressão «súdito de Vossa Majestade» para ficar vinculado apenas enquanto aquele monarca específico estivesse vivo, induzindo o rei a inferir uma promessa vitalícia ($q$) sem jamais proferir uma mentira formal ($p$)!

4.2 Assimetrismo (Williams, Shiffrin) versus a crítica de Jennifer Saul (2012)

Enquanto Bernard Williams (2002) e Seana Shiffrin (2014) argumentam que induzir ao erro com a verdade é moralmente menos grave do que mentir porque o ouvinte compartilha responsabilidade epistêmica na inferência $p \to q$, Jennifer Saul demonstra em Lying, Misleading, and What is Said (2012) — por meio do caso do assassinato por alergia a amendoim (dizer a verdade «Este prato é feito com óleo de girassol e especiarias» em vez de mentir «Não contém amendoim» para matar um convidado alérgico) — que o engano calculado por verdades literais não é moralmente superior à mentira e frequentemente encobre pura hipocrisia moral.

5. On Bullshit (1986/2005) de Harry G. Frankfurt e as alucinações da IA

Em seu ensaio clássico On Bullshit (1986/2005), Harry G. Frankfurt estabeleceu a distinção fundamental entre o mentiroso (liar) e o embusteiro (bullshitter):

• Tanto a pessoa honesta quanto o mentiroso jogam no campo da verdade $T$: para mentir ($\text{Bel}_S(\neg p)$), o mentiroso precisa conhecer a verdade a fim de ocultá-la.
• O bullshitter, ao contrário, é completamente indiferente a se o que diz é verdadeiro ou falso ($\neg \text{Care}_S(p \leftrightarrow T)$). Ele busca apenas causar impressão ou persuadir. Por isso Frankfurt conclui: «O bullshit é um inimigo da verdade maior do que as mentiras.»

Como demonstraram Hicks, Humphries e Slater (2024) em “ChatGPT is Bullshit”, as chamadas «alucinações» dos grandes modelos de linguagem (LLMs), que otimizam exclusivamente a probabilidade condicional do próximo token $P_\theta(w_t \mid w_{1:t-1}) = \text{softmax}(z_\theta / \tau)$ buscando plausibilidade estatística sem crença ancorada na realidade $\text{Bel}_{\text{LLM}}(p)$, são bullshit frankfurtiano puro em sentido matemático.

6. Síntese: Taxonomia epistêmica, pragmática e ética

  flowchart TD
    subgraph TruthField["[No campo da verdade: Atenção à realidade T]"]
        direction TB
        Honest["Falante honesto (Truth-Teller)<br/>Conhece a verdade T e guia o ouvinte até T<br/>Bel_S(p) ∧ Bel_S(q)"]
        Misleader["Enganador com a verdade (Misleader / Palterer)<br/>Conhece T; enuncia verdade literal p<br/>para afastar H de T via implicatura q"]
        Liar["O Mentiroso (Liar)<br/>Conhece T e afirma deliberadamente o falso p<br/>para ocultar T: Bel_S(¬p)"]
    end

    subgraph BullshitField["[Fora do campo da verdade: Indiferença epistêmica]"]
        direction TB
        Bullshitter["O Bullshitter e o LLM não ancorado<br/>Totalmente indiferente à verdade ou falsidade de p<br/>Otimiza apenas impressão ou probabilidade P(w_t | w_{1:t-1})"]
    end

    Honest ---|"Manipulação pragmática"| Misleader
    Misleader ---|"Fronteira semântica do que é dito (p)"| Liar
    TruthField ===|"O abismo de Frankfurt:<br/>Reconhecer vs. ignorar a autoridade da verdade"| BullshitField