Events

WORKSHOP IN PHILOSOPHICAL LOGIC

10.30-11.30
Luca Bellotti (University of Pisa)
"On Boolos' nominalist platonism"

Coffee Break

11.45-12.45
Øystein Linnebo (University of Oslo)
"Modality in Mathematics"

***

14.30-15.30
Francesca Poggiolesi (IHPST)
"A Brief History of the Proof Theory for Modal Logic"

Coffee Break

15.45-16.45
Gabriele Usberti (University of Siena)
"The Paradox of Knowability and the Communication Problem between Classicism and Intuitionism"

Venue: FISPPA Department, Sala Giacon, Università di Padova, P.zza Capitaniato 3, Padova