Natural Logic and Proof-theoretic Semantics

  • Muskens, Reinhard (Principal Investigator)
  • Cooper, Robin (Co-Investigator)
  • Moss, Larry (Co-Investigator)
  • Pratt-Hartmann, Ian (Co-Investigator)
  • Barker, Chris (Co-Investigator)
  • Szabolcsi, Anna (Principal Investigator)
  • Bernardi, Rafaella (Co-Investigator)

Project: Research project


This project aims to bring answers to two related questions closer.

1) How is it possible for ordinary languages to convey meaning?
2) How can people reason with the help of the language they grew up with?

Given the huge cultural (and technological!) importance of these questions, they have attracted quite a lot of interest, but mainstream approaches to answering the first question have tended to ignore the algorithmic and proof-theoretic aspects of meaning that naturally connect it with the second question.

We want to break with this trend. The aim of the project is to set up an international multidisciplinary cooperation between researchers interested in exploring algorithmic and proof-theoretic approaches to meaning and reasoning. We will use techniques from logic, linguistics, and computer science in order to get more insight in these phenomena,
with a focus on not only specifying what good reasoning is and under which circumstances a given sentence is true, but also on the actual procedures involved in reasoning and truth checking. We will organise three workshops on the computation of natural reasoning and the proof theory of meaning, publish three publications associated with these
meetings, provide for exchange of scholars so that we can work together, make the network permanent, and apply for a European Training Network grant under the Marie Sklodowska-Curie Action.
Effective start/end date1/01/1531/12/18