Beyond Logic

"Beyond Logic, Hypothetical Reasoning in Philosophy of Science, Informatics, and Law", joint French-German research project funded by ANR and DFG;
Gruppo di Logica e Geometria della Cognizione, Università Roma Tre
Dipartimento di Matematica e Fisica, Largo S. Leonardo Murialdo 1


Thursday, May 21, 2015

“Aula F”

15:00-16:00 Luiz Carlos Pereira (PUC Rio de Janeiro)
Translations: a view from proof-theory

16:15-17:15 Cesare Cozzo (Sapienza Univ. Roma)
Dummett on inference

17:30-18.30 Arnaud Valence (Univ. Roma Tre)
Dewey's Logic Revisited

20:00 Dinner

Friday, May 22, 2015

“Aula 311”

9.30-10.30 Jean Fichot (IHPST, Univ. Paris 1)
Principles(s) of conservativity

10:45-11:45 Jean-Baptiste Joinet (Univ. Lyon 3)
Actional processes, individuals and identity criteria

12:00-13:00 Paolo Pistone (Univ. Roma Tre & Aix-Marseille Univ.)
Untyped validity: completeness through parametricity

13:15 Lunch (“Sala riunioni”)

“Aula 211”

15:00-16:00 Maël Pégny (IHPST, Univ. Paris 1)
Constructivity and the Church-Turing thesis

16:15-17:15 Thomas Piecha (Univ. Tübingen)
Inversion of logical rules

17:30-18:30 Peter Schroeder-Heister (Univ. Tübingen)
Proof-theoretic semantics and the sequent calculus

20:00 Dinner

Local organizers: V. Michele Abrusci and Paolo Pistone
Further informations: