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.

← Back to courses
CIVIS focus area
Society, culture, heritage
Open to
  • Bachelor's
  • Master's
  • Phd
Field of studies
  • Computer Science and IT
  • Natural Sciences and Mathematics
  • Social Science and humanities
Tipo
  • Short-term
  • CIVIS Hub 2
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

Learning outcomes

  • 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.

Requirements

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 

Application process

Applicants should fill in the following form by 4 December 2021: https://forms.gle/Qq4qHs4yLuFhX8dn6 

Selected students will be notified in January 2022.

Assessment

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

GDPR Consent

The CIVIS alliance and its member universities will treat the information you provide with respect. Please refer to our privacy policy for more information on our privacy practices. By applying to this course you agree that we may process your information in accordance with these terms.

  • 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.