Back

Introduction to type-logical syntax and semantics

Philippe de Groote and Glyn Morrill
Section: Language and Logic
Level: Foundational

Description

The goal of this course is to introduce the basic concepts and methods that underly contemporary categorial grammars, as exemplified by (Carpenter 1997), (Moortgat 1996), and (Morrill 1994). No specific knowledge is assumed of the students except familiarity with elementary formal logic. The content of the course is the following.

Materials

Literarure

(Carpenter 1997) CARPENTER, B.
   "Type-Logical Semantics".
    MIT press, 1997.

(Moortgat 1996) MOORTGAT, M.
    "Categorial type logics" in
    J. van Benthem and A. ter Meulen (Eds.)
    Handbook of Logic and Language.
    North-Holland, 1996.

(Morrill 1994) MORRILL, G.V.
    "Type Logical Grammar: categorial logic of signs".
    Kluwer, 1994.

Lecturers

Philippe de Groote
(1) Loria - INRIA
Campus Scientifique, BP 239
54506 Vandoeuvre-les-Nancy Cedex --- France
degroote@loria.fr
phone: (+33) 83 59 30 32
fax: (+33) 83 27 83 19

Glyn Morrill
Universitat Politecnica de Catalunya, LSI
Jordi Girona Salgado, 1-3
E-08034 Barcelona --- Espanya
morrill@lsi.upc.es
Phone: (+34) 93 401 7112
Fax: (+34) 93 401 7014