Vendredi 15 décembre 2017 10:00 — 17:00
Faculté des sciences de l'université de Montpellier  IMAG bâtiment 9 salle 330

QUANTI Workshop

(Soutien à la recherche de l'université de Montpellier:
étude pluridisciplinaire de la quantification :
mathématique, informatique, didactique et linguistique)

Tentative program 

10:00-11:00  Oriol Valentin Universitat Polytècnica di Catalunya
Some Investigations on Logics of Scope Taking: Displacement Calculus versus Hybrid Type-Logical Grammar

Both hybrid type-logical grammar (HTLG) and the displacement caIculus (D) can be consider logics of scope taking. In several papers, Kubota and Levine (K&L) claim thatD and HTLG are essentially the same calculi. This is not the case as is proved in this talk. According to K&L, D has problems for abstractions of second-order string functionals rendering D not powerful enough to account such phenomena of scope as the interaction between determiners and gapping. Nevertheless, in a 2017 paper Morrill and Valentín prove that K&L’s account of determiner gapping overgenerates. Moreover, in this paper a proposal for extending D, the so-called second-order displacement calculus, is given, which correctly generates the complex cases of determiner gapping.  This talk elaborates on the issue of overgeneration of HTLG and the solutions D can give. Besides this, in this talk a type-theoretic proposal extending HTLG is shown to give a displacement calculus point of view of this calculus, while maintaining the well-behaviour of D and second-order D. In this sense, we propose an intermediate calculus between D and HTLG.

11:00-12:00 Davide Catta Mehdi Mirzapour université de Montpellier et LIRMM
Quantifier Scoping and Semantic Preferences

We address the problem of ranking valid semantic readings of a given multiple-quantifier sentence based on extending Morrill's account on the syntactic complexity profiling of the categorial proof-nets. This extension is inspired by Hilbert's epsilon operator and the syntactic structure constraints.

12:00-14:00 déjeuner

14:00-15:00  Jakub Szymanik  University of Amsterdam
Quantifier semantics: cognition and learnability

I will talk about some of the research we have been developing in the framework of Cognitive Semantics and Quantities project. The aim of this project is to advance semantics by focusing on the underlying cognitive representations. Especially, within the project we are interested in developing cognitively plausible semantic for generalized quantifiers. I will present a number of experiments suggesting that the meaning can be best captured in terms of collection of computational procedures constrained by cognition. I will then discuss what is the range of quantification in natural language.  I will argue that from the given computational perspective one can view complexity as a type of semantic universal guiding quantifier variation in natural languages.

15-00-15:30 pause

15:30- 16:30 William Babonnaud ENS Cachan
Natural language quantification and Hilbert's epsilon and tau quantifiers 

This talk will present the subnectors epsilon and tau. They model quantification in a way that is closer to natural language: in situ quantification, over binding, underspecification and independence.