Logic and transdiciplinarity: Mathematics/Computer Science/ Philosophy/Linguistics
La Logique et la transdisciplinarité : Maths/Info/Philo/Linguistique
7 – 11 February 2022
|
Scientific Committee
Comité scientifique Gabriella Crocco (Aix-Marseille Université) |
Organizing Committee
Comité d’organisation Myriam Quatrini (Aix-Marseille Université) |
|
The goal of this week is to draw a picture of the situation of logic at the interface of several disciplines: mathematics, computer science, philosophy, linguistics.
Seven half-days will be devoted to courses presenting a series of selected themes: 1. Logic, Language, Representation 2. Completeness 3. Incompleteness 4. Curry-Howard-Lambek correspondence 5. Proofs and Meaning 6. Looking for the essence of proofs with their mathematical representation 7. Meaning and Interaction Two afternoons will be devoted to research presentations by guest speakers that will present alternative and recent approaches, thus showing the timeliness of the questions discussed during the courses. |
L’objectif de cette semaine est de porter un regard sur la situation de la logique à la frontière de plusieurs disciplines : les mathématiques, l’informatique, la philosophie, la linguistique.
L’essentiel de la semaine, sous forme de cours, sera consacré à la présentation des questions que nous avons choisies de mettre en lumière : 1. Logique, langage, représentation 2. Complétude 3. Incomplétude 4. Correspondance de Curry-Howard-Lambek 5. Preuves et sens 6. Recherche de l’essence des preuves par leur représentation mathématique 7. Sens et interaction. Deux après-midis seront consacrés à des exposés de recherche par des orateurs invités afin d’ouvrir et élargir les thématiques abordées. |
Gabriella Crocco (Aix-Marseille Université) Logic and Proofs: a brief historical Survey
Jonathan Ginzburg (Université de Paris) Some perspective on interactions
Jean-Baptiste Joinet (Université Lyon 3) The Curry-Howard correspondence
Luc Pélissier (Université Paris-Est Créteil) On the essence of proofs
Antonio Piccolomini d’Aragona (Aix-Marseille Université) Proofs as meanings and semantics of proofs
Paolo Pistone (University of Bologna) The Curry-Howard isomorphism
Myriam Quatrini (Aix-Marseille Université) On the meaning of incompleteness
Christian Rétoré (Université de Montpellier) On the essence of proofs
Italo Testa (University of Parma) Some perspectives on interaction1
Lorenzo Tortora de Falco (Roma Tre University) Schütte’s proof of the completeness theorem
Luca Tranchini (University of Tübingen) Intensional harmony via isomorphism
Invited talks
Michele Abrusci (Roma Tre University) Some reasons why logic is interdisciplinary
Marianna Antonutti Marfori (Ludwig Maximilian University of Munich) Invited speakers
Paola Cantù (Aix-Marseille Université) Logic and Interaction
Jean-Yves Girard (CNRS, Aix-Marseille Université) Schrödinger’s cut
Ansten Klev (Czech Academy of Sciences in Prague) The many senses of being in constructive type theory
Emiliano Lorini (Université Toulouse III) The Logic of Evaluation
Thomas Seiller (CNRS, Université Sorbonne Paris-Nord) “A geometric theory of algorithms”
Lutz Strasburger (INRIA, Saclay) « Combinatorial Proofs »
 |
 |