Seminario di Dipartimento (SeRiC): Pluralismo inferenzialista e logiche rilevanti

Partecipanti: Eugenio Orlandelli - Universita' di Bologna

In 'Pluralism and proof' (2014)  Greg Restall ha proposto una forma di pluralismo inferenzialista. In 'Restall's proof-theoretic pluralism and relevance logic'  (2015) Teresa Kouri ha mostrato che il criterio di correttezza alla base di tale forma di pluralismo è 
incompatibile con le logiche rilevanti. In questo talk introdurrò una forma alternativa di pluralismo inferenzialista basato su un criterio dummettiano di correttezza e mostrerò che tale forma di pluralismo genera in modo naturale una famiglia di logiche rilevanti.