În nopțile lânguitoare din ultimele două săptămâni de vară, am citit, cu mult profit, noua parte a cărții în cinci volume a lui Scott Soames, The Analytic Tradition in Philosophy. Volumul 3: Lupta pentru modalitate, concentrat pe Quine și Kripke, a fost de un interes deosebit pentru mine. De ce ar trebui să-i pese unui economist de logica modală? O mare parte din cercetarea mea a fost în econometria bayesiană și, mai recent, în AI, care se bazează foarte mult pe raționamentul bayesian. Această abordare s-a revărsat în viața mea de zi cu zi. Cei care mă cunosc m-au auzit spunând lucruri precum: "Evenimentul X (de exemplu, rezultatul unei alegeri) va avea loc cu o probabilitate de 60%", reprezentând gradul meu de credință. Astfel, am petrecut mult timp gândindu-mă la punctele forte, dar și punctele slabe, ale abordării bayesiene. O slăbiciune, cel puțin din perspectiva mea, este că raționamentul bayesian se luptă să surprindă constrângerile logice asupra credințelor (de exemplu, închiderea sub consecințe logice) și să ofere reguli structurate de actualizare dincolo de mișcarea posterioră. Logica modală, pe de altă parte, poate impune aceste constrângeri într-un mod mai consistent (chiar dacă cu prețul de a nu fi cantitativă). În AI, ajută la formalizarea unor idei precum expresivitatea, adică raționamentul despre credințele altor agenți, ca în teoria epistemică a jocurilor sau în modelele de "prognoză a prognozei altora", lucru la care am lucrat acum câțiva ani pentru a înțelege ciclurile economice. Acesta este motivul pentru care am fost întotdeauna atras de proiectul @BFraassen de empirism constructiv: 🔗 chiar dacă este o poziție minoritară în rândul cercetătorilor. Poate fi interpretat ca o încercare de a îmbina tot ce este mai bun din logica modală și raționamentul bayesian: primul furnizând scheletul logic al credinței, cel de-al doilea furnizând conținut numeric. Relatarea excelentă a lui Soames despre luptele lui Quine și Kripke cu multe dintre aceste idei va deveni, în opinia mea modestă (și nu foarte expertă), o referință remarcabilă pentru anii următori.