Paradoxes Between Truth and Proof

Mattia Petrolo is FCT Research Fellow at the Centre for Philosophy of Science at the University of Lisbon (CFCUL). He earned his PhD from the University of Paris 7 – Paris Diderot and held a postdoctoral fellowship at the French National Centre for Scientific Research (CNRS) in Paris, where he also served as a fixed-term lecturer at the University of Paris 1 Panthéon-Sorbonne. In 2018, he accepted a tenured assistant professorship at the Federal University of ABC in Brazil. He is also an associated member of the Institute for the History and Philosophy of Science and Technology (IHPST) in Paris. His research interests include computational logic, structural proof theory, philosophy of logic, and formal epistemology.

Giorgio Venturi is a tenure-track Associate Professor at the University of Pisa (Italy). In 2014 he obtained a doctorate in mathematics at the Université Paris 7 and a doctorate in philosophy at the Scuola Normale Superiore. Between 2017 and 2022 he was Assistant Professor at the University of Campinas. He is an associated member of the University of Brasilia and of the Konstanz Center for Philosophy of Mathematics. He is currently Secretary of the European Society for the Philosophy of Mathematics (ESPM) and a board member of the Associazione Italiana di Logica e Sue Applicazioni (AILA). He regularly publishes in the main specialist journals of logic. His works focus on set theory, modal logic and philosophy of mathematics.