Logic and transdisciplinarity
Get an overview of the situation in logic at the interface of theoretical, historical and technical issues in several disciplines - philosophy, logic, computer science, linguistics, mathematics.
- CIVIS focus area
- Society, culture, heritage
- Open to
- Field of studies
- Computer Science and IT
- Natural Sciences and Mathematics
- Social Science and humanities
- Course dates
- 7 - 11 February 2022
Main topics addressed
- Logic, Language, Representation
- Completeness and incompleteness
- Curry-Howard-Lambek correspondence
- Proofs and Meaning
- Looking for the essence of proofs with their mathematical representation
- Meaning and Interaction
- A comparative analysis of the role of logic in different fields
- A historical investigation of alternative and recent theories concerning the presented issues
- A trans-disciplinary competence in mathematical logic, philosophical logic, argumentation theory, epistemology
|Dates: 7-12 February 2022||ECTS: 3*|
|Location: Marseille, France||Format: Physical*|
|N° of CIVIS scholarships: 7|
This course is organised in 7 half days that will be devoted to courses presenting a series of selected themes, and two afternoons that will be devoted to research presentations by guest speakers, exploring alternative and recent approaches to the issues presented during the courses.
* The recognition of ECTS depends on your home University.
* This CIVIS course will be held in Marseille, France, depending on the Covid-related restrictions that will be in force in France at that moment. If travelling is not allowed or restricted, part of the course will take place online. More information will be provided as soon as possible.
This blended mobility course is open to Bachelor's, Master and PhD students at the nine CIVIS member universities enrolled or interested in the following field of studies: logic, philosophy, computer science, linguistics, mathematics
Applicants should fill in the following form by 4 December 2021: https://forms.gle/Qq4qHs4yLuFhX8dn6
Selected students will be notified in January 2022.
The assessment will be based on a personal interview with the participant at the end of the course.
More specifically, the evaluation criteria are the following:
- Attendance to courses: 1 ECTS
- Attendance to talks: 1 ECTS
- Interview: 1 ECTS
- Gabriella Crocco is Professor of history and philosophy of logic and mathematics at Aix-Marseille Université, expert in Gödel’s scientific and philosophical writings.
- Paolo Pistone is a post-doc Researcher in logic, currently working within Ugo Dal Lago's ERC CoG project DIAPASoN at the University of Bologna, expert of proof-theory of second-order logic (System F) and linear logic, as well as of related themes in theoretical computer science.
- Myriam Quatrini is Professor of mathematical logic at Aix-Marseille Université, expert of Girard’s Ludics and formal theories of dialogues and argumentation.
- Christian Réthoré is Professor of mathematical logic at the University of Montpellier and expert in applications of linear logic to mathematical and computational linguistics and to computer science.
- Lorenzo Tortora De Falco is Professor of logic at Roma Tre University and expert in the theoretical relationship between logic, philosophy of mind and computer science.