LI2022: Logic and transdisciplinarity research school, Feb. 7, 2022 – Feb. 11, 2022

Third week of the Logic and interactions 2022 session at the CIRM.

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.