26 April: DCLRS -- Raffaella Bernardi, Today 4pm., Abstract Available
Dublin Computational Linguistics Research Seminar: Index of April 2002 | Dublin Computational Linguistics Research Seminar - Index of year: 2002 | Full index
----------------------------------------------------------
| Dublin Computational Linguistics Research Seminar |
| DCLRS 2001/2002 |
| DCU TCD UCD |
///////////////////////////////////////////////////////////
venue: Davis Lecture Theatre (Arts Building Room 2043)
Trinity College
time: 4:00-6:00, Friday, April 26
speaker: Raffaella Bernardi
Institute of Linguistics UiL-OTS
University of Utrecht
title: Reasoning with Polarity in Categorial Type Logic
abstract:
Formal linguistic literature offers several theories
providing classifications of items which belong to the
same semantic type but which differ in some other
aspect. For example, generalized quantifiers (GQs) can
be classified considering their different distribution
with respect to negation [BS97]. Polarity items (PIs)
differ in the sort of licensors they require [Woud94,
Gia97]. Wh-phrases can be distinguished according to
their sensitivity property with respect to different
classes of weak-islands [SZ97]. In all these cases,
the described classifications are based on
semantically motivated subset relations holding among
the involved items.
In the talk, I will show how categorial type logic
provides the right expressivity to model these
phenomena. The derivability patterns among types give
a precise way to (i) gain a deeper understanding of
the typological classifications proposed in the
literature of formal linguistics, (ii) carry out
cross-linguistic comparisons, (iii) clarify the
consequences predicted by the classifications opening
the way to further investigations, and (iv) establish
new dependency between linguistic phenomena.
The talk will consist of two parts. First of all,
after introducing the framework of the Lambek
Calculus, I will present its multimodal extensions. I
will show how the alegbraic structure of the Lambek
calculus has room for both order-preserving operators
(standardly used in the literature) and
order-reversing, Galois connected operators, studied
in [ABM01].
In the second part, I will show how extending the
Lambek calculus with unary operators gives us the
right tools to encode the subset relations among items
of the same semantic type and hence account for their
different distributions. In particular, I will show
how the base logic studied in [ABM01] can be used to
model the distribution of polarity items. I will
assume a cross-linguistic perspective comparing the
landascape of Greek polarity items, discussed in
[Gia97], and with Italian data and types.
Bibliography:
[ABM01] C. Areces, R. Bernardi and M. Moortgat
(2001), ``Galois Connections in Categorial Type
Logic''. In ``Proceedings of FGMOL'01'', 2001
pp. 1-12.
[BS97] F. Beghelli and T. Stowell (1997),
``Distributivity and negation: The syntax of each and
every''. In Szabolcsi, editor,``Ways of Scope
Taking'', Kluwer, 1997, pp. 72--107.
[Gia97] A. Giannakidou (1997), ``The Landscape of
Polarity Items''. Ph.D. thesis. University of
Groningen.
[SZ97] A. Szabolcsi and F. Zwarts (1997), ``Weak
islands and an algebraic semantics for scope taking.''
In Szabolcsi, editor,``Ways of Scope Taking'', Kluwer,
1997, pp. 217--262.
[Woud] T. van der Wouden (1994), ``Negative
Contexts''. PhD thesis, University of Groningen,
1994.
The Dublin Computational Linguistics Research Seminar series is run
jointly by DCU (Dublin City University), TCD (Trinity College Dublin)
and UCD (University College Dublin).
The 2001/2002 seminar series is hosted by Trinity College with the
support of the Department of Computer Science, the Centre for Language
and Communication Studies, the Department of Germanic Studies, the
School of Irish, the Department of French and the Centre for Computing
and Language Studies.
For an indication of parts of recent seminar contents, see:
http://www.cs.tcd.ie/research_groups/clg/DCLRS.html
Dublin Computational Linguistics Research Seminar - Index of April 2002 | Index of year: 2002 | Full index