🎟️ A peça
A primeira sala do museu não tem nenhuma máquina. Tem três frases.
Todo homem é mortal. Sócrates é homem. Logo, Sócrates é mortal.
Parece óbvio demais pra estar num museu. Guarda essa impressão. Essas três frases são a coisa mais perigosa do acervo inteiro, porque foi aqui que alguém percebeu, pela primeira vez, que o pensamento tem regras.
❓ O gancho
Quando você dá uma instrução pra uma IA e ela segue, mecanicamente, sem entender nada do que está fazendo, de onde vem essa ideia? Quem foi o primeiro a desconfiar que raciocinar poderia ser só seguir um procedimento, um passo depois do outro, como uma receita?
A resposta tem dois mil e trezentos anos.
🕰️ A história
Atenas, por volta de 350 antes de Cristo. Aristóteles está fazendo uma coisa que ninguém tinha feito direito antes. Ele está olhando para argumentos, não para o assunto deles.
Repara na diferença. A maioria das pessoas, quando ouve “todo homem é mortal, Sócrates é homem, logo Sócrates é mortal”, presta atenção no Sócrates, na morte, na vida. Aristóteles prestou atenção no esqueleto. Ele viu que dava pra tirar o Sócrates e botar qualquer coisa no lugar:
Todo A é B. C é A. Logo, C é B.
E o argumento continua de pé. Funciona com Sócrates, funciona com planeta, funciona com palavra que você inventou agora. A conclusão se segue das premissas pela forma, não pelo conteúdo. Aristóteles chamou isso de silogismo, catalogou as formas válidas e as inválidas, e juntou tudo numa obra que ficou conhecida como Organon, a palavra grega para instrumento.
Foi o primeiro a perceber uma coisa que parece banal e é gigante. Existem leis do raciocínio correto que você pode escrever no papel, separadas de qualquer assunto específico. Como Hofstadter resume no nosso livro-patrono, mesmo os gregos antigos já sabiam que o raciocínio segue padrões e é, pelo menos em parte, comandado por leis enunciáveis. Aristóteles foi quem enunciou as primeiras.
🔗 A revelação
Aqui o museu te pega.
O que Aristóteles montou tem um nome moderno, sistema formal. Um punhado de símbolos e um punhado de regras que dizem como combinar esses símbolos, de um jeito que funciona pela forma e ignora o significado. Você não precisa saber quem é Sócrates pra aplicar a regra. Você só precisa reconhecer o formato e seguir o passo.
Agora pensa no que um computador faz. Ele pega símbolos, zeros e uns, e aplica regras que funcionam pela forma, sem fazer a menor ideia do que aquilo significa. Pensa no que um modelo de linguagem faz quando você manda um prompt. Ele segue padrões, encadeia passos, chega numa conclusão, e em nenhum momento “entende” no sentido humano da palavra.
Esse é o gesto que nasceu nestas três frases gregas. A aposta de que pensar pode ser reduzido a manipular símbolos segundo regras. Toda a computação é isso. Toda a inteligência artificial é uma descendente direta do dia em que Aristóteles olhou para um argumento e enxergou o esqueleto em vez da carne. A peça não está num museu de filosofia por acaso. Ela é a planta baixa da máquina que você está usando agora, pra ler este texto.
🪞 O GEB
O livro G.E.B gira em torno de uma pergunta incômoda. Como é que significado e mente podem brotar de regras que, sozinhas, não significam nada?
Aristóteles abre essa caixa. No silogismo, os símbolos não carregam sentido nenhum por conta própria. O sentido aparece quando a forma se encaixa no mundo. Hofstadter passa o livro inteiro nessa fronteira, mostrando sistemas onde você empurra símbolos sem significado de um lado e, do outro, alguma coisa que se parece com raciocínio sai pronta.
No fim desta ala você vai brincar com um sistema desses com as próprias mãos, um joguinho de símbolos que o Hofstadter inventou chamado MU. Aristóteles arma a pergunta. O MU vai te mostrar onde ela aperta.
🛠️ Leve com você
Quando você escreve um prompt, você está alimentando um motor de inferência com premissas. Ele vai seguir a forma com fidelidade total, inclusive a partir de premissas erradas. Se a entrada estiver torta, a saída vem logicamente impecável e completamente furada. Aristóteles já avisava, a validade está na forma, a verdade depende do que você colocou dentro.
Use isso na prática. Antes de culpar a IA por uma resposta ruim, olha pras premissas que você deu. Quase sempre o silogismo está perfeito. O problema é que uma das frases que você entregou era falsa.
🤔 Pra pensar
Pensa numa vez em que a IA te deu uma resposta logicamente redondinha e mesmo assim errada. Olhando agora, qual premissa torta você tinha colocado no prompt sem perceber? É o tipo de erro que todo mundo comete e quase ninguém enxerga sozinho, porque o silogismo estava perfeito. Só a entrada é que estava torta.
⏭️ Para onde ir agora
Aristóteles deixou a ideia, o pensamento pode ter regras escritas. Mas ideia ainda não é máquina.
Na próxima sala a gente pula pra Alexandria, alguns séculos depois, pra ver um sujeito chamado Héron transformar essa ideia em engrenagem de verdade, com o primeiro aparelho da história que merece ser chamado de programável.