Cari tutti,
dal 04/06 al 07/06 si terrà a Roma Tre (dipartimento di Matematica, aula 009) la settimana di seminari e discussioni su logica e filosofia, organizzata dal Gruppo di Logica e Geometria della Cognizione:
Università Roma Tre, Gruppo di Ricerca /Research Group
“Logica e Geometria della Cognizione” / “Logic and Geometry of Cognition”
Seminari e discussioni su Logica e Filosofia / Seminars and discussions on Logic and Philosoph
Roma, 4-7 giugno 2013 / Rome. June 4th – 7th, 2013
Università Roma Tre, Dipartimento di Matematica e Fisica, Largo San Leonardo Murialdo 1, 00146 Roma
aula 009
Programma preliminare / Preliminary Program
Martedì 4 giugno / Tuesday, June 4th
10.30-11.40 Carlo Cellucci (Sapienza Università di Roma), Does logic slowly pass away, or has it a future?
11.45-12.55 Jean-Baptiste Joinet (Université Jean Moulin-Lyon 3), Naturalness of Logical Proofs
13.00-14.00 Pausa pranzo / Lunch break
14.00-16.00 Discussione / Discussion (chair: V. Michele Abrusci)
Mercoledì 5 giugno / Wednesday, June 5h
10.30-11.40 Francesca Romana Ferrante (Università Roma Tre), Girard’s Ludics and Aristotle’s Dialectic
11.45-12.55 Paolo Pistone (Università Roma Tre, Aix-Marseille Université), Logical form vs logical format: towards Girard's "hexagonal" view
13.00-14.00 Pausa pranzo / Lunch break
14.00-16.00 Discussione / Discussion (chair: V. Michele Abrusci)
Giovedì 6 giugno / Thursday, June 6th
10.30-11.40 Arnaud Valence (Université Panthéon-Sorbonne–Paris 1), Old logic and contemporary logic. A revival of the logic of ideas?
11.45-12.55 V. Michele Abrusci (Università Roma Tre), Philosophical remarks on Transcendental Syntax
13.00 Pausa pranzo / Lunch break
14.00-16.00 Discussione / Discussion (chair: Jean-Baptiste Joinet )
Venerdì 7 giugno / Friday, June 7th
10.30-11.40 Cesare Cozzo (Sapienza Università di Roma), Inference and compulsion
11.45-12.55 Teresa Numerico (Università Roma Tre), Interaction and association in the machine logic: the initiative challenge
13.00-14 Pausa pranzo / Lunch break
14.00-16.00 Discussione / Discussion (chair : Jean-Baptiste Joinet )