Friday, 28 February 2019
Cristina da Rold (Freelance health and data journalist)
Il lavoro del giornalista scientifico: quali possibilità concrete?
Abstract: Cristina Da Rold, giornalista sanitaria ed ex allieva del corso di LM in Logica e Filosofia della scienza racconterà quali scenari formativi e professionali ci sono oggi per chi desidera intraprendere la professione di giornalista scientifico: che cosa significa libera professione, come si articola il mercato delle collaborazioni, con tutte le sue potenzialità e i suoi rischi. Con un po’ di sano ottimismo.
Thursday, 6 March 2020
Johann van Benthem (Stanford University and Tsinghua University)
Zoom Levels at the Interface of Logic and Games
Abstract: Logic and games meet in many ways. Logic can be used to analyze games, games can also be used to analyze logic, logic can help design new games, and so on. After presenting a whirlwind overview, we will discuss just one pervasive thread across the current landscape: viz. the existence of different natural ‘zoom levels’ in looking at game structure, linked to different notions of structural invariance between games. Our first example is Backward Induction: once in terms of a fine-grained fixed-point logic of computation, and next, in terms of a coarse-grained deontic logic of ‘best action’. Our second example is strategic action in games of imperfect information, first in terms of rich dynamic-epistemic logics of agency, and then in terms of global logics reasoning in terms of powers and dependence. We conclude by highlighting the importance of zoom levels in logic generally, as a way of seeing coherence, despite the growing diversity in logical systems.
• A. Baltag & J. van Benthem, 2019, ‘A Minimal Logic of Functional Dependence’, ILLC, University of Amsterdam. • J. van Benthem, 2014, Logic in Games, The MIT Press, Cambridge, Mass. • J. van Benthem & D. Klein, 2019, ‘Logics for Analyzing Games’, Stanford On-Line Encyclopedia of Philosophy, Stanford. • J. van Benthem, N. Bezhanishvili & S. Enqvist, 2019, ‘A New Notion of Game Equivalence, Its Logic and Algebra’, Journal of Philosophical Logic, 10.1007/s10992-018-9489-7.
Friday, 13 March 2020
Roberto Ciuni (Università di Padova)
Friday, 20 March 2020
Mariano Giaquinta (Scuola Normale Superiore, Pisa)