Fuori Emilia

Beyond Logic. A Roma il 21 e 22 maggio.

Il 21 e 22 maggio si terrà all’Università Roma Tre il workshop: “Beyond Logic. Hypothetical Reasoning in Philosophy of Science, Informatics, and Law”

Il workshop è organizzato in collaborazione con il gruppo di ricerca “Logica e Geometria della Cognizione”, Università Roma Tre, e avrà luogo presso il dipartimento di Matematica e Fisica, Largo San Leonardo Murialdo 1, palazzina C.

Qui sotto il programma dell’evento:

Giovedì 21 maggio 2015 (Aula F)

15:00-16:00   Luiz Carlos Pereira (PUC Rio de Janeiro), TBA 

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

Venerdì 22 maggio 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 parametrically

13:15              Pranzo (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

Organizzatori: V. Michele Abrusci e  Paolo Pistone

Per altre informazioni:  http://ls.informatik.uni-tuebingen.de/bl/project.html , http://logica.uniroma3.it

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s