Rethinking the Foundations of Logic: From Physics to Computation

Workshop

The main goal of the workshop is to bring together researchers from different fields—including computer science, logic, physics, and philosophy—to reflect on the connections between these areas, particularly their mutual relations with respect to foundational issues, as well as the new perspectives that may emerge from their interactions.

Contacts: bernardo.marques@univ-paris1.fr / alberto.naibo@univ-paris1.fr

Lien vers l'inscription à venir

Day 1 - 16 November

9h00-9h15 Welcoming

9h15-10h15 Bob Coecke   

10h15-10h30 Coffee break

10h30-11h30 Nadia Blackshaw (LSE), 'Back to Bases: Context-Dependence and the Structure of Everettian Branching'

11h30-11h45 Coffee break

11h45-12h45 Alexei Grinbaum (CEA), 'Agency and causal order'

12h45-14h30 Lunch break

14h30-15h30 Sonja Smets (University of Amsterdam), 'The Epistemology of Classical versus Quantum Observations'

15h30-15h45 Coffee break

15h45-16h45 Gabriel Catren (CNRS & Université Paris Cité), 'Philosophical Perspectives on the Notion of Structure in Category Theory'

16h45-17h00 Coffee break

17h00-18h00 Mernhoosh Sadrzadeh (UCL), 'Reasoning about language with tools from maths, logic and physics'

Day 2 - 17 November 

9h00-9h15 Welcoming

9h15-10h15 Mirjam Weilenmann (Inria & Télécom Paris), 'Quantum theory from physical principles'

10h15-10h30 Coffee break

10h30-11h30 Thomas Seiller (CNRS & Université Sorbonne Paris Nord)

11h30-11h45 Coffee break

11h45-12h45 Pablo Arrighi (Inria & University of Paris-Saclay), 'Time arrow without past hypothesis: a toy model explanation'

12h45-14h30 Lunch break

14h30-15h30 Michael Cuffaro (LMU), 'Making Sense of Quantum Computation'

15h30-15h45 Coffee break

15h45-16h45 Jean-Baptiste Joinet (Université Lyon III), 'Rethinking the Foundations of Logic: From Physics to Computation'

16h45-17h00 Coffee break

17h00-18h00 Iulian Toader (Uninversity of Vienna), 'Could Logic Be Empirical? A Field Analysis'