28.521, Calls: Comp Ling, Ling Theories, Philosophy of Lang, Semantics/France
The LINGUIST List
linguist at listserv.linguistlist.org
Wed Jan 25 23:21:43 UTC 2017
LINGUIST List: Vol-28-521. Wed Jan 25 2017. ISSN: 1069 - 4875.
Subject: 28.521, Calls: Comp Ling, Ling Theories, Philosophy of Lang, Semantics/France
Moderators: linguist at linguistlist.org (Damir Cavar, Malgorzata E. Cavar)
Reviews: reviews at linguistlist.org (Helen Aristar-Dry, Robert Coté,
Michael Czerniakowski)
Homepage: http://linguistlist.org
***************** LINGUIST List Support *****************
Fund Drive 2016
25 years of LINGUIST List!
Please support the LL editors and operation with a donation at:
http://funddrive.linguistlist.org/donate/
Editor for this issue: Kenneth Steimel <ken at linguistlist.org>
================================================================
Date: Wed, 25 Jan 2017 18:21:36
From: Anna Szabolcsi [anna.szabolcsi at nyu.edu]
Subject: QUantifiers And Determiners
Full Title: QUantifiers And Determiners
Short Title: QUAD
Date: 17-Jul-2017 - 21-Jul-2017
Location: Toulouse, France
Contact Person: Christian Retoré
Meeting Email: quad2017 at easychair.org
Web Site: http://www.lirmm.fr/quad
Linguistic Field(s): Computational Linguistics; Linguistic Theories; Philosophy of Language; Semantics
Call Deadline: 17-Mar-2017
Meeting Description:
The compositional interpretation of determiners relies on quantifiers - in a
general acceptation of this later term which includes generalised quantifiers,
generics, definite descriptions i.e. any operation that applies to one or
several formulas with a free variable, binds it and yields a formula or
possibly a generic term (the operator is then called a subnector, following
Curry). There is a long history of quantification in the Ancient and Medieval
times at the border between logic and philosophy of language, before the
proper formalisation of quantification by Frege.
A common solution for natural language semantics is the so-called theory of
generalised quantifiers. Quantifiers like « some, exactly two, at most three,
the majority of, most of, few, many, … » are all described in terms of
functions of two predicates viewed as subsets.
Nevertheless, many mathematical and linguistic questions remain open.
On the mathematical side, little is known about generalised and vague
quantifiers, in particular about their proof theory. On the other hand, even
for standard quantifiers, indefinites and definite descriptions, there exist
alternative formulations with choice functions and generics or subnectors
(Russell’s iota, Hilbert-Bernays, eta, epsilon, tau). The computational
aspects of these logical frameworks are also worth studying, both for
computational linguistic software and for the modelling of the cognitive
processes involved in understanding or producing sentences involving
quantifiers.
On the linguistic side, the relation between the syntactic structure and its
semantic interpretation, quantifier raising, underspecification, scope
issues,… are not fully satisfactory. Furthermore extension of linguistic
studies to various languages have shown how complex quantification is in
natural language and its relation to phenomena like generics, plurals, and
mass nouns.
Finally, and this can be seen as a link between formal models of
quantification and natural language, there by now exist psycholinguistic
experiments that connect formal models and their computational properties to
the actual way human do process sentences with quantifiers, and handle their
inherent ambiguity, complexity, and difficulty in understanding.
All those aspects are connected in the didactics of mathematics and computer
science: there are specific difficulties to teach (and to learn) how to
understand, manipulate, produce and prove quantified statements, and to
determine the proper level of formalisation between bare logical formulas and
written or spoken natural language.
Part of ESSLLI 2017, this workshop aims at gathering mathematicians,
logicians, linguists, computer scientists to present their latest advances in
the study of quantification.
Organizers:
- Christian Retoré (Université de Montpellier & LIRMM-CNRS)
- Mark Steedman (University of Edinburgh)
Call for Papers:
Among the topics that will be addressed are the following :
- New ideas in quantification in mathematical logic, both model theory and
proof theory:
+ Choice functions
+ Subnectors (Russell’s iota, Hilbert’s epsilon and tau),
+ Higher order quantification,
+ Quantification in type theory
- Studies of the lexical, syntactic and semantic of quantification in various
languages
- Semantics of noun phrases
- Generic noun phrases
- Semantics of plurals and mass nouns
- Experimental study of quantification and generics
- Computational applications of quantification and polarity especially for
question-answering.
- Quantification in the didactics of mathematics and computer science.
Submissions:
The program committee is looking for contributions introducing new viewpoints
on quantification and determiners, the novelty being either in the
mathematical logic framework or in the linguistic description or in the
cognitive modelling. Submitting purely original work is not mandatory, but
authors should clearly mention that the work is not original, and why they
want to present it at this workshop (e.g. new viewpoint on already published
results).
Submissions should be:
- 12pt font (at least)
- 1inch/2.5cm margins all around (at least)
- less than 2 pages (references exluded)
- with an abstract of less then 100 words
and they should be submitted in PDF by Easychair here:
https://easychair.org/conferences/?conf=quad2017
In case the committee thinks it is more appropriate, some papers can be
accepted as a poster with a lightning talk.
Final versions of accepted papers may be slightly longer. They will be
published on line. We also plan to publish post-proceedings.
Organizers:
- Christian Retoré (Université de Montpellier & LIRMM-CNRS)
- Mark Steedman (University of Edinburgh)
http://www.lirmm.fr/quad
------------------------------------------------------------------------------
***************** LINGUIST List Support *****************
Fund Drive 2016
Please support the LL editors and operation with a donation at:
http://funddrive.linguistlist.org/donate/
Thank you very much for your support of LINGUIST!
----------------------------------------------------------
LINGUIST List: Vol-28-521
----------------------------------------------------------
More information about the LINGUIST
mailing list