Talk by Johan Bos
Predicate Logic Unplugged
The paper describes a way for underspecification of scope (for example,
scope introduced by quantifiers or boolean operators) in logical formulas
or semantic representations. We will define a description language that
has a very interesting property: it is in principal independent of the
object language of our interest. The core of the paper will be devoted to
an underspecified version of Predicate Logic. Here, special attention is
paid to the interpretation of underspecified PL-formulas. Then we take
a "dynamic" direction, by illustrating how the principals of this
description language can be easily used to define and interpret
underspecified Discourse Representation Structures.
Paul Dekker, November 2, 1995