Durante as noites lânguidas das últimas duas semanas de verão, tenho lido, com muito proveito, a nova parte do projeto de cinco volumes de Scott Soames, A Tradição Analítica na Filosofia. O Volume 3: A Luta pela Modalidade, focado em Quine e Kripke, tem sido de particular interesse para mim. Por que um economista deveria se importar com lógica modal? Grande parte da minha pesquisa tem sido em econometria bayesiana e, mais recentemente, em IA, que também depende fortemente do raciocínio bayesiano. Esta abordagem se infiltrou na minha vida diária. Aqueles que me conhecem já me ouviram dizer coisas como: “O Evento X (por exemplo, o resultado de uma eleição) ocorrerá com probabilidade de 60%”, representando meu grau de crença. Assim, passei um tempo considerável pensando sobre as forças, mas também as fraquezas, da abordagem bayesiana. Uma fraqueza, pelo menos da minha perspectiva, é que o raciocínio bayesiano tem dificuldade em capturar restrições lógicas sobre crenças (por exemplo, fechamento sob consequência lógica) e em fornecer regras de atualização estruturadas além de mover posteriors. A lógica modal, por outro lado, pode impor essas restrições de uma maneira mais consistente (mesmo que à custa de não ser quantitativa). Na IA, ajuda a formalizar ideias como expressividade, ou seja, raciocinar sobre as crenças de outros agentes, como na teoria dos jogos epistêmicos ou em modelos de “prever a previsão dos outros”, algo em que trabalhei há alguns anos para entender os ciclos de negócios. É por isso que sempre fui atraído pelo projeto de empirismo construtivo de @BFraassen: 🔗 even que seja uma posição minoritária entre os pesquisadores. Pode ser interpretado de forma ampla como uma tentativa de fundir o melhor da lógica modal e do raciocínio bayesiano: a primeira fornecendo o esqueleto lógico da crença, a última suprindo o conteúdo numérico. A excelente análise de Soames sobre as lutas de Quine e Kripke com muitas dessas ideias será, na minha modesta (e não muito experta) opinião, uma referência excepcional por muitos anos.