Pubblicato nel 2026 da The MIT Press, Computational Reflections di Brian Cantwell Smith affronta una questione che riguarda non soltanto gli specialisti di informatica, ma chiunque voglia comprendere quale genere di realtà stiamo costruendo attraverso programmi, algoritmi e sistemi di intelligenza artificiale. Il problema da cui prende avvio l’opera è apparentemente elementare: che cosa significa davvero affermare che una macchina “calcola”, “interpreta”, “decide” o “comprende”? Dietro queste espressioni familiari si nascondono difficoltà concettuali che l’informatica ha spesso accantonato per concentrarsi sull’efficienza dei dispositivi e sulla correttezza delle procedure. Smith mostra invece che non è possibile spiegare il calcolo limitandosi a descrivere trasformazioni fisiche, successioni di stati o manipolazioni di simboli. Un sistema informatico diventa infatti comprensibile come tale soltanto quando le sue operazioni vengono riferite a qualcosa: numeri, persone, istituzioni, eventi, problemi o situazioni del mondo. Il libro si colloca così nel punto d’incontro tra informatica teorica, logica, filosofia del linguaggio e teoria dell’intenzionalità. Il suo interesse deriva soprattutto dalla volontà di riconsiderare presupposti che, pur essendo presenti fin dalle origini della disciplina, sono rimasti in larga misura impliciti. La riflessione sui programmi e sui loro significati conduce pertanto a domande più generali: in che modo un oggetto materiale può rappresentare qualcosa? Come può un meccanismo agire in conformità a norme che dipendono da realtà lontane o astratte? E fino a che punto una scienza fondata sulla spiegazione causale può comprendere sistemi che operano anche in virtù di ciò che significano? Smith non offre risposte semplificate, ma costruisce un’indagine sulle categorie attraverso le quali il calcolo è stato finora pensato. È questa combinazione di precisione tecnica e ampiezza teorica a rendere il volume particolarmente rilevante nell’attuale fase di sviluppo dell’intelligenza artificiale.
