Martin Stokhof

When one looks into the role of artificial languages in philosophy of language it seems appropriate to start with making a distinction between philosophy of language proper and formal semantics of natural language. Although the distinction between the two disciplines may not always be easy to make since there arguably exist substantial historical and systematic relationships between the two, it nevertheless pays to keep the two apart, at least initially, since the motivation commonly given for the use of artificial languages in philosophy of language is often rather different from the one that drives the use of such languages in semantics. Of course, this difference in motivation should not blind us for the commonalities that exists between the two disciplines. Philosophy of language and formal semantics have a common history, and arguably also share some of their substance. Philosophy of language is by and large an outgrowth of work in the analytical tradition in philosophy in the first half of the twentieth century. Both ordinary language philosophy, with its emphasis on the description of actual language use, as well as the more logic-oriented and formally inclined school of logical positivism contributed to the definition of philosophy of language as a separate philosophical discipline, with its own set of problems and methods to solve them. Another major contributor to the establishment of philosophy of language as a distinct discipline has been modern linguistics, in particular generative grammar in the tradition of Chomsky that became the dominant paradigm in linguisticsin the fifties and sixties of the previous century. And as it happens, both the generative tradition of Chomsky and analytic philosophy in its formal and less formal guises have been important factors in the development of formal semantics as well. Thus, it should come as no surprise that the two have something in common. That the communalities go beyond a common ancestry, but are reflected in substance and methods as well, will be argued later on. However, be that as it may, it is still a good idea to keep philosophy of language and formal semantics separate, at least initially, since the role that is assigned to artificial languages and the ways in which these languages are employed in both does differ in a number of respects that are worth keeping in mind..

This paper1 explores, quite tentatively, possible consequences for the concept of semantics of two phenomena concerning meaning and interpretation, viz., radical interpretation and normativity of meaning. Both, it will be argued, challenge the way in which meaning is conceived of in semantics and thereby the status of the discipline itself. For several reasons it seems opportune to explore these issues. If one reviews the developments in semantics over the past two decades, one observes that quite a bit has changed, and one may well wonder how to assess these changes. This relates directly to the status of semantics. If semantics is an empirical discipline, one might expect that most changes are informed by empirical considerations. However, one may also note that the core notion of semantics, meaning, today is conceived of quite differently than in, say, the seventies. How can that be? How can that what semantics is about, be different now from what is was back then? Or is this perhaps an indication that semantics is not as empirical as it is often thought to be? Moreover, it seems that in some deep sense meaning as explicated in semantics and interpretation as studied in various philosophical approaches are strangely at odds. Meaning is what interpretation is concerned with: meaning is, at least so it seems, what in the process of interpretation language users try to recover (or analogously, what they try to convey in production). Yet, the way meaning is conceived of in semantics seems not to square all that neatly with how the process of interpretation is supposed to proceed. In particular it seems to lack some of the intrinsic features that various approaches to interpretation assume it to have. Given these discrepancies, one wonders how the two can be incorporated within a single theory. And that such a theory is desirable goes, it may be presumed, without saying These are the reasons that figure in this paper. At the background there are some others..

Update semantics 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 object language in this paper is the language of modal predicate logic, enriched with demonstratives. Contextual features that are taken into account are restricted to anaphoric relations between variables and quantifiers, and the role of epistemic modalities. In the present paper we turn to information exchange in multi-speaker discourse. 3 The main aim is to shed some light on anaphoric relations across utterances of different speakers, and on the role of epistemic modalities in information exchange.

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

Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks and by describing the results of performing actions in given states of the world. The actions studied by dynamic logic can be of various kinds: actions on the memory state of a computer, actions of a moving robot in a closed world, interactions between cognitive agents performing given communication protocols, actions that change the common ground between speaker and hearer in a conversation, actions that change the contextually available referents in a conversation, and so on.

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.

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).

Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other aspects of meaning than those which the slogan covers. A real change in view then had to await the emergence of other concepts, which in due course became available mainly under the influence of developments in computer science and cognate disciplines such as artificial intelligence. And this is one of the reasons why it took almost a century before any serious and successful challenge of the view that meaning equals truthconditions from within logical semantics could emerge.