Scope control and grammatical dependencies

Abstract

This paper develops a semantics with control over scope relations using Vermeulen's stack valued assignments as information states. This makes available a limited form of scope reuse and name switching. The goal is to have a general system that fixes available scoping effects to those that are characteristic of natural language. The resulting system is called Scope Control Theory, since it provides a theory about what scope has to be like in natural language. The theory is shown to replicate a wide range of grammatical dependencies, including options for, and constraints on, `donkey', `binding', `movement', `Control' and `scope marking' dependencies.