via Leonardo Cambini 35
57125 Livorno
Italy
Cepparello@bibsns.sns.it
In this paper we try to describe how Dynamic Logic paved the way for a fruitful interplay between Informatics and Philosophy. It did so by acting as a common language, spoken by both computer scientists and analytic philosophers. In this way, Dynamic Logic offered the humanistic culture a new possibility of digesting and elaborating the informatic revolution, alternative with respect to the AI-based approach.