Workshop in Philosophical Logic

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

Organised by: Massimiliano Carrara, Francesca Boccuni, Vittorio Morato

COGITO RESEARCH CENTRE (Philosophy of Mathematics and Philosophy of Logic Project); PROGETTO INTERAREA DI ATENEO (Logiche tempo-modali per agenti deontici. Una teoria ed alcune riflessioni filosofiche);
DOCTORAL SCHOOL IN PHILOSOPHY (Curriculum in Theoretical Philosophy - University of Padua)

In collaboration with San Raffaele University, Faculty of Philosophy:
http://www.unisr.it/newsfil/Mente_Linguaggio_e_Scienza