Logic and philosophy of mathematics
Organisation
- Mario Piazza - Scuola Normale Superiore
- Giorgio Venturi - University of Campinas, University of Konstanz
Programme
FRIDAY 16th SEPTEMBER
09.30 Carlo Nicolai
Cuts, Loops, and the Identity of Theories: Three Problems in Mathematical Philosophy
10.30 Riccardo Bruni
Living with the logical paradoxes: how far and how great?
11.30 Coffee Break
12.00 Pedro Del Valle-Inclan
Harmony and Normalisation in Bilateral Logic
13.00 Lunch
15.00 Lorenzo Rossi
Truth and (higher-order) quantification.
16.00 Matteo Tesi
Multiplicative quantifiers, paradoxes and cut-elimination
17.00 Coffee Break
17.30 Giorgio Venturi
Language, actions, and mathematical creativity
20.00 Social dinner
SATURDAY 17th SEPTEMBER
09.30 Gabriele Pulcini
The problem of abduction between logic and philosophy of science
10.30 Andrea Sabatini
Towards a proof theory of abduction
11.30 Coffee Break
12:00 Michele Contente
On the philosophical meaning of the Univalence Axiom
13.00 Lunch
15.00 Silvia De Toffoli
Defending Moderate Derivationism
16.00 Matteo Plebani
Parts of structures
17.00 Coffee Break
17.30 Luca San Mauro
Learning mathematical structures