15th Workshop on Logic, Language, Information and Computation
July 1st to 4th, 2008
Title and Abstract of Invited Talks
On the Descriptive Complexity of Linear AlgebraAnuj Dawar, Cambridge University, UK
Quantum knots and mosaicsSam Lamonoco, USA
Prefix-correct Earley parsing of mildly context-sensitive languagesMakoto Kanazawa, Japan
Inter-deriving semantic artifacts for object-oriented programmingOlivier Danvy and Jacob Johannsen
On game semantics of the affine and intuitionistic logicsIlya Mezhirov and Nikolay Vereshchagin
Applications of Proof Theory to Ergodic Ramsey TheoryHenry Towsner, CMU
The Grammar of ScopeMark Steedman, Informatics, University of Edinburgh
The program of research that seeks a "Natural Logic" to which the forms of natural language are transparent has been frustrated by the existence of ambiguities of scope in interpretations for multiply quantified sentences, which appear to require grammatical operations that compromise the strong assumptions of syntactic/semantic transparency and monotonicity made under that program. Examples of such operations include covert movement at the level of logical form, abstraction or storage mechanisms, and proliferating type-changing operations.
The paper examines some interactions of scope alternation with syntactic phenomena including coordination, binding, and relativization. Starting from the assumption of Fodor and Sag, and others, that many expressions that have been treated as generalized quantifiers are in reality non-quantificational, expressions, and using Combinatory Categorial Grammar (CCG) as a grammatical framework, the paper presents an account of quantifier scope ambiguities according to which the available readings are projected directly from the lexicon by the combinatorics of the syntactic derivation, without any independent manipulation of logical form and without recourse to syntactically unmotivated type-changing operations.
The logic that results has a number of surprising features. It makes extensive use of (generalized) Skolem terms. The treatment of negation is unusual. The Philonian identification of the conditional with material implication is avoided. Some implications for natural language processing are considered.
Last modified: 7 March 2008
Last Updated: 2008-05-26