Martin Stokhof

Update semantics1 embodies a radical view on the relation between context and interpretation. The meaning of a sentence is identified with its context change potential, where contexts are identified with information states. The recursive definition of semantic interpretation is stated in terms of a process of updating an information state with a sentence. Meanings of sentences, then, are update functions. In general, these are partial functions, since the possibility to update with a sentence may depend on the fulfillment of certain constraints (presuppositions, the presence of antecedents for anaphora, etc.). It is important to note that context and interpretation are interdependent: the interpretation process depends on the context, `.

The paper sketches the place of dynamic semantics within a broader picture of developments in philosophical and linguistic theories of meaning. Some basic concepts of dynamic semantics are illustrated by means of a detailed analysis of anaphoric definite and indefinite descriptions, which are treated as contextually dependent quantificational expressions. It is shown how a dynamic view sheds new light on the contextual nature of interpretation, on the difference between monologue and dialogue, and on the interplay between direct and indirect information

This book explores in detail the relation between ontology and ethics in the early work of Ludwig Wittgenstein, notably the _Tractatus Logico-Philosophicus_ and, to a lesser extent, the _Notebooks 1914-1916_. Self-contained and requiring no prior knowledge of Wittgenstein's thought, it is the first book-length argument that his views on ethics decisively shaped his ontological and semantic thought. The book's main thesis is twofold. It argues that the ontological theory of the _Tractatus_ is fundamentally dependent on its logical and linguistic doctrines: the tractarian world is the world as it appears in language and thought. It also maintains that this interpretation of the ontology of the _Tractatus_ can be argued for not only on systematic grounds, but also via the contents of the ethical theory that it offers. Wittgenstein's views on ethics presuppose that language and thought are but one way in which we interact with reality. Although detailed studies of Wittgenstein's ontology and ethics exist, this book is the first thorough investigation of the relationship between them. As an introduction to Wittgenstein, it sheds new light on an important aspect of his early thought

With a few notable exceptions formal semantics, as it originated from the seminal work of Richard Montague, Donald Davidson, Max Cresswell, David Lewis and others, in the late sixties and early seventies of the previous century, does not consider Wittgenstein as one of its ancestors. That honour is bestowed on Frege, Tarski, Carnap. And so it has been in later developments. Most introductions to the subject will refer to Frege and Tarski (Carnap less frequently) —in addition to the pioneers just mentioned, of course— , and discuss the main elements of their work that helped shape formal semantics in some detail. But Wittgenstein is conspicuously absent whenever the history of the subject is mentioned (usually briefly, if at all).

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG.