VERDADE ALIENÍGENA

Outubro de 2022

Se houvesse seres inteligentes em outros lugares do universo, eles compartilhariam certas verdades em comum conosco. As verdades da matemática seriam as mesmas, porque são verdadeiras por definição. O mesmo vale para as verdades da física; a massa de um átomo de carbono seria a mesma em seu planeta. Mas eu acho que compartilharíamos outras verdades com alienígenas além das verdades da matemática e da física, e que valeria a pena pensar sobre quais poderiam ser.

Por exemplo, eu acho que compartilharíamos o princípio de que um experimento controlado testando alguma hipótese nos dá o direito de ter uma crença proporcionalmente aumentada nela. Também parece bastante provável que seria verdade para os alienígenas que se pode melhorar em algo praticando. Provavelmente compartilharíamos a navalha de Occam. Não parece haver nada especificamente humano em nenhuma dessas ideias.

Só podemos adivinhar, é claro. Não podemos dizer com certeza quais formas a vida inteligente pode assumir. Nem é meu objetivo aqui explorar essa questão, por mais interessante que seja. O ponto da ideia de verdade alienígena não é que nos dá uma maneira de especular sobre quais formas a vida inteligente pode assumir, mas que nos dá um limiar, ou mais precisamente um alvo, para a verdade. Se você está tentando encontrar as verdades mais gerais, exceto as da matemática ou da física, então presumivelmente elas serão aquelas que compartilharíamos em comum com outras formas de vida inteligente.

A verdade alienígena funcionará melhor como uma heurística se errarmos do lado da generosidade. Se uma ideia pode plausivelmente ser relevante para alienígenas, isso é suficiente. Justiça, por exemplo. Eu não gostaria de apostar que todos os seres inteligentes entenderiam o conceito de justiça, mas também não gostaria de apostar contra isso.

A ideia de verdade alienígena está relacionada à ideia de Erdos sobre o livro de Deus. Ele costumava descrever uma prova particularmente boa como estando no livro de Deus, a implicação sendo (a) que uma prova suficientemente boa era mais descoberta do que inventada, e (b) que sua bondade seria universalmente reconhecida. Se existe tal coisa como verdade alienígena, então há mais no livro de Deus do que matemática.

O que devemos chamar a busca pela verdade alienígena? A escolha óbvia é "filosofia". Seja o que for que a filosofia inclua, provavelmente deveria incluir isso. Estou bastante certo de que Aristóteles teria pensado assim. Poder-se-ia até argumentar que a busca pela verdade alienígena é, se não uma descrição precisa da filosofia, uma boa definição para ela. Ou seja, que é o que as pessoas que se chamam filósofos deveriam estar fazendo, estejam ou não fazendo isso atualmente. Mas não estou preso a isso; fazê-lo é o que importa, não como o chamamos.

Podemos um dia ter algo como vida alienígena entre nós na forma de IAs. E isso pode, por sua vez, nos permitir ser precisos sobre quais verdades um ser inteligente teria que compartilhar conosco. Poderíamos descobrir, por exemplo, que é impossível criar algo que consideraríamos inteligente que não use a navalha de Occam. Poderíamos um dia até ser capazes de provar isso. Mas embora esse tipo de pesquisa seja muito interessante, não é necessário para nossos propósitos, ou mesmo do mesmo campo; o objetivo da filosofia, se vamos chamá-la assim, seria ver quais ideias surgem usando a verdade alienígena como alvo, não dizer precisamente onde está o limiar dela. Essas duas questões podem um dia convergir, mas elas convergirão de direções bastante diferentes, e até que o façam, seria muito restritivo nos limitarmos a pensar apenas em coisas que temos certeza de que seriam verdades alienígenas. Especialmente porque isso provavelmente será uma daquelas áreas onde os melhores palpites acabam sendo surpreendentemente próximos do ótimo. (Vamos ver se esse se encaixa.)

Seja o que for que chamemos, a tentativa de descobrir verdades alienígenas seria uma empreitada que vale a pena. E curiosamente, isso é provavelmente uma verdade alienígena em si.

Obrigado a Trevor Blackwell, Greg Brockman, Patrick Collison, Robert Morris e Michael Nielsen por lerem rascunhos disso.